黒木玄 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 を見て下さい。
2022年08月20日(土)
富谷(助教);監修 シン仮面ライダー @TomiyaAkio
今、古巣のブルックヘブン国立研究所にいるんだけど「ゴーマライジングってなに??」って聞かれて草だった
毎回説明してる🤣🤣🤣
中々の評判やな
タグ:
posted at 02:41:12
New post: Subtypes of concrete types in Julia - www.juliabloggers.com/subtypes-of-co... #julialang
タグ: julialang
posted at 06:52:40
#超算数 @narusawako5 この人にブロックされているんだけど、
「数字をただ当てはめるだけじゃどーたら」
と言っている人が、当てはめるだけで答えを出すハジキを擁護しているんだよね。
ハジキ擁護と掛け算順序強制擁護は近しい。陰山英男もそう。 twitter.com/machidasensei/... pic.twitter.com/X0vHlUHHLe
タグ: 超算数
posted at 08:51:29
#超算数 このツイートの方が謎。
「結局この図がどんな可能性を秘めていたとしても」とか意味不明。
現に害悪を垂れ流しているわけで、なぜハジキに可能性が秘めているかどうかなんて考えないとならないのか?
可能性があるならそれを提示すればいいだろうが。
twitter.com/chii_taro_hsp/...
タグ: 超算数
posted at 09:02:32
#超算数
twitter.com/chii_taro_hsp/...
>この図を先に子ども達に見せて、これは何の関係性を表しているでしょう?
と問題提起をすればそこから学びが広がると思います。
何のためにそんなくだらない教え方する必要があるのか?
こういう人が教員をやっていること自体が大問題。 pic.twitter.com/XIwrJhNCwA
タグ: 超算数
posted at 09:05:28
#超算数 twitter.com/machidasensei/...
これも疑問自体が謎なんだけど、具体的操作期がなんであれ、ハジキはクソ
仮に具体的操作期ナンチャラによってハジキが正当化されるなら、具体的操作期ナンチャラがクソ pic.twitter.com/mq8SATBmKD
タグ: 超算数
posted at 09:18:47
#超算数 で、具体的操作期ナンチャラによってハジキが正当化かどうか知らないが、ピアジェの理論は今となっては時代遅れらしい。
twitter.com/genkuroki/stat...
タグ: 超算数
posted at 09:20:05
#Julia言語 v1.8.0の
docs.julialang.org/en/v1/stdlib/P...
アロケーションのprofiling
が便利なので、v1.8.0に引っ越す価値は非常に高いと思いました。
julialang.org/downloads/
Jupyter上で使いたい人はProfileCanvas.jlを入れて、必要なusing後に
@ profview_allocs f(x) sample_rate=1
のように使う。 pic.twitter.com/pv808uADec
タグ: Julia言語
posted at 10:14:13
#Julia言語 Juliaは
Jeff's uncommon lisp is automated.
discourse.julialang.org/t/cas-benchmar...
の略らしく(開発者本人によるジョーク)、実際、人間が書くべきだとされていた型まわりの記述をしなくて済むように設計されている。
面倒な作業はコンピュータにやってもらう方がよい。
タグ: Julia言語
posted at 10:24:50
10万までの素数の数え上げが、Juliaならなんと10秒で終わる!
っていうのを見て、愚直に1から素数判定して数えてみたら10ミリ秒。
全然10秒に届かんと思って素数判定を愚直すぎる方法に変えても4秒程度で終わってしまった。
ラズパイで計算でもしてたのか? pic.twitter.com/ldjOUtM5pI
タグ:
posted at 10:50:50
#Julia言語 Distributions.jlでは、ユーザー側が必要に応じてエラーチェックを省略できるように、確率分布オブジェクトのコンストラクタが設計されています。
struct~endの中に書いた内部コンストラクタではエラーチェックしていないことに注目!
github.com/JuliaStats/Dis... pic.twitter.com/ubBQk2ykyF
タグ: Julia言語
posted at 11:02:06
初の話題ですが、COVID-19の長期的な未来に関する疫学的見解について解説させていただきました。何を問題視しているか、多くの人に御覧いただきたいと思っています。前後2部の前編です。
www.buzzfeed.com/jp/naokoiwanag...
タグ:
posted at 11:06:25
「猫目トースト」
#midjourney
猫をデザインした軽食を見たくて生成しました。Prompt: cat designed toast and egg pic.twitter.com/X5xPlaE4C4
タグ: midjourney
posted at 11:11:06
#Julia言語
author = "Tomiya, Akio and Terasaki, Satoshi",
title = "{GomalizingFlow.jl: A Julia package for Flow-based sampling algorithm for lattice field theory}",
eprint = "2208.08903",
archivePrefix = "arXiv", github.com/AtelierArith/G...
タグ: Julia言語
posted at 11:12:41
咳逆(しはぶき)がインフルエンザと考えられているということについては、こちら参照↓
www.eiken.co.jp/uploads/modern... twitter.com/hotter22/statu...
タグ:
posted at 11:15:20
#超算数 nieru.net/TaKu/11/10
令和4年度 全国学力・学習状況調査の調査結果を踏まえた指導の改善・充実に向けた説明会 説明資料 :国立教育政策研究所
www.nier.go.jp/kaihatsu/setsu...
割合を理解していない状況が浮かび上がります。
正方形は長方形ではない
正方形はひし形ではない
としています。 pic.twitter.com/SW6WwqoVGn
タグ: 超算数
posted at 11:24:28
1型糖尿病患者にBCGを3回接種完了(2年間かかる)させると,従来株〜アルファ株流行期の新型コロナウイルス新規感染リスクが92%減少した.米国144例DB-RCT(Cell Rep Med 2022 Aug15/preprint)
www.cell.com/cell-reports-m...
接種開始からコロナ防御に至るまで少なくとも2年を要すると…
タグ:
posted at 11:46:49
この研究は対象が感染リスクの高い1型糖尿病患者であることから、健常者では効果が不明(そもそも日本の小児はほぼ全員に近い数が既にBCG接種を受けているが現在この状況)。オミクロン株での効果は不明。何より2年もかかるってのは・・・ twitter.com/EARL_COVID19_t...
タグ:
posted at 11:55:54
#Julia言語 公式ドキュメントより
docs.julialang.org/en/v1/manual/s...
Avoid writing overly-specific types
過度に特殊な型を書くことを避けよ
addone(x::Int) = x + 1
のように書かずに
addone(x) = x + oneunit(x)
と書く方がよい。引数の型注釈が無くても計算は遅くならない。 pic.twitter.com/EbuO0zPp81
タグ: Julia言語
posted at 12:28:09
#Julia言語
docs.julialang.org/en/v1/manual/f...
Return type
戻り値の型
戻り値の型注釈は単に戻り値をその型にconvertするコードが挿入されることを意味する。
Juliaでは戻り値の型注釈はほとんど使われない。
そうする代わりに「型安定」なコードを書くべきである。 pic.twitter.com/PCpFTWyX04
タグ: Julia言語
posted at 12:34:08
@physics303 Juliaの配列はどんな多次元でも一次元的に確保されていて、それを必要に応じて見た目を変えている、と考えておくとわかりやすいです。ですのでreshapeはメモリアロケーションがありません。
タグ:
posted at 12:38:15
#Julia言語
docs.julialang.org/en/v1/manual/c...
内部コンストラクタメソッド
struct ~ end の中に書かれたコンストラクタを内部コンストラクタと呼ぶ。
内部コンストラクタは可能な限り使わない方がよい。 pic.twitter.com/M9WhyDmiMy
タグ: Julia言語
posted at 12:41:15
Subtypes of concrete types in Julia www.juliabloggers.com/subtypes-of-co... #juliabloggers
タグ: juliabloggers
posted at 12:48:47
おおー,Julia の最適化の原則,「行列の更新では,できるだけ " . "をつけろ」を忘れてた.
A = hogehoge
を
A .= hogehoge
にしたら,matlab と同じくらいの速度になった.
タグ:
posted at 12:51:55
#Julia言語
docs.julialang.org/en/v1/manual/s...
函数の中身で使われていない型パラメータを書かずに済む書き方をするべし。
AbstractVector{T} where T<:Real
のかわりに
AbstractVector{<:Real}
と書ける。
AbstractVector だけで十分なことも多いと思う。
無理に細かく制限しなくてよい。 pic.twitter.com/oN9k4Z1qnz
タグ: Julia言語
posted at 12:56:23
#Julia言語 公式ドキュメントとは別の解説文
www.oxinabox.net/2020/04/19/Jul...
多重ディスパッチの可能性に配慮していない not implemented 例外のコードを書くと、デバッグが困難になる可能性がある。
デフォルトのエラーメッセージと比較してデバッグに役に立たないなら自前の実装をやめるべき。 pic.twitter.com/9z11WKkrqn
タグ: Julia言語
posted at 13:01:57
#Julia言語
www.oxinabox.net/2020/04/19/Jul...
引数の型を過度に制約しないように注意せよ pic.twitter.com/7eawryXT58
タグ: Julia言語
posted at 13:04:23
かけ算の順序に似ている。酷い教え方がなされているとは思っていないから、勝手に穏当な教え方(それでも十分酷いのだが)を想定し養護する。 twitter.com/tatsurokashi/s...
タグ:
posted at 13:28:51
@LirimyDh 度々すみません,ご提供いただいたコードをこちらのブログ記事で引用しても問題ないでしょうか?
genkaiphd.hatenablog.com/entry/2022/08/...
タグ:
posted at 14:44:34
StanとRでベイズ統計モデリング (Wonderful R) 松浦 健太郎 www.amazon.co.jp/dp/4320112423/... @amazonJPより
こちらの本の第4章に従ってStanとRStanを始めてみようと思います。
タグ:
posted at 14:51:15
#超算数 この手の調査を見るたびにいらつくことは、
①世間一般で割合と呼ばれている概念について理解しているか
と
②単に「割合」という用語の意味を間違っただけ
の区別がつかない調査をやっているように見えることです。
「割合」という用語の定義を知らないのは大した問題ではない。続く twitter.com/takusansu/stat...
タグ: 超算数
posted at 16:17:39
#超算数
妄想が激しい人だな。これで教員だよ。しかもかけ算の順序論者。ハジキ推しで、「出てきた数値をただかけるだけじゃどーたら」言っているんだよ。 pic.twitter.com/bZidtEwyxi
タグ: 超算数
posted at 16:30:36
@genkuroki #超算数 小学生に割合や比を教えるときに、それらの言葉を使わないで、砂糖水の味が同じかどうか、どっちが甘いか、というような問いかけをすると、正解することが多いですね。「飲み物の濃さ」じゃ分かりにくいと思う。 pic.twitter.com/8ATecQv98B
タグ: 超算数
posted at 16:44:09
T=Union{Missing,Int},f=max,e=0のセグ木をつくって解けた。Juliaは実行時間では不利だが関数や型の取り扱いが非常に簡単で、アルゴリズムコンテストで必要とされる概念を表現するのに優れている。#AtCoder #Julia言語 pic.twitter.com/gJka1uvL7o
posted at 18:37:06
Richard McElreath @rlmcelreath
I really need to finish this essay on probability, get it at least to the state of being a live grenade I could toss into conversation. When I write stuff like this I guess it is pretty obvious that I'm an anthropologist, or at least a history/classics nerd. pic.twitter.com/ezYkaNVS8W
タグ:
posted at 18:39:08
J ulia 1.8にしたら,Plutoの資料も見やすくなってます,
#Julia言語
#Julialang pic.twitter.com/EJibrtLc4L
posted at 20:08:17
データサイエンス&AI教育をわかりやすい学習するための資料作成を目的に,その環境として,Julia言語の活用を勉強中です
Python資料が多くあって,悩ましい..
#Julia言語
#Julialang
posted at 20:18:17
少し見てみます..
Data Science using Julia.
juliadatascience.io/julia_accomplish
#Julia言語
#Julialang
posted at 20:42:55
素敵な事が起こりました
2年前、5歳の息子と川でガサガサをしていました。
バシャという音が聞こえたので振り返ると、お爺さんが投網を打っていました。
美しい円を描き広がる投網。
鮎も獲れたようです。
すごいねぇと、憧れの眼差しで見ていると、お爺さんはこちらに近づいてきました。 続 pic.twitter.com/HAFebnJrRG
タグ:
posted at 21:44:22
「このクーラー、氷入っとるか?」と言われたので頷くと、ビクに入っている鮎を分けてくれたのです。
息子は大感激。
鮎の塩焼きは初体験でしたが、「いちばんすきなさかな」になりました。
この経験がきっかけで投網に対して強い憧れを持つ様になったのです。 続 pic.twitter.com/VuR4pXf6nk
タグ:
posted at 21:47:38
そして翌年、例の新種発見Tweetでお祝いとして「投網」をリクエストします。
投網を入手した翌日、漁券を買うため釣具屋さんへ行きました。
しかし11月下旬なので取扱終了とのこと。
漁協の漁券取扱先に連絡してやっと繋がった漁師さんのお話によると、もう鮎のシーズンは 続 pic.twitter.com/uTY1k4d3cy
タグ:
posted at 21:56:03
終わってしまったので、漁券はないとの事でした。念願の投網を使えず息子は号泣。
「タモ網で遊ぶのは大丈夫だけんな。誰かに文句言われたらワシの名前出したらええ」と、とても親切な漁師さんでした。 続 pic.twitter.com/9rZVClD39C
タグ:
posted at 21:59:20
そして今日、「とあみがしたい」と息子がねだるので、昨年の親切な漁師さんに連絡し、漁券を買わせてもらうためお宅へ伺いました。
玄関を開けると、投網を修理している漁師さんがいました。背中から滲み出るオーラ。
「投網やるんかね?」
振り返った漁師さんのお顔を見て衝撃!!! 続
タグ:
posted at 22:03:16
なんと漁師さんは、2年前に川で鮎をくれたお爺さんだったのです!!!
漁師さんも覚えてくれていて、「あの時の子供か〜!」ととても嬉しそうでした。
子どもでも危なくない浅いポイントを教えてくださり、
僕の投網を見て「これでは鮎はとれんよ」と、
投網をプレゼントしてくれました。 続
タグ:
posted at 22:07:54
Satoshi Ikeuchi 池内恵 @chutoislam
はい。本当に、事実なのです。しかもこれは2回目。中東学会での出来事。前の年には文科省の予算で業界を上げてやっていた大規模プロジェクト「イスラーム地域研究」の会合で、私の書いた論文を手に、最有力の京大の教授が、机をバンバン叩いで恫喝。 twitter.com/sakura_osamu/s...
タグ:
posted at 22:11:00
もし獲れなかったら可哀想と、冷凍の天然鮎までお土産にいただきました。
息子も大喜び。
さっそく川へ向かいます。
しかしまあ投網の難しいこと。鮎を獲るのってこんなに難しいのか…(重すぎて息子には無理)
途中で漁師さんが、とれたかぁ?と様子を見に来てくれたのも感激しました。 続 pic.twitter.com/YQth8YxByb
タグ:
posted at 22:12:27
結局坊主で帰りましたが、頂いた天然鮎の美味しさは過去に食べた魚でNo.1の美味しさでした。
漁師さんには、息子に「親切にされたら嬉しいこと、人に親切にすることの素晴らしさ」を教えていただいたと思います。
そして彼にとって一生忘れられない1日となったことでしょう。
おわり pic.twitter.com/oBYQWjI9BQ
タグ:
posted at 22:17:26
『#はじめての神経回路シミュレーション』に載っているルンゲ・クッタ法で実装しているホジキン・ハクスレーモデルをほぼそのまま python と julia で書き直して速度比較してみました。julia …圧倒的だな…
#スパイキングニューラルネットワーク
#julia言語
youtu.be/5P2MVZTEVEM
posted at 22:39:06
5回まわした結果です。julia は関数化するとさらに速くなるそうなので、全体を関数化させたものも計測してみましたが…えげつない速さですねー。
#julia言語 pic.twitter.com/JNQC4AuO7w
タグ: julia言語
posted at 22:42:47
どういうわけか, permutedims を PermutedDimsArray に置き換えて,reshape すると,とっても遅くなる.ぐぐってみると,こんなものがヒットした.
TensorOperation を使うと,高速化できる模様??
discourse.julialang.org/t/permuteddims... twitter.com/physics303/sta...
タグ:
posted at 22:53:47
Satoshi Ikeuchi 池内恵 @chutoislam
いろんな用務の合間に書いているので切れ切れですが、「私は理解した。私は君を助けない」という、何年かに一回届くメッセージは私の心の支えだった。
タグ:
posted at 23:27:36
Satoshi Ikeuchi 池内恵 @chutoislam
なお、これは「老害VS若手研究者」などという対立構図では全くない。なぜならば、これらの有力研究者の恫喝・暴行を見た若手研究者こそが、私が会ったこともない次世代・次々世代まで、広角泡を飛ばして私を陰口で嘲笑し揶揄し続けたからだ。それは業界への通過儀礼のようであった。
タグ:
posted at 23:34:01
@rlmcelreath Ron Howard introduces the coin in class and immediately proceeds to thumbtack, to help students avoid "mind-projection fallacy" (c) ET Jaynes pic.twitter.com/gaq4MAms2z
タグ:
posted at 23:40:39
@rlmcelreath And a little pedagogy on "fair coin" fallacy pic.twitter.com/qx7nNe67i1
タグ:
posted at 23:42:03