黒木玄 Gen Kuroki(@genkuroki)/2022年12月23日

#Julia言語線形代数の授業的には、n×1行列とn次元縦ベクトルを同一視し、1×n行列とn次元縦ベクトルの空間の双対空間の要素を同一視してしまいますが、Juliaでは1×1行列とスカラーを区別する必然性(多重ディスパッチ)があるので、数学的には授業よりも厳密な定式化を行なっています。

タグ： Julia言語

posted at 23:54:50

#Julia言語ただし、Juliaの線形代数の実装では、

1×n行列

と

右から縦ベクトルをかけるスカラーになる横ベクトル

は厳密に区別されます。1×n行列は右から縦ベクトルをかけるとスカラーではなく、長さ1の縦ベクトルになります。

この違いは非常に重要です。続く

mti-lab.github.io/blog/2022/12/2...

タグ： Julia言語

posted at 23:54:49

そうか！

来年度の講義であれば最初からcodespacesを使えるのか！ #Julia言語

タグ： Julia言語

posted at 23:45:25

GitHub CodespacesでJuliaを使ってみた。｜清水団 zenn.dev/dannchu/articl... #zenn #Julia言語

タグ： Julia言語 zenn

posted at 23:44:00

線形代数演習講義へのjulia導入を考える | Matsui-lab Blog
【juliaのような新しい言語を考えることは、普段pythonに凝り固まっていしまっている頭に別の視点を導入することになり、とても新鮮な気持ちになりますね。】 #Julia言語 mti-lab.github.io/blog/2022/12/2...

タグ： Julia言語

posted at 23:38:57

Atsushi Sakai @Atsushi_twi

なるほど。。＂私の専門のcomputer vision分野ではあまりにもpythonがデファクトになりすぎており、色々と弊害も発生しています。一番の問題は、python記述と数式がゴッチャになってしまい、numpyのブロードキャストを数式に書いてくる人が本当に多いということです。
“ mti-lab.github.io/blog/2022/12/2...

タグ：

posted at 23:31:13

清水　団 Dan Shimizu @dannchu

@utokyo_bunny Julia言語がこういった数学のカリキュラムの中に取り入れられるのは素晴らしいです。私もチャレンジしたいです！

タグ：

posted at 22:22:38

#超算数私にはNDL電書大規模リニューアル済みで「零で割る」を検索しようという発想がありませんでした。Akimasa_Kさん、ありがとうございます。

タグ：超算数

posted at 22:19:13

#超算数 0÷と÷0は、この本により【然し(3)と(4)は共に無意味で使はれることはない。】と計算の体系の中に位置付けられる。無意味ではない。

タグ：超算数

posted at 22:09:35

#超算数 (4)を正しく考察するためには、a×0=5 となるaを探さなければならない。そしてそのようなaは不存在。しかし、この自習用参考書は5×0=0について考察している。(3)では0×5=0を考察。これらが同じ内容であることに気づかないほど、著者たちは掛け算の順序を内面化していたのかもしれない。

タグ：超算数

posted at 22:06:47

#超算数引用RT情報。ゼロ除算の誤りに100年の歴史。
数学研究会編『算術通解: 自習』東京、文永館他、1916年。dl.ndl.go.jp/pid/986069/1/32
【
(3) 零を或る数で割れば商は矢張零である。
例へば 0×5=0 であるから 0÷5=0
(4) 或る数を零で割るも其の商は零で或る。
例へば 5×0=0 であるから 5÷0=0
】49 twitter.com/Akimasa_K/stat... pic.twitter.com/1YeYQG2COI

タグ：超算数

posted at 22:03:23

Atsushi Sakai @Atsushi_twi

なんか最近juliaでctrl-cが効かないことあるなっておもったけど、壊れてたのか。先週PRがマージされたらしいけど。：Ctrl-C broken – repeating Ctrl-C required on Julia 1.8 · Issue #46635 · JuliaLang/julia github.com/JuliaLang/juli...

タグ：

posted at 21:49:40

@bottakurisinri @sekibunnteisuu @sakurai_susumu ブロックされていてもリンクははれます。

twitter.com/kisopsy_kun/st... pic.twitter.com/bbhu7SkVmd

タグ：

posted at 21:20:35

鰹節猫吉 @sunchanuiguru

富谷(助教);監修シン仮面ライダー @TomiyaAkio

分かりやすい数値なので、即答されることは十分あり得る。
3時間で90キロ、２時間で90キロ、その差1時間。 twitter.com/tyome123/statu...

タグ：

posted at 21:17:30

学祭の女装コンテスト、サプライズとして出てきました♥ pic.twitter.com/TFU7wEDKS4

タグ：

posted at 21:17:28

Jun TAKAI @J_Tphoto

熊谷千葉県知事が、急に脇の甘いツイートし始めてるのは確かだけれど、だからと言ってどんな手を使ってでも叩こうみたいなスタンスは、周りは盛り上がるだろうけれど、本当に理解が広がるかと言うと逆だと思いますよ。
蛸壺化が始まってるのではないかな。
エコーチェンバー。

タグ：

posted at 21:12:53

Jun TAKAI @J_Tphoto

知念先生、そこはちゃんと科学で線引きして欲しかった。
千葉は避難の必要はなかった。
避難するデメリットの方がはるかに大きかった。
これは厳然たる事実です。

タグ：

posted at 21:07:43

Jun TAKAI @J_Tphoto

これを @MIKITO_777 先生がリツイート。震災直後から押川先生のポジショントークは変わっておらず、全く基準の違う放射線管理区域相当と言う厳密に管理された線源に対する基準の話を持ち出している。知念先生も政敵を倒すのに都合よく使ってしまっている。
こうなると科学の話ではなくなります。 twitter.com/MasakiOshikawa...

タグ：

posted at 21:06:42

テクワイ @tyome123

時速30kmで走る長男（小4）が出発してから1時間後に、時速45kmのターボババアが追いかけます。何分後に捕まって喰われますか？という問題を、長男即答しててビックリした。まだ速さとか習ってないのに。概念は理解してるだろうから比の計算だけできたら問題なさそう

タグ：

posted at 21:02:29

塩見卓也 @roubenshiomi

川端裕人『ドードー鳥と孤独鳥』（国書刊 @Rsider

「出世払い」型奨学金、年収300万から納付へ　修士で24年秋から：朝日
www.asahi.com/articles/ASQDR...

年収300万円で「出世」
給付型奨学金を充実させろよ

タグ：

posted at 20:54:04

添付した画像はスクショしてつなげてみたものです。NHKの仕様で同じ画面で見られないので。

タグ：

posted at 20:48:23

こーた丼 @rental_math

川端裕人『ドードー鳥と孤独鳥』（国書刊 @Rsider

多重ディスパッチって結局何だかよくわかってない

#Julia言語

タグ： Julia言語

posted at 20:48:09

もうアマチュアは、死亡者数の増減見てるしかなさげなので時々NHKの集計サイト（厚労省調べ）見ているんだけど、そろそろこれまでのマックスだった2020年8月から9月頭の水準に達してる。傾きが鈍化するんじゃなくて見た目同じ傾きで増え続けてるのが不気味。www3.nhk.or.jp/news/special/c... pic.twitter.com/ykg0hbga6O

タグ：

posted at 20:47:04

@bottakurisinri @sekibunnteisuu @sakurai_susumu twitter.com/kisopsy pic.twitter.com/BVtqtaVoEe

タグ：

posted at 20:45:39

ゆださん @Naoria45

ethercatかな twitter.com/nixcraft/statu...

タグ：

posted at 20:40:30

yudai.jl @physics303

cudnn と cuda が最新じゃないから説も出てきた．しかしラボの計算機なのでアップデートするのもなかなか憚れるしなぁ

うーん

タグ：

posted at 20:25:37

. @bottakurisinri

@sekibunnteisuu @sakurai_susumu 情報提供。ブロックされてるので直接リンク貼れませんが心理屋が統計について異常な解説をしてます twitter.com/search?q=kisop...

タグ：

posted at 20:15:14

そういえば桜井進氏@sakurai_susumu　も、おかしなこと言っていたね。

日本での数式の読み方が英語と異なるのはそうだろうけど、

これは日本式の読み方が間違っているわけではない。ましてそのことが数学の理解を阻害する要因になっているなんてなると意味不明twitter.com/sekibunnteisuu...

タグ：

posted at 19:57:00

チコちゃんで鳥肌の「鳥」は鶏じゃなくガチョウだと言っているけど、その根拠が英語でgoosebumpsだから、って変じゃない？英語ではそうだ、ということであっても、「鳥肌」は日本語。

タグ：

posted at 19:45:16

片山均@八幡浜の三瀬医院 @katabomb2

@seiya_sasaki @LimgTW @w2Y3lkPhWhOwuqj @sekibunnteisuu @pinkpeachmama1 @akira090802 #超算数タグをつけて書誌も示しましょう。
塩野直道「新学習指導要領の実施を前にして」『日本数学教育会誌』第51巻 (1969) 第6号、3-8ページ。doi.org/10.32296/jjsme...

原著には、塩野が集合で研究会をし、小学生には無理との結論を得た話もある。緑表紙が図形の包摂関係を指導しないのと同じかな？ pic.twitter.com/9ZeEPhiY8i

タグ：超算数

posted at 19:40:16

高さ75cm！6脚でガシガシ歩く100均のすだれを使った多脚ロボを作ったよ。材料はM5StickC、サーボモーター1個、すだれ、竹串、ミニストロー、タピオカストロー、以上！！
#すだれロボ #M5StickC #m5stack #巨大ロボットプロジェクト #100円ロボット部 pic.twitter.com/ck12jxFp30

タグ： 100円ロボット部 m5stack M5StickC すだれロボ巨大ロボットプロジェクト

posted at 19:37:41

#超算数

「（教員が想定する）正しい順序」にしていても助数詞が間違っている子
「（協定が想定するのとは）逆順」にしていても正しい答えを出している子

どっちもいると言う、小学校教員の発言。

おそらくそうだろうとは思っていたが、現場の声としてこういうのは重要。 twitter.com/mootee2/status...

タグ：超算数

posted at 19:24:01

質問者2 @shinchanchi

しまった
ハッシュタグを微妙に間違えた💦
#全部日銀のせい twitter.com/shinchanchi/st...

タグ：全部日銀のせい

posted at 19:09:11

質問者2 @shinchanchi

#実質賃金ガーの謎
に迫ってみましたが、謎の解明には至らず。僕の推理力の拙さばかりが目立つ結果に。。。

一体、何が悪いんだ
#全部日銀のせいだ
(使い方合ってるかな💦) twitter.com/shinchanchi/st...

タグ：全部日銀のせいだ実質賃金ガーの謎

posted at 19:06:46

清　史弘 @f_sei

このように、親切に言ってくれているのだから、高校数学に携わる人はきちんと汲み取ってほしい。 twitter.com/kamo_hiroyasu/...

タグ：

posted at 19:05:30

@ymtmath @77BOM3cWD7wXdan www.asahi.com/edu/student/te...
3×2とした子が3本耳の兎2羽を思い描いているわけじゃありません。

タグ：

posted at 19:00:11

@ymtmath @77BOM3cWD7wXdan ＞小学生には小学生の分かり方があるというのが、大人になってしまうと理解できない場合が多いから、

ちがいます。

日本数学教育学会の重鎮らがおかしな考えに陥っていて、子供の実態を無視して自分たちのおかしなこだわりを強要しているのです。子供を見ていないのはあなたたちです。

タグ：

posted at 18:59:20

@seiya_sasaki @LimgTW @w2Y3lkPhWhOwuqj @sekibunnteisuu @pinkpeachmama1 @akira090802 塩野は現代化を批判するためにこの言葉を発しています。算術が算数になった経緯とはべつの文脈にあります。後者は義務教育が6年の時代で、現代から見るとかなり詰め込みの側面があります。高学年で公債とか利率について教えたりして、小学校を終えたら本当に社会に出る人々を想定した。

タグ：

posted at 18:58:46

Hiroyasu Kamo @kamo_hiroyasu

まあ、学問はみなそうですけど。

タグ：

posted at 18:57:16

@ymtmath @77BOM3cWD7wXdan もし本当に、「認知心理学的見地から見たら、かけ算順序や等分除・包含除指導は必要」が事実なら、

その「認知心理学」なるものがクソtwitter.com/ymtmath/status...

タグ：

posted at 18:56:33

Hiroyasu Kamo @kamo_hiroyasu

心が乱れた時に見るgif @kokoromidaregif

数学は数学的事実を探究する学問です。恣意的に与えられたルールに沿ってプレーするゲームではありません。

タグ：

posted at 18:55:11

#心が乱れた時に見るgif pic.twitter.com/VtiLsLnEKG

タグ：心が乱れた時に見るgif

posted at 18:49:43

en.wikipedia.org/wiki/All_model...
All models are wrong のwikipedia

タグ：

posted at 18:04:50

yudai.jl @physics303

やっぱり GPU はむずかしい．
cuda.jl の cu 関数で軽いデータを GPU に送ろうとしてるんだけど毎度フリーズする．ここから先に進まない．

うーん．

#Julia言語 pic.twitter.com/LX7wexQEtu

タグ： Julia言語

posted at 17:53:52

せきゅーん @integers_blog

執筆の機会を与えてくださり、編集作業もしてくださった編集者の方から、直接見本を受けとりました！！
魂を込めて書いた一冊です。読者の皆様の手元に届くのが楽しみです。
#グリーン・タオの定理 pic.twitter.com/Ggk3jF1Hzl

タグ：グリーン

posted at 17:22:56

松井研 / Matsui Lab @utokyo_bunny

#統計このスレッドは、

All models are wrong.

が主テーマになっていると言ってよく、元はベイズ統計の話でしたが、実際にはP値を使う統計学も区別無しに通用する話。

タグ：統計

posted at 16:59:01

JuliaLang Advent Calendar 2022 12/23の記事に「線形代数演習講義へのjulia導入を考える」を書きました mti-lab.github.io/blog/2022/12/2...　#julialang

タグ： julialang

posted at 16:42:36

7x=5x+6
↓
7x-5x=6

については❌「右辺の5xを移項すると」という説明をやめて、毎回丁寧に、⭕️「両辺から5xをひくと」と説明するだけでよい。

この程度の配慮なら「テスト対策動画」でもできるはず。

教育系YouTuberのトップの人物が真逆の動画を大量に作っているから批判せざるを得ないわけ。

タグ：

posted at 16:14:46

関連

理解している人が聞いても「無害」と感じられる「やり方の説明」であっても、

7x=5x+6
↓
7x-5x=6

について「5xをたした」「5をかけた」「−5でわった」という説明が正しいと選択してしまうような37%の子の人生には、ものすごい悪影響を与える教え方になってしまうかもしれません。 twitter.com/sunchanuiguru/...

タグ：

posted at 16:10:25

新型コロナと季節性インフルエンザの比較をするときには、様々なことに注意を払わないと、致命的な意思決定がされてしまう危険性があることについては

www.mhlw.go.jp/content/109000...

を参照。

この件で我々はもっと怒ってよいと思った。

でもそこはじっと我慢して、適切な情報の拡散に協力したい。 twitter.com/nishiurah/stat...

タグ：

posted at 15:57:00

ググって少し調べると、まずそうな教え方のせいで、数学の勉強が地獄になっている子が大量に作られてしまっていることを強く示唆するデータが見つかったりします。

「移項=符号を変えて移す」のような安易にショートカットのやり方を教える方針は想像以上に有害であると想定した方が良いと思います。

タグ：

posted at 15:35:44

7x=5x+6
↓
7x-5x=6

のような変形は単に両辺から5xを引いただけなので、「5xをたした」「5をかけた」「−5でわった」と答えた子は、何も理解せずに計算の手続きの練習だけをやらされているようになっていたりするわけで、数学の勉強が地獄になっていると思われます。

そういう子を救う必要がある。

タグ：

posted at 15:30:57

こーた丼 @rental_math

中3生に、√2ってどんな数か中学1年生向けに説明できる？と質問しても案外答えられない人が多かったりします😭 twitter.com/genkuroki/stat...

タグ：

posted at 15:28:01

「移項」の教え方の害の程度に関するデータ

平成19年度全国学力・学習状況調査
nier.go.jp/tyousakekka/03...…
↓
nier.go.jp/tyousakekka/ga...…

のpp.152-153より。

7x=5x+6→7x-5x=6の変形で両辺{に、を}「5xをたした」「5をかけた」「-5でわった」と考えた子が合計で約37%もいる！ twitter.com/genkuroki/stat... pic.twitter.com/UzctRgcPup

タグ：

posted at 15:26:36

Hiroshi Nishiura @nishiurah

「新型コロナウイルス感染症の特徴と中・長期的リスクの考え方」
www.mhlw.go.jp/content/109000...

タグ：

posted at 15:24:25

Math Lady Hazel @mathladyhazel

Beautiful geometry project idea for these winter days! [bit.ly/3EkwVIX] pic.twitter.com/lwikpWHHPJ

タグ：

posted at 13:23:01

yudai.jl @physics303

今日の目標は cuda.jl を使ってみること．逆行列の計算がはやくなるといいな．
#Julia言語

タグ： Julia言語

posted at 13:02:22

コメントで訂正… pic.twitter.com/cqJ9Af5pJF

タグ：

posted at 12:05:25

質問者2 @shinchanchi

ニューカマー効果が名目賃金に影響することを認めながら
「実質賃金」が「名目賃金」に物価上昇率を加味して実質化したものであるので、ニューカマー効果も物価上昇率も「実質賃金」に影響しますよね💦 pic.twitter.com/eLHexK2ULq

タグ：

posted at 12:03:00

....Ken☥ @itagaki_lunedi

「社会正義」はいつも正しい、ついに増刷された❓ずーっと入手不可になってたアマゾンに在庫が・・・
ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!!
@Hayakawashobo

タグ：

posted at 11:44:08

…と思ったらまだ生きてる？
youtu.be/xtcOIjgTMxE

タグ：

posted at 09:25:36

ながし @Pnagashi

この議論と、イベルメクチンの話は別だからね。
イベルメクチンは動物実験で催奇形性が確認されているので「禁忌」になっている薬です。
因みに、訴訟になったら医者が確実に負けます。
訴訟に勝ったって、子どもの障害は治りませんけどね。
イベルメクチン礼賛している連中は少し考えろ。 twitter.com/double_helix_/...

タグ：

posted at 09:24:38

二重_螺旋_ @double_helix_

こうゆうことなんだよな。今のままでは患者の不安も当たり前のこと。 pic.twitter.com/eEImndfkju

タグ：

posted at 08:56:52

#統計私の理解では、統計的因果推論は、データの生成のされ方のモデルMと観測データを使って、Mを改変して得られる別のモデルM'に関する結果を得るという手続きの特殊な場合になっているとみなされる。

実践的な統計学の使われ方に繋げるにはそこまで枠組みを一般化しておく必要があると思う。 twitter.com/genkuroki/stat...

タグ：統計

posted at 04:04:44

#統計一方、P値については、P値の正しい使用の仕方について書かれた真っ当なあらゆる文献が、自信過剰(もしくは過信)を招くような使い方は誤用になることを厳しく指摘しています。

過信を嫌うこの雰囲気はベイズ統計側にも伝わるとよいと思います。

タグ：統計

posted at 03:54:59

#統計教科書的な主観ベイズ主義的な意思決定論は、モデルのp(x|θ)とπ(θ)を前提にしたときの期待リスクを最小化する話になっており、モデルがダメな場合のリスクに脆弱。

「地元で最強」(小さな世界)の話になっています。

これを意識しないと有害な自信過剰を招くかもしれない。

タグ：統計

posted at 03:50:57

#統計続き。ASA声明では、パラメータに関する帰無仮説だけではなく、妥当性を保証することが難しい統計モデルの全体もP値による評価の対象になっていることを強調しています。

「すべてのモデルは間違っている」の立場が裏に隠れていると考えて良い。

タグ：統計

posted at 03:47:34

#統計「小さな世界」的な統計学観の否定は、「統計的有意性とP値に関するASA声明」www.biometrics.gr.jp/news/all/ASA.pdf にも見られると思います。

そこでは、データの数値と統計モデル全体の相性の良さがP値で評価されていることを強調して、P値だけを見て自信過剰になることを防ごうとしています。

タグ：統計

posted at 03:47:33

Tara 2023 @TaraWilcoxon

@Seinfeldism1 That’s this guy’s middle name… Wheezy Isosceles Wilcoxon. pic.twitter.com/ZBewzHoGrp

タグ：

posted at 03:39:38

#統計あと、誰かがやるべき仕事に、このスレッドで紹介されている文献の考え方の統計的因果推論への拡張があると思う。

統計的因果推論では、データの生成のされ方のモデルMだけではなく、因果推論のためのモデルM'も使われることになる。モデルが単一でない分だけ話が複雑になっている。

タグ：統計

posted at 03:36:26

#統計

 watanabe-www.math.dis.titech.ac.jp/users/swatanab/

タグ：統計

posted at 03:26:16

#統計あと、個人的には、最近のP値を

データの数値(単なる数値！)

と

統計モデル

のcompatibilityの指標の1つとみなす考え方をベイズ統計にも導入するべきだと考えています。

journals.sagepub.com/doi/10.1177/02...

タグ：統計

posted at 03:21:08

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

#統計 [56]は

Watanabe, S.: Mathematical theory of Bayesian statistics where all models are wrong. Advancements in Bayesian Methods and Implementations, Handbook of statistics, 47, 209-238 Elsevier, (2022)
www.sciencedirect.com/science/articl...

タグ：統計

posted at 03:19:55

そういえばJulia言語コミュニティのスパム止んだ？会社に苦情入れたのが効いたかな？関係部署に連絡すると謝罪のメール来てたし。

タグ：

posted at 03:02:38

#統計 [28]は

McElreath, S.: Statistical Rethinking: A Bayesian Course With Examples in R and STAN, 2nd edn. CRCPress, Florida (2020)
www.google.com/search?q=McElr...

タグ：統計

posted at 02:45:44

#統計 [17]は

Gelman,A.,Shalizi,C.S.: Philosophy andthepractice of Bayesianstatistics. Br. J. Math. Stat. Psychol. 66, 8–38 (2013)
www.stat.columbia.edu/~gelman/resear...

タグ：統計

posted at 02:42:34

#統計 [16]は

Gelman, A., Carlin, J.B., Stern, H.S., Dunson, D.B., Vehtari, A., Rubin, D.B.: Bayesian Data Analysis III. CRC Press, Florida (2013)
www.stat.columbia.edu/~gelman/book/B...

タグ：統計

posted at 02:41:34

#統計 [10]は

Binmore, K.: On the foundations of decision theory. Homo Oecon. 34, 259–273 (2017)
link.springer.com/article/10.100...

これは「小さな世界」と「大きな世界」に関する論文。

タグ：統計

posted at 02:39:31

#統計 "all models are wrong" [11]の文献は

Science and Statistics
George E. P. Box
1976

で www-sop.inria.fr/members/Ian.Je... で読める。

タグ：統計

posted at 02:30:32

#統計 preprint版を arxiv.org/abs/2211.10049 で読める。添付画像のように(旧来の「小さな世界」ではなく)「大きな世界」でのベイズ統計を素描している。文献[57]は

arxiv.org/abs/2206.05630
Mathematical Theory of Bayesian Statistics for Unknown Information Source
Sumio Watanabe

で読める。 twitter.com/sn_inge/status... pic.twitter.com/4LXU03D7Yj

タグ：統計

posted at 02:23:07

「この動画は再生出来ません」
youtu.be/xtcOljgTMxE twitter.com/twinklepoker/s...

タグ：

posted at 01:33:27