黒木玄 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年12月13日(月)
#Julia言語 パラメータ付きの型は上に書いたように
struct Foo{A, B}
a::A
b::B
end
で作れる。A,Bがパラメータ。
foo = Foo(1.2, 34)
とすると、
Foo{Float64, Int64)(1.2, 34)
がfooの名で作られる。 pic.twitter.com/vVKPOeVefz
タグ： Julia言語
posted at 00:03:32
#Julia言語 パラメータ付きの型によるディスパッチの例
[5] 数と数を内容とするFoo型オブジェクトを与えるとそれらの積を返すメソッドmultを定義
[6] 整数と文字列を内容とするFoo型オブジェクトを与えると文字列を整数個重複させた結果を返す同名のメソッドmultを定義
名前は重複してよい。 pic.twitter.com/rellJ9alu9
タグ： Julia言語
posted at 00:12:10
特支が一番問題教員が行っちゃいけないとこなのに、島流し先として扱われてるのほんと……
普通学校の支援級とかいうの理念はいいけど形骸化しすぎだし頼むから支援学校をもっと充実させてほしい twitter.com/kale_aojiru/st...
タグ：
posted at 00:13:55
最近のこの話題の様子を眺めてしまった人は、私が
これは数学の問題と言うより、常識の問題。
普通の一般人には想定不可能なほど
非常識な考え方をしている人達がいる！
しかも子供が相手の話題で！
と言い続けた理由を納得できたと思う。
普通はびっくりすると思う。😱 twitter.com/tkawai18_tkawa...
タグ：
posted at 00:22:03
訂正
❌[6]
⭕️[8]
函数multの2つのメソッド(Juliaではメソッドは函数に属する)は[5], [8]で定義されています。
Juliaでのgeneric functionはメソッドに集まり。
Juliaではクラスやオブジェクトにメソッドを所有させない。 twitter.com/genkuroki/stat...
タグ：
posted at 00:27:28
two balls rolling down two slopes.
while the indirect path proves faster at first, the direct path wins in the end pic.twitter.com/SLgV5fXJZB
タグ：
posted at 00:46:04
新しい記事がZennにアップされました！#Julia言語 #Julia日本語記事
zenn.dev/hyrodium/artic...👈
タグ： Julia日本語記事 Julia言語
posted at 04:39:02
Here's another fun question: given two loops around an (infinite) pole, can you remove one loop without breaking it?
Amazingly enough... yes!
This is a surprising example of what's called an "ambient isotopy": a continuous deformation of space taking one shape to another. 1/n pic.twitter.com/0H9BO0jAtD
タグ：
posted at 05:08:23
どっちにしても、お前は「専門家」じゃないだろうｗ
「数学者は算数教育の専門家じゃない（だから、算数教育に関して語るな）」と言う算数教育の専門家じゃない人が、算数教育について語ることこそ
矛盾だろう。 twitter.com/enuemin/status...
タグ：
posted at 06:51:52
インド東部・メーガーラヤ州南東部のアムゴット川は、多量の降水で涵養された地下水の湧出などにより水が澄んでおり、「インドで最もきれいな川」と呼ばれる。同州知事の Conrad Sangma 氏が紹介した動画では、水底の影の効果で舟が空中にあるように見える。via @SangmaConrad pic.twitter.com/awcSPc3nom
タグ：
posted at 07:32:11
掛順批判者を中傷するツイートを探しては嬉々としてそれに同調する中傷リプに励むコバンザメ氏、本日も平常運転。いいから人をアンチワクチンの同類呼ばわりした件について何とか言えよ定期 twitter.com/w2Y3lkPhWhOwuq...
タグ：
posted at 07:55:48
発言力を持っていないからこそ多くの人に知ってもらおうとしてせっせとツイートしているわけですが‥。
発言力があったら然るべきところにねじ込むでしょ。学校なり教育委員会なりに。 twitter.com/enuemin/status...
タグ：
posted at 08:03:09
教員養成大学で「太平洋戦争は日本が勝利したと教えてはいけない」と教えられていなければ、小学校で「太平洋戦争は日本が勝利した」と教えてもいいらしい。 twitter.com/sandykeih/stat...
タグ：
posted at 08:07:39
どこが泣き所かはいろんな分析あるでしょうが、そこで指導書出すのちょっとまずいんじゃないです👀❓
あちら非売品で批判性が低いにも関わらず検定通さないただの民間の出版物で、もし先生方が頼るならそれは全て先生の責任と思いますよ🖖
おかしいものなら公費でも私費でも買わない、捨てるべきかと。 twitter.com/sandykeih/stat...
タグ：
posted at 11:47:23
ハイブリッド授業でした。対面出席者0名、オンライン出席者17名でした。オンデマンド出席者のために録画を上げないといけないのですが、録画に失敗したためにこれから再演します。
タグ：
posted at 12:40:53
コメントくれた皆さんありがとうございました‼️
枝豆をたくさん貰えそうで息子はニコニコになりそうです笑( ^ω^)
動画バージョンの枝豆ｵﾅｼｬｽ‼️ pic.twitter.com/Q2wmIARP2Q
タグ：
posted at 13:05:13
教員のなり手不足は待遇が悪いからです。普通に労働基準法を適用して残業代を出すだけで解決する問題。それだけで無駄な業務は減らす動きが出るし、一人平均100万円以上の残業代が支給される事になるんだから、なり手は増える。
タグ：
posted at 13:24:41
#統計 ベイズ版95%信用区間がゼロをまたがないようになるまでNを増やすようなことをやっている人達が本当に周囲に多いならば、「それ、P値ハッキングと同様の研究不正ですよ。Stanを使っていませんか？ Gelmanさんにちくられたらどうするんですか？」と言ってあげるべき。😅 twitter.com/ykamit/status/... pic.twitter.com/EKQC7TxLd6
タグ： 統計
posted at 14:05:59
#統計
質問＞ベイズの95％信用（確信）区間がゼロをまたがないようになるまでNを増やしました、はOK?
Ken McAlinn氏＞それは規範の問題なので一概には言えないですね。
現実の科学研究において、これを「規範の問題」で済ませられると本当に思っているとしたら、かなりまずいと思いました。 twitter.com/ykamit/status/... pic.twitter.com/4sHkRJhtFq
タグ： 統計
posted at 14:13:51
#統計 いやあ、これにはマジでびっくりした。😱
ベイズ版95%信用区間(確信区間)がゼロをまたがなくなるまでNを増やす行為は、P値が5%を切るまでNを増やすp-hacking行為と(小さな誤差を除けば)数学的に同等です。
P値が5%を切るまでNを増やすp-hacking行為の是非も規範の問題で済ませられる？ twitter.com/genkuroki/stat...
タグ： 統計
posted at 14:22:49
こういう議論が無駄な例としては，はじきの公式などかな．比の概念を理解していなくても公式に代入すれば簡単な問題だと正解になるが将来理科などで困る．
しかし，掛け算の順序強制で「式の意味が」と吠えてた教員ほど「はじきの公式」推奨だったりするんだよなぁ． twitter.com/enuemin/status...
タグ：
posted at 14:27:44
#統計 2020年3月に出版された豊田秀樹さんの本には、ベイズ統計では【データを取り増しても】よいし【事前登録～も必要ありません】と言っています。(他にも色々！)
これを「ベイズ統計を使えば研究不正扱いされていたことを堂々とできるようになる」と解釈する人達が出ることを危惧していました。 twitter.com/genkuroki/stat... pic.twitter.com/PwFn8iNC8x
タグ： 統計
posted at 14:35:11
#統計 数学的に「P値が5%未満になる」とほぼ同値になることが前もって分かっている条件を、「ベイズ統計では規範(主義)が違うからデータ取得の終了条件として採用してよい」とするのは非常にまずい。現実の科学研究でそれをやる人達が出て来たらどうする？
Bayes hacking
errorstatistics.com/2017/04/01/er-... twitter.com/genkuroki/stat... pic.twitter.com/UqkpEOp2U9
タグ： 統計
posted at 14:48:56
よく眠りたまに色々考える主婦 甘木サカヱ @toppinpararin
友人の息子さん(高校生・地味め・真面目)にはじめての彼女ができて、家に遊びに連れてきたらかなりギャル系の子で、雨が降ってきたので家まで車で送るよ、というと「え、◯◯(息子さん)マママジ神」と言い放たれた話を聞いてすごく笑顔になってる。いい話だ。
タグ：
posted at 14:50:31
来週発売になる『強い将棋ソフトの創り方』のレビュー記事をブログに書きました。
Pythonで1000行程度書くだけで昨年の電竜戦の優勝ソフトと同じぐらいの強さになるの、すごすぎひん？😵
yaneuraou.yaneu.com/2021/12/13/how...
タグ：
posted at 14:55:08
面談で聞いてみた
・意味がわからず出てきた数字の順に割る子が多いのでこの式を書かせる
・『の』を『×』とした式を作るように教えている
・□の計算は3年生で習った
・1行目から2行目がわからなければ『5×□＝10』を思い出し『10÷5=□』を思い浮かべてそれを当てはめて解くよう指導
だそうです… twitter.com/misomayo_omoch...
タグ：
posted at 16:38:54
学校の先生はどちらかというと数の楽しみみたいなことを重視する側と思ってる人多いと思うんよね〜😔もうそういう時代になくなってきたんかね。
すごいお話も伺いましたよ、分数と少数の大小がわからないみたいな先生が職場にいて困ったってお話……そ、それはちょっと
タグ：
posted at 16:59:58
@misomayo_omochi 闇雲にいきなり方程式というのは、すごいですね。
スキーの止まり方も教えずに、いきなり直滑降を教えてるようなもの。大怪我するだけじゃないでしょうか。
タグ：
posted at 17:23:48
「この式を書かせる」と意味が分かることになるのでしょうか。🤔
（「この式を書けることが意味が分かっていることだ」とかいういつもの倒錯した教義か） twitter.com/misomayo_omoch...
タグ：
posted at 17:26:06
@kyow_QQ #数楽 昔から公開されていたノートをついさっき見つけた。そちらにはq-versionも含まれています。
genkuroki.github.io/documents/Verm...
A₂型のVerma恒等式の(初等的)証明
B₂, G₂の場合も同様に示せます(計算が長くなるだけ)。
twitter.com/genkuroki/stat... pic.twitter.com/NwxL2vaXIS
タグ： 数楽
posted at 17:27:25
掛け順強制擁護連中、ちゃんと見ろよ！
ナゾ教義に従ってたら、4年生の時点でこんなにポンコツにさせられる授業受けさせられるんだよ。 twitter.com/misomayo_omoch...
タグ：
posted at 17:38:58
というより、掛け順経典の「適正進化」よなコレ。
だからホントに「こうならない為」にもアレな指導者には撤退してほしい(大学生へのリメディアルにもこんなポンコツたくさんおるんやで…
タグ：
posted at 17:41:45
@shoyugi www.zenshin.org/f_zenshin/f_ba...
＞１１・５全国労働者総決起集会 賛同組合・個人
＞銀林浩 明治大学名誉教授
トンデモ算数推進する銀林浩を賛同人に掲げた中核派は自己批判せよ！
と、乱入してまぜっかえそうかｗ
タグ：
posted at 17:42:05
Python には _ で始まるメンバはプライベートであると見做すことが多いとは言うけれど、あれはあくまで紳士協定であって戦時には無視されるのだよ。あれを君はまだ信じていたのかね?
タグ：
posted at 17:46:50
@sekibunnteisuu えーっ🙂❓そんな経歴が
知ってましたけど(笑)
算数教育もテロ対象なのかな……👀
こちら黒木さん紹介されてましたけど、友達と大爆笑しました😌👇
実は4+3≠3+4らしいです(笑)
僕は超厳密に4+3=3+4と思うんですが。
彼の等号の定義が革命的におかしいんですかね。 pic.twitter.com/WOpsQqVjrP
タグ：
posted at 17:48:25
まぁ、この手の人て、化学肥料が世界で多くの人を貧困から救った、てことを知らないですからね
やはり教養は必要ですなぁ
…はっ
或いは、貧困層を絶滅させることで「貧困をなくす」てのがSDGsなのでは！？ twitter.com/gold_shovel/st...
タグ：
posted at 18:16:56
上司と雑談中に「日本はなぜか技術者が軽視されがちで技術人材流出が問題に」と話したら「俺達が若い時は上は自分の給与削ってでも技術者の獲得したんだけどな。欲しい人材に出ていかれるのは、技術軽視より技術価値が測れない不適性な人間が上や政府に多いんだ。全員入れ替えれば良い☺️」とあっさり😂
タグ：
posted at 18:40:53
「もっと現実的な提案ないんですか😂」と言ったら、「何言ってるんだ、これが一番現実的だろう？それ以外に今の人間達に支配させておいて変わる方法なんてあるか？」と真剣に言われてしまった。た、確かに…。
タグ：
posted at 18:44:42
学習指導要領にはかけ算順序固定強制指導せよなどと書かれていない。
教科書の教師用指導書は私企業が利益のために一般人購入不可で売っている本なので、参考にする側にも責任が生じる。
「児童を殺すのはダメ」と教えているのに児童を殺す教師がいたらだめだと思いますけど、とも言うのだろうか？ twitter.com/sandykeih/stat...
タグ：
posted at 19:20:25
ごまふあざらし(GomahuAzaras @MathSorcerer
形態素解析器 Awabi.jl と、初めて Julia を書いた感想 nakagami.blog.ss-blog.jp/2021-12-03
タグ：
posted at 19:42:34
ごまふあざらし(GomahuAzaras @MathSorcerer
早速バグを踏んだので修正するプルリクを投げました．
github.com/nakagami/Awabi...
プルリクがマージされたら添付の画像のように
正常に動作するはずです． twitter.com/MathSorcerer/s... pic.twitter.com/V6S5ABvrES
タグ：
posted at 20:11:13
ごまふあざらし(GomahuAzaras @MathSorcerer
いろんな言語で awabi 実装されているようです．
Rust, Go, Python版あるみたい.
github.com/nakagami/awabi
タグ：
posted at 20:31:14
大学院の普及度も違うねえ。
生涯学習，リカレント教育が進んでいる北欧では高い。スウェーデンでは，働き盛りの成人の半分近くが院を出ている。
これ見ると，日本を教育大国というのは躊躇われるな。 pic.twitter.com/6yHbEiXN82
タグ：
posted at 20:53:23
40年ほど前、本宮ひろ志先生が参院選に出馬を表明した際の漫画家たちの反応（最終的には断念）。古谷先生は手塚先生同様、漫画家が政治の世界へ行くことに基本反対（ただし、本宮先生の場合は面白く見てるとのこと） pic.twitter.com/94NfuMbyiV
タグ：
posted at 22:59:23
#統計 自分でコンピュータシミュレーションで遊びたい人は
nbviewer.org/github/genkuro...
を参照。 #Julia言語
正規分布近似によるP値 < 5% とすることにP.ハッキング氏がn回までに成功する確率は緑の破線です。
ベイズ版95%信用区間から0.5を外すことにB氏がn回までに成功する確率は青線です。 twitter.com/genkuroki/stat... pic.twitter.com/sBR9DnDEBY
posted at 23:56:07
