黒木玄 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 を見て下さい。
2018年03月14日(水)
twitter.com/_kohta/status/...
#数楽 『連続群論入門』は非常に良い本。
私は学生時代にこの本を読んだときにpp.145-6を破ってしまった。しかし、糊で超絶器用に補修してある。愛着がわきまくり。
山内恭彦・杉浦光夫共著
『連続群論入門』
培風館1960
www.amazon.co.jp/dp/4563003298
タグ: 数楽
posted at 23:57:39
非公開
タグ:
posted at xx:xx:xx
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu 他の人のググると松元新一郎氏は静岡大学教育学部教授で、この人は統計が専門みたいですね。
タグ:
posted at 23:53:06
@OokuboTact @sekibunnteisuu 江森先生は(私は面識があるわけではありませんが)群大附属小の校長なので,一般に言う「小学校の校長」とは違って,研究畑の方だと思います。(附属学校の校長は─最近そうとは限らない大学もありますが─基本的には大学教員のポストです)
タグ:
posted at 23:47:46
OokuboTact 大久保中二病中年 @OokuboTact
@sekibunnteisuu この人は小学校校長で算数教育の専門家でもあり、ピアジェの翻訳者でもあります。
タグ:
posted at 23:38:10
#Julia言語 atcoderでJuliaを使えるようにするためには、
(1) 最新版にバージョンアップしてもらう。
(2) PackageCompiler.jl を使えるようにしてもらう。
github.com/JuliaLang/Pack...
(3) juliac.jlでJuliaのコードをコンパイルしてできたバイナリを実行するようにしてもらう。
が必要だと思う。
タグ: Julia言語
posted at 23:38:08
@OokuboTact #超算数 見落としていた。
広島大学付属小の増加と合併を区別させるというトンデモ授業の著者。
ir.lib.hiroshima-u.ac.jp/files/public/3...
タグ: 超算数
posted at 23:27:49
@OokuboTact #超算数 重松敬一氏 良教育大学名誉教授 日本文教出版著者
このくだらないブロック操作の授業の論文著者
www.nara-edu.ac.jp/CERT/bulletin2...
タグ: 超算数
posted at 23:15:57
非公開
タグ:
posted at xx:xx:xx
#Julia言語 SymPy.jlを使って函数がどのような計算をするかを数式で表示させるサンプルコードを次のリンク先で公開しておきました。
nbviewer.jupyter.org/gist/genkuroki...
仮面ライダービルド 2018-02-18
平方根のネストの様子をSymPy.jlを使って見ています。 pic.twitter.com/mZiMkr8GAy
タグ: Julia言語
posted at 21:44:51
OokuboTact 大久保中二病中年 @OokuboTact
#超算数 作成協力者だけでなく、用語(トンデモ算数要注意用語)でも小学校と中学校では共通している。
タグ: 超算数
posted at 21:15:25
OokuboTact 大久保中二病中年 @OokuboTact
#超算数 もうすぐ新しい学習指導要領「解説」が本屋に並ぶらしいのですが、前回の「解説」の作成協力者。
小学校の算数教育の専門家の名前が見える。 pic.twitter.com/R4AKpUAEQR
タグ: 超算数
posted at 21:02:57
連続群論入門、誰が買ったのか会社にあったのでチラ見したけど良さそうだな。リー環の言葉で表現論の話をしているところが個人的に興味深い。自分でも買おうとしたら、最近わざわざ新装版で復刊したにもかかわらず既に絶版になっているっぽかった……。
タグ:
posted at 20:58:55
#Julia言語 私がJuliaで書いたダメすぎるコードも結構良さげなコードもGitHub Gistで大量に公開されています。
gist.github.com/genkuroki
GitHubで何を公開しているかは若い人達にとっては将来に影響することのようですが、私には関係ないので何でも気軽に公開可能。ダメなものでもお気楽に公開。
タグ: Julia言語
posted at 20:47:05
はてなブログに投稿しました #はてなブログ #julialang #Vim
Vim の Julialang シンタックスハイライトについて - 書いたものなど
machakann.hatenablog.com/entry/2018/03/...
posted at 20:44:57
#Julia言語 リンク先のスクショを見ると私が常用しているパッケージ群がわかります。
プロット→PyPlot, Plots
確率分布→Distributions
数値積分→HCubature, QuadGK
函数の最小点を求める→Optim, BlackBoxOptim
微分方程式→DifferentialEquations
MCMC→Mamba, Stan
twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 20:38:45
非公開
タグ:
posted at xx:xx:xx
ナショナル ジオグラフィック TV @natgeotv_jp
【クイズ】薄いプラスチック板に挟んだ4種類のスイーツのうち銃弾を止めるのはどれでしょう?答えは動画をチェック!
A. ホイップクリーム
B. アイスクリーム
C. チョコレートシロップ
D. カスタード
#ナショジオクイズ #雑学サイエンス2 natgeotv.jp/tv/lineup/prgm... pic.twitter.com/a0QoS6gPh1
posted at 19:41:02
1年あれば人物のイメージはいくらでも変わるものだな…
gendai.ismedia.jp/articles/-/50936
www.huffingtonpost.jp/2017/01/20/ama...
タグ:
posted at 19:38:59
環境設定とかのシンプルさはやっぱり気をつけられてるみたいで、個人的にはPythonの環境周りのあの感じちょっとツラミだったので、しっかりやるならJulia選ぶかなあという感じ。
タグ:
posted at 19:33:20
Julia、ちょっとドキュメント読んだり触ってみたりしたんだけど、結構いい感じ。科学計算用のライブラリとのことなんだけど、意外と汎用的にも作られていて、用途広そうだなーと思った。
タグ:
posted at 19:30:06
非公開
タグ:
posted at xx:xx:xx
多分既にわかってる人には、ベイズ推定の目的は事後分布の形を知ること、って言っても通じると思いますが、
実際、ベイズ予測分布を定義してから、これを使うには事後分布がパーツとして必要だ
って流れの方がベイズが何たるかを認識するのには役立つと思います。 twitter.com/genkuroki/stat...
タグ:
posted at 19:04:06
#統計 既出の例の追加
【ベイズ統計では,データは定数】【95%信用区間なら,「真の値はこの区間の中に95%の確率で入っています」と言って間違いありません】という解説の仕方は非常にまずい。
twitter.com/genkuroki/stat...
タグ: 統計
posted at 18:50:40
非公開
タグ:
posted at xx:xx:xx
#統計 添付画像は次のリンク先より
hosho.ees.hokudai.ac.jp/~kubo/stat/200...
3. R と WinBUGS の使いかた
担当: 久保拓弥
真の値があると考えることと、推定のための数学的設定においてパラメーターを確率分布とみなすことが両立することを理解していないように見える。 pic.twitter.com/vmKCLaMYP2
タグ: 統計
posted at 17:31:49
#統計 添付画像は次のリンク先より。
www.ecology.kyoto-u.ac.jp/~ushima/rstat/...
ベイズ統計について考えるゼミ
~R+WinBUGsを用いて~
原口岳と直江先生(小川なう)
ベイズでは「母集団を仮定しない」と書いてある。与えられたデータからパラメーターの確率分布という意味のことが書いてある。色々問題あり。続く pic.twitter.com/UTWOMSgPIZ
タグ: 統計
posted at 17:31:48
#統計 添付画像は次のリンク先より
www.cuc.ac.jp/~jimbo/Textboo...
数値シミュレーション 第 14 回 教材
担 当 神保 雅人
2015 年 1 月 9 日(金)実施
ベイズ統計 2
ベイズ統計でも母集団分布を決めるパラメーターの真の値が決まっていると思っても全然問題ないのだが、どうしてこんなことに? pic.twitter.com/w7YpD79aRn
タグ: 統計
posted at 17:31:47
twitter.com/genkuroki/stat...
#統計 さらにググってみた結果のメモを追加。
「頻度論vs.ベイズ主義」の対立図式をベイズ統計の解説者達がどのように描いているか。スレッドに続く
タグ: 統計
posted at 17:31:46
非公開
タグ:
posted at xx:xx:xx
@CitrusHassak はい.それから #モルグリコ は小学校 #超算数 の #はじき と似た面があり,#はじき がイロイロと問題になっているので,その影響もありそうです.
posted at 17:02:00
非公開
タグ:
posted at xx:xx:xx
#Julia言語 Plotsパッケージを使う場合には
using Plots
gr()
ENV["PLOTS_TEST"] = "true"
の3行がワンセット。GRバックエンドのPLOTS_TEST問題(現時点では不幸な状態になっていると思う)については次のリンク先を参照。GRバックエンドは速いので非常に便利です。
github.com/JuliaPlots/Plo...
タグ: Julia言語
posted at 16:51:42
#Julia言語 で「パッケージの読み込みが遅い」という不満はよく聞くが、一回目の import もしくは using では precompile の時間がかかるのでそれは仕方がない。しかし2回目からは数秒で終わるはず。もしも2回目以降も数十秒以上かかっていたら、何かおかしなことをしている可能性があると思う。 pic.twitter.com/MhGuH5SSBs
タグ: Julia言語
posted at 16:46:17
@CitrusHassak はい.先に関係を理解させて,「ところでコレを思い出す方法としてモルグリコっていうのがあって〜」なら問題ないのですが(理科や数学の公式の理解と同じ),先にモルグリコだけ覚えちゃう生徒がいてっていう,
タグ:
posted at 16:44:30
非公開
タグ:
posted at xx:xx:xx
昨年2月に彼の部屋に伺って、ブラックホールのソフトヘアの議論を長々とさせて頂いたときには彼は元気そうで、また力強さを感じ取っていた。しかしその後たった1年で亡くなられてしまった。議論後のソフトヘアの話の進展を期待したのだが、それは彼の学生や共同研究者にも受け継がれるのであろう。 pic.twitter.com/Dd61Ocnl4U
タグ:
posted at 16:37:01
twitter.com/Dsuke_KATO/sta...
#Julia言語 私もほぼ同じことをやってみた。Python と Julia の比較。
Juliaの側では新たに Int.(rand(n) .< p) やDistributions.jlを使う方法も試してみた。forループ速いな。 pic.twitter.com/QM1RhcfVNO
タグ: Julia言語
posted at 16:33:45
【画像】 カナダオオヤマネコ強そう nekomemo.com/archives/53118... | 〓 ねこメモ 〓 pic.twitter.com/zVzAI5TwWX
タグ:
posted at 16:31:11
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
RユーザーのためのJulia100問100答 - りんごがでている bicycle1885.hatenablog.com/entry/2016/12/...
タグ:
posted at 16:06:46
非公開
タグ:
posted at xx:xx:xx
精度保証の教科書きたけど、関数解析がわからないので内容はよくわからない(予想通りではあるが。。)。あとサンプルコードがMTALABでかつ精度保証の研究者が書いたMATLABのライブラリ使ってるので試せないのが残念。それでも1次元有限要素法の精度保証の例題とか載っててとても興味深い。
タグ:
posted at 14:59:48
是々非々で議論できない人達をまじめな議論の場から排除できれば多くの論争が有益なものになると思ふ。
夢のまた夢。
意見が全部一致したいたりするのは気待ち悪いことだという感覚が広まってほすい。
タグ:
posted at 14:02:44
twitter.com/genkuroki/stat...
#統計 補足。データを確率変数とみなすのは、数学的にデータが大きく偏っているリスクも扱いたいからです。
現実にはデータは定数です。頻度論でもベイズでも定数。現実に得られるデータは定数の数表に過ぎません。
ここでも、数学的な定式化と現実の区別が重要。
タグ: 統計
posted at 13:04:02
地震・ニュース速報@Yahoo!ニュース @YahooTopicsEdit
【速報】スティーブン・ホーキング博士が死去 「車いすの天才宇宙物理学者」
yahoo.jp/EpRsD3
タグ:
posted at 13:01:09
#統計 統計学の解説で、現実と数学的設定内部の事柄を混同させるようなものがあることを信じられない人もいるかもしれませんが、実例が以下のリンク先で紹介されています。
twitter.com/genkuroki/stat...
タグ: 統計
posted at 12:18:49
#統計 ちなみに赤池弘次さんは1980年の論説で「頻度主義vs.ベイズ主義」というような対立図式をはっきり否定している。
twitter.com/genkuroki/stat...
タグ: 統計
posted at 12:18:40
#統計 添付画像は次のリンク先より
www3.psy.senshu-u.ac.jp/~ken/BSJ2015sp...
行動計量学のための ベイズ推定における モデル選択・評価
岡田謙介
「岡田先生」=「岡田謙介さん」であるようだ。
岡田謙介さんは自分が広めてしまったこの表の有害性を自ら指摘してきちんと撤回するべきだと思う。 pic.twitter.com/q6wkJcInui
タグ: 統計
posted at 12:18:39
#統計 添付画像は次のリンク先より
kazutan.github.io/DBDA2E-ja/JPA2...
ベイジアンになると
何がどう変わるのか
小杉考司
統計教育的に有害な「頻度主義vs.ベイズ主義」の表。新しい発見は
(C) 岡田先生
と書いてあること。このろくでもない表は「岡田先生」が作って広めたのだろうか?続く pic.twitter.com/UVjlbk6pZP
タグ: 統計
posted at 12:18:36
#統計 以下のリンク先の件についてググった結果のメモと解説
新たに気付いたこと【(C) 岡田先生】
スレッドに続く
twitter.com/genkuroki/stat...
タグ: 統計
posted at 12:18:32
Pythonでforを回さないほうがいいとはよく聞きますが、ここまで差がつくのは見てて面白いですね。 pic.twitter.com/310IvVKesy
タグ:
posted at 11:51:46
非公開
タグ:
posted at xx:xx:xx
証人喚問で籠池は安倍総理に口利きを頼んだこともなければ、昭恵夫人にも学園開設についてなにも頼んだことがないと自白してるんだけど、未だに関与してるとか騒いでる奴はバカなの?前頭葉が腐ってるの?
タグ:
posted at 11:17:33
@chofu_3410 数字を…統計結果を持ち出されると…反論できねぇ…
(敵を褒めつつ,根拠を明治して反論する,素晴らしい姿勢だと思いました.コメントありがとうございます 笑)
あ,根拠を明示か.
タグ:
posted at 10:19:51
「きはじ」で思い出したけど、初日だけ参加した統計物理懇談会
www.gakushuin.ac.jp/~881791/spm/20...
の休憩時間に田崎さんに「さっきの講演できはじ出てましたね!」と言われて「え?」と思ったんだけど、Quantum Speed Limitの話の中で↓こんな式出てました。
この場合、「は」が「ハミルトニアン」ですが。 pic.twitter.com/YgVsJabJiL
タグ:
posted at 08:12:26
「間違える」のと「間違えるのが怖いからいろいろ言って当たりが出るのを待つ」だったら後者の方がより怒られる対象なんだけど(まぁそれがわからんからそうなるんだよなぁ)。
前者は勉強が足りないだけだけど、後者は姿勢が悪いから、そこが直らないと進まない。 twitter.com/kei_soa/status...
タグ:
posted at 07:45:19
自分は地方の零細の立場だけど、財務省には消費増税とデフレでボコボコにされてきたという実感しかないだよ。 twitter.com/mari_yurihime/...
タグ:
posted at 07:31:48
大きな声では言えないが(でも普通の字でtwするが)、大学生でも口頭試問で「○○・・ですかね?(チラっ)」と「順番に言えばそのうち当たるだろ」ガチャ引きのような返答をする奴いるからな。
そういう勉強(とは呼びたくない何か)が姿勢に染み付いてしまっているのかもと思う。
タグ:
posted at 07:29:48
勉強というのを、この世界について学ぶ事ではなくて、「検定教科書というルール・ブックに基づくクイズ大会で点を取ること」ぐらいにしか思ってなさそうなのが珍しくないし。
タグ:
posted at 06:03:55
@CHARTMANq きのこは数学的観点から見ても美しい立体だと思います、ポリゴン化された立体モデルは素晴らしかったです
しかしながら統計学的観点から見ればたけのこの里の方が売り上げも勝っておりやはりたけのこの方が優れているのは言うまでもないですね
タグ:
posted at 03:39:02
@chofu_3410 私に数式化できない立体はありません.(勿論,たけのこもこの限りでない)
きのこへの忠誠心を示すためにきのこを数式化したに過ぎないのです.
タグ:
posted at 03:29:52
お…俺にも何が起きたかよくわからなかった…
そんなことが2年、あったんだ…
神の筆遣いの片鱗を味わったぜ…
その後、実は「うしおととら」は舞台化もあって
私は通算3回、先生とお話する機会に恵まれたとですよ…
まさにGS美神に登場する唐巣神父そのままのようなお方でした…(涙)
タグ:
posted at 03:13:35
と、仰って、
背後のお連れの男性陣の皆様が爆笑したんですよね。
あの時期だと、安西先生や雷句先生もいらっしゃいましたよね。何せ巻末の似顔絵にそっくりで。
そして自称「藤田和日郎のコスプレの人」は、サインをお願いすると当スペース内の椅子でスケブに潮を描いて下さいました…眉毛から…
タグ:
posted at 03:06:06
な…何を言っているかわからねえかもしれねえが…
いにしえの腐女子だった時…コミケにうしとらのスペースはあまりなく…
長身の男性が「全部ください」って同人誌を買ってくださって
「あの、もしやあなたさまは、藤田和日郎先生では」
「あっ、…の、コスプレということにしてください」
タグ:
posted at 03:01:14
OokuboTact 大久保中二病中年 @OokuboTact
#超算数 トライのサイトにも「はじき」が出てくる。
www.try-it.jp/chapters-395/s...
タグ: 超算数
posted at 03:00:33
OokuboTact 大久保中二病中年 @OokuboTact
#超算数 「くもわ」論争が盛り上がっているけど、小学校だけではなく、中学でも汚染が浸透しているみたいだ。
「はじき(きはじ)」「みはじ」というバージョンもある。
タグ: 超算数
posted at 02:54:42
【ポラリス(北極星)】
天の北極近くにあり、432光年。三重連星で、黄色輝巨星でケフェイド変光星でもあるポラリスAと、薄黄色の主系列星であるBとが約2700天文単位離れて回り合う実視連星であり、Aには距離の近い伴星Abもある。pic.twitter.com/yMCKq8PeUp
タグ:
posted at 02:31:18
#統計 添付画像は、誤差が大きな方法を採用して少し失敗しているのですが、WBICと自由エネルギー(対数周辺尤度の-2倍)によるモデル選択です。
正しいモデル選択は
* mixnormalより、normal1を選ぶ
* normalより、normal1を選ぶ
です。n=8なのに結構高い確率でそれが実現できています。 pic.twitter.com/h1W4RmW5Je
タグ: 統計
posted at 02:04:55
#統計 WAICによるモデル選択は、真の分布をカンニングしないと不可能な汎化誤差による選択と一致して欲しい。おそらく特異モデルであるmixnormalモデルが強過ぎるせいで、normal1とmixnormalの比較による選択ではあまりうまく行っていないが、他では非常にうまく行っているように見える。 pic.twitter.com/mGQyia8XKT
タグ: 統計
posted at 02:04:52
#統計 添付画像は、真の分布をカンニングしてそれぞれのモデルの汎化誤差GLを計算して、汎化誤差の小さなモデルを選択するとどうなるか。
どの組み合わせでも、真の分布により近いモデルが選択される確率の方が高い。 pic.twitter.com/4dkkzfJu5q
タグ: 統計
posted at 02:04:46
#統計 サンプルサイズn=8(非常に小さい!)の場合のWAICなどをたくさんのサンプルについて計算する数値実験に関する
nbviewer.jupyter.org/gist/genkuroki...
の解説をします。
タグ: 統計
posted at 02:04:41
Müller-Lyer Wave. The blue lines are always the same length, they appear to be waving though. Dynamic MLが流行ってたので便乗。 www.giannisarcone.com/Muller_lyer_il... pic.twitter.com/CKwOsYgqgp
タグ:
posted at 01:53:04
非公開
タグ:
posted at xx:xx:xx
Pythonは,気楽に書けるようになる前に投げ出してしまったのだけど,Juliaは慣れないうちでもさくさく書けるので楽しい(上手い書き方がわからなくても,とりあえず,forループぶん回すでもなんとかなるので)
タグ:
posted at 00:58:03
ここで特に意味はありませんが√2の近似値を計算した古代バビロニアの粘土板をご覧ください。en.wikipedia.org/wiki/Babylonia...
タグ:
posted at 00:38:43