黒木玄 Gen Kuroki(@genkuroki)/2021年07月03日

本当に早く内海の医師免許は剥奪してほしい
これ見た時、ASDとADHD、LDの当事者としては割と死にたくなった twitter.com/io302/status/1...

タグ：

posted at 00:10:03

Erik Engheim @erikengheim

@StefanKarpinski @miguelraz_ @hipsterelectron @JuliaLanguage Yeah, this is what convinced me that promotion was fine even though Go had convinced me earlier that it was evil. I think C++ with its horrible complex mess or rules, made me think it was always a bad idea. But it works great in Julia IMHO.

タグ：

posted at 01:01:04

高梨陣平 @jingbay

HNが盛り上がっていて面白いのだけど、特に最後の方の元IBMerが語るWallstreetが悪いんだいとの声あたりからが考えさせられた。IBMのインターンはWatsonに対してめっちゃ良く働いていて机の下で寝たそうだ。 twitter.com/newsyc100/stat...

タグ：

posted at 02:25:06

Ari Katz @akatzzzzz

江添亮@足首靭帯の手術から14週間 @EzoeRyou

@EmreSevinc it's ridiculously fast. Octavian.jl, which uses this macro, beats openblas for many sizes

タグ：

posted at 02:27:48

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Frames Catherine Whi @oxinabox_frames

悲報：Google Copilotさん、Quakeの有名なfast inverse square rootのコードを完璧なコメント付きで再現してしまう。 twitter.com/mitsuhiko/stat...

タグ：

posted at 03:43:28

Has anyone heard if you can run JuliaLang on AWS Infinidash?
Maybe if you use a custom Docker image?

タグ：

posted at 04:36:07

Sheehan Olver @dlfivefifty

julia> using ClassicalOrthogonalPolynomials, Symbolics

julia> @variables z;

julia> legendrep(5,z)
0.5333333333333333z + 1.8z*(0.375 + 1.75z*(1.6666666666666667z*(1.5(z^2) - 0.5) - (0.6666666666666666z)) - (1.125(z^2))) - (1.3333333333333335z*(1.5(z^2) - 0.5))

タグ：

posted at 06:13:52

この解説、説明が具体的で読み易く、さらにPythonのコード付きで非常に良いです。水素原子は理系の基本教養の一つ。

誰か、#Julia言語版を書くべき。

日曜化学：量子力学の基本と球面調和関数の可視化（Python/matplotlib） - tsujimotterのノートブック tsujimotter.hatenablog.com/entry/quantum-...

タグ： Julia言語

posted at 06:26:05

むううみん @muuumin20

ちなみに野望というか妄想レベルで、自分のサイトの「Julia言語で入門するプログラミング」の敵AIを機械学習で強くしてみたりしたい。普通のAIのラスボスと強化学習で強くしたラスボスを戦わせてみたり。

タグ：

posted at 07:30:49

Masahiro Hotta @hottaqu

素晴らしいです！⇒「私もついに球面調和関数を自分で描けるようになったのかと感激しています」「こういうのって、いわゆる「車輪の再発明」だと思います。一般に、車輪の再発明はネガティブなイメージで語られることが多いですが、私はそんなに悪くないと思うのですね」

tsujimotter.hatenablog.com/entry/quantum-...

タグ：

posted at 07:56:07

Masahiro Hotta @hottaqu

「車輪の再発見」を数多く体験して、楽しめることこそが、新しいことの発見する機会につながるのだろうと思っています。学問を楽しむ日曜研究者の方々が、この国でもっともっと増えることに期待をしたいです。

タグ：

posted at 07:58:13

#Julia言語 v1.7のWIPなドキュメントには Base.splat, Base.Fix1, Base.Fix2 が載っていますね。
↓
docs.julialang.org/en/v1.7-dev/ba...

このまま行けば正式に使って良い函数扱いして良いということになりそう。

v1.6のドキュメントはComposedFunctionの項目で切れている。
↓
docs.julialang.org/en/v1/base/bas...

タグ： Julia言語

posted at 08:27:32

オムペン @half_soy

タスカルの三角形 pic.twitter.com/09vDWJp4Ji

タグ：

posted at 08:59:19

オムペン @half_soy

使用例(助かったことをリプで伝えたいとき)↓
--------------------------
ありがとう！
twitter.com/half_soy/statu...

タグ：

posted at 09:20:03

＃超算数

「式を見たら生徒の理解度がわかる」信仰が小学校教師に蔓延っていることは、深刻な状況 twitter.com/k_migaki/statu...

タグ：超算数

posted at 10:26:01

@shoyugi 参考　

大日本図書の算数の教科書

twitter.com/genkuroki/stat...

タグ：

posted at 10:59:02

諸遊戯 @shoyugi

教科書でもいくつかあるんですよね😔👇
こういうのをありにすると、めちゃくちゃになりますよ。 twitter.com/genkuroki/stat...

タグ：

posted at 11:00:48

砂___の___女 @vecchio_ciao

＃掛算の順序強制教育は、算数・数学の学力以外にも大事なものを奪うんだなぁ…

タグ：掛算

posted at 11:42:36

この文化も修正していきたい。とにかく、小学校の段階で変なことを教えると、人によってはそれが抜けきらない(最初に理解したものが強く残る)こともあるのでよくないと思う。 twitter.com/genkuroki/stat...

タグ：

posted at 11:54:04

さくっち @sakuraimaito

@genkuroki 狭量というか数学（算数）を分かっていない先生が多すぎるのでは

タグ：

posted at 11:55:52

こういう問題に 2 通りの答がでてくるということになるのかな? pic.twitter.com/NwXVpwnPRB

タグ：

posted at 11:57:19

残念ながら常識ですね。 twitter.com/eMh5LGlwJppU7C...

タグ：

posted at 11:58:41

算数の解釈と数学の解釈での違いですが。。。

タグ：

posted at 11:59:35

"In International law, colony refers to a dependent territorial entity subject to the sovereignty of an independent country, but considered part of that country for purposes of relations with third countries. "
definitions.uslegal.com/c/colony/

タグ：

posted at 12:04:35

問題は、中学校の先生が採点する中学入試がどうするかですが。(この問題でなくても)
そんな微妙な問題は出さないというかもしれませんが。

タグ：

posted at 12:05:51

これは、1957年に外務省法制課が出した書籍でも明確。この書籍はまず「殖民地なる称呼に替え、外地という名が慣用されるにいたつたのである」として、「外地」が「植民地／殖民地」という語の言い換えであった事を明らかにした上で、次の様に述べます。

タグ：

posted at 12:22:44

「外地とは内地＝日本本土（Japan proper）に対して、法制上異なる地域、すなわち日本の領域中憲法の定める通常の立法手続で定立される方が原則として施行されない地域、換言すれば異法地域（the teritory governed by laws other than those of Japan proper）を指称するのである。」

タグ：

posted at 12:23:43

「戦前の日本領域中本州、四国、九州及び北海道並びに行政区画上これらの島のいずれかに付属する島嶼をくるめて内地と言い、朝鮮、台湾、関東州租借地及び南洋委任統治地域並びに昭和十八年四月一日内地に編入される前の樺太及びこれらの地域に附属する島嶼を外地というのである。」

タグ：

posted at 12:24:42

つまり、この外務省の見解では、「植民地＝外地」であり、「外地＝異法地域」、そして「異法地域＝朝鮮、台湾、関東州租借地及び南洋委任統治地域並びに昭和十八年四月一日内地に編入される前の樺太及びこれらの地域に附属する島嶼」になる訳ですね。

タグ：

posted at 12:26:36

因みにこの詳細な経緯については、拙稿「第二次世界大戦前における「植民地」言説を巡る一考察」に書いておいたので、是非、ご参照ください。www.research.kobe-u.ac.jp/gsics-publicat...

タグ：

posted at 12:28:14

なので、自分の植民地に対する定義は国際法上の常識であるだけでなく、外務省の公式見解と同じなのです。

タグ：

posted at 12:29:18

www.yokohama-kokugo.jp/books/book2/
＞「ドラゴン桜」で本書が引用されました

ということは、信用しない方がいいね^^

タグ：

posted at 12:41:33

@FukushimaKokugo　ビオでも自慢していた。 pic.twitter.com/5Up38XencU

タグ：

posted at 12:43:43

以前、星が（キラキラ・きらきら）　という問題が話題になった時のツイート。
twitter.com/FukushimaKokug...

「原則」の根拠を質問したけど答えてくれなかった。

タグ：

posted at 12:45:23

twitter.com/FukushimaKokug...

タグ：

posted at 12:47:32

Hideki Kawahara: WAS @hidekikawahara

これはゴミになったので捨てますが、使えそうな面白いアイデアが見つかりました。しばらく遊んでみます。サイドローブの無い窓関数を捻り回していて気づきました。もちろん、盛大な誤爆の可能性があります。 pic.twitter.com/Ds4qUKh2kx

タグ：

posted at 12:47:38

twitter.com/search?q=Fukus...

タグ：

posted at 12:48:04

こまねこさん @koma2023

わー⋯ twitter.com/genkuroki/stat...

タグ：

posted at 12:48:27

io302 @io302

あー、金づるをバラしちゃった twitter.com/hitoshinoma1/s...

タグ：

posted at 12:49:48

「たてる　かける　ひく　おろす」みたいなくだらない教え方する一方で、こんなどーでもいいことをくどくどと・・・ twitter.com/GuuOne/status/...

タグ：

posted at 12:51:05

因みに国連決議等では、"dependent territories"という表現がよく使われます。住民に自決権が与えられていない地域、という事ですね。なので国政への参政権の有無が決定的に重要。

タグ：

posted at 13:03:33

@kuri_kurita

「学習指導要領“解説”」を意味して「指導要領に書いてある」、と言うのは、「消防署の方から来ました」みたいなインチキ。

もっとも、更に恐ろしい事に詭弁や騙す目的でそう言っているのではなく、本当にこの二つの区別がついてなさそうなのが少なからず（「かけ算順序」の擁護者なんか特に）いる。

タグ：

posted at 13:16:25

＃超算数

今年でた算数教育の偉い人の本から

＞　正方形の定義が長方形の定義を満たしていることを、２年生が認識するのはとてもむずかしいことです。

算数教育の偉い人がこんなダメダメな認識をしている！ pic.twitter.com/qja1WdRXDa

タグ：超算数

posted at 13:20:49

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

TaKu @takusansu

@OokuboTact 正方形と長方形は異なる図形と習った世代の妄執かもしれませんね。
8254.teacup.com/kakezannojunjo...
【「生活単元学習期」
鍋島信太郎・戸田清（1957）．『算数教材研究講座第 3巻』．金子書房．　昭和32年
P78
＞小学校では、正方形と長方形は一応異なる図形として扱うのが妥当であろう。】

タグ：

posted at 13:47:24

Hideki Kawahara: WAS @hidekikawahara

@takusansu 参考

算数教育の重鎮達の座談会から

＞　正方形を見て、これも長方形の仲間なんだと言った＞　のです。それにはこちらがびっくりしました。

＃超算数 pic.twitter.com/IwGDFBR6Yb

タグ：超算数

posted at 14:11:07

遊びすぎて睡眠時間が2時間を切ったので、仮眠します。古希を過ぎてやっていいことではない。 twitter.com/hidekikawahara...

タグ：

posted at 14:31:02

「抵抗勢力」は政策に対する姿勢でのレッテルですけど、「反日」はナショナリズムを動員したイデオロギー的なレッテルですので、遥かにタチが悪いと思います。 twitter.com/11island/statu...

タグ：

posted at 16:14:25

#julialang
juliaを使って，for文で複数の回帰モデルを計算してるんだけど，lmが遅すぎる．
速くなる方法をご存じの方，教えて下さい． pic.twitter.com/75H86IU3BQ

タグ： julialang

posted at 16:21:46

毎回モデルに投入する説明変数が変わります

タグ：

posted at 16:41:57

投入する変数が変わるたびにコンパイルされるのか・・・？
1回目：遅い
同じモデルで2回目：早い
変数変えて１回目：遅い pic.twitter.com/jFaiFcqh8l

タグ：

posted at 17:03:33

よく見たら98%がコンパイルコンパイルに要した時間って書いてあるな．
どうすれば速くなるんや？

タグ：

posted at 17:04:53

石井リナ｜Nagi @rina_ishii_99

こんな可愛い子たちが保健所から来てるんだもんな、、ペットショップで買う前に保護猫を選択して欲しいよ😷 pic.twitter.com/VaNCeN3z4A

タグ：

posted at 17:36:45

荒神ヤヤ @connectomancer

糖尿病科医もしくは糖尿病病棟ナースはこの時期おすすめの、ひんやりさっぱりした甘いのものについて教えてください。
神経内科医は好きなハンマーの種類を語ってろ(俺はクインズスクエア型が好き♡(ﾆﾁｬｱ twitter.com/connectomancer...

タグ：

posted at 18:11:04

Atsushi Sakai @Atsushi_twi

おお、juliaのdoctestsって、macだと通らないのか。。: Some `LinearAlgebra.jl` doctests failed on master branch. · Issue #41454 · JuliaLang/julia github.com/JuliaLang/juli...

タグ：

posted at 18:29:22

akipapa123 @123akipapa

お父さんは気楽でいいわね❣️ pic.twitter.com/iHRA2OsKfK

タグ：

posted at 18:36:12

あさねぼう @asanebou13

プロ棋士　段位別最年少

九段：藤井聡太（18）
八段：斎藤慎太郎（28）
七段：近藤誠也（24）
六段：増田康宏（23）
五段：本田奎（23）
四段：伊藤匠（18）

将棋界は四段が18歳
九段も18歳ということになっています

タグ：

posted at 19:16:56

Buitengebieden @buitengebieden

A spiders reaction when it sees itself in front of a mirror.. pic.twitter.com/IMWBBV7iaY

タグ：

posted at 19:27:38

#JuliaLang

Same as github.com/JuliaStats/Sta...
【～with a not yet seen formula seems to trigger pretty slow compilation, even if a structurally equivalent formula with different names has been seen before. Triggering fit with a formula which has been seen before is very fast.】 twitter.com/kefism/status/...

タグ： JuliaLang

posted at 19:29:34

apply_schemaはTermを具体的な値に置き換えた新しいformulaを返す．
ということでこれをnew_formulaとして

lm(new_formula, data)

を実行すると，やっぱり遅い．．．
github.com/JuliaStats/Sta... twitter.com/genkuroki/stat...

タグ：

posted at 21:21:14

tanigawa nisin @twinforest

北野記者「記録に興味を示さないのはなぜか」
「結果ばかり追い求めていると結果がでなかったときにモチベーションを維持するのが難しくなる。内容を求めていくことでそれは解決できる」「強くなることで新たな景色をみることができたら」 pic.twitter.com/dJ0doJOtiv

タグ：

posted at 21:31:58

@kefism Juliaはまったくわからないのでなんとなくなんですが、model = lm(...)の中のSymbolのところ「式中の変数を取得してなんか処理する」みたいなメタプログラミングっぽいことしてそうで、そこで毎回コンパイルが走ってそうです。繰り返しがあるのかすらわからないくらいJuliaわからないんですけど…！

タグ：

posted at 22:04:31

@sin_clav 実はそれを思って，formulaの部分だけ抜き出して速度計測してみたんですが，そこの部分はそんなに時間がかかっていないんですよね．．．（そういうことではない．．．？）

タグ：

posted at 22:07:06

@kefism 用語から無知なんですが、formulaというのは`term.(Symbol.(names(reg_data, Not(:y))))`のところだったりします？ 1回実行される分にはそこまでかもですが、`sum()`がなんか複数回実行とかそういうことしてそうで、そうすると実行時にプログラムを生成・実行suruコストが集積して遅くなりそうです。

タグ：

posted at 22:11:02

@sin_clav そうです！
sum(~)のところはRで回帰分析をするときの
y ~ x1 + x2 + x3 +・・・
の~以降を作るものと認識していて，実行回数が増えてもそこまで負荷の大きい部分のようには見えないのです・・・

タグ：

posted at 22:14:04

@sin_clav sum(~) -> sum(hogehoge)

タグ：

posted at 22:14:39

@kefism sum関数これですねーーっ！
docs.julialang.org/en/v1/base/col...
すると、reg_dataの要素数分`term.(Symbol. ...)`が実行されると。ちなみにreg_dataの要素数ってどれくらいですか？

タグ：

posted at 22:16:32

@sin_clav 問題はまさに黒木さん@genkuroki が送ってくださった
github.com/JuliaStats/Sta...
のevanfieldsさんの質問と同じだと思うんですが，回答で検証していることがformula部分の高速化？っぽくてlmの高速化ではないみたいなんですよね．

タグ：

posted at 22:21:39

#Julia言語

変数名の組み合わせを変えた場合にコンパイルが発生することが、open issueになっています。Juliaでありがちな失敗だと思う。

だから最も素朴な解決方法は

lm(変数名を含むフォーミュラ, データフレーム)

の形式でlmを使わずに

lm(計画行列X, データy)

の形式で使うことです。 twitter.com/kefism/status/...

タグ： Julia言語

posted at 23:00:09

もふもふ動画 @tyomateee2

猫掻きがかわいい pic.twitter.com/6VZv7WG5gy

タグ：

posted at 23:05:08

@kefism @genkuroki いまこちらを見て意味が理解できました。formula部分の生成自体を高速化する流れですね。lmの性能よりはformula生成の性能のほうが問題になりやすいのかもしれないですね…。

タグ：

posted at 23:12:32

#Julia言語もともとlmは爆速なのでそこは高速化する必要はないです。

サンプルコード

添付画像①は遅い。
添付画像②のようにその場しのぎのコードを書くと、
添付画像③のように速くなります。

lmはlm(行列, ベクトル)の形式で使うと速い。

github.com/genkuroki/publ...

twitter.com/kefism/status/... pic.twitter.com/zfLGxjUX6W

タグ： Julia言語

posted at 23:49:46

@genkuroki @sin_clav
open issueなんですね．．．

lm(計画行列X, データy)
で随分と速くなりました！ありがとうございます！

タグ：

posted at 23:50:18

#Julia言語もともとの open issue github.com/JuliaStats/Sta... の解決方はわからないのですが、Juliaでは函数の引数の値の型をカンニングしてコンパイルするので、注意深くコードを書かないとコンパイルしすぎになる場合があります。続く

タグ： Julia言語

posted at 23:52:07

@genkuroki おお！すごく丁寧にありがとうございます！

タグ：

posted at 23:53:27

#Julia言語例えば、NamedTupleは要注意。NamedTupleを引数とする函数を

f((x = 1, y = 2))

と実行した後に

f((x = 1, z = 2))

を実行すると、NamedTupleの型情報に(:x, :y)や(:x, :z)が含まれているせいで、2つの実行時の引数の型は異なると判定され、後者でもコンパイルが実行されます。

タグ： Julia言語

posted at 23:55:03

#Julia言語一般に、:x, :yのような名前の情報を含む型を持つ引数の取り扱いは要注意で、名前の組み合わせが変化するごとに別々にコンパイルされてしまうことになる。

実際にそうなる可能性があるなら、そうなっても困らないコードを書く必要がある。

タグ： Julia言語

posted at 23:59:08