黒木玄 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 を見て下さい。
2023年05月13日(土)
#統計 もちろんダメ。
事後分布でθについてp(x|θ)の平均を取ったものが事後予測分布で、事後予測分布の対数尤度を計算したいので、事後分布のサンプルをθ₁,…,θₘと書いたときの
Σ_{i=1}^n log((1/m)Σ_{j=1}^m p(xᵢ|θⱼ))
を計算する。
階層モデルではp(xᵢ|θⱼ)を数値積分で求める必要がある。 twitter.com/wu_tsuku/statu...
タグ： 統計
posted at 00:13:01
Hideki Kawahara: WAS @hidekikawahara
M1 MaxのGPUがMetal.jlで正常に動いた。結局、Metal.jlは、まだJulia v1.9.0に対応していなかった。v1.8.5でMetalのtestが正常に終わることを確認して動かしたら、できた。でもFloat32なのに、Windowsマシンに載せたGTX 1080という旧世代のGPUの方が4倍ほど速い。 twitter.com/hidekikawahara... pic.twitter.com/WauWyi2BH3
タグ：
posted at 00:16:36
Hideki Kawahara: WAS @hidekikawahara
半世紀前から計算機を使っている化石から見ると、5000個以上のスレッドが個人のマシンの上であたりまえのように動いているのは奇跡に見える。メモリが64GBでSSDが1TBも冗談のよう。でも、10年後には、これがおもちゃのように見えるに違いない。本当に面白い！ twitter.com/hidekikawahara...
タグ：
posted at 00:21:58
Hideki Kawahara: WAS @hidekikawahara
Juliaをexit()したのに、これだけMetalのサポート用？のスレッドが生き残っているのはなぜ？少し気持ちが悪い。 twitter.com/hidekikawahara... pic.twitter.com/EOZE0sgJ19
タグ：
posted at 00:28:17
この人、眼鏡かけたり差し歯や歯の詰め物したりしてないのかしら。「生まれてきたときに身につけてなかった」ものだものね。 twitter.com/inosenaoki/sta...
タグ：
posted at 00:44:17
いわゆる「算数と数学は違う」で、「数学」は良く知らないということは自覚していても、「算数」なら「数学」に詳しい奴らよりわかっているという思い込みに見えます。
実際には「算数」もわかっているわけではないから、何が批判されているかよくわかっていない。 twitter.com/wato_d/status/...
タグ：
posted at 01:13:57
小学校の算数でも「正方形は長方形でない」は単なる間違い。定義の問題ではない。小学校の算数でも、正方形は「すべての辺の長さが等しくすべての角が直角である四角形と、長方形は「すべての角が直角である四角形」と定義されている。「定義」という言葉が使われていないだけ。
タグ：
posted at 01:37:01
これわかる。
国語の研究会では
「自分自身も文学の事は勉強不足で…」
理科でも
「植物についての本質的な勉強しないと授業力は上がらないから…」
といったやり取りがあるのに
算数は
「問いの立て方」
だの
「活動や展開」
だのと、
『内容は分かった前提』
での話ばかりしているイメージ。 twitter.com/ssako86/status...
タグ：
posted at 07:36:55
「日本で巨乳美女が厚生大臣に就任して国会審議中に乳首をポロリしたという情報は、調査の結果、AIが作ったデマだと判明！ 日本人はデマに騙されるな！」
urgente24.com/ocio/ia-causo-...
工ｴｴｪｪ(´д｀)ｪｪｴｴ工
\ﾀﾞﾏｻﾚﾙﾄｺﾀﾞｯﾀｰ/
そんな謎ニュースが、なぜかスペイン語圏で出回ってます。
タグ：
posted at 07:46:14
＞日本人はデマに騙されるな！
これはちょっと言い過ぎか、「ネットユーザーはデマに騙されるな」的なかんじかな。
www.excelsior.com.mx/global/ministr...
・日本には「厚生大臣」ポストは存在しないぞ。
・セクシー大臣のフェイクニュース信じた人もいる、AIってすごい。
・岸田政権のジェンダーギャップ批判だ。
タグ：
posted at 08:01:50
Powershell（Windowsのコマンドプロンプトの後継）でC#用の数値計算ライブラリMath.NET numericsを使う(2) 高速フーリエ変換（FFT）をやってグラフ化までしてみる。 sci.tea-nifty.com/blog/2023/05/p... pic.twitter.com/Kd9HrvgJiS
タグ：
posted at 08:52:33
「同値な特徴づけのどれを定義として採用するか」と「同値でないいくつかの条件のうちどれに特定の名前を割り当てるか」は全然違う問題です。どちらも「定義の問題」と呼ばれることがありますが、混同してはいけません。
タグ：
posted at 08:53:01
「近付いて来たカメをなでる簡単なお仕事」
人懐っこいカメたちを飼育員がなでてあげると？ 喜びのダンスを披露する姿に「亀がこんなにかわいいものだとは」
nlab.itmedia.co.jp/nl/articles/23... pic.twitter.com/nPT4duOeAc
タグ：
posted at 09:05:00
ISO 80000-2とかJIS Z8201とか数学記号の規格がありますが、あれは産業規格です。学術は対象外です。実際、学術書では採用していませんし、標準化機構側からの採用の働きかけもありません。念のため。
タグ：
posted at 09:09:01
@klo_tus_kke 例えばこういう方法がありますね。
とはいえ、(sin x)'=cos x を証明なしに用いていい場合には、このような証明方法が存在することを知らなくてもよいと思います。
twitter.com/genkuroki/stat...
タグ：
posted at 09:21:48
それはそれで #超算数 の田中博史先生みたいなレクチャラーがはびこりそうで怖いです…
分業するのであれば講義の内容をチェックする仕組みが必要と思いますが… twitter.com/hottaqu/status...
タグ： 超算数
posted at 09:50:44
鶏ガラスープを使った油そばのレシピに
「今回は完全無化調ですね、長らく登録を外してましたが再登録しました」というコメントがついてて
「鶏ガラスープは化学調味料入ってるのでチャンネル登録解除お願いします」
と言ってしまった。多分YouTuber向いてない
タグ：
posted at 11:11:10
ラジアンの意味での角度が
θ = ∫_0^y dt/√(1-t²)
と書けること(これを定義にしてよいこと)は
(*) 速さの積分は軌跡の長さになる
という基本的なことから出ます。高校数学Ⅲでやる。
高校数学Ⅲまで(*)に触れないこと自体が酷い。数学Ⅲをやらない子にもどこかで説明しておくべきことだと思う。 twitter.com/genkuroki/stat...
タグ：
posted at 11:47:20
微積分を勉強したのに
「曲線の長さが速さの積分で表されること」を知らずに終わる
ことができて、そのせいで
弧度法の意味での角度の積分を使った定義も知らずに終わる
こともできると現状には
何をやっているんだ？
と感じざるを得ないです。
～となる人が増えて欲しいです。 twitter.com/genkuroki/stat...
タグ：
posted at 11:53:19
#数楽
①単位円周の右半分での弧度法の意味での角度の定義はθ(y)=∫_0^y dt/√(1-t²)
②πの定義は2θ(1)
③-π/2≤θ≤π/2でのy=sin θの定義はθ(t)の逆関数。(これよりd(sin θ)/dθ = √(1-sin²θ) = cos θ は容易に得られる。)
④一般のθでのsin θの値はその自然な延長で定義。 pic.twitter.com/6rI2q9TBim
タグ： 数楽
posted at 12:29:59
かけ算順序が話題になり始めた15年ぐらい前は
「順序どっちでもいいなんて、算数・数学を理解していないのｗ小学校からやり直したらｗ」というのがちょくちょくあってけど。
最近は「順序どっちでもいいと言うのは傲慢な理系の発想」が多いね。
でも前者もまだ健在だねｗ twitter.com/wdihw/status/1... pic.twitter.com/42gk47BYEc
タグ：
posted at 12:45:47
金子洋一神奈川20区（相模原市南区、座間 @Y_Kaneko
賛成できない人事。吉川洋氏は30年以上前は輝いていた存在で、私もケインズの顔のイラストが表紙になった著書を読んで勉強したことがあった。しかし今ではアベノミクスの金融緩和すら否定する頑迷な論者になりさがった。⇒日銀参与に吉川洋氏、大規模緩和に否定的な経済学者 jp.reuters.com/article/idJPL4... twitter.com/i/web/status/1...
タグ：
posted at 13:09:43
こういう「掛け順に文句言う人は低学歴」みたいな思い込みってどうやって生まれるんだろうな？
この人の最終学歴は知る由もないけど、自分が卒業した学校よりも頭のいい集団があるってことを知らないのかな twitter.com/wdihw/status/1...
タグ：
posted at 16:21:41
二等辺三角形の底角といえば、日本の中学校ではなんで二等辺三角形を二つに割る系の証明を採用しているんですか？ 全体を裏返して重ねる系のほうが単純だし循環論法を避けやすいのに。
タグ：
posted at 16:39:03
単位円で三角関数を定義すると、三角関数の微分公式は直感的に明らか(添付画像)ということで、このようなことは考えてませんでした。後日、対数関数を積分で定義すると分かりやすいという話を聞いてなるほどと思いました。 twitter.com/genkuroki/stat... pic.twitter.com/ql50tNNiDU
タグ：
posted at 17:09:02
@sandykeih @wdihw その言い方なら、ひとつ分×いくつが自然ですね。でも、先ほどのよう「2匹のタコの足の数」と言われたら、2×8でもいいと思いませんか？
レシートにも単価×数量と数量×単価のどちらもあることですし、片方しかないと思い込む方が危険だと思います。 twitter.com/genkuroki/stat...
タグ：
posted at 17:27:17
@kamo_hiroyasu #超算数 確かに小学校算数の検定教科書すべてが正方形は特殊な長方形であるとして導入します。しかし、面積の公式がこれまた全社で一辺×一辺と指導されるので、正方形は長方形とは別物との誤解を生む可能性があります。所詮、哺乳類には雌雄があるが、牛だけは牡牝というのようなお為ごかしですが。
タグ： 超算数
posted at 17:38:58
新型コロナ感染者数を推定し流行を予測するとされる「下水中の新型コロナウイルス濃度」の急増が認められた
前回「先週比 ×0.94倍」「ほぼ横ばい」だったものが「先週比 ×2.97倍」「急増傾向」になっている(※小松市)
今後出て来る他の自治体の結果も気になるが、推移が注視されるところ pic.twitter.com/UTI2SsSS1P
タグ：
posted at 19:02:51
・石川県小松市の下水モニタリング結果
www.city.komatsu.lg.jp/soshiki/jouges...
・小松市の前回結果はこちら
twitter.com/shuichiotsu/st...
小松市では下水中の新型コロナウイルス濃度が急増傾向
下水の調査を行っている仙台市や札幌市など他の自治体の次回更新の結果も注目される pic.twitter.com/XIRDAe4qU7
タグ：
posted at 19:03:38
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n @kamo_hiroyasu 「正方形を長方形から除外する」問題が算数教育では当たり前になっています。
twitter.com/sekibunnteisuu...
タグ：
posted at 19:28:26
@OokuboTact @kamo_hiroyasu #超算数 風みどりさんが二等辺三角形と二等角三角形と同値であることを知りつつ、*かつ*あの想定問答のような態度をとるのと、よく似ています。包摂・同値を表すテキストは認めつつ、包摂・同値と矛盾する記述、テキストを擁護するという。
タグ： 超算数
posted at 20:39:22
OokuboTact 大久保中二病中年 @OokuboTact
@temmusu_n @kamo_hiroyasu ＞ あの想定問答のような態度をとるのと、よく似ています。
具体的な授業のマニュアルを見てみましょう。
最初は正方形を含めて「長方形が４つあります」と説明しているのに、
「正方形と長方形の違いは？」となり、
包含関係には触れないで終わります。
＃超算数 ＃矛盾 pic.twitter.com/R7A9igsicu
posted at 21:25:30
#数楽
単位円周の三角関数による表示の楕円曲面の楕円関数による表示への一般化 (m=0, 4K(0)=2πも場合が単位円周の場合)
↓ twitter.com/genkuroki/stat...
タグ： 数楽
posted at 22:41:42
