Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

黒木玄 Gen Kuroki

@genkuroki

  • いいね数 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 を見て下さい。
Favolog ホーム » @genkuroki » 2020年03月24日
並び順 : 新→古 | 古→新

2020年03月24日(火)

天むす名古屋 Temmus @temmusu_n

20年3月24日

@miyuki_MathT #超算数 マジですよ〜〜。筑波の総本山でも祝福されている考え方ですtwitter.com/temmusu_n/stat...。1.2回じゃダメって前回の授業で結論が出たところからの流れです。

タグ: 超算数

posted at 23:56:19

Ryusei @mandel59

20年3月24日

メタプログラミングは高性能なプログラムを作る上で活用できる「魔術」なんだけど、それがJuliaみたいな科学計算用の言語で簡単に使えるのは嬉しいよね

タグ:

posted at 23:47:56

みゆき @miyuki_MathT

20年3月24日

1.5個がバツになるのマジ?
どこまで腐ってるんだ
ニセ算数おかしすぎるぞ。何で騒ぎにならない?

タグ:

posted at 23:46:25

闇のapj @apj

20年3月24日

電凸どころか資料持って本人が直接来たことがありましたねえ。 twitter.com/garyu/status/1...

タグ:

posted at 23:42:36

森田真一【元地方議員、現未帰還兵】 @shinichi_morita

20年3月24日

昨年の1人5千円のプレミアム給付付き商品券販売事業。東大和市の予算案では給付分の総額8500万円に対し、事務経費は8100万円でした。「消費税減税は政治的に高コスト」と言いますが、商品券方式が意外にコスト高だった事実はあまり知られていません。
www.jiji.com/jc/article?k=2... @jijicomさんから

タグ:

posted at 23:38:49

Ryusei @mandel59

20年3月24日

Julia、モダンな言語ってイメージだけど、正統にモダンすぎて逆に使い所が分からん(なんでもできそうな気がするせいかな)

タグ:

posted at 23:37:34

Ryusei @mandel59

20年3月24日

Juliaってふつうに“強い”言語のイメージで、なんというかもうだいたいコイツでいいんじゃないかな感があるんだけど、実際に自分で使ったことない……

タグ:

posted at 23:33:43

Ryusei @mandel59

20年3月24日

JavaScriptみたいに、関数オブジェクトからソースコードが取れる言語もありますけど、Juliaにはたぶんそういうのはないんじゃないですかね

タグ:

posted at 23:29:18

( ゚д゚) T A M A 産 @yastomohalumisa

20年3月24日

オイカワ丸先生は鯉の放流禁止を求めてて山猫だぶ先生は危険な害獣アライグマには容赦しないスタンスのツイートをしてらしたから、そこでどーしょーもないアイゴに目を付けられてしまったのかも知れない…

タグ:

posted at 23:19:43

abap34 @abap34

20年3月24日

この辺りを参考にしてるんですが、なかなか...github.com/JuliaLang/juli...

タグ:

posted at 23:01:55

abap34 @abap34

20年3月24日

Juliaで関数の定義を取り出す方法が知りたいです。
例えば、
``
f(x) = x^2 + 3x + 4
```
という関数があるとして,
fを参照して"x^2 + 3x + 4"を得たいです。(文字列が欲しいといわけでなく、情報を得られればいいです)
何かあった気がするんですが....
よろしくお願いします。
#Julia言語

タグ: Julia言語

posted at 22:54:38

楢林孝之 @tarkn1999

20年3月24日

オイカワ丸氏と山猫だぶ氏、両氏共に職場に電凸を受けたためにアカウントを閉鎖する旨を今日表明されたけど、タイミング的には両氏の職場に電凸したのって同一人物だったりするんだろうか。
職場に電凸して気に入らない相手を黙らせようとするのって、真正面からの言論だと勝てないからなのかなあ。

タグ:

posted at 22:53:18

ごまふあざらし(GomahuAzaras @MathSorcerer

20年3月24日

@bicycle1885 AMDの石持っていないので
感覚が分からず。ありがとうございます😊

タグ:

posted at 22:46:34

(「・ω・)「ガオー @bicycle1885

20年3月24日

@MathSorcerer また随分と懐かしいCPUですね…。私のところは問題ないです。

タグ:

posted at 22:45:21

Kohei Kawaguchi=Suna @mixingale

20年3月24日

最適化のソルバーをipoptに変えるとなぜかCPU使用率は0%近傍になってるのにループが終わらない…と思ったら、ipoptはthread-safeじゃなかったのか。

タグ:

posted at 22:44:45

Hiraku Nakajima @hirakunakajima

20年3月24日

日本人留学生への奨学金 支給停止規定 柔軟対応を検討 文科相 | NHKニュース www3.nhk.or.jp/news/html/2020...

タグ:

posted at 22:23:35

OokuboTact 大久保中二病中年 @OokuboTact

20年3月24日

#超算数 #歴史的資料

1976年の本から。
図形の包含関係の教え方。
矛盾した教え方を強要している。
マジメな教師は大変。 pic.twitter.com/TWCkqYoCeO

タグ: 歴史的資料 超算数

posted at 22:02:01

ryoko @Ryoko_is

20年3月24日

ちょっとこれ東京ヤバイのでは…リンクたどれない例がどれくらいいるのかだけど…

タグ:

posted at 21:49:38

ryoko @Ryoko_is

20年3月24日

東京、昨日16で今日15?うーーむ… twitter.com/kyodo_official...

タグ:

posted at 21:48:11

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#数楽 3次方程式の解法で役に立つ

x y z
z x y
y z x

型の行列式は、xyzをxyz,zxy,yzxに並び替える巡回置換の群が見えていて、そういう群が三次の置換群の正規部分群になっていることが三次方程式の解の公式を四則演算と冪根で作れる理由になっています。

タグ: 数楽

posted at 20:15:31

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#数楽 その問1でx達は

1234
2143
3412
4321

と並んでいます。これが非常にイイ!

1234を1234,2143,3412,4321に並び変える操作(置換)達は4つの要素からなる群を作る!実はその群は4次の置換群の正規部分群になっていて、4次方程式の解の公式を四則演算と冪根だけで作れる理由になっています。

タグ: 数楽

posted at 20:11:59

黒木玄 Gen Kuroki @genkuroki

20年3月24日

x³+y³+z³-3xyzの因数分解の公式は

x y z
z x y
y z x

型の行列式の因数分解で、例えば佐武一郎『線型代数学』II章研究課題1「巡回行列式」に解説がある。

ただし、その一般化では4次方程式の解の公式は得られない。しかし、さすが佐武さん!問1に4次方程式で役に立つ行列式の問題が! pic.twitter.com/qLXpTIk616

タグ:

posted at 20:04:29

黒木玄 Gen Kuroki @genkuroki

20年3月24日

x³+y³+z³-3xyzが因数分解できることを初めて知った人はちょっと感動してもいいと思う。

そういう感動できる公式を1個作れるだけでどれだけやれることが増えることか。

「良い公式を見付ける」という発想は必ずしも高級とは言えない数学の理解においても結構本質的だと思う。

タグ:

posted at 19:50:44

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#数楽 高校生でも上の三次方程式を解けるはずであることを示すための大ヒント:

高校で習う難しめの因数分解に

x³+y³+z³-3xyz

の因数分解があるのですが、一次式の積への分解

x³+y³+z³-3xyz=(x+y+z)(x+ωy+ω²z)(x+ω²y+ωz), ω²+ω+1=0

まではやらないようです。これは非常にもったいないこと。

タグ: 数楽

posted at 19:47:48

黒木玄 Gen Kuroki @genkuroki

20年3月24日

@sekibunnteisuu @KyokoYasunami #超算数

添付画像内の安浪京子さんのような言い方で、できない子扱いする子にデタラメを教えて親切なふりをする大人達の存在を見て、リアルな子供達がどのように感じるかについて少しは考えた方がよいと思う。

まさに子供を殴る大人と同じ。 pic.twitter.com/x1NvnnAuGh

タグ: 超算数

posted at 19:18:52

黒木玄 Gen Kuroki @genkuroki

20年3月24日

@sekibunnteisuu @KyokoYasunami #超算数 添付画像による引用全体を見ると「ひどい」のひとことに尽きますね。

現代では子どももインターネット経由で「ダメな大人が子供をどのように子供をできない子扱いするか」および「できない子扱いされた子が特殊な型の問題のみに通用するデタラメを教わるという事実」を知っています。続く

タグ: 超算数

posted at 19:13:58

Ishida the Brain Dam @tbs_i

20年3月24日

商品券を換金しようという人は切羽詰まってる確率が高いので、足元見られて換金率は低くなるはず。それで安く転売される商品券を余裕のある金持ちが買うんだぜ。 twitter.com/joseph_henri/s...

タグ:

posted at 19:00:15

天むす名古屋 Temmus @temmusu_n

20年3月24日

#超算数 裏裏マニュアルとは、裏マニュアルであるきはじ、くもわ等のOT図を更に劣化させた指導法の意味です。それでは公式なマニュアルとはなにか。それは学習指導要領などに謳われる「もとにする量」などの文言をそのまま指導する行き方のことです。

タグ: 超算数

posted at 18:59:12

TaKu @takusansu

20年3月24日

@temmusu_n 「もとにする量」「比べる量」などの言葉は、割合を理解している大人でも難しいと思われます。(私はそんな思考はいていない)
様々な経験から割合の概念が身に付いていく筈が、そこらへんをすっ飛ばして指導しているようにしか見えません。
だからこそ #超算数 になるのでしょう。

タグ: 超算数

posted at 18:56:13

天むす名古屋 Temmus @temmusu_n

20年3月24日

安浪氏の記号処理的な割合問題の解法は、#超算数|ではおなじみのパターンtwitter.com/temmusu_n/stat...。積分定数さんの更なる調査で安浪氏もOT図(きはじで)を推していることが分かるtwitter.com/sekibunnteisuu...。これで、裏裏マニュアルであることが確定します。

タグ: 超算数

posted at 18:55:52

天むす名古屋 Temmus @temmusu_n

20年3月24日

#超算数 安浪京子氏は、【「もとにする量」「比べる量」などの言葉が難しいので、意味を理解するのが厳しそうなら、式の立て方から先に取り組む手もあります。】と前置きして、割合の問題を文章題の記号変換を推奨。意味理解なしに【式の立て方】を習得したら、事後に理解したかどうか検証は不可能。 twitter.com/sekibunnteisuu...

タグ: 超算数

posted at 18:44:32

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#数楽 しかし、数学は自分の力で試行錯誤の経験をどれだけ積んだかで理解力に大きな差が出る分野なので、WolframAlphaで答えをすぐに見ないで、自分で試行錯誤してみることが大事。

たったの1時間程度であっても試行錯誤をした後であれば、答えを参照したときに見えて来るものが全然違う。

タグ: 数楽

posted at 18:39:57

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#数楽 今の子はWolframAlphaとかで勉強しているのかな?

個人的な意見ではiOSやAndroidのWolframAlphaのアプリは買う価値があります。入力が少し楽になってCPUも少し多めに使わせてくれる感じ。

www.wolframalpha.com/input/?i=x%5E3...

タグ: 数楽

posted at 18:35:55

GroupeCalcul ⌨️ @GroupeCalcul

20年3月24日

Lecture du jour: « Julia: benchmark et bonnes pratiques » par Benoit Fabrèges Ingénieur à l’ICJ de Lyon et membre du groupe calcul

plmlab.math.cnrs.fr/fabreges/julia...

#JuliaLang

タグ: JuliaLang

posted at 17:22:48

匿本 名太郎 @kaisekigakumoyo

20年3月24日

fractional diffusion problemsのDGをJuliaパッケージつきで.
github.com/billmclean/Fra...

W. McLean : Implementation of high-order, discontinuous Galerkin time stepping for fractional diffusion problems arxiv.org/abs/2003.09805 arxiv.org/pdf/2003.09805

タグ:

posted at 17:09:55

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 以下のリンク先の添付画像が面白過ぎ!🤣

「芸」になっている。

1つ目の添付画像に

【warmup=1000, iter=21000, chain=5】

とあって、「あれれ?」と思いつつ2つ目を見ると、stanのコードが!!!(笑) 3つ目のRのコードが参考になる。

【重なっているから線が見えない】

まさにそれ! twitter.com/toshizumi1225/...

タグ: 統計

posted at 17:02:30

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 お墨付きがどうしても欲しい人達を地獄に突き落とすのではなく、「ベイズ統計なら仮説が正しい確率(phc)が求まる」のようにささやき続ける人達がいるのは本当に困ったことだと思います。

それ、悪魔のささやきですから!

で、そのphcとやらはP値の近似値にもなっているという不思議(笑)

タグ: 統計

posted at 16:32:09

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 統計学は

  お墨付きがどうしても欲しい人達に
  「それは無理です」とはっきり言うことによって
  地獄に突き落とす分野

だと思っておいた方が、統計学の誤用が減ると思う。

統計学の使用の推奨はギャンブルの推奨になっている。
ギャンブルなので失敗するリスクが常に残る。

タグ: 統計

posted at 16:28:02

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 おそらく、多くの人が欲しているのは「あなたの仮説は正しい」というお墨付きが得られる道具です。

しかし、統計学は決してお墨付きを出してくれないのです。

仮説検定を使っても、情報量規準や交差検証でモデル選択をしても、「他のモデルより相対的にましであること」しか分からない。

タグ: 統計

posted at 16:23:36

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 情報量規準や交差検証でモデルAとモデルBを比較しても、そのどちらかが他方よりも相対的にましであることが分かるだけで、相対的にましな側のモデルが正しいことを意味しません。

この点は仮説検定でも同様です。検定で採択されてのそれが正しい仮説であることを意味しない。

タグ: 統計

posted at 16:20:38

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 仮説検定では、帰無仮説Aの側が正しいのに対立仮説Bを選択してしまう確率が低くなるようにする(モデルA側をえこひいきする)のですが、情報量基準や交差検証でのモデル選択では通常2つのモデルを対称に扱うので、所謂「第1種の過誤」が起こる確率は高めになります。

タグ: 統計

posted at 16:16:44

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 設定:モデルAはモデルBのパラメータ集合を低次元の部分集合に制限して得られるモデルであるとする。

仮説検定(対数尤度比のχ²検定など)ではモデルA側を帰無仮説としてえこひいきする。

モデル選択では2つのモデルを対称に扱う。続く

タグ: 統計

posted at 16:16:43

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 対数尤度比のχ²検定(ものすごく広いクラスの仮説検定)はAICやBICによる古典的なモデル選択と応用先が被っています。そのとき、仮説検定とモデル選択の違いは上に述べたこと。

以下でも説明。

タグ: 統計

posted at 16:16:37

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 仮説検定で帰無仮説Aと対立仮説Bを比較するときには「帰無」「対立」という形容詞がついていて、AとBは対称に扱われず、「帰無仮説A側をえこひいき」して判断を行う。

情報量基準や交差検証によってモデルAとモデルBを比較するときにはそういう形容詞がついておらず、AとBを対称に扱う。

続く

タグ: 統計

posted at 16:07:24

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 ああ、なるほど。初学者向けの本として分かり易いかどうかという視点が自分には欠けていた。参考になりました。

豊田『瀕死本』で初学者が仮説検定について知るのは複数の意味で最悪のパターンかも。

読者は分かりにくい説明で苦しめられたあげく、おかしな考え方を心に植え付けられる。 twitter.com/r_farms/status...

タグ: 統計

posted at 15:59:37

unbreakable_5252 @kradoll

20年3月24日

#Julia言語 #julialang
readdir() には、r における list.files() の recursive = T と同じ機能はないのかしら。。。

タグ: julialang Julia言語

posted at 15:47:11

しぶてぃ @takuizum

20年3月24日

ま、これらの点は、次のJulia本に期待しましょう。
個人的にはJuliaで学ぶ統計学がほしいです(RCallがあるからいらないか)

タグ:

posted at 14:47:15

しぶてぃ @takuizum

20年3月24日

(2)パッケージの紹介
良かった点取矛盾するようですが、一覧形式かつ一部でも良いので、どんなライブラリが存在しているのかがあればもっと良いと思いました。
Juliaユーザーのほとんどは外部ライブラリをたくさん活用してるはず。

タグ:

posted at 14:47:14

しぶてぃ @takuizum

20年3月24日

さすがに0から始める人向けの内容ではないと感じました。あ、だから1から始めるなんですかね(勝手な想像🤔

タグ:

posted at 14:47:14

しぶてぃ @takuizum

20年3月24日

一方でもう少し欲しかったなと思う点もありました。
(1)多言語との比較
PythonやR, MATLABでできる~~な処理をJuliaでは**すればよい。みたいな比較がもっとあっても良いと思いました。個人的にはこの本の内容は何か一つの言語を知っていて、Juliaを学びたい人向けだと思っています。

タグ:

posted at 14:47:13

しぶてぃ @takuizum

20年3月24日

(3)手を動かしながらでなく、読んでJuliaをよく知ることができる。
なんとなく、こういう本のほうが好きです。手を動かしながらも悪くないですけど。

タグ:

posted at 14:35:10

積分定数 @sekibunnteisuu

20年3月24日

@KyokoYasunami 安浪京子さんは、AERA with Kids 2017 夏号でも同様のことをもっと詳しく書いていますね。

「文字数、という制約」という釈明は無理があると思います。 pic.twitter.com/ZYPxWQec0L

タグ:

posted at 13:49:08

(「・ω・)「ガオー @bicycle1885

20年3月24日

これは本当にそのとおりで,逆に言うとJuliaを使ってる人を除けばみんなJuliaを使ってないことになる。
twitter.com/ceptree/status...

タグ:

posted at 13:34:36

Dr. nhayashi @nhayashi1994

20年3月24日

@joe_suzuki ありがとうございます。
関係者限定プレゼントでしたか。

タグ:

posted at 13:33:56

ceptree @ceptree

20年3月24日

Juliaって使ってない人を除いてみんな使ってるよね

タグ:

posted at 13:32:28

Joe Suzuki (すずきぜう) @joe_suzuki

20年3月24日

@nhayashi1994 プレゼント用に作っています。毎回かどうか、共立出版さんに聞かないとわからないですが、渡辺先生にもきいてみます。

タグ:

posted at 13:30:43

(「・ω・)「ガオー @bicycle1885

20年3月24日

Juliaって使ってる人は使ってるけど,使ってない人は使ってないよね。

タグ:

posted at 13:30:34

前野[いろもの物理学者]昌弘 @irobutsu

20年3月24日

どの程度ちゃんとやるんだろうなぁ。エネルギーとエンタルピーの定義と使い途の違いをきっちり理解できるほど、これに掛ける時間はないと思うから、教科書に載ってはいるものの「なんかしらんけど化学反応のときはエンタルピーらしいで。エネルギーのバッタモンみたいな奴やろ」って感じだろうか。

タグ:

posted at 13:28:44

とと @totomityann

20年3月24日

これ、うちの小学校でもあったなー
「の」を強調して読みましょうって先生が言って、みんな文中に「の」が出てくる度に(たとえば「この〜」の「の」とか)強調してたら、そこは違うでしょ!って軽く怒られた記憶 twitter.com/genkuroki/stat...

タグ:

posted at 13:25:19

前野[いろもの物理学者]昌弘 @irobutsu

20年3月24日

ちなみに物理の学生の場合、物理系の講義で熱力学をやるまえに1年生向けの「化学」の授業でエントロピー、エンタルピーに出会って\(?_?)/となるのが定番になっている(後で物理系で熱力学を勉強して「ああそういうことか」となってくれてればいいんだが)。

タグ:

posted at 13:19:21

前野[いろもの物理学者]昌弘 @irobutsu

20年3月24日

高校物理の方はあまり変わってないよな、と思ってたんだが、化学の方でこんな変化が起きていた(実際に教科書や授業が変わるのは2022からだが)とは知らなんだ。

「エンタルピーって何やねん!」という声が発せられる時期が大学1年から高校へと下がることになるのか。

タグ:

posted at 13:14:39

前野[いろもの物理学者]昌弘 @irobutsu

20年3月24日

高校化学から熱化学方程式が消えて、エンタルピーだのギブスエネルギーだのが出てくる、という話を聞いて、へぇと思って学習指導要領解説を見ると、たしかにそういうことが描いてあるな。 pic.twitter.com/nhC8UDLJWB

タグ:

posted at 13:11:36

Yossy @Yossy_K

20年3月24日

ああ、やっぱり「良いこと」だと思ってんのね twitter.com/KyokoYasunami/...

タグ:

posted at 12:58:42

Dr. nhayashi @nhayashi1994

20年3月24日

@joe_suzuki 渡辺ベイズ版が出版された暁には学習くんTシャツがでるのでしょうか……!?

タグ:

posted at 12:46:25

Hal Tasaki @Hal_Tasaki

20年3月24日

少なからぬ大学生がスマホでネットにアクセスすることを考えるとビデオによる講義の配信は不適切だと結論した。
(1) PCで見ても黒板の文字などは見づらいのだから、ましてスマホでは読めない。スライドだって厳しい。
(2) 通信料がかかる。これは学生の負担。
(3) 俺でもヨビノリ @Yobinori に負ける。

タグ:

posted at 12:44:24

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

松浦晋也 @ShinyaMatsuura

20年3月24日

何度でも書くが、ウイルスは斟酌も忖度もしないのである。人間など知ったことではないのだ。スペインインフルエンザが1918年1月から20年12月にかけて、3年間の全世界的流行を引き起こしたことを思い出すべきである。

タグ:

posted at 12:27:13

松浦晋也 @ShinyaMatsuura

20年3月24日

1年延期というのは「1年でコロナが収まればいい」という願望含みの愚策。1年後に収まらなければまた延期で、社会と経済が1年刻みの生殺しとなる。サンクコストは諦めてすっぱり中止にすべきだ。 twitter.com/jijicom/status...

タグ:

posted at 12:23:19

Joe Suzuki (すずきぜう) @joe_suzuki

20年3月24日

今週発売の機械学習の数理100問、Tシャツを出版社の人が作ってくれた。みんなでこれを着て、研究室の集合写真でもとるか。卒業アルバムの。 pic.twitter.com/lp6RUoA8kA

タグ:

posted at 12:22:08

天むす名古屋 Temmus @temmusu_n

20年3月24日

@kamo_hiroyasu 今あげることはできませんが、現代化批判と思われる文脈で塩野を称揚する文章も算数教育界にはあり。端緒程度ですが、こんな感じです。

タグ:

posted at 12:17:41

天むす名古屋 Temmus @temmusu_n

20年3月24日

@kamo_hiroyasu 調べた範囲でちょっとだけ心当たりが。内藤美城男という啓林館時代の塩野直道の側近の書いた回顧録。塩野は現代化指導要領が子供の程度を大幅に上回ると心配していたそうです。同指導要領による教科書成書前に塩野は物故するので詳しくは分からないが、緑表紙でも図形包摂は微妙に避けられています。

タグ:

posted at 12:15:33

積分定数 @sekibunnteisuu

20年3月24日

@KyokoYasunami @genkuroki 「まずは答えを出せるようになることとが重要。理解は後からついてくる」という意見もありますが、取りあえず答えが出せる方法を身につけると理解は遠のきます。後から理解できるぐらいなら最初から理解するべきでしょう。

2年前に東京新聞でコメントしました。
togetter.com/li/1217724

タグ:

posted at 12:10:53

畠山勝太/サルタック @ShotaHatakeyama

20年3月24日

ただ、ピンチはチャンスとはよく言ったもので、トランプ大統領が中国ウイルスと連呼するもので、何人もの中国人学生から日本の大学院受験について相談に乗ってくれと言われているんだよね。中国の頭脳をアメリカからかっさらう千載一遇のチャンスかもしれない。
twitter.com/ShotaHatakeyam...

タグ:

posted at 12:06:12

積分定数 @sekibunnteisuu

20年3月24日

@KyokoYasunami @genkuroki この方法や、「はじき」などは、問題の先送り、しかも利子が付いて先延ばしするほど解決が困難になる非常にまずいものです。 pic.twitter.com/VtPQ701tD3

タグ:

posted at 12:06:10

黒木玄 Gen Kuroki @genkuroki

20年3月24日

訂正:

「一般に思い計算」→「一般に重い計算」

1変数函数の数値積分は大したことがないのですが、多変数函数の数値積分は非常に大変。

twitter.com/genkuroki/stat...

タグ:

posted at 12:04:01

積分定数 @sekibunnteisuu

20年3月24日

@KyokoYasunami @genkuroki その段階で、「これまでの勉強方法がまずかった。最初から勉強をやり直そう」となることは希で、ほとんどはここで数学が完全に分からなくなり、大嫌いになります。

 仮に勉強をやり直しても、うまくいって二度手間、大抵は、余計なことを勉強してきたが故に、かえって苦労することになります。

タグ:

posted at 12:03:50

積分定数 @sekibunnteisuu

20年3月24日

@KyokoYasunami @genkuroki 仮に、この時点では「取りあえず答えが出せる」となって、嫌いにならなかったとしても、この方法だとその後の算数・数学学習で必ず躓きます。

 そこでまたこのように「理解しなくても取りあえず答えが出せる方法」を習得して先に進む、ということを繰り返すと、いつか必ず破綻します。

タグ:

posted at 12:01:11

Hiroyasu Kamo @kamo_hiroyasu

20年3月24日

数学教育現代化の反動とニセ算数の関係について調べた人、いませんか。数学教育現代化の反動による包含関係の忌避と「正方形は長方形でない」には明らかに相関関係があるけど、因果関係かどうかはわかりません。

タグ:

posted at 11:59:02

板橋さとし㈱ウェバリー帝国王立郵船 @satosiTS

20年3月24日

@kiba_r 日本経済復活の会は一時安倍が最高顧問だったけど、いつの間にか両者の縁は切れた。
日本経済復活の会との縁切りと、安倍が消費税増税&緊縮財政を隠さなくなった時期はほぼ一致するんじゃないかな?

タグ:

posted at 11:53:30

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#数楽 類似の相対的に非自明で面白い問題

次の三次方程式を解け:

      x³ - 6x + 6 = 0.

ヒント: ω³=1やω²+ω+1=0を満たすω=(-1+√3 i)/2を用いて解を表してもよい。 twitter.com/f_sei/status/1...

タグ: 数楽

posted at 11:52:03

積分定数 @sekibunnteisuu

20年3月24日

@KyokoYasunami @genkuroki 理解しないままで、取りあえず答えが出せる方法を習得して、形だけ理解したかのように振る舞って先に進む、というのは非常にまずいでしょう。

タグ:

posted at 11:50:14

非公開

タグ:

posted at xx:xx:xx

積分定数 @sekibunnteisuu

20年3月24日

@KyokoYasunami 誰の責任かはともかく、駄目な勉強法が書かれている以上、それに対しては「駄目な勉強法だから、参考にしないように」と注意喚起する必要があります。

タグ:

posted at 11:45:29

積分定数 @sekibunnteisuu

20年3月24日

@KyokoYasunami 例えそのような制約があっても、駄目な方法を書くぐらいなら、何も書かない方がいいでしょう。

 また、誌面においてあのような駄目な方法が掲載されたことは事実です。安浪京子さん個人と、朝日新聞社の責任の比率がどの程度のものかは、読者には関係ない話です。

タグ:

posted at 11:44:33

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 モデル選択のための既存の統計パッケージは使い方を間違いやすいので、論文で使われていたら、「使い方が正しいかどうか」を確認する必要があります。

私が恐れていることは、緊急事態での意思決定のときに、間違った方法でモデル選択している論文の内容が一時的に定説になってしまう事態。

タグ: 統計

posted at 11:31:43

非公開

タグ:

posted at xx:xx:xx

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 で、何を言いたいかというと、あびこ(牛)さんが偉いということ。

私の解説を読めば、あびこ(牛)さんの意味での

【 s_iは未観測なので積分消去した】

の意味を理解できると思う。

abrahamcow.hatenablog.com/entry/2020/03/...

タグ: 統計

posted at 11:28:25

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 要するに、MCMCパッケージに与える「モデル」と情報量基準や交差検証で評価したい「モデル」は違うということです。

この点をクリアに理解していない人は情報量基準や交差検証の使い方を間違うと思う。

タグ: 統計

posted at 11:21:15

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計

log p(y|z) = log ∫ p₁(y|w)p₂(w|z) dw

ではなく

log p(y_1,…,y_n|w_1,…,w_n,z)
= Σ_k (log p₁(y_k|w_k) + log p₂(w_k|z)) + log p₃(z)

を評価するという立場だと、サンプルサイズ1になってしまうので注意。(Y_1,…,Y_n)の1個で構成されたサイズ1のデータからの推定。

タグ: 統計

posted at 11:19:04

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 WAICやLOOCVを計算するパッケージの側で「log p(y|x,w)の記述に数値積分が必要な場合もあること」の面倒まで見切れないと思う。

別の困難な問題として分離する必要あり。

この手のことはもっと一般的に問題になりえる。

タグ: 統計

posted at 11:10:33

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 このとき、サンプルサイズnの推定のWAICやLOOCVを計算したいなら、さらに

log p(y|z) = log ∫ p₁(y|w)p₂(w|z) dw

の情報を与える必要があります。積分結果が実装済みの特殊函数で書けないならば、数値積分(一般に思い計算)が必要になります。

タグ: 統計

posted at 11:06:59

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

20年3月24日

グラフェンもそうで、うちのグループではグラファイトを研究していました。で、単層グラファイトの電子バンド構造も計算してたんですよ、練習問題として。あくまでも練習問題として。当時、それが現実の物質になると考えた人はいなかったと思います

タグ:

posted at 11:05:05

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 例えばMCMCパッケージの意味でのモデルが

z ~ p₃(z)
w_k ~ p₂(w_k|z)
Y_k ~ p₁(y_k|w_k), k=1,…,n

のように記述されているとき、MCMCパッケージは

f(w_1,…,w_n,z) = Σ_k(log p₁(Y_k|w_k) + log p₂(w_k|z)) + log p₃(z)

を使ってMCMC法を行います。続く

タグ: 統計

posted at 11:03:41

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

20年3月24日

僕の大学院時代の先生は黒燐という物質を研究していました。ギャップの狭い単体の半導体として期待していたようですが、結局実用には向かわなかったように思います。今、それを単層にしたPhosphoreneという物質が注目されています。単層にするというアイデアは当時はなかった

タグ:

posted at 11:02:32

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 WAICやLOOCVで評価したい log p(y|x,w) はMCMCパッケージの意味でのモデルと別に与えておかなければいけない。

この辺をクリアに理解せずにLOOCVなどを計算してくれる既存のパッケージを使うと誤用してしまうリスクが跳ね上がると思う。

自分で一度以上実装した経験があれば大丈夫だと思う。

タグ: 統計

posted at 10:58:47

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 MCMCパッケージの意味での「モデル」は、対数尤度と対数事前分布の和

f(w) = Σ_{k=1}^n log p(Y_k|X-k, w) + log φ(w)

なので(この情報さえあればMCMCを回せる)、WAICやLOOCVの計算に必要な log p(y|x,w) の情報を含んでいません。

この点に踏ん切りが付かないと時間を無駄にします。

タグ: 統計

posted at 10:55:44

積分定数 @sekibunnteisuu

20年3月24日

@KyokoYasunami #超算数 
 私が教えた経験では、割合が難しいのは教え方に問題があるからです。

 安浪京子算の提唱するの方は、駄目な教え方の結果「理解するのが厳しそう」になってしまっている子に駄目な教え方をして追い打ちを掛けることになっています。

タグ: 超算数

posted at 10:54:15

積分定数 @sekibunnteisuu

20年3月24日

@genkuroki @KyokoYasunami #超算数 #パターンマッチ教育 
足し算や掛け算に順序があると言っていた桜井進@sakurai_susumu も以前朝日新聞で連載していた。

朝日新聞は、何でこう駄目な人達ばかり選りすぐって登場させるのだろうか?

タグ: パターンマッチ教育 超算数

posted at 10:50:52

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 MCMCを使ったWAICやLOOCVの計算で必要な情報は以下の3つ:

* logpdf_func: 確率モデルの対数 log p(y|x, w)
* data: データ (X_k, Y_k), k=1,…,n
* chain: 事後分布のサンプル W_1, W_2, …, W_L

これらを引数とし、WAICやLOOCV(の近似値)を返す函数を書けばよい。 twitter.com/genkuroki/stat...

タグ: 統計

posted at 10:50:02

積分定数 @sekibunnteisuu

20年3月24日

@genkuroki @KyokoYasunami #超算数 #パターンマッチ教育 「田の字」を提唱する仲松庸次氏。朝日学生新聞社は朝日新聞の子会社。
www.amazon.co.jp/%E3%81%B2%E3%8...

タグ: パターンマッチ教育 超算数

posted at 10:46:51

積分定数 @sekibunnteisuu

20年3月24日

@genkuroki @KyokoYasunami #超算数 #パターンマッチ教育
積極的に探したわけじゃなくて、普通に朝日新聞と一緒に入っていた。

この件といい、算数教育に関しては朝日新聞はろくなものじゃない、とネトウヨみたいな発言をしてみる^^
www.asahi.com/edu/student/te...

タグ: パターンマッチ教育 超算数

posted at 10:39:53

黒木玄 Gen Kuroki @genkuroki

20年3月24日

@sekibunnteisuu @KyokoYasunami #超算数 #パターンマッチ教育 うわ!これはひどいのを見つけて来ましたね!

安浪京子さんは間接的に子どもを殴っているのと同じ。

小学校の算数で、文章の内容をイメージすることなく、キーワードのパターンマッチで処理する癖がついた子は一生の間そのハンディキャップで苦しむことになる。

タグ: パターンマッチ教育 超算数

posted at 10:23:36

積分定数 @sekibunnteisuu

20年3月24日

何で学校ではこんな余計なことを教えるんだ!

と思うことはしばしば。「はじき」はその典型例。

算数・数学に関しては学校では一切教えない欲しい、とすら思うことがある。プラスにならないどころかマイナスになりかねないんだよね。 twitter.com/TNK_KNCH/statu...

タグ:

posted at 10:01:50

ほりたみゅ (mastodonも見てね) @Hyrodium

20年3月24日

1から始めるJuliaプログラミング予約しました

タグ:

posted at 08:59:05

阿部2 @cocotan_2

20年3月24日

打ち切りデータのクロスバリデーションに関する研究ってあるのかな

タグ:

posted at 07:53:02

阿部2 @cocotan_2

20年3月24日

こういう緊急事態には専門家以外は黙れみたいな意見にぼくはあまり賛成しなくて、医学の専門家は政策の専門家とは限らないし政策の専門家は統計の専門家とは限らないし……みんなが意見を言うしかない。

タグ:

posted at 07:04:37

阿部2 @cocotan_2

20年3月24日

やってみましたがモデル選択は Backer (2020) と逆の結果になりました。あまり真に受けすぎずに批判的に読むようにおねがいします/区間打ち切りデータからの新型コロナウイルスの潜伏期間の推定(rstan版) - 廿TT abrahamcow.hatenablog.com/entry/2020/03/...

タグ:

posted at 06:33:24

Arturo Erdély @ArturoErdely

20年3月24日

A fast and friendly incompressible fluid flow solver in #julialang that can be run in 1-3 dimensions on CPUs and GPUs. github.com/climate-machin...

タグ: julialang

posted at 06:00:02

(「・ω・)「ガオー @bicycle1885

20年3月24日

学部生の頃とかお世話になったEMANの物理学の中の人にそう言ってもらえるのは嬉しい…

タグ:

posted at 05:30:18

しぶてぃ @takuizum

20年3月24日

この本は公式ドキュメントを横に開きながら読むことをおすすめします

タグ:

posted at 04:00:28

しぶてぃ @takuizum

20年3月24日

(2)ライブラリや関数のTips本ではない。
Juliaの機能やパッケージ等は更新頻度が高く,現段階では廃れやすい知識も多いと思っています。
一方で,基本機能や高速化のために知っておくべきプロファイラやコンパイル周りの知識は,どんなパッケージにおいても役に立つ知識だと思います。

タグ:

posted at 03:59:04

しぶてぃ @takuizum

20年3月24日

良かった点
(1)Juliaってどんな機能があるのがを,コンパクトに説明している。
基本機能の説明だけで本全体の半分が割かれていますが,公式Docを丁寧に要約した内容となっており(単なる日本語訳ではなく),読みやすいと感じました
#1から始めるJuliaプログラミング

タグ: 1から始めるJuliaプログラミング

posted at 03:56:28

しぶてぃ @takuizum

20年3月24日

#1から始めるJuliaプログラミング 読み終わりました。Twitterに投稿しようと思って書いた感想の下書きが消えてしまったので,様子を見ながらゆるーく感想をpostしようと思います。

#julialang
#Julia言語

タグ: 1から始めるJuliaプログラミング julialang Julia言語

posted at 03:50:27

舩田クラーセンさやか Sayaka Fu @sayakafc

20年3月24日

おそらく、この絵が国際的にはトドメだったと思う。海外でも大変話題。日本は能天気すぎて、検査もしてないし、そんなところにとても危なくていけないという理解が広まった。→仙台で聖火見物5万人 感染リスクの数時間行列 組織委、再び密集なら中止検討 mainichi.jp/articles/20200...

タグ:

posted at 03:31:02

Hajime Yamazaki /山崎元 @yamagen_jp

20年3月24日

@aka_heru 日経の記事によると、米国の弱気相場が高値を回復するまでの平均期間は2年4ケ月とのことでした。リーマンショックも約四年だったかな。しばし、待ちましょう。

タグ:

posted at 03:08:36

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 どんぶり勘定の問題なのでどのモデルが最良かは現実への応用では問題にはならないと思いますが、こういう具体的なケースについてどのように考えるのが正しいかという問題は結構大事だと思う。

タグ: 統計

posted at 02:53:35

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 ブログ記事

mikuhatsune.hatenadiary.com/entry/2020/03/...

にも、もとの論文

www.ncbi.nlm.nih.gov/pubmed/32046819

www.eurosurveillance.org/content/10.280...

とlooCIの計算結果が【結果としてはだいぶずれたような気がする】と書いてあります。Weibull分布モデルが最良だという主張は疑わしい可能性があると思う。

詳しい人の意見求む。

タグ: 統計

posted at 02:51:55

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 誰か、最尤法を試してみると面白いかも。

タグ: 統計

posted at 02:47:52

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 LOOCVのこのような挙動の一般化があるなら教えて欲しいところです。

タグ: 統計

posted at 02:46:37

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 "n=1" でのWAICを求めていることになっているので、こういうことが起こるのだと思います。一方、LOOCVの方は大体WAICで計算したTに180を足した結果に近い値になっています。

LOOCV
530.429←ガンマ分布モデル
535.125←対数正規分布モデル
551.216←Weibull 分布モデル

タグ: 統計

posted at 02:45:26

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 私が採用したスケールはAICやBICや対数尤度比のχ²検定で採用されている統計学における伝統的なスケールなので、汎函数分散の部分は正則モデルならばだいたい「パラメータ数の2倍」になります。上の場合にはパラメータ数は90なのでその2倍は180です。Vはそれより非常に大きい。

タグ: 統計

posted at 02:43:53

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 潜伏期間の推定における

ガンマ分布モデル
WAIC = 810.639, T = 339.347, V = 471.292

対数正規分布モデル
WAIC = 924.451, T = 332.438, V = 592.013

Weibull 分布モデル
WAIC = 794.946, T = 327.792, V = 467.155

におけるTは予測分布の対数尤度の-2倍で、Vは汎函数分散です。

タグ: 統計

posted at 02:41:57

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 確率モデルの logpdf_func (log p(y|w)のこと)とdataとTuringが生成したchainをwaic函数に

waic(logpdf_func, data, chain)

と与えるとWAICを計算してくれる函数を作ってあります。loocvという函数も作ってある。

nbviewer.jupyter.org/gist/genkuroki...

タグ: 統計

posted at 02:39:36

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 #Julia言語

nbviewer.jupyter.org/gist/genkuroki...
TuringでWAICやLOOCVを計算する方法

では、「数式を使ったWAICとLOOCVの定義と計算法」と「Turing.jlが生成するchainからの事後分布のサンプルの取得の仕方」が説明されています。

これを読めば、Turing.jlとWAICの両方を使いこなせるようになるはず。

タグ: Julia言語 統計

posted at 02:34:53

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 Weibull(1.5, 0.1)分布で生成したデータから、正規分布、ガンマ分布、逆ガンマ分布、対数正規分布、Weibull分布モデルのベイズ統計での推定結果。

Weibull分布モデルのWAICとLOOCVが最小になっていて、見難いですが、プロットでもWeibull分布モデルの予測分布がもっともらしいです。 pic.twitter.com/NbYngbNRRu

タグ: 統計

posted at 02:31:28

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 ただし、"n=1" でのWAICなので、n→∞で使える漸近論は使えない。

私の実装が間違っている可能性もあるのですが、nが大きいときに易しいシンプルなモデルで、WAICとLOOCVはn→∞での漸近論が予言するようにほぼ同じ値になり、AICとの比較も行って、もっともらしいことを確認済みです。

タグ: 統計

posted at 02:24:56

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 ちなみに、WAICの値は私の実装によれば

ガンマ分布モデル
WAIC = 810.639, T = 339.347, V = 471.292

対数正規分布モデル
(WAIC = 924.451, T = 332.438, V = 592.013)

Weibull 分布モデル
(WAIC = 794.946, T = 327.792, V = 467.155)

になりました。WAICならWeibull分布モデルの勝ち。

タグ: 統計

posted at 02:22:50

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 モデルのパラメーターの事前分部が違っているのが原因かもしれません。

あと "n=1" でのLOOCVの計算になっているので、n→∞で成立している漸近論は使えません。

だから、何を意味する数値を計算しているのかについて、私は「よくわからない」です。

タグ: 統計

posted at 02:20:30

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 #Julia言語 私がTuring.jlでMCMCを回して計算した結果は

LOOCV
530.429←ガンマ分布モデル
535.125←対数正規分布モデル
551.216←Weibull 分布モデル

この数値はMCMCの結果で大きく揺らぎます。

原論文やブログ記事と違って、Weibul分布モデルの成績が一番悪い。

nbviewer.jupyter.org/gist/genkuroki...

タグ: Julia言語 統計

posted at 02:18:17

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 データは3種の数値がそれぞれ88個ずつです。そして、モデル内パラメータの個数は2+88=90個です。通常の回帰と違って、パラメータ数がデータのサイズと同じオーダーで大きくなる。

looパッケージのlooCIが何を計算しているかまだ調べていないのですが、この点は要注意だと思いました。

タグ: 統計

posted at 02:15:27

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 あびこ(牛)さんのような指摘が出て来るの理解できます。

なぜならば「COVID-19 の潜伏期間をrstanで推定する」で扱われている場合は、LOOCVやWAICを計算しようとすると「サンプルサイズ1」の場合扱いになってしまうからです。続く

twitter.com/abiko_ushi/sta...

タグ: 統計

posted at 02:15:26

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計

mikuhatsune.hatenadiary.com/entry/2020/03/...
驚異のアニヲタ社会復帰の予備
2020-03-19
COVID-19 の潜伏期間をrstanで推定する

とほぼ同じと思われることを #Julia言語 の Turing.jl でやってみました。続く

nbviewer.jupyter.org/gist/genkuroki...

twitter.com/hankagosa/stat... pic.twitter.com/ZQZNJ6icLH

タグ: Julia言語 統計

posted at 02:10:33

Wakana @malliavin1999

20年3月24日

@genkuroki いろいろスッキリしました。ありがとうございます。

タグ:

posted at 01:08:15

おばけ @triwave33

20年3月24日

NeRU

タグ:

posted at 00:54:33

おばけ @triwave33

20年3月24日

1次関数(line), 2次関数(quad), 最近傍法(nn)による予測。Nはサンプル数
#julialang pic.twitter.com/WrZSyNm8M2

タグ: julialang

posted at 00:49:52

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#統計 2×2の分割表の独立性のχ²検定において、Yatesの補正を使うとひどく不正確になるので、Yatesの補正が重要だと理解してしまうと実際には誤解していることになると思う。

このツイートが繋がっているスレッドの話題の1つ。

twitter.com/malliavin1999/...

タグ: 統計

posted at 00:40:20

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#Julia言語 ぎょぎょ、PyPlotで

OverflowError("Exceeded cell block limit (set 'agg.path.chunksize' rcparam)",)

というエラーが出た。初めて見た。

タグ: Julia言語

posted at 00:24:13

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#Julia言語 最近よろしくない書き方をするようになってしまった。

グローバル変数の利用…😱

f(x; param=param) = ~

g(f) = ~函数 f を f(x)の形で使うコード~

と定義しておいて、

param = ~ # 大域変数の設定
g(f) # gの中で f は x->f(x; param=param) になる

😱😱😱😱

タグ: Julia言語

posted at 00:14:23

みょうが @mrkn

20年3月24日

@triwave33 @genkuroki たとえば 1.0 - 2.3 は浮動小数点数で正確に表現できない数なんです

タグ:

posted at 00:02:50

黒木玄 Gen Kuroki @genkuroki

20年3月24日

#Julia言語 なるほど、コードが公開されていて参考になる。

juliahighperformance.com

タグ: Julia言語

posted at 00:02:18

@genkurokiホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

掛算 統計 超算数 Julia言語 数楽 JuliaLang 十分 と教 モルグリコ 掛け算

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました