黒木玄 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 を見て下さい。
2021年05月25日(火)
失敗の情報がナマで出て来るのがSNSの良いところ。
最近、数値計算が破綻する様子の動画を見なくなって寂しい(笑)
数値計算初心者にとって、数値計算が破綻する様子の情報は非常に貴重。みんな成功した場合だけを表に出す(笑)
タグ：
posted at 23:50:05
これは貴重な情報。私もiPadのユーザーなのでやってしまいそうだ。
iCloud同期でのこの注意はさすがに予想できなかった！ twitter.com/kenkyuusasero/...
タグ：
posted at 23:47:27
非公開
タグ：
posted at xx:xx:xx
予想：
①iPad上でsafari以外のブラウザでgifアニメを長押しして保存。
②保存結果はgifアニメではなくなる。
③それをそのまま投稿。
#Julia言語 について「ドキュメントが足りない」という話はJuliaのコミュニティで常に話題になっていると思う。ドキュメントへの貢献者が増えないと解決しない。 twitter.com/kenkyuusasero/...
タグ： Julia言語
posted at 23:38:49
例えばこれ、元小学校教師のツイートなんだけど、
採点に納得できなくて教師に直接掛け合っても、こんな説明されるんだよ。何の解決にもならないよね。 twitter.com/sachimiriho/st...
タグ：
posted at 23:38:16
#Julia言語
discourse.julialang.org/t/union-splitt...
↑
これは FunctionWrappers.jl github.com/yuyichao/Funct... 関連の話題
Juliaの函数 f の型は函数ごとに異なる typeof(f) になるので、函数を引数とする函数では異なる函数ごとに異なるコンパイル結果が得られます。続く
タグ： Julia言語
posted at 23:18:49
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#Julia言語 を使ったプロットの例
マウスでグリグリできる
↓
genkuroki.github.io/html/Pluto_plo... twitter.com/genkuroki/stat... pic.twitter.com/7JFK3mGEeM
タグ： Julia言語
posted at 21:31:00
#数楽 添付画像のグラフは
f(x, y) = if (x, y) = (0, 0) then 0 else x²y/(x²+y²)
のグラフ。偏微分可能だが、原点で微分不可能な函数になっている。
数学的定義を知らなくても、原点でグラフが滑らかになっていないことは誰にでもわかる。
誰にでも分かることから順番に学ばないと数学はつらい。 pic.twitter.com/fmar1BaGtQ
タグ： 数楽
posted at 21:25:53
空飛ぶハスキーだ！
「と……飛んでる!?」「奇跡の一枚ですね」 ハスキーのジャンプの瞬間を撮った写真に驚きの声続々
nlab.itmedia.co.jp/nl/articles/21... pic.twitter.com/gVJBAGwMVl
タグ：
posted at 21:15:00
#Julia言語 続き
⑤するとJuliaのコードが実行され、Plutoが結果を表示してくれる。しかし、この場合にはグラフが描かれるまで数十秒程度待つ必要がある。
スクショは時系列順になっています。
以上をすべて再現できた人は
Juliaの世界へようこそ！
Juliaは現存する最強の高級電卓環境の1つ。 pic.twitter.com/qndQqQkrod
タグ： Julia言語
posted at 21:13:58
#Julia言語 続き
③Plutoを実行
julia> using Pluto; Pluto. run()
Pluto. の後のスペースは削除する。
すると、ブラウザにPlutoのタブが開く。
④そこにソースコードのURLを貼り付ける。
ソースコード↓
gist.github.com/genkuroki/2cb5...
続く pic.twitter.com/4keuZeVlEj
タグ： Julia言語
posted at 21:07:17
#Julia言語 そのソースコードの実行の仕方
①Juliaをインストールする。
julialang.org/downloads/
から公式バイナリのインストーラをダウンロードできます。
②juliaを実行して、パッケージをインストール
julia> ]
pkg> add Pluto Plots Plotly
pkg> バックスペースキーを押す
julia>
続く
タグ： Julia言語
posted at 21:03:08
そのHTMLファイルは #Julia言語 のPluto.jl, Plots.jl, Plotly.jlというパッケージ達を使って作成し、GitHubにおけるファイル作成時にコピー＆ペーストで貼り付けました(もっとも素朴なGitHubの使い方！）。
グラフを描くために使ったソースコードは
gist.github.com/genkuroki/2cb5...
で公開してあります。
タグ： Julia言語
posted at 21:00:31
#GitHub #Julia言語 具体例
github.com/genkuroki/html
に作った Pluto_plotly_1.html というファイルの中身は
genkuroki.github.io/html/Pluto_plo...
で閲覧できる。マウスでグリグリできます。 pic.twitter.com/eouHn5AEQQ
posted at 20:56:28
#GitHub 無料でHTMLファイルを気軽に公開したければ、GitHubのPagesというサービスがお勧め。無料で使える。詳しい解説は以下のリンク先動画を参照。
変更点：
①Settingsの下の方で設定→SettingsのPagesで設定
②master→main
youtu.be/RBlv2aKKWg4
タグ： GitHub
posted at 20:51:26
@shoyugi @nanigashionline 等分除・包含除関係なく
割られる数＝割る数×商+余り 派
包含除だと、割られる数＝割る数×商+余り
等分除だと、割られる数＝商×割る数+余り 派
の2派があるようです。
両者で対決して対消滅してほしいですね^^ pic.twitter.com/u2R5pgAfof
タグ：
posted at 20:36:16
#数楽 無料でグラフを描くことへの入門法の1つ
WolframAlphaを使う
例
↓
www.wolframalpha.com/input/?i=plot%...
私は有料アプリ経由で使っている。 pic.twitter.com/STXEbtHr66
タグ： 数楽
posted at 20:27:35
非公開
タグ：
posted at xx:xx:xx
#Julia言語
juliaを--math-mode=fastで使うべきではないという話。
discourse.julialang.org/t/a-subtle-bug...
↓
github.com/JuliaLang/juli...
【Asking isnan correctly is computationally expensive and slow】
julia> isnan(NaN)
true
julua> @ fastmath isnan(NaN)
false
これは確かにめちゃくちゃ危ない。 pic.twitter.com/WGDi8O90w3
タグ： Julia言語
posted at 19:55:14
#Julia言語 #数楽 私はJuliaのサンプルコードを示すときに、純粋にサンプルコードとしてしか意味を持たない例を示すことはほとんどない。
九九の表を
(1:9)' .* (1:9)
で作っていることに注目。
九九の表に含まれる数の総和は1から9までの数の3乗和に一致する。
有名な算数の授業ネタの1つ。 pic.twitter.com/XSZdSTjbO9
posted at 19:32:13
#Julia言語 Juliaでは
using LinearAlgebra
すると、I が「単位行列にあたるもの」になるのですが、函数の中で I を変数として使っても、ローカル変数を変えただけなので、LinearAlgebraのIと名前が被って困るということはないという話。
discourse.julialang.org/t/saving-spars... pic.twitter.com/a1wph37evI
タグ： Julia言語
posted at 19:28:12
@MNHR_Labo うちの子が小学生のとき、理科のテストの解答で「冬の大三角形」と書いてバツをもらったのを思い出しました。先生に聞くと、教科書には「冬の大三角」と書いてあるのでダメだと。
タグ：
posted at 18:41:35
非公開
タグ：
posted at xx:xx:xx
#数楽 以下のリンク先スレッドの内容はいい話。
現代なら、無料の各種道具で函数のグラフを描き放題です。
グラフを描く→グラフを描く→たまに何かに気付く→予想を立てる→グラフを描く→グラフを描く→…
おもちゃで遊び続ける感覚。
「百聞は一見に如かず」を実感できる。 twitter.com/kiguro_masanao...
タグ： 数楽
posted at 18:22:59
ごまふあざらし(GomahuAzaras @MathSorcerer
NaNを使って描画しない部分を表現するテクニックを使うことができました．displayfile 関数は黒木さんのノートブックの
nbviewer.jupyter.org/gist/genkuroki...
の関数を用いました．(Base64 をロードすることを忘れずに)
タグ：
posted at 18:08:26
ごまふあざらし(GomahuAzaras @MathSorcerer
（手書きの温かみは無くなっちゃいますが）アニメーションで見るとさらに理解が進みますね． #Julia言語 でならリンク先の gist のようにして作成できます．
gist.github.com/terasakisatosh... twitter.com/Yam_eye/status... pic.twitter.com/oNp6rglGsv
タグ： Julia言語
posted at 18:08:25
森田洋之@「医療」から暮らしを守る医師／ @MNHR_Labo
さすがにこれが✖️なのは意味が分からない。 pic.twitter.com/OHfXcRzDvm
タグ：
posted at 18:08:16
Pythonを実行するときによく使われるJupyter
実はRとJuliaでも使えます
Jupyterの名前は
Julia + Python + R
からつけられたとのこと
ちなみに木星はJupiterです
タグ：
posted at 17:57:04
@kale_aojiru 神戸の竹中大工道具館に大工道具の数学的使用法を解説しているコーナーがありました。曲尺の裏目（裏の目盛り）が表目の√2倍になっていて、これを使って円柱の丸太から最大の正方形の角材を切り出すとか、感心してしまいました。棟梁たちは数学も出来ないとダメだそうですよ
www.dougukan.jp
タグ：
posted at 17:49:34
二次関数x^2+3x+1のグラフが、「x^2のグラフを、各xの点において3xだけ上にずらし、さらに全体を1だけ上にずらしたグラフ」だということをこのとき初めて知ったし、それ知ったときとても感動したのです。それまでは頂点と切片を出さないと描けないものだと思ってた。
タグ：
posted at 17:47:46
相関が強い場合の正規分布からのサンプリングその2
サンプリング法: HMC
収束診断: Geweke
#julialang twitter.com/kitano_blog/st... pic.twitter.com/0Bd4LunFtX
タグ： julialang
posted at 17:46:27
相関が強い場合の正規分布からのサンプリングその1
サンプリング法: Gibbsサンプラー
収束診断: Geweke
#julialang pic.twitter.com/e1bYwBBX9D
タグ： julialang
posted at 17:45:43
ホントに唐突に思い出したんだが、物凄く高価そうな関数電卓を高校のとき持ってたんですよ。大きい画面がついてて、デタラメに入力した関数のグラフを描写してくれるんです。それを何日もいじってたおかげで、たいていの関数は見ただけで頭の中で描写できるようになった。
タグ：
posted at 17:35:31
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
苦手な人には公開処刑だろうな。
私、音楽も体育も苦手だったけど、ダンス必修化と聞いて、「自分の学校時代になくてよかった」と胸をなでおろしたよ。
誰だこんなもの必修化した奴は。やりたい奴が勝手にやればいいだろうが。 twitter.com/20Almond/statu...
タグ：
posted at 13:14:59
【再掲】
数学の苦手な文系学生に、三角関数は斜辺から高さを求める（三角比）とかが本質じゃなくて、円運動を真横から見ると単振動に見えることの表現なんだ。だから音楽やるとサインコサインがものすごく重要になるんだよと解説したら「その説明、高校の時に聞きたかったです」と大勢に言われた pic.twitter.com/5jZp5Fu4Yx
タグ：
posted at 12:56:34
@MCamachoA @quinn_jacobd I came across this MATLAB to #julialang translator a while back. Seems like it could be very handy, at least for a first approximation
lakras.github.io/matlab-to-julia/
タグ： julialang
posted at 12:51:01
猫をイスの車輪で轢かないよう、ガムテープの中に車輪を入れる工夫、伊藤潤二『よん＆むー』で作者が行っていたがこれは便利で安全だ。埃がたまりやすいが、大したこと問題ではない。 pic.twitter.com/wFQuyIu9M4
タグ：
posted at 12:29:47
皆様からの心温かいコメント、読み聞かせながら息子に引かれるほどまた泣いてしまいました。ありがとうございます。息子も喜んでいます。「ツノゼミを嫌いになるのはありえない！」とのことです。そしてこれが「みんなに見て欲しい」彼の飼っているツノゼミたちです。 pic.twitter.com/7MkrwMBaIQ
タグ：
posted at 12:26:52
非公開
タグ：
posted at xx:xx:xx
何年かに一度一夜だけ咲いて朝には萎むサボテンの花の珍しい開花をお母さんがタイムラプスでバッチリ撮ってた動画がすごい pic.twitter.com/C20lHz2V5T
タグ：
posted at 10:24:29
@rachel_kurchin @JuliaConOrg @JuliaLanguage I’m also interested in materials science and computing. However, I’m just a beginner in JuliaLang. I’m glad I found you account so I can learn and have someone to look up to.
It would be so awesome, if one day I can contribute to Julia Language in some meaningful way!
タグ：
posted at 10:18:15
@beatboard1 #超算数
積分定数
「朝日新聞を読みました。なぜ掛け算の順序を教えているのでしょうか？」
小学校教師
「研究会などで推奨されているからそうしているだけ。記事になったのも私の方から記事にしてくれと頼んだわけじゃない」
これで言い訳になっているつもりなのが面白いですね^^
タグ： 超算数
posted at 08:05:04
@beatboard1 #超算数
この教員と、電話でのやり取り
積分定数
「この掛け算の順序は事実としてそうだという認識でしょうか？それともあくまで方便として教えているのでしょうか？」
小学校教師
「方便とは失礼ですね！」
積分定数
「えっ？えっ？えっ？私失礼なこと言いましたか？」
www.asahi.com/edu/student/te...
タグ： 超算数
posted at 08:02:42
「良薬口に苦し」というけど、「苦くなければ良薬でない」みたいなアホな理屈が罷り通るのは間違っている。
「楽しい勉強は勉強ではない」とか「国が金を“刷る”なんて倫理にもとる」とか、そういうのをあちこちで見るが、こういう個人の感覚を後から他人が正すのはとても難しい。（まず不可能）
タグ：
posted at 06:57:52
次は脇やって～😽
次はお腹～😽
次はこっち～😽
ブラッシングして欲しい場所をゴロンして出してくれます😊✌️ pic.twitter.com/GvBy1tP7AJ
タグ：
posted at 06:37:10
島谷「ポアソン分布・ポアソン回帰・ポアソン過程」第1章, 二項分布→Poisson分布の収束の様子.
#julialang pic.twitter.com/GHJ7lffFGQ
タグ： julialang
posted at 05:11:06
今日、8歳の息子のオンライン授業で自分のペットを紹介するという時間があったんです。息子が、飼っているツノゼミを見せたらクラスメートに「気持ち悪い！」とか「ゴキブリみたい」と言われショックをうけてボロボロ泣き出してしまいました。それを見て私も泣いてしまいました...
タグ：
posted at 03:32:52
@temmusu_n ワシが過去の見たケースでは「数学のルール」のところは「常識」って表現であった。
（parsingの概念の無い者（世間には結構な割合で存在する）に説明するのは辛い） #超算数
タグ： 超算数
posted at 02:49:37
そしてそして、ちょっと下世話な話。たぶんこれが日本のラボ発ではじめての新型コロナ関連のCell論文じゃないでしょうか。大阪大学・荒瀬研究室、すごい！おめでとうございます！！
5/5
タグ：
posted at 01:38:16
そして、（多くの）科学者/専門家は盲目的に"ワクチン最高！"と主張しているわけではなく、動物実験や治験やリアルワールドのデータを鑑みて、さらにこうやって抗体の悪い面やワクチン副反応の頻度だったりもきちんと評価・報告したうえで発信していることを知っていてほしいなと思います
4/5
タグ：
posted at 01:36:33
ワクチンによって悪い抗体がつくられる可能性はありますが、そもそも十分なよい抗体ができていることはこれまでにも実験的に確かめられていますし、リアルワールドでもワクチンによる重症化抑制の効果はしっかりとみられています
3/5
タグ：
posted at 01:36:07
ただし！この結果から"ワクチンは危険！！"…とはなりません。なぜなら、よい抗体が十分（悪い抗体と同量程度以上）にあれば、この悪い抗体があっても感染増強はみられなかったからです
2/5
タグ：
posted at 01:35:28
危惧されていたように、新型コロナに対する抗体によって感染が増強してしまうことがありうると、実験的に示されました。重症の感染者ではこの"悪い抗体"が多かったそうです
www.cell.com/cell/fulltext/...
1/5 (↓ につづきます！大事です！！)
タグ：
posted at 01:35:00
jupyterはJulia + Python + Rから命名されたっていう話を聞いて、「じゃあなんでjupyterにJuliaが最初から標準実装されてねえんだよ！！」ってなっちゃった
タグ：
posted at 01:19:16
@temmusu_n 説明抜きで使って良いルールはものすごく普及していなければいけない。
だから、説明抜きで使って良いルールであることを示すためには、ある教科書のある問題でローカルにそのルールが採用されていたことを見つけてもダメで、数学が得意な多くの人達がそのルールを知っていることを示すことが必要。
タグ：
posted at 01:15:41
@temmusu_n #超算数 こういう記述があってもその後の歴史では無視されたと。
わざわざ決めなくても困らないルールを決めて普及させる努力をするほど、合理的な数学ユーザーが暇じゃないということ。
タグ： 超算数
posted at 01:10:07
@temmusu_n #超算数 おお！どんな人であっても資料を扱うと役に立つ場合が出て来ることの証拠がまた増えましたね！
dl.ndl.go.jp/info:ndljp/pid...
【掛け算の記号×を省略して作られた積をあらわす式は、括弧で包んであるのと同一に取り扱う】 pic.twitter.com/riA594D6Ra
タグ： 超算数
posted at 01:05:14
#超算数 これは資料の引用であり重要なのでリンクしておくtwitter.com/nemakineko777/...。他にもリプライsが来ているが、全部返答できるとは限らない。
タグ： 超算数
posted at 00:32:07
#Julia言語
JuliaからPyCall.jlとかPythonCall.jl経由でPythonを使えば全部解決。 twitter.com/rhorin_uec/sta...
タグ： Julia言語
posted at 00:08:38
