黒木玄 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年02月17日(水)
#数楽 2つの函数のグラフの比較は
www.wolframalpha.com/input/?i=plot%...
のようにWolframAlphaを使うと便利です。 pic.twitter.com/rFrx2dtTMc
タグ： 数楽
posted at 00:02:53
H̶҈a҈c҉k҈A̵n̶d̷R̵o҈l @roll_hack
長男坊の掛け算のテスト。これ間違い・・・？
こういうの話題になってるのたまに見かけるけど実際に身の上に起こるとは。。。 pic.twitter.com/sjJ3AAB7F9
タグ：
posted at 00:50:36
What are your best tips & tips for debugging tricky Heisenbugs in C? I have a crash that doesn't always appear. Affected by address space randomization. This is in a custom JIT compiler so I may not be able to use external memory debugging tools, but I can use int3 and lldb.
タグ：
posted at 02:57:24
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
Fortran よりjulia が速いケースがあるというの、もっとスパコンユーザーに知られても良い気がする
(みんな使えという意味ではない)
もっとそっち方向の研究進んでほしい
タグ：
posted at 04:10:36
@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
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
自然派だの免疫力だの言ってるデタラメ医者のデタラメ情報にやられちゃう人、
「優しくてよく話を聞いてくれる先生だから信じられる」
とか言ってんのよくみるんだが、
詐欺にやられちゃった人が言う言葉とそっくり同じだから気づいてくれ。
「優しく話を聞いてくれる」
は、信じて良い理由にならない
タグ：
posted at 08:13:02
Pythonに飽きたので、ちゃんとした型システムのある新しめの言語やりてーなと思ってJuliaの勉強はじめました。
#Julia #駆け出しエンジニアと繋がりたい #プログラミング初心者と繋がりたい #プログラミング初心者
タグ： Julia プログラミング初心者 プログラミング初心者と繋がりたい 駆け出しエンジニアと繋がりたい
posted at 09:09:51
クレベリン、いかにも医療品のような顔して売り場に並んでますけど、日常生活空間での感染予防のエビデンスなんて当然ないので「生活雑貨」として売られてますからね？☺️ twitter.com/sekkai/status/...
タグ：
posted at 09:37:50
#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
#Julia言語
print_tree(Number), print_tree(AbstractVector) の結果
行列だけではなく、数やベクトルの型も沢山ある。
パッケージを読み込むとこれらの内容がさらに増える。
型の継承がツリー型階層構造に限ることが原因で生じる設計上の困難は Holy traits を使えば解消される。 twitter.com/genkuroki/stat... pic.twitter.com/MdX35qQOia
タグ： Julia言語
posted at 10:27:30
#Julia言語 数の型ぐらいは全部覚えられても、ベクトルや行列の型はとても覚え切れない。そういう複雑な型の世界の構築はベクトルや行列の効率的な計算に必要。
しかし、一般ユーザー側はベクトルや行列の型を無理に覚えることなく、効率的な計算が可能である。そういうユーザーフレンドリーな設計。 pic.twitter.com/tN1NbQdB4G
タグ： Julia言語
posted at 10:27:32
#Julia言語
個々の型が全部楽しいおもちゃ。
区間解析や四元数のパッケージを読み込むと数の型のツリーがさらに豊富になります。おもちゃがどんどん増える。
Juliaでのパッケージの開発はJuliaにおける型世界をさらに充実させることになっています。 pic.twitter.com/RcCUD2uYqH
タグ： Julia言語
posted at 10:44:49
@genkuroki 教えていただきありがとうございます。
Jupyterのインストールでは黒木さんのサイトに助けられました。
こちらも是非使わせていただきます。
タグ：
posted at 11:32:01
尤度函数を最大化することに必然性はないです。実際、比較基準を明確にしたとき、最尤法は最良の方法にならないことが多いです。
モデルを固定して、正則性などの条件を仮定して、サンプルサイズ→∞とすれば(非現実的！)、最尤法によってモデル内で可能な最良の結果が得られることは証明できます。 twitter.com/shinnkun/statu...
タグ：
posted at 11:38:00
尤度の定義は「モデル内でデータと同じ数値が生成される確率または確率密度」であり、「モデルのデータへの適合度」の指標にはなりますが、「もっともらしさ」ではないし、「最大化するべき量」でもありません。
最尤法以外にも沢山の方法があり、条件を変えるごとにどれが良い方法であるかは変わる。
タグ：
posted at 11:38:01
ダメな考え方：尤度は英語でlikelihoodであり、もっともらしさを表す。最尤推定はもっともらしさを最大化する推定法である。得られたデータと同じ数値が生成される確率を最大化することは非常にもっともらしい推定法だろう。
↑非論理的な考え方の典型例
最尤法は沢山ある方法の中の1つにすぎない。
タグ：
posted at 11:38:01
数日前だけど、イオントラップで実験的にRiemannゼータ関数の零点を観測したという論文がarXivに出ていた。2準位系をめっちゃうまくドライブするとFloquet有効ハミルトニアンにRiemannゼータ関数が現れるらしい
arxiv.org/abs/2102.06936
タグ：
posted at 11:42:44
@sarashina0328 Juliaの型の世界は複雑で、ツリーを表示させて、1つひとつドキュメントを読んで確認して行くのは結構楽しいです！😊
それ自体が娯楽になり得る感じ。
そして AbstractTrees.jl は神！
github.com/JuliaCollectio...
juliacollections.github.io/AbstractTrees....
タグ：
posted at 11:44:43
「尤度の最大化」や「不偏性の要求」などには必然性はないと最初にはっきり言ってくれないと、必然性がない考え方について納得するために、非論理的な正当化に初学者は走りがちになってしまう。
そして統計学入門の本は「必然性がない」とはっきり言い難い困った構成になっているようにも見える。
タグ：
posted at 11:54:10
@genkuroki ありがとうございます．
まさにその非論理的で典型的な考え方をしていました．
"尤度"をとてもわかりやすく定義していだたい他ので，考え方のミスに気が付きました．
タグ：
posted at 11:59:14
@dc1394 #超算数 添付画像①は2011年版の小6算数教科書のマニュアル本(一般人購入不可)からの引用で、②③はもっと前の別の出版社の小2教科書のマニュアル本からの引用。
③に書いてあることは④と同じです。
笑える考え方を教科書出版社が一般人購入不可の教科書のマニュアル本を使って教師に広めています。 pic.twitter.com/h35OxGhZsv
タグ： 超算数
posted at 12:41:37
僕たちが2011年当時に「放射能デマ」を「デマ」と呼んだことは正しかったと考えています。デマでも流言でもいいですが、とにかく傾聴に値しない与太であり、それどころか害をなすものであることを表現するのに「デマ」は適切な表現だったと考えます。デマを指摘するのは重要な活動だったはずです
タグ：
posted at 12:43:43
「僕たち」と書きましたが、グループがあったわけではありません。
ただ、同時多発的に多くの人々(科学者も一般の人も)が「デマ」の流布に危機感を抱いて、「正しい」放射線知識の普及と「放射能デマ」の指摘とを並行して行ったのです。
それは台頭する「放射能デマ勢」へのカウンターでした
タグ：
posted at 12:46:53
2011年を思い出すと、悪質な放射能デマ発信者たちが各種メディアのバックアップを得て、被災地に無用な不安を惹き起こそうと活躍していました。彼らはそれで利益を得ていました。被害者は不安に陥れられた人々です。
カウンターとして、基礎知識の普及と荒唐無稽なデマの指摘とは両輪だったはずです
タグ：
posted at 12:50:27
放射線についての基礎知識を欠く大学教員たちが放射能デマの後押しをした事例も多くありました。
あの時、専門がなんであろうと放射線の基礎くらい学んで正しい知識を伝えることは大学人の務めだったと思います。放射線の基礎は本を一冊読めば理解できます
タグ：
posted at 12:53:42
なぜこういう話を書いているかというと原発事故後10年だからではなく、「日本版AAAS」に春日匠氏が深く関わっていると知ったことから始まる一連の長い連想ゲームの結果ですが、そこに「耳なしウサギデマ」が関わっていたのは過去に起きた偶然と必然のせいです
タグ：
posted at 12:57:53
@genkuroki ありがとうございます。教科書のマニュアル本に、件の方のツイートの内容のように指導すべきと明記してあるんですね…。ちょっと驚きました。
タグ：
posted at 13:00:31
Kimura@sansan @Noriyuki_Kimura
@mhlpanda_limino IZiS AI GO Board
www.facebook.com/groups/3722359...
タグ：
posted at 13:16:13
昨晩弈客のAI碁盤を紹介させていただきましたが、こちらのAI碁盤の方が機能は豊富そうです。
こちらの方が大きくて重そうですが、モニター付きで携帯要らずのようなので便利そうです。
ただ、日本での販売はまだかもしれません。 twitter.com/Noriyuki_Kimur...
タグ：
posted at 13:26:11
#Julia言語 今ならパイプを複数行にしたい場合には
github.com/jkrumbiegel/Ch...
Chain.jl
を使ってしまいます。
twitter.com/genkuroki/stat... pic.twitter.com/rGZVxgiEwy
タグ： Julia言語
posted at 13:29:28
www.youtube.com/watch?v=6tNAGq...
昨晩もリンクを貼りましたが、もう一度。
Hidamari Channelの「囲碁で世界を魅了する女」マユさんが詳細に紹介してくださってます。
タグ：
posted at 13:31:21
ただ、実は「放射能デマ検証本」みたいなのに誘われたのにほったらかしてしまった前科があり、あれはきちんとやっておくべきだったのかなとは思います。僕が書かなくても出ましたので、それはいいんですが。
「放射能デマ検証」みたいなことを重視するようになったのは少しあとですね、僕の場合
タグ：
posted at 13:35:08
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
山本拓人@速習大学数学(YouTube) @TKT_Yamamoto
うーん，Juliaでplotするときにグラフがカクカクになる問題……
プロット点を増やす方法が分からんなあ
#Julia言語
タグ： Julia言語
posted at 16:45:46
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
@TKT_Yamamoto #Julia言語 In[2]の標準的な方法ではダメなんですかね？
ソースコード↓
gist.github.com/genkuroki/bb50... pic.twitter.com/srjhnAifal
タグ： Julia言語
posted at 18:13:55
山本拓人@速習大学数学(YouTube) @TKT_Yamamoto
@genkuroki ご教授頂き，ありがとうございます！うまくいきました！
まだJulia(というよりプログラミング)を始めて日が浅く，標準的な方法を知りませんでした．
plotにこのような書き方ができるのですね！ pic.twitter.com/xZdvSkAAmb
タグ：
posted at 18:32:44
【開発速度を含めた場合はJulia、純粋に計算速度のみならC++になると思います】
JuliaとC++の純粋な計算速度について、どちらかがもう一方より速いという説にはまともな根拠がないと思います。
純粋な速さ的にはどちらも同じようなもの。
実効的な速さはマイクロベンチマークでは分からない。 twitter.com/hw_a_pythonist...
タグ：
posted at 18:35:34
純粋な計算速度ならJuliaよりC++やFortranの方が速くて当然だと思っていた人達は、実際にJuliaを真剣に使い始めると意見を変える、というのが、典型的なパターンになっているように見えます。
タグ：
posted at 18:35:35
きちんと具体的なコードを示して、「このケースでこうすると〇〇の方が◇◇より速かった」と言うのであれば、コードをいじることによって色々勉強になるので建設的になる場合が結構あるので面白いと思いますが、コードを何も示さずにそういうことを言うのは不毛にもめる原因になりやすい。
タグ：
posted at 18:35:35
@TKT_Yamamoto プロットの仕方の習得は「プログラミングと別枠扱い」しなければいけないくらい大変だと思います。
プロットの仕方について分からなくなったら、積極的に「分からない」と言う方が多分みんなハッピーになれます。
タグ：
posted at 18:39:38
山本拓人@速習大学数学(YouTube) @TKT_Yamamoto
@genkuroki なるほど．闇のふか…いろんなことを考える必要があるんですね．
いろいろ試してみてうまくいかなければ，適度に分からなさを共有したいと思います
タグ：
posted at 18:45:01
@tsuyomiyakawa @kikumaco ふ～ん、日本版AAASとやらには御用学者ウィキに肯定的だったSTS関係者が関わってんのか。そういう人物がどういう意図でそういう組織を立ち上げようとしてるのか？とりあえず距離をおいて関わり合いにならないのが吉。
タグ：
posted at 18:53:35
論文が出版されました。
「牙虫(ガムシ)」の由来になっている胸部腹板突起(キール)の役割について、2つの仮説を検証しました。
キールの存在は遊泳速度に関係していたことから、大型ガムシ類にみられるキールは遊泳に関する形態的な適応であるという仮説が実証されました。
cdnsciencepub.com/doi/abs/10.113... pic.twitter.com/q2GRMrcpqQ
タグ：
posted at 18:54:04
Canadian Journal of Zoologyからですが、実は同誌から出版されたSmith & Barr (1980)において、ガムシのキールが遊泳に関わる形質ではないかという仮説が立てられておりました。
40年の時を経て同じジャーナルで実証研究を発表できたこと、光栄に思います。
タグ：
posted at 19:01:40
僕は日本版AAASに興味を持ったから、発起人というかメンバー一覧を見たのです。全く興味がなければそもそもメンバーを見ません。そして、うーん、と思ったわけです。うーんと思った理由は宮川先生とのやりとりで
タグ：
posted at 19:05:40
非公開
タグ：
posted at xx:xx:xx
@kamo_hiroyasu Z会と対照的にこれはまともな批判
www.asahi.com/articles/DA3S1...
＞会話形式の問題では「太郎と花子」が登場し、２人の会話が挿入されている。しかし、これらを削除しても問題として成立する部分が多かった。このような試験だと、「無駄に長い文章を読み解く」という、数学とは異なる力が必要となってしまう
タグ：
posted at 20:04:19
@HW_a_pythonista 実装はしてあります（以下URLのGitHubリポジトリ参照）。C++で書いた古いコードなので、Juliaで書き換えようかと思っているところです。
github.com/dc1394/thomasf...
タグ：
posted at 20:24:01
非公開
タグ：
posted at xx:xx:xx
このポスト見て初めて知ったんだけど、Juliaのマクロの引数が多かったり、引数の名前が長い時に、引数を複数行にできなくて、困ってたんだけど、コメントで改行を挟めばいいのか。これこそ思いつくの頭がいい。。 discourse.julialang.org/t/use-multi-li... pic.twitter.com/uneKhjGWcm
タグ：
posted at 20:49:40
@musorami 彼らは数学的イメージと言うより数学的表現（図的表現など）との言葉を使いますね。（表現力とか話し合いが大好きなのは大学共通テストにも顕著に出ていますが）
sites.google.com/a/learning-eng...
タグ：
posted at 21:06:32
非公開
タグ：
posted at xx:xx:xx
なんと、女優のはるかぜちゃんこと春名風花さん(@harukazechan )が、
<絵画レッスン受けたらバチボコに怖い先生が出てきて人生観丸ごと変えられた話>
の読みやすいまとめを作ってくださいました...読んでくださるだけで光栄なのに天使なのかな👼
ありがとうございますー！
togetter.com/li/1669386
タグ：
posted at 21:18:11
非公開
タグ：
posted at xx:xx:xx
Anacondaは便利なんだけど気をつけないと色々としでかしてくれるのでできたら使いたくない.
JuliaでPackageCompiler.jlを入れたら, Conda.jlがインストールされてしまったわけだが...
内部でどう動いてるのか気になる.
タグ：
posted at 22:00:43
週末の学びを活かして、Rパッケージ開発🔩
R MarkdownやShinyの中でTwitterやYouTubeのコンテンツを表示させたくなること、ありませんか？
oEmbedパッケージで簡単に実現できるようになります。
github.com/uribo/oEmbed
RStudioで動画再生も可✌️
対応サービスをちまちま増やしていきます💪 pic.twitter.com/ntA63ZqVzv
タグ：
posted at 22:03:28
円周上に適当に3点用意し、円を回しながら3点を通る放物線を描画すると、放物線と円の新たな交点Pは3倍の速さで逆回転するの図 pic.twitter.com/DVzI9wjkVo
タグ：
posted at 22:04:10
#超算数 黒木哲徳氏の『入門算数学』は初等教員養成課程での算数科教育法でよく使われるようだwww.google.com/search?q=site%...。しかしこの本が掛け算をファイバー・スペースと関連づけて論じていること(銀林浩の流儀)twitter.com/genkuroki/stat...はどれだけ批判されているだろうか？
タグ： 超算数
posted at 22:06:46
『アレルギーのIgG検査はデマ』です
高い金払って検査できますが、結果はアレルギーを反映したものではありません。
mobile.twitter.com/erisakai/statu...
タグ：
posted at 22:24:34
非公開
タグ：
posted at xx:xx:xx
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
