黒木玄 Gen Kuroki(@genkuroki)/2022年09月24日

ようやく４次方程式の解の公式に到達。
#数楽 pic.twitter.com/Qpq5XQZkNi

タグ：数楽

posted at 23:59:49

まだまだ力技で計算続行。
汚い手書きノートで申し訳ない…
#数楽 pic.twitter.com/6NHiXyYldw

タグ：数楽

posted at 23:56:41

さらに力技で計算続行。
汚い手書きノートで申し訳ない…
#数楽 pic.twitter.com/cWjhu2VbFN

タグ：数楽

posted at 23:54:55

力技で割り算して４次の因数分解公式を作る
#数楽 pic.twitter.com/fjeCo6EQFB

タグ：数楽

posted at 23:50:13

@sekibunnteisuu #数楽 exp(x)の最初のn項のTaylor展開の相対誤差の積分表示が、Poisson分布とガンマ分布の累積分布函数の関係式になっていること。

及び、その離散時間版。すなわち、二項分布と負の二項分布とベータ分布の累積分布函数の関係式。

前者は非常に易しい→添付画像① pic.twitter.com/leyNpoYI2S

タグ：数楽

posted at 23:32:54

JuliaPackages @JuliaPackages

New package: MarkdownTables v1.0.0 announced #JuliaLang

MarkdownTables: Lightweigth package to print a table that implements the Tables.jl interface in Markdown.

Registration: github.com/JuliaRegistrie...
Repository: github.com/tpapp/Markdown...

タグ： JuliaLang

posted at 23:03:52

癒される動物 @cutest_animal1

いつの間にかでんぐり返ししてる猫がかわいい✨ pic.twitter.com/0T7cwBRHdP

タグ：

posted at 23:02:34

@OokuboTact 一覧がこちらですね。
www.nier.go.jp/kaihatsu/zenko...
よくネタにしています。
算数教育界ｗ的な見解ばかりなのが国立教育政策研究所クオリティですねｗ

タグ：

posted at 22:13:49

@takusansu ＃超算数

こんな調査報告書が毎年出てますね

www.nier.go.jp/18chousakekkah...

タグ：超算数

posted at 21:43:17

@takusansu 算数教育の調査はいろいろやっているようですが、「先に結論有りき」な実験だったり、偽薬のグループを作って比較する実験はしていないようですね

タグ：

posted at 21:41:08

高橋泰城（たかはしたいき） @tweet_taiki

@OokuboTact エビデンスと言えるような知見があまりないように思えます。(算数教育では壊滅的)
今迄の教育に関して批判的思考(クリティカルシンキング)がなされていない印象もありますね。

タグ：

posted at 21:21:38

@utagawake0 savageのsure thing principleはベイズ確率/統計の公理ですからこれが成立しないプレーヤーはBayesian decision
makerとしてモデル化できないのでどんな公理系を用意してゲーム理論をつくるか、また行動データをどんな統計学で分析したらよいか、というのも次の課題ですね
www.amazon.co.jp/Foundations-St...

タグ：

posted at 21:12:33

@takusansu ＞　教育系心理学者ってまともな人がいるのか怪しいです。

弟子と師匠の関係がおかしいのかな？

タグ：

posted at 20:51:30

Bernat Font @bernat_font

高橋泰城（たかはしたいき） @tweet_taiki

playing to reduce the number of allocations in my #julialang project is fun.

タグ： julialang

posted at 20:44:00

高橋泰城（たかはしたいき） @tweet_taiki

@utagawake0 こっちの追試論文のほうがグラフが見やすいです
Is There a Violation of Savage’s Sure-Thing Principle in the Prisoner’s Dilemma Game?
journals.sagepub.com/doi/10.1177/10...

タグ：

posted at 20:39:12

Social Media Insuran @Pagerecoveryco

@utagawake0 Tversky Shafirの囚人のジレンマ行動実験では、多くの人は、「相手がCのときに自分はDを選び、相手がDのときにも自分はDを選ぶのですが、相手の手がCかDか不明のときは自分はC」と選択しました　これはSavageのSure-thing principleが不成立であることを意味します　↓が論文
journals.sagepub.com/doi/abs/10.111...

タグ：

posted at 20:13:23

How to catch cockroach pic.twitter.com/hDIcsTpCq2

タグ：

posted at 19:00:56

wonbat @canonet

子供たちとの交流が良すぎた。

#タローマンまつり2号 pic.twitter.com/2VHxCberx7

タグ：タローマンまつり2号

posted at 18:42:10

#Julia言語でこれからどのように統計関係のパッケージが整備されそうかについてや、整備のために必要になりそうな事柄については

discourse.julialang.org/t/request-for-...

を参照。適切な方向にリーダーシップを発揮する人が出て来るかどうかの問題のような気もしています。

タグ： Julia言語

posted at 17:03:25

@OokuboTact 教育学研究科・教育学部の人ですね。
教育系心理学者ってまともな人がいるのか怪しいです。
KAKENで数多く出てきますね。
nrid.nii.ac.jp/ja/nrid/100002...

タグ：

posted at 16:23:35

団子の数を質問しているんだから、１５個なのは当たり前。
「固定順序強制で単位が決まる」かどうか知らなくても、答えは常識でわかる。

＃超算数 twitter.com/temmusu_n/stat...

タグ：超算数

posted at 15:46:32

@takusansu 「ピアジェ理論と算数教育の関係」で要注意な人物は、藤村宣之氏ですね

タグ：

posted at 15:37:57

@takusansu 市川伸一氏の算数・数学教育本で分厚い本をかなり前に購入したのですが、積読中です

タグ：

posted at 15:28:04

fuji.t @celaeno4

『#ゼロから作るSpikingNeuralNetworks』のホジキン・ハクスレーモデルをPythonからJuliaに書き換え。クラスの書き換えは初めてだったので試行錯誤しながらの書き換え。モデルの本体は別モジュールに分けてみました。いまいち理解が足りてないけど、徐々になんとかなるでしょう…
#julia言語 pic.twitter.com/rPjTX1DiLj

タグ： julia言語

posted at 15:26:31

心理学者の市川伸一氏は、#超算数に都合のいい解釈ばかりしていましたね。 twitter.com/OokuboTact/sta...

タグ：超算数

posted at 15:20:03

志位＋＋和夫 @hyper0dietter

とりあえずJuliaが実行できる人だけ向けですが、数値実験のコードをアップロードしました。
デフォルトでは減算候補集合は[1, 2, 3], イテレーションは1000になっています。変更したほうがいいとかあったらIssueでもPRでもリプライでもください。
#31ゲーム
 github.com/hissatupasseng...

タグ： 31ゲーム

posted at 14:25:08

Windows11 22H2にゲームパフォーマンス低下の不具合。フレームレート(fps)が下がったりひどくカクつくなど［Update 1］ | ニッチなPCゲーマーの環境構築Z www.nichepcgamer.com/archives/windo...

タグ：

posted at 12:21:22

#数楽 log(sin(x))やx/tan(x)の不定積分はdilog Li₂(z)で書ける。

www.wolframalpha.com/input?i=%E2%88...

nbviewer.org/github/genkuro... pic.twitter.com/dzEu3fjBYG

タグ：数楽

posted at 11:51:03

明松真司（Shinji Akemats @minami106

#数楽

(d/dx)(x log(sin(x))) = log(sin(x)) + x/tan(x)

なので、x/tan(x) の積分は部分積分で log(sin(x) の積分に帰着し、log(sin(x))の0からπ/2までの定積分は有名かつそう難しくない(難易度的に大学入試レベル)。

www.google.com/search?q=%E2%8... twitter.com/minami106/stat...

タグ：数楽

posted at 11:44:42

何がどうなったらこの計算を思いつくのかがサッパリ分からん（すごすぎる）。

Feynman's trick for the integral of x/tan(x) from 0 to pi/2 youtu.be/KoERyA8Pm7Q @YouTubeより

タグ：

posted at 11:28:19

算数教育に時代遅れのピアジェ心理学理論を持ち込むのは、害悪でしかない

＃超算数

タグ：超算数

posted at 11:05:35

非公開

タグ：

posted at xx:xx:xx

算数教育に心理学を持ち出す人は、心理学の最先端を知らない可能性が高い

＃超算数

タグ：超算数

posted at 10:59:15

ファイザー社やモデルナ社がやっていることを理解したいような人達にとっては #Julia言語に関する解説は必須なのかもしれません。

タグ： Julia言語

posted at 10:53:24

あ〜る菊池誠(反緊縮)公式 @kikumaco

#Julia言語

Julia Computing juliacomputing.com の最大の顧客は製薬業界のようです。

ファイザーによるJuliaの利用の仕方
↓
juliacomputing.com/case-studies/p...

モデルナの人によるJuliaCon 2022での講演
↓
youtu.be/6wGSCD3cI9E

タグ： Julia言語

posted at 10:49:12

あ〜る菊池誠(反緊縮)公式 @kikumaco

CやC++で書く学生にはこれは起きないと思うんですよね。特に勧めないし。ただ、Pythonでシミュレーションをやろうとするとめちゃくちゃに遅いので、Pythonぽくて速い言語としてJuliaを挙げます。

CからでもJuliaに乗り換えるといい理由はたくさんあるけど、まあCで書けてるならいいんじゃない？

タグ：

posted at 10:48:23

最近よくある流れ
俺「好きな言語でプログラムを書けばいいよ」
学生「Pythonで書いたらシミュレーションが遅いです」
俺「PythonみたいなのがいいならJuliaを使ってみたら？」
学生「速くなりました。Juliaに乗り換えます」
Juliaが地味に普及中。僕は好きな言語でと言ってるだけだよ

タグ：

posted at 10:13:47

飯間浩明 @IIMA_Hiroaki

夏目漱石がI love youを「月がきれいですね」と訳した説はガセ？出典をめぐる検証が興味深い togetter.com/li/1948142 #Togetter

タグ： Togetter

posted at 10:01:48

Yasunori Matsuki @YazMatsuki

@y_tambe ゲーテ、お前だったのか…カフェイン剤調合に欠かせないカフェイン分離に歴史を進めたのは…

タグ：

posted at 09:57:37

高梨陣平 @jingbay

かし、driverを直接、GeForce Experience無しでインストールしていたユーザにはそもそも問題は無く、問題に引っかかったのは別のNVIDIAによるaddonの模様だ。MSはこのような問題を避けるため最近は主な更新をユーザをphaseに分けて配布しているとの話

タグ：

posted at 09:56:42

高梨陣平 @jingbay

Hideki Kawahara: WAS @hidekikawahara

Windows 11 22H2のインストールを行った後にNVIDIAのGPUが遅くなるとの報告が相次いでいる。フレームレートが安定しない等も。NVIDIAによればこれはMSの新しいWindows graphics debugging 機能が誤ってenableされているため。NVIDIAはGeForce Experienceの更新をリリースしこれで問題が直るという。し twitter.com/arstechnica/st...

タグ：

posted at 09:54:45

津田和俊／急激に進行した網膜剥離と闘って @kaztsuda

Diffusion Bee - Stable Diffusion GUI App for M1 Macを（メインマシンは怖いので）メディア視聴用に使っているM1 Mac miniに入れてみた。前世紀の化石プログラマとしては、開いた口が塞がらない。Flux.jlがApple siliconのGPU対応になることを期待して、Juliaをベースに深層学習の環境を整備する。 pic.twitter.com/Q3mSLcOdQb

タグ：

posted at 09:25:51

目抜き通りが広場に　仙台・青葉通で車線規制始まる　ストリートピアノ、写真展など多彩な催し
kahoku.news/articles/20220...
仙台駅への送迎の自家用車が青葉通りを通れなくなったので、昨日PARCOからAERの先までずっと渋滞してた。それは予想通りとして、この「賑わい」、クルマからは見えないのよ。。。

タグ：

posted at 08:45:32

飯田泰之 @iida_yasuyuki

@hidetomitanaka ある意味では「タイミングが絶妙」なので評価する市場関係者がいるのはわかるけど，ネット世論？さんはたぶんどういう意味で絶妙なのかまるでわかってないと思われ

タグ：

posted at 08:31:47

清水　団 Dan Shimizu @dannchu

@genkuroki 黒木さん、いろいろご指摘ありがとうございました。自分でもいろいろ考えてみたのですが、やはり分布を準備するところで、その分布が適切なのかと言うところがネックになります。

タグ：

posted at 02:45:13

#Julia言語計算速度のために函数の引数に型注釈をつける必要がない理由は、Juliaは函数に引数として具体的な値が与えられた後にその値の具象型に基いて函数をネイティブコードにコンパイルしてから実行するからです。

函数の引数の型が他の変数に自然に伝搬して行くようにコードを書くスタイル。

タグ： Julia言語

posted at 01:42:46

#Julia言語はC/C++やFortranと同じくらい速いというのは本当の話です。

函数の引数や戻り値の型注釈を一切付けることなく、C/C++やFortranと同じくらいの速さを出せます。

そのことを確認したい人は少なくとも

docs.julialang.org/en/v1/manual/p...
Performance Tips

は読んでおくべき。これ重要。

タグ： Julia言語

posted at 01:37:58

#Julia言語もJupyterで使えます。

Jupyter = JUlia + PYThon + R

らしい。eはどこに行った？

添付画像はiPadのブラウザから自宅内JupyterLabサーバーにアクセスしている様子。 twitter.com/mineral___/sta... pic.twitter.com/fJlkzoYn8l

タグ： Julia言語

posted at 01:33:38

@dannchu 私は、二項分布モデルで検定について説明する場合には、「当たりが未知の確率pで出るルーレットをn回まわす」のような設定を使っています。

そういう設定を使えば、現実に出会う状況の複雑さを回避できます。その代わりに後で「多くの場合に統計モデルは信用できない」と強調する必要が出て来る。

タグ：

posted at 01:14:50

@dannchu 訂正

❌統計的に優位になった
⭕️統計的に有意になった twitter.com/genkuroki/stat...

タグ：

posted at 01:07:57

@dannchu #統計アメリカ統計学会の声明(ASA声明)にある現代における標準的な考え方については以下の動画が分かり易いです。

多くの教科書が間違っていることもはっきり述べています。

youtu.be/vz9cZnB1d1c
「仮説検定とP値の誤解」佐藤俊哉 pic.twitter.com/Gm21NJEb9K

タグ：統計

posted at 01:06:34

天むす名古屋 Temmus @temmusu_n

@dannchu 二項分布モデルを使った場合には、すべての問題の正解率が等しく、さらに正解の仕方が確率論的に独立になっているという条件が現実に成立していないとアウトになります。

現実の試験ではそのような都合の良い条件は成立していないと思われます。

タグ：

posted at 00:57:05

天むす名古屋 Temmus @temmusu_n

#超算数 A, B, C, Dの4枚のカードから2枚とって並べるやり方の数を計算するときに4×3を検定教科書に載せられないとか、そんな感じの事例を指すと思いました。

タグ：超算数

posted at 00:56:19

天むす名古屋 Temmus @temmusu_n

#超算数逆順の掛け算を【うまく使えない】とみなすなら、国税庁に其の方どもは掛け算がうまく使えとらんじゃないか不届き者めとでもいってはいかがでしょうかtwitter.com/temmusu_n/stat...。常識的には、掛け算がうまく使えないとは、年→秒の単位換算で365×24×60×60とすんなりできないとか、

タグ：超算数

posted at 00:55:45

#超算数【うまく使えない】twitter.com/fukugyoclub/st...というのは偏狭な指導でなんらかの利得を得たい立場からの意見です。1968年の雑誌記事に如実に表れているのがtwitter.com/temmusu_n/stat...、掛け算初歩のような比較的単純なことに指導の難しいことがあると保護者を丸め込むことで需要喚起する意図です。

タグ：超算数

posted at 00:54:43

@dannchu 検定の手続きが適切に遂行されるためには、データの取得法が適切でなければいけないし、統計モデル(=データの数値以上に極端な値が生成される確率を計算するために使った数学的前提の全体)が妥当でなければいけません。

実践的に出会う多くの場合にその2つは怪しいです。

タグ：

posted at 00:53:15

@dannchu 「正解率は以前と同じ」という仮説の下でデータの数値以上に極端な値が生じる確率が有意水準を切っていても、それだけでは、検定の手続きに従って「正解率は以前と同じ」という仮説が否定されないことにも注意が必要です。

データや統計モデルの妥当性に関する確認が非常に重要。

タグ：

posted at 00:50:12

@dannchu 「片側検定での有意水準5%」で説明してしまうと、慣習とのずれが大きいので、一般向けのニュースなどで「有意水準5%で統計的に優位になった」のような説明を聞いたときに誤解してしまう可能性が心配です。

タグ：

posted at 00:46:12

@dannchu 両側検定のP値の1つの作り方は片側検定のP値の2倍なので、同じ有意水準5%であっても、片側検定だと両側検定での有意水準10%に対応してしまいます。(普通は両側検定を使うことに注意！)

タグ：

posted at 00:44:17