黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2020年06月05日(金)

#Julia言語 TableReader.jl 0.4.0 は Julia v1.2.0 ではプレコンパイルに成功して動く。v1.3.1とv1.4.2ではプレコンパイルに失敗する。
もしかしてこのプルリクエストが関係あるのかな?↓
github.com/bicycle1885/Ta... pic.twitter.com/lcDNIMzYoU
タグ: Julia言語
posted at 23:26:22




#超算数 最後に、楠氏の一つの数説への傾倒を紹介する。16,7頁で乗除が加減より先に計算されることについて、当時の指導要領解説(1999)に依拠して空疎な思弁を展開 (これを参照twitter.com/genkuroki/stat...)。今回は、新たな問題として「きまり」の語が誤用されている点を指摘したい。 pic.twitter.com/72NbpImFqu
タグ: 超算数
posted at 22:36:57



#超算数 具体的な確認方法が書かれていないので、この記述は、現場教員によって「3の5つ分」を理解しているかの確認に「3×5」と「5×3」を使うと解釈されかねない。これは掛順教正反対の意見を持つ私の牽強付会ではない。なぜなら、楠氏は「③ 教師用指導書を熟読する」www.edu-ctr.pref.okayama.jp/chousa/study/k...で、 pic.twitter.com/z87d04PlsP
タグ: 超算数
posted at 22:36:54



#超算数 私は最初この資料の掛順こだわりに賛成でない態度を示している箇所に注目したwww.edu-ctr.pref.okayama.jp/chousa/study/k...。6頁に掛順こだわり指導は子供を意気沮喪させると読める一文があるのだ。私はかなり長い間この記述に掛順に対する微温的な態度を読み取ってきた。だが、詳しく見れば誤りだったと分かる。 pic.twitter.com/qasyEYEVLA
タグ: 超算数
posted at 22:36:52


HackerNewsTop10 @HackerNewsTop10
Julia as a CLI Calculator
Link: krasjet.com/rnd.wlk/julia/
Comments: news.ycombinator.com/item?id=23414872
タグ:
posted at 20:50:59

Pythonで半日以上かかっていた計算が、Juliaで数分でできてしまった。PythonはnumbaでJITして速くできるといっても、JITをサポートしていない関数も多いから、Juliaに乗り換えて正解だった。コーディングエラーにも気づきやすいし、数理モデルをコードに落としやすい。
タグ:
posted at 20:09:10

非公開
タグ:
posted at xx:xx:xx

Julia as a CLI Calculator
L: krasjet.com/rnd.wlk/julia/
C: news.ycombinator.com/item?id=23414872
タグ:
posted at 20:01:21

理科の教科書(小学4年生)に、私の写真が使われることになりました。
北海道で撮影した冬の大三角の写真です。
多くの方が星空や天文に興味をもつきっかけになったらいいな。 pic.twitter.com/zuH30kEZ7P
タグ:
posted at 19:59:48

ありがとうございます。(機密のため)コードの公開はできませんが、色々なTipsを試した結果、一番効果があったのはループ内で毎回やっていた配列のallocateをループ外へ出すことでした。(1分かかっていたのが約半分に!メモリの使用量も1/3に)やっとスレッドを追えた…。 twitter.com/genkuroki/stat...
タグ:
posted at 19:16:41



#Julia言語 ζ(s)の非自明な零点のプロット
Riemann予想を証明すれば100万ドルもらえるらしいのですが、安過ぎると思う。
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/flkjBTZjc8
タグ: Julia言語
posted at 18:15:57




「超算数とか言うて掛け算の順序にこだわることに異常なまでの反対意見を持ってるヤツ」であって名指しじゃない
同意表明しただけで自分が直接言ったわけじゃない
ということで、(しゅん)²@6shun0shun2 は、自分が他人を誹謗中傷した自覚がないのかな? twitter.com/kale_aojiru/st...
タグ:
posted at 17:33:06

REPL内にとどまるというのは眼から鱗でした。PackageCompiler.jlに関しては存在は知っていたものの、そういう使い方ができるんですね。勉強になりました。 twitter.com/genkuroki/stat...
タグ:
posted at 17:25:10











#Julia言語 で「遅い」と思ったら、
docs.julialang.org/en/v1/manual/p...
Performance Tips
を読むと解決することが多い。
@ time マクロで実行時間だけではなくメモリ使用量を確認することは常に有効。メモリ効率が悪いコードを書いていると一発で分かる。
in-place計算とview(s)マクロ使用が非常に重要。
タグ: Julia言語
posted at 16:34:02

結構よく見かける #Julia言語 の問題の解決法
(1) コードを公開して「Juliaは遅い」と言う。
(2) すると、コードを確認したJulia強者が具体的な改善策を提案して来る。
あちこちでよく見る。場合によってはパッケージやライブラリや場合によってはJulia本体の改善が提案されたりする(笑)。 twitter.com/hnagai1108/sta...
タグ: Julia言語
posted at 16:29:57

#Julia言語 私自身は全く使用していないのですが、幾つかのパッケージを読み込んでプレコンパイルされた状態にして julia foo.jl などを実行できるようにできるツール
github.com/JuliaLang/Pack...
もあります。
タグ: Julia言語
posted at 16:23:14



#Julia言語 コンパイル時間について再検証可能なコードが公開されればもっと偉い人達から情報が得られると思うのですが、
(1) 可能な限りREPL内に留まり、julia foo.jlを使用しない。(JupyterやJunoを使う。)
(2) パッケージ化してprecompileされるようにしておく。
などの手段があると思いました。 twitter.com/hnagai1108/sta...
タグ: Julia言語
posted at 16:20:25

TSUJINO SATOKI @TSUJINO_SATOKI
[Julia tips]
FortranのサブルーチンをJuliaから呼び出す際, intent(out)な引数は配列でなくてもJulia側でVectorとして定義する必要.
hydrocoast.jp/index.php?Juli...
タグ:
posted at 16:06:24
消費者庁から注意喚起が出ました。
「新型コロナウイルスに対する予防効果を標ぼうする商品等の表示に関する改善要請等及び一般消費者等への注意喚起について(第3報)」
www.caa.go.jp/notice/entry/0...
タグ:
posted at 16:05:13


「ずっと不思議なんやけど超算数とか言うて掛け算の順序にこだわることに異常なまでの反対意見を持ってるヤツらなんなんや?日本語読んで式にするたったあんだけのことが出来ひん脳みそやからそうなるんか?」
この発言に「激しく同意」しながら、こういうことを言う神経が理解できない。 twitter.com/6shun0shun2/st...
タグ:
posted at 13:47:26

非公開
タグ:
posted at xx:xx:xx

#Julia言語 むむむ、久々に TableReader.jl を使ってみようかと思ったのですが、precompileがエラーで止まる(泣)
CSV.jlとHTTP.jlを組み合わせて使うよりも、TableReader.jlで
readcsv("https ://example.com/path/to/filename.csv")
のように使った方が便利だと思う人も結構いると思った。 pic.twitter.com/ABTslPS2j5
タグ: Julia言語
posted at 13:16:31









あと、この会社(代表大竹さんて人)、弁護士なしで何回も訴訟に勝ったと小波さんには言ってるんだけど、本当?この人が関わった訴訟の事件番号知ってたら教えてほしい。何回も勝ったのなら被告がいるってことだろうから、被告側からの情報も歓迎。
タグ:
posted at 12:10:35
エンベロープの有無で効果が違うのは無視して書いてる上に噴霧を推奨してるダメな例。おまけに小波さんにクレーム入れたって、どんだけw
「石鹸やアルコールがノロウイルスに効果が無いとすると、新型コロナウイルスに石鹸やアルコールが効果あるかどうかが疑問です。」
www.wolfjpn.com
タグ:
posted at 12:06:57

#超算数 1951年の学習指導要領試案における掛算順序固定強制指導
これも現代版掛算順序固定強制指導にそっくりです。
twitter.com/genkuroki/stat... pic.twitter.com/Y2y4ixpTm4
タグ: 超算数
posted at 12:01:24

#超算数
私は1951年の学習指導要領試案より前に十分に権威のある文献で、現代版の掛算順序固定強制指導の祖先とみなされる記述があるものを見付けるのは大変だろうと思っていましたが、最近になってその困難が明瞭に突破された‼️
資料の提示は私の意見を変えます。
twitter.com/genkuroki/stat...
タグ: 超算数
posted at 11:59:19

@hirota_kazu この件については証拠となる資料を提示できるようになるまで、私宛のメンションを控えて頂けると助かります。よろしくお願い致します。
約100年前の資料を見ると、約100年前の時点で「掛算順序を逆にすると誤りだとしたい人達が掛算順序固定強制指導を勧めていた」ということは分かります。 #超算数
タグ: 超算数
posted at 11:54:31

@hirota_kazu 「善意があった」とどうしても推測したいならば、本心が分からないことを前提に、傍証となるような資料の提出が必要です。それをサボって「ああいえば、こういう」というタイプの人たちは真っ当な議論に邪魔になるということを認識してもらいたいと思っています。 #超算数
タグ: 超算数
posted at 11:51:37

@hirota_kazu 「子供のためになるから」と言いつつ子供を殴る人達も善意で殴っているのかもしれません。しかし、心の中がどうなっているかは他人には分からないことです。
「子供のためになるから」と言っていて、表面的にそれを信じているように見えていても、本心は分からない。続く #超算数
タグ: 超算数
posted at 11:47:22

@hirota_kazu 【> 「子供のためになるから」
「ためになる」という気持ちは善意ですよね。】
「子供のためになるから」と言いながら子供を殴る人にも善意があるかもしれないと想定するべきだという意見なわけですね?
さすがにそれは教育に関する議論ではとてもまずい態度だと思います。続く
タグ:
posted at 11:44:44

全人類が知っておくべきライフハックです。
天井にあるシーリングライトを刺すところ(1枚目)に、26E口径の電球のソケット付けて(2枚目)アイリスオーヤマのライト+スピーカー🔊取付けたら天井から音声が流れて部屋全体に拡がるから、生活がレベルアップします。
部屋にスピーカー置かなくていい! pic.twitter.com/fHarXeCcgw
タグ:
posted at 11:31:00

お好み焼粉がなくても、強引にカップヌードルでお好み焼が作れることがわかりましたのでご報告します。ソースなしで、そのままでもイケます。
※作り方
①1食まるごと砕く
②卵1個、キャベツ80g、小麦粉大さじ3杯、水100mlを①と混ぜる
③焼く(蓋をするとふっくら)
#カップヌードルお好み焼
#苦肉の策 pic.twitter.com/ZbASeQ2bLx
タグ: カップヌードルお好み焼 苦肉の策
posted at 11:30:00

「いちから聞きたい放射線のほんとう」6刷が来ました!こんなロングセラー(と言っていいのかな)になってうれしいです。ちょっと書き足した部分もあります。お子さんが読むのもおすすめします pic.twitter.com/S4mVFGuapp
タグ:
posted at 09:59:17

C言語入門の講義スライドを仮アップ(リンクはまだ)。第6回目にしてついにC言語ですらなくなりました。本当にありがとうございました。
www.comp.tmu.ac.jp/s-yokoyama/lec...
Haskell と Julia の宣伝をするにはこうするしかなかった・・・(次回はちゃんとC言語に戻ります)
タグ:
posted at 09:53:24

Tsuyoshi Miyakawa @tsuyomiyakawa
ほとんどのジャーナルでは、査読の段階で生データの確認はしないのが普通。性善説で、データは存在し、正しいことを前提にしている。その前提が(高IF至上主義やら不適切な競争やらで)もはや成立しなくなってしまっているので、仕組みの改善が必要。
molecularbrain.biomedcentral.com/articles/10.11...
タグ:
posted at 09:27:28

Tsuyoshi Miyakawa @tsuyomiyakawa
イベルメクチン、期待していたのだが...。
生データがデポジットされない論文が多数ある問題は本当、深刻。個人情報保護の問題もあるが、そこに留意しつつ、公的資金を用いた研究では生データが公開(or 限定公開)されることが原則とされる仕組みの整備が必要かと思います。 twitter.com/kskhatta/statu...
タグ:
posted at 09:21:48
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia 1.5は32bit難しそう.依存関係ビルドできるけれどprecompileで失敗するのでJulia本体をいじる必要がある.
タグ:
posted at 08:24:13
ごまふあざらし(GomahuAzaras @MathSorcerer
ニッチな需要が出つつある.
discourse.julialang.org/t/have-a-try-j...
タグ:
posted at 08:24:12

???「次亜塩素酸水噴霧器は市販されているのだから、安全で効果があるのだろう」
???「#掛算 順序固定強制指導は元に小学校で行われているのだから、効果・意味があるのだろう」
同根だよね。
どちらも効果が無いばかりか、害がある。
タグ:
posted at 07:44:58

リチャード・ファインマンさんによると、バカは伝染るとのことである。
#超算数 というのも、バカが伝染る現象の実例と言えるかもしれない。 twitter.com/ProfFeynman/st...
タグ: 超算数
posted at 07:09:05
