黒木玄 Gen Kuroki(@genkuroki)/2021年02月17日

#JuliaLang twitter.com/CristovaoDSous...

タグ： JuliaLang

posted at 23:28:24

Cristóvão D. Sousa  @CristovaoDSousa

Some people say REPLs in programming languages are completely useless. 😧

How do they have their workflow for compiling (if needed), executing, analyzing the results? 😕

I guess that they often are just using a REPL in some other language! 🤯😆😏

タグ：

posted at 23:26:10

非公開

タグ：

posted at xx:xx:xx

io302 @io302

天むす名古屋 Temmus @temmusu_n

『アレルギーのIgG検査はデマ』です

高い金払って検査できますが、結果はアレルギーを反映したものではありません。

mobile.twitter.com/erisakai/statu...

タグ：

posted at 22:24:34

#超算数黒木哲徳氏の『入門算数学』は初等教員養成課程での算数科教育法でよく使われるようだwww.google.com/search?q=site%...。しかしこの本が掛け算をファイバー・スペースと関連づけて論じていること(銀林浩の流儀)twitter.com/genkuroki/stat...はどれだけ批判されているだろうか？

タグ：超算数

posted at 22:06:46

じゃがりきん @jagarikin

円周上に適当に3点用意し、円を回しながら3点を通る放物線を描画すると、放物線と円の新たな交点Pは3倍の速さで逆回転するの図 pic.twitter.com/DVzI9wjkVo

タグ：

posted at 22:04:10

Uryu Shinya @u_ribo

週末の学びを活かして、Rパッケージ開発🔩

R MarkdownやShinyの中でTwitterやYouTubeのコンテンツを表示させたくなること、ありませんか？
oEmbedパッケージで簡単に実現できるようになります。
github.com/uribo/oEmbed
RStudioで動画再生も可✌️

対応サービスをちまちま増やしていきます💪 pic.twitter.com/ntA63ZqVzv

タグ：

posted at 22:03:28

右Shift右隣Fn派 @yano4O4

真船佳奈@テレ東の漫画家 @mafune_kana

Anacondaは便利なんだけど気をつけないと色々としでかしてくれるのでできたら使いたくない.
JuliaでPackageCompiler.jlを入れたら, Conda.jlがインストールされてしまったわけだが...
内部でどう動いてるのか気になる.

タグ：

posted at 22:00:43

非公開

タグ：

posted at xx:xx:xx

なんと、女優のはるかぜちゃんこと春名風花さん(@harukazechan )が、

<絵画レッスン受けたらバチボコに怖い先生が出てきて人生観丸ごと変えられた話>

の読みやすいまとめを作ってくださいました...読んでくださるだけで光栄なのに天使なのかな👼
ありがとうございますー！

togetter.com/li/1669386

タグ：

posted at 21:18:11

非公開

タグ：

posted at xx:xx:xx

Atsushi Sakai @Atsushi_twi

教えてもらったこっちのほうが良さげ： pic.twitter.com/RcGNuTx3CF

タグ：

posted at 21:12:30

つぶ二 @tsubu_02

@musorami 彼らは数学的イメージと言うより数学的表現（図的表現など）との言葉を使いますね。（表現力とか話し合いが大好きなのは大学共通テストにも顕著に出ていますが）

sites.google.com/a/learning-eng...

タグ：

posted at 21:06:32

Atsushi Sakai @Atsushi_twi

このポスト見て初めて知ったんだけど、Juliaのマクロの引数が多かったり、引数の名前が長い時に、引数を複数行にできなくて、困ってたんだけど、コメントで改行を挟めばいいのか。これこそ思いつくの頭がいい。。 discourse.julialang.org/t/use-multi-li... pic.twitter.com/uneKhjGWcm

タグ：

posted at 20:49:40

非公開

タグ：

posted at xx:xx:xx

dc1394 @dc1394

@HW_a_pythonista 実装はしてあります（以下URLのGitHubリポジトリ参照）。C++で書いた古いコードなので、Juliaで書き換えようかと思っているところです。
github.com/dc1394/thomasf...

タグ：

posted at 20:24:01

た　ぬ @thumb_tani

「徳利の上にテーブルを乗せられる」という発見を共有しますね。 pic.twitter.com/g8w4FxJhj1

タグ：

posted at 20:14:58

積分定数 @sekibunnteisuu

@kamo_hiroyasu Z会と対照的にこれはまともな批判
www.asahi.com/articles/DA3S1...
＞会話形式の問題では「太郎と花子」が登場し、２人の会話が挿入されている。しかし、これらを削除しても問題として成立する部分が多かった。このような試験だと、「無駄に長い文章を読み解く」という、数学とは異なる力が必要となってしまう

タグ：

posted at 20:04:19

非公開

タグ：

posted at xx:xx:xx

Re: RT ついさっきした2つのRTsは、またしても、Ruby界とJulia界の相性の良さを示していると思った。

タグ：

posted at 19:37:49

僕は日本版AAASに興味を持ったから、発起人というかメンバー一覧を見たのです。全く興味がなければそもそもメンバーを見ません。そして、うーん、と思ったわけです。うーんと思った理由は宮川先生とのやりとりで

タグ：

posted at 19:05:40

まつしま/ Matsushima @hydrotusk

Canadian Journal of Zoologyからですが、実は同誌から出版されたSmith & Barr (1980)において、ガムシのキールが遊泳に関わる形質ではないかという仮説が立てられておりました。
40年の時を経て同じジャーナルで実証研究を発表できたこと、光栄に思います。

タグ：

posted at 19:01:40

まつしま/ Matsushima @hydrotusk

論文が出版されました。
「牙虫(ガムシ)」の由来になっている胸部腹板突起(キール)の役割について、2つの仮説を検証しました。
キールの存在は遊泳速度に関係していたことから、大型ガムシ類にみられるキールは遊泳に関する形態的な適応であるという仮説が実証されました。
cdnsciencepub.com/doi/abs/10.113... pic.twitter.com/q2GRMrcpqQ

タグ：

posted at 18:54:04

ながぴい @Nagapiii

山本拓人@速習大学数学(YouTube) @TKT_Yamamoto

@tsuyomiyakawa @kikumaco ふ～ん、日本版AAASとやらには御用学者ウィキに肯定的だったSTS関係者が関わってんのか。そういう人物がどういう意図でそういう組織を立ち上げようとしてるのか？とりあえず距離をおいて関わり合いにならないのが吉。

タグ：

posted at 18:53:35

@genkuroki なるほど．闇のふか…いろんなことを考える必要があるんですね．

いろいろ試してみてうまくいかなければ，適度に分からなさを共有したいと思います

タグ：

posted at 18:45:01

@TKT_Yamamoto プロットの仕方の習得は「プログラミングと別枠扱い」しなければいけないくらい大変だと思います。

プロットの仕方について分からなくなったら、積極的に「分からない」と言う方が多分みんなハッピーになれます。

タグ：

posted at 18:39:38

きちんと具体的なコードを示して、「このケースでこうすると〇〇の方が◇◇より速かった」と言うのであれば、コードをいじることによって色々勉強になるので建設的になる場合が結構あるので面白いと思いますが、コードを何も示さずにそういうことを言うのは不毛にもめる原因になりやすい。

タグ：

posted at 18:35:35

純粋な計算速度ならJuliaよりC++やFortranの方が速くて当然だと思っていた人達は、実際にJuliaを真剣に使い始めると意見を変える、というのが、典型的なパターンになっているように見えます。

タグ：

posted at 18:35:35

山本拓人@速習大学数学(YouTube) @TKT_Yamamoto

【開発速度を含めた場合はJulia、純粋に計算速度のみならC++になると思います】

JuliaとC++の純粋な計算速度について、どちらかがもう一方より速いという説にはまともな根拠がないと思います。

純粋な速さ的にはどちらも同じようなもの。

実効的な速さはマイクロベンチマークでは分からない。 twitter.com/hw_a_pythonist...

タグ：

posted at 18:35:34

@genkuroki ご教授頂き，ありがとうございます！うまくいきました！

まだJulia(というよりプログラミング)を始めて日が浅く，標準的な方法を知りませんでした．

plotにこのような書き方ができるのですね！ pic.twitter.com/xZdvSkAAmb

タグ：

posted at 18:32:44

@TKT_Yamamoto #Julia言語 In[2]の標準的な方法ではダメなんですかね？

ソースコード↓
gist.github.com/genkuroki/bb50... pic.twitter.com/srjhnAifal

タグ： Julia言語

posted at 18:13:55

@tymwol@bayes.club @tymwol

山本拓人@速習大学数学(YouTube) @TKT_Yamamoto

If anyone *needs* #JuliaLang syntax highlighting for nano, I created a PR to the collection by @scopatz. If you want it right away, before it gets merged, just copy the file to ~/.nano/ and add include "~/.nano/julia.nanorc" in the .nanorc github.com/scopatz/nanorc...

タグ： JuliaLang

posted at 16:49:20

うーん，Juliaでplotするときにグラフがカクカクになる問題……

プロット点を増やす方法が分からんなあ

#Julia言語

タグ： Julia言語

posted at 16:45:46

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ただ、実は「放射能デマ検証本」みたいなのに誘われたのにほったらかしてしまった前科があり、あれはきちんとやっておくべきだったのかなとは思います。僕が書かなくても出ましたので、それはいいんですが。
「放射能デマ検証」みたいなことを重視するようになったのは少しあとですね、僕の場合

タグ：

posted at 13:35:08

林敏浩 (海峰棋院院長) @mhlpanda_limino

僕自身は「放射能デマ」指摘よりは「放射線知識の普及」の方に重きを置いていた記憶がありますが、「放射能デマ」についてもそこそこの発言はしていたと思います

タグ：

posted at 13:32:49

www.youtube.com/watch?v=6tNAGq...

昨晩もリンクを貼りましたが、もう一度。
Hidamari Channelの「囲碁で世界を魅了する女」マユさんが詳細に紹介してくださってます。

タグ：

posted at 13:31:21

#Julia言語今ならパイプを複数行にしたい場合には

github.com/jkrumbiegel/Ch...
Chain.jl

を使ってしまいます。

twitter.com/genkuroki/stat... pic.twitter.com/rGZVxgiEwy

タグ： Julia言語

posted at 13:29:28

Akinori Ito @akinori_ito

林敏浩 (海峰棋院院長) @mhlpanda_limino

こういう色遣いを見るとプリキュアを連想する pic.twitter.com/DgGuQnPHsN

タグ：

posted at 13:27:52

昨晩弈客のAI碁盤を紹介させていただきましたが、こちらのAI碁盤の方が機能は豊富そうです。

こちらの方が大きくて重そうですが、モニター付きで携帯要らずのようなので便利そうです。

ただ、日本での販売はまだかもしれません。 twitter.com/Noriyuki_Kimur...

タグ：

posted at 13:26:11

Kimura@sansan @Noriyuki_Kimura

@mhlpanda_limino IZiS AI GO Board
www.facebook.com/groups/3722359...

タグ：

posted at 13:16:13

dc1394 @dc1394

@genkuroki ありがとうございます。教科書のマニュアル本に、件の方のツイートの内容のように指導すべきと明記してあるんですね…。ちょっと驚きました。

タグ：

posted at 13:00:31

なぜこういう話を書いているかというと原発事故後10年だからではなく、「日本版AAAS」に春日匠氏が深く関わっていると知ったことから始まる一連の長い連想ゲームの結果ですが、そこに「耳なしウサギデマ」が関わっていたのは過去に起きた偶然と必然のせいです

タグ：

posted at 12:57:53

放射線についての基礎知識を欠く大学教員たちが放射能デマの後押しをした事例も多くありました。

あの時、専門がなんであろうと放射線の基礎くらい学んで正しい知識を伝えることは大学人の務めだったと思います。放射線の基礎は本を一冊読めば理解できます

タグ：

posted at 12:53:42

@dc1394 子供達にデタラメを教えることを教科書やそのマニュアル本のような社会的な基盤の整備によって実現している人達がいるのです。しかも100年以上の歴史を持っている。

掛け算順序問題について知っても、こういうことになっているとは普通は思わない。

私は気付くまで10年以上かかりました。

タグ：

posted at 12:51:38

2011年を思い出すと、悪質な放射能デマ発信者たちが各種メディアのバックアップを得て、被災地に無用な不安を惹き起こそうと活躍していました。彼らはそれで利益を得ていました。被害者は不安に陥れられた人々です。
カウンターとして、基礎知識の普及と荒唐無稽なデマの指摘とは両輪だったはずです

タグ：

posted at 12:50:27

@dc1394 #超算数悪の手先にならずに、かけ算順序はどうでもよいとしている学年主任の存在について語っている人を最近ツイッターで見かけた。

算数の教科書やそのマニュアル本の内容に影響力を持っているのは算数教育の専門家達です。そういう人達が困る状態にならないとこの問題は根本解決しないと思います。

タグ：超算数

posted at 12:47:45

「僕たち」と書きましたが、グループがあったわけではありません。
ただ、同時多発的に多くの人々(科学者も一般の人も)が「デマ」の流布に危機感を抱いて、「正しい」放射線知識の普及と「放射能デマ」の指摘とを並行して行ったのです。
それは台頭する「放射能デマ勢」へのカウンターでした

タグ：

posted at 12:46:53

@dc1394 #超算数デタラメなかけ算順序指導の歴史は100年以上あって、算数の教科書出版社はその伝統を一般人購入不可の教師向け出版物によって、小学校の先生たちに広めているという事実があります。

おかしなことを言う現場教師や元教師は単なるその手先になってしまった人達にすぎません。

タグ：超算数

posted at 12:44:29

僕たちが2011年当時に「放射能デマ」を「デマ」と呼んだことは正しかったと考えています。デマでも流言でもいいですが、とにかく傾聴に値しない与太であり、それどころか害をなすものであることを表現するのに「デマ」は適切な表現だったと考えます。デマを指摘するのは重要な活動だったはずです

タグ：

posted at 12:43:43

@dc1394 #超算数添付画像①は2011年版の小6算数教科書のマニュアル本(一般人購入不可)からの引用で、②③はもっと前の別の出版社の小2教科書のマニュアル本からの引用。

③に書いてあることは④と同じです。

笑える考え方を教科書出版社が一般人購入不可の教科書のマニュアル本を使って教師に広めています。 pic.twitter.com/h35OxGhZsv

タグ：超算数

posted at 12:41:37

@shinnkun おそらく shinnkun さん自身のミスではないと思います！←これ重要

入門的教科書に書いてある解説文が非論理的な場合があります。多分、入門的教科書が悪い。

実際にそうなら、みんなで入門的教科書を批判して行かないと、このままずっと教科書が誤解を広め続けると思います。

タグ：

posted at 12:24:40

dc1394 @dc1394

掛け算に順序がある派の方のツイートで、一番笑えた（笑えない）のはこちら。意味不明。 twitter.com/sachimiriho/st...

タグ：

posted at 12:06:38

shinnkun @shinnkun

@genkuroki ありがとうございます．
まさにその非論理的で典型的な考え方をしていました．

"尤度"をとてもわかりやすく定義していだたい他ので，考え方のミスに気が付きました．

タグ：

posted at 11:59:14

「尤度の最大化」や「不偏性の要求」などには必然性はないと最初にはっきり言ってくれないと、必然性がない考え方について納得するために、非論理的な正当化に初学者は走りがちになってしまう。

そして統計学入門の本は「必然性がない」とはっきり言い難い困った構成になっているようにも見える。

タグ：

posted at 11:54:10

@sarashina0328 Juliaの型の世界は複雑で、ツリーを表示させて、1つひとつドキュメントを読んで確認して行くのは結構楽しいです！😊

それ自体が娯楽になり得る感じ。

そして AbstractTrees.jl は神！

github.com/JuliaCollectio...
juliacollections.github.io/AbstractTrees....

タグ：

posted at 11:44:43

nakam @Naka_m

数日前だけど、イオントラップで実験的にRiemannゼータ関数の零点を観測したという論文がarXivに出ていた。2準位系をめっちゃうまくドライブするとFloquet有効ハミルトニアンにRiemannゼータ関数が現れるらしい
arxiv.org/abs/2102.06936

タグ：

posted at 11:42:44

ダメな考え方：尤度は英語でlikelihoodであり、もっともらしさを表す。最尤推定はもっともらしさを最大化する推定法である。得られたデータと同じ数値が生成される確率を最大化することは非常にもっともらしい推定法だろう。

↑非論理的な考え方の典型例

最尤法は沢山ある方法の中の1つにすぎない。

タグ：

posted at 11:38:01

尤度の定義は「モデル内でデータと同じ数値が生成される確率または確率密度」であり、「モデルのデータへの適合度」の指標にはなりますが、「もっともらしさ」ではないし、「最大化するべき量」でもありません。

最尤法以外にも沢山の方法があり、条件を変えるごとにどれが良い方法であるかは変わる。

タグ：

posted at 11:38:01

尤度函数を最大化することに必然性はないです。実際、比較基準を明確にしたとき、最尤法は最良の方法にならないことが多いです。

モデルを固定して、正則性などの条件を仮定して、サンプルサイズ→∞とすれば(非現実的！)、最尤法によってモデル内で可能な最良の結果が得られることは証明できます。 twitter.com/shinnkun/statu...

タグ：

posted at 11:38:00

更科 @sarashina0328

@genkuroki 教えていただきありがとうございます。
Jupyterのインストールでは黒木さんのサイトに助けられました。
こちらも是非使わせていただきます。

タグ：

posted at 11:32:01

大刀 @DAIGATANA

クレベリンの大幸薬品、ゴリッゴリに落ちてて草。 pic.twitter.com/tJ17HFJudi

タグ：

posted at 11:22:11

#統計不偏性という極めて強い数学的条件を仮定して〇〇法が最良であるという結果を出していたら、「不偏性の小さな崩れを許容すれば自分の目的にとってもっと優れている別の方法があるかもしれない」と疑う癖をつけた方が誤解が少なくなると思う。

タグ：統計

posted at 11:21:19

#統計「不偏性を仮定して得られた数学的に強い結果は、井の中の蛙的な定理に過ぎない」とどうして言ってくれないのか？

これについても黒歴史があるのではないか？

タグ：統計

posted at 11:04:29

#統計不偏性はおそろしく強い数学的条件であり、実用的には問題がない小さな不偏性の崩れを許容した方が良い場合の方が多いと思う。

不偏性を仮定すると数学的に強い結果を出し易いのですが、「実用的には不偏性の条件の維持にこだわることは不合理である」と正直に言うべきだと思う。

タグ：統計

posted at 11:04:28

#統計不偏性(unbiasedness)の条件は座標依存なので、座標をちょっと変えただけで維持されなくなってしまう。

例えば、統計学入門で習う不偏分散は真の分散の不偏推定量になっているのですが、不偏分散の平方根は真の標準偏差の不偏推定量にはなっていません。

タグ：統計

posted at 11:04:27

#統計統計学関連の文献で、「不偏」(unbiased)という条件を付けて「〇〇法が最良」というようなことを述べる行為が普通に行われていますが、不偏性は数学的にものすごく強い制限で、その制限の中で「最良」と言われても、「どうせ、井の中の蛙だろ？」という印象がどうしても出て来てしまう。

タグ：統計

posted at 11:04:26

@PKAnzug

当院の総務部に「クレベリンの無償配布」と「オゾン空間除菌売り込み」のことを伝えて、「どっちも絶対に受けるな。万一勝手に送ってきたら送り返せ」って話しておいた。
病院職員も事務とかはほぼ「普通の人」で、ちゃんと警告しないと受けてしまう可能性があるのです。

タグ：

posted at 11:01:03

#Julia言語

個々の型が全部楽しいおもちゃ。

区間解析や四元数のパッケージを読み込むと数の型のツリーがさらに豊富になります。おもちゃがどんどん増える。

Juliaでのパッケージの開発はJuliaにおける型世界をさらに充実させることになっています。 pic.twitter.com/RcCUD2uYqH

タグ： Julia言語

posted at 10:44:49

#Julia言語では「効率的な計算のための複雑な型の世界」と「型名を一切書かずに高速計算可能な世界」が重なっている。

タグ： Julia言語

posted at 10:36:03

#Julia言語行列Aとベクトルvを使った効率的な計算を行う函数をJuliaでは

function f(A, v)
Aとvを使った計算
end

のように型名を一切書かずに定義可能。

型名を一切書いていなくても、引数A,vの具体型の情報を使ってネイティブコードにコンパイルされて実行され、C並の速さで計算してくれる。

タグ： Julia言語

posted at 10:32:49

#Julia言語数の型ぐらいは全部覚えられても、ベクトルや行列の型はとても覚え切れない。そういう複雑な型の世界の構築はベクトルや行列の効率的な計算に必要。

しかし、一般ユーザー側はベクトルや行列の型を無理に覚えることなく、効率的な計算が可能である。そういうユーザーフレンドリーな設計。 pic.twitter.com/tN1NbQdB4G

タグ： Julia言語

posted at 10:27:32

#Julia言語

print_tree(Number), print_tree(AbstractVector) の結果

行列だけではなく、数やベクトルの型も沢山ある。

パッケージを読み込むとこれらの内容がさらに増える。

型の継承がツリー型階層構造に限ることが原因で生じる設計上の困難は Holy traits を使えば解消される。 twitter.com/genkuroki/stat... pic.twitter.com/MdX35qQOia

タグ： Julia言語

posted at 10:27:30

#Julia言語私が自分の勉強用に作ったパッケージ

github.com/genkuroki/Meta...
MetaUtils.jl
↓使い方
nbviewer.jupyter.org/github/genkuro...

添付画像1：print_tree(AbstractMatrix)←これの出力結果を見れば、Juliaが多彩な行列の型を持っていることが分かる。他の事柄についても同様。ジャングル的な複雑さ。 twitter.com/sarashina0328/... pic.twitter.com/FtzyCfVCpF

タグ： Julia言語

posted at 10:27:27

sekkai @sekkai

クレベリン、いかにも医療品のような顔して売り場に並んでますけど、日常生活空間での感染予防のエビデンスなんて当然ないので「生活雑貨」として売られてますからね？☺️ twitter.com/sekkai/status/...

タグ：

posted at 09:37:50

sekkai @sekkai

どうせ捨てるので最初からゴミになるものを病院に送ってこないでくださ〜い☺️ www.nikkei.com/article/DGXZQO...

タグ：

posted at 09:36:05

更科 @sarashina0328

タグ： Julia プログラミング初心者プログラミング初心者と繋がりたい駆け出しエンジニアと繋がりたい

Pythonに飽きたので、ちゃんとした型システムのある新しめの言語やりてーなと思ってJuliaの勉強はじめました。
#Julia #駆け出しエンジニアと繋がりたい #プログラミング初心者と繋がりたい #プログラミング初心者

posted at 09:09:51

タクラミックス @takuramix

自然派だの免疫力だの言ってるデタラメ医者のデタラメ情報にやられちゃう人、
「優しくてよく話を聞いてくれる先生だから信じられる」
とか言ってんのよくみるんだが、
詐欺にやられちゃった人が言う言葉とそっくり同じだから気づいてくれ。
「優しく話を聞いてくれる」
は、信じて良い理由にならない

タグ：

posted at 08:13:02

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

むううみん @muuumin20

ちょうど「かばう」の実装中だし、タイミングとしてはちょうどいい、のかな？？

タグ：

posted at 07:55:23

Mうら @tchaikovsky1026

問題: ∫_2^4 x^x dx は100より大きいか、小さいか。証明もせよ。

ならきつい。 twitter.com/genkuroki/stat...

タグ：

posted at 07:46:51

むううみん @muuumin20

私の「Julia言語で入門するプログラミング」でもそのうちやっちゃうかな twitter.com/fukada80/statu...

タグ：

posted at 07:33:49

Stefan Karpinski @StefanKarpinski

@Love2Code Use rr: rr-project.org

タグ：

posted at 05:21:26

Christopher D. Long @octonion

富谷(助教);監修シン仮面ライダー @TomiyaAkio

@tymwol I wrote a sample notebook using several of them. It's my analysis of two different ways to use escalators, based on a news story about Tokyo.

github.com/octonion/puzzl...

タグ：

posted at 04:16:48

Fortran よりjulia が速いケースがあるというの、もっとスパコンユーザーに知られても良い気がする
(みんな使えという意味ではない)
もっとそっち方向の研究進んでほしい

タグ：

posted at 04:10:36

@tymwol@bayes.club @tymwol

@octonion Those are not Pokémon’s, ya know? 😆

タグ：

posted at 04:08:35

Christopher D. Long @octonion

@tymwol Here are my installed kernels. pic.twitter.com/iEdA3GFHeU

タグ：

posted at 04:05:32

Maxime Chevalier @Love2Code