黒木玄 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 を見て下さい。
2017年09月09日(土)
#JuliaLang #Stan
Windows上のJulia言語でStanを使う方法のメモを公開しました。
Jupyter notebookの形式で、実際に実行したものになっています。
gist.github.com/genkuroki/57a3...
posted at 01:32:29
#JuliaLang #Stan 続き。CmdStan のインストールを Msys2 の g++ などを使って行いました。Msys2 のインストールを自力でできる人なら何とかなると思います。 (Windowsで何かしようとすると色々大変な目に会います。)
posted at 01:34:04
cygheap base mismatch detected というエラーメッセージについては、検索によって有効な対策を発見することができなかったので、長々と書いてしまいました。
環境変数PATHの中のパスの並び方の順番を変えるだけで解決した。
タグ：
posted at 01:45:03
→うちの長男は小2くらいのときにひどい頭痛と吐き気から髄膜炎を疑われて、髄液を採取。これが痛いし、とても怖かった。
あのときの長男の姿を忘れられない。
結果、髄膜炎ではなくてホッとしたけど、あんな目に合わせる可能性は少しでも減らしておきたいと思ったよ…。
タグ：
posted at 07:10:24
ロタウイルスで目の前で心臓が止まっていく子、抗がん剤治療中に水ぼうそうになり生死をさまよった子、はしかで知的障害になった賢かった子、おたふくかぜで難聴になった子、いろいろだ。その頃からワクチンで予防しないと、と少しずつ予防接種や健診時にワクチンを勧めるようになった。
タグ：
posted at 08:32:05
現在では外来受診、予防接種、健診で接した人には全例母子手帳の確認とワクチンの勧めを話すようになった。救急外来でおそらく今後お目にかからない人にも行った。たまたま面会で一緒に来たきょうだいのワクチン相談もしている。聞いてみたら周りの先生でそこまで話す事はないみたいね。
タグ：
posted at 08:34:52
@escape_show31 いわゆるFF外からすみません。実証研究では初等教育での留年の効果は否定されているようです。ご参考に。synodos.jp/education/1396
タグ：
posted at 08:48:50
『ジョジョフェス in S市杜王町』公式 @jojofesofficial
毎日挨拶させて頂いていた露伴先生です。 pic.twitter.com/JQrJK5EhJO
タグ：
posted at 10:00:06
チェビシェフ（Чебышёв）の標準的なラテン表記はChebyshevなのでしょうが、ご本人が22歳の時に出版した最初？の論文でTchebychefなのです：
gallica.bnf.fr/ark:/12148/bpt... twitter.com/dif_engine/sta...
タグ：
posted at 10:06:59
.@iktakahiro さんからご恵贈いただきましたJupyter本、PyConJPの基調講演でもあったpandasの基礎からmatplotlibの詳細Bokehまであり分析入門に良いです。具体的な分析例や日本語フォント紹介も amzn.to/2wODd2J pic.twitter.com/RgkdrCJyHK
タグ：
posted at 10:29:53
去年の少年がきてくれましたc(･∀･)c
「今年は3だよ」
少年 (pythonディレクトリをチェック)
少年 「2じゃん！！」
インタプリタ、Python2で動かしてもうた………! pic.twitter.com/smtfEzvReV
タグ：
posted at 11:07:10
次女様がテスト問題「間違っているものに○をつけよ」で「6×0=0×6」を選んでいた。「答えは同じでも違うからだめって先生に言われたよ⁉」
…掛け算の順番問題再び… 等式の意味を頑張って説明したら「…わかった」って言ったけど、顔には「さっぱりわからん！」て書かれてた気がする。
タグ：
posted at 11:13:51
甲状腺癌の津田論文は地域差を見るために、意図的に一番差が大きくなるように対照地域を決めるというインチキをやったにもかかわらず、有意な地域差は出せなかったんですよ。あのやりかたはインチキですが、そこまでしても有意差が出なかったのはひとつの重要な知見。つまり、地域差はないんですよ
タグ：
posted at 11:39:45
正直、DataFrameを図で説明してるの始めてみた。昔Rubyistに「DataFrameって何？」と言われたときにWesの本とか探しても「Rでよくおなじみの」みたいな感じになってて説明に困ったもん。pandas使い始めたいという人にもmatplotlib極めたい人にもよさげ twitter.com/chezou/status/...
タグ：
posted at 11:43:03
あと、 `%matplotlib notebook` するとリッチなレンダリングされるの知らなかった。本を執筆するときに画像ダウンロードしたかった... pic.twitter.com/cOHjThDpnZ
タグ：
posted at 11:47:29
Jupyter本の良いところは、きちんとアニメレビューのサンプルデータセットも用意してくれていて、ステップ・バイ・ステップでpandasで分析をしているところ。普通にここだけでもためになる
タグ：
posted at 11:50:21
tamagawa ryuji @tamagawa_ryuji
@chezou @iktakahiro 私もKindle版買いました。その筋の人は一読必須ですねえ。
タグ：
posted at 12:15:50
夫も色弱だけどデザインや映像制作の仕事していて、あまり影響しないらしい。焼肉の焼き加減が判断しにくいぐらいで、特別困ってないから私も言われないと忘れてしまう。
ただ、実際には違った色に見えているのに、なぜか色票の識別はほぼ完璧という特技があり、それは仕事に役立ってるかも。 twitter.com/ayafuruta/stat...
タグ：
posted at 12:54:57
#超算数
twitter.com/JapaneseSchool...
この採点が、たまたまこの教師のおかしな採点基準なのか、算数教育界全般でおかしな指導が共有されているのかは分からないが、前者であっても算数教育界中枢の責任が皆無と言うことではない。
タグ： 超算数
posted at 13:46:45
@sekibunnteisuu これ、うちの子供たちもやられました。
理科も含めて質問が答えを前提として作られてますよね(TT)
理科の問題。口から出る液体はなんですか？
子供の答えが｢唾｣(TT)(TT)(TT)
タグ：
posted at 13:55:35
「騎士の巡歴」
桂馬とびで正方形のマスの中を飛び回る時、より次の選択肢の少ないほうを選んでいくとすべてのマスを回ります。なぜそうなるか理屈は証明されてません。ついでに回数で色分けするとマスがでかい時に模様が描けます pic.twitter.com/L5NrivkNJv
タグ：
posted at 14:23:08
非公開
タグ：
posted at xx:xx:xx
World and Science @WorldAndScience
Concentration on maximum levels pic.twitter.com/lFlyJQzpzS
タグ：
posted at 15:00:35
パブコメ募集出ましたので、ぜひ全面禁煙のご意見をお送りください。フォームから送れます。
ちなみに、JTが猛烈に抵抗しているらしく、パブコメは人海戦術で反対意見を送ってきそうです。賛成の人はパブコメ＋拡散をよろしくお願いします。
www.metro.tokyo.jp/tosei/hodohapp...
タグ：
posted at 15:03:19
🔗 「私のツイートが無断転載されました！」と騒ぐのは無知の証だからやめたほうがいい tech.damonge.com/?p=697
なるほど。
Twitter利用規約 twitter.com/ja/tos 上が現在，下が10月2日以降の新規約
タグ：
posted at 15:11:44
HAYASHI Tomohiro @SokoranoKumasan
申し訳ないのですが「保養」で「不安が解消した」という話を全く聞かず、むしろ間違った知識を吹き込まれて悪化した事例ばかり耳にします。
私の友人も震災後、自主避難から離婚に至りました。
「支援者」が6年間何をしてきてどのような結果を残したのか検証も無く、新聞が勧めることは無責任です。 twitter.com/misaki_hattori...
タグ：
posted at 15:12:50
"我々は新しいタイプの教育について考えていかなければならない"
AIで東大目指した「東ロボくん」開発者がTEDで語った危機感(Business Insider) - www.businessinsider.jp/post-104443
タグ：
posted at 15:47:44
えくぼすたでぃ@勉強youtuber @MathmathSci
上司が、上司と飲むのも仕事だと主張するなら、1回につき3時間分の残業代をいただきます。 twitter.com/odeode07211/st...
タグ：
posted at 16:00:07
#漢字
先ほど以下も含めてnanaさんのツイートをたくさんRTしました。
小学生の保護者は必見。
文化庁がしっかり漢字の書き方の多様性について宣伝してくれているのに、小学校での採点を見るとおかしなことになっていることが多い。
twitter.com/JapaneseSchool...
タグ： 漢字
posted at 16:43:38
私も児童の保護者として漢字の書き方に関するおかしなこだわりの被害は何度も経験しています。そのときに文化庁が配布している文書はとても役に立ちました。
チョー算数問題だけではなく、漢字の書き方に関する異様なこだわり問題についても情報を拡散しまくる人がもっといて良いと思いました。
タグ：
posted at 16:49:11
富岡駅周辺歩き疲れた……。コンビニもドラッグストアもあるし新築ガンガン建ててるけど、ある意味ガバガバと言うか、立入禁止の場所とか行かなくても、歩いてるだけでこういう写真はバカスカ撮れる。 pic.twitter.com/lEZ7B0e49r
タグ：
posted at 16:59:25
築浅のままやられて雑草に囲まれていくアパートの隣で新築アパートの落成式とかやっててシュールだなと思うよね。 pic.twitter.com/eyiUJlNy0E
タグ：
posted at 17:03:00
@genkuroki #超算数 #漢字 既出だけど、知らない人もいるかも知れないので再掲。
www.youtube.com/watch?v=FvdIbH...
posted at 19:28:36
低学年の算数を考えるとそう思ってしまうところまでは無理からぬところかと思う。それがいつまでもそのままなのが問題なので、高学年か中一あたりできちんと等号の意味を扱ってほしい twitter.com/selmo_sugebanb...
タグ：
posted at 20:06:24
「概念的に同一」というニュアンスで等号を使うのもやめてほしいし（さっきのRTの子はたぶんそのように誤解している）、普通なら：を使う場面で等号を使うのもやめてほしい
タグ：
posted at 20:08:36
通常の計算では行頭に=を書いて方程式では書かない、なんてのも「天から降ってきたルール」みたいな認識の子も多いんじゃないかな twitter.com/GefhL3aucXYVCA...
タグ：
posted at 20:15:31
中２の等式の変形、分母に文字を含んでいる問題が交じっているテキスト結構あるけど（教科書にもある？）、対高校生が主戦場の身としてはあれはもうちょっとデリケートに扱ってほしいと思ってしまう
タグ：
posted at 20:30:35
等号の扱いの矯正は前にも言ったが、私の場合は中1春に徹底的に。なにしろ名前が算数→数学に変わるから、これからはこうしなければならないという話の説得力がちゃう。確かに内容的には小5からいけると思うから、いっそ小5から数学という名前にしてみてはどうか（思いつき）
タグ：
posted at 21:31:13
答えを書くためにあるんとちがうんやーで〜、だけ言ってももちろん通じないので、実際の計算手順を通して練習してもらうわけだから、等号というよりは式の運用みたいな感じじゃろか。
タグ：
posted at 21:41:38
いきなりで失礼します。
【距離×重さ】とされていますが、小学校むけでは「重さ×距離」としている所が多いと思います。それでよろしいのでしょうか？
（ #掛算 の順序はどちらでも良い、という論者でいらっしゃるのなら、全く問題はありませんが。） twitter.com/rixaw/status/9...
タグ： 掛算
posted at 22:13:41
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
twitter.com/jagarikin/stat...
私が書いたコードがバグってなければ盤が大きな場合にはほとんどの場合に枡目がすべて埋め尽くされずに終わります。128×128だと失敗確率は8割で平均して盤面の88%を埋め尽くします。続く
#数楽 #JuliaLang
posted at 23:03:33
#数楽 八方向の桂馬飛びでその次に進める場所の個数が一番少ない場所に飛び続けることによって全体を埋め尽くすことにどれだけ成功するかを計算してみました。
次のリンク先で #JuliaLang のJupyter notebookを公開
nbviewer.jupyter.org/gist/genkuroki...
posted at 23:07:26
#数楽 #JuliaLang 添付動画は64×64ですべてを埋め尽くすことに成功した場合です。64×64だと7割程度の確率ですべてを埋め尽くします。その次に進める場所の個数が最小の場所に進むので周囲から内側に埋め尽くして行くようになります。全部桂馬飛び。 pic.twitter.com/2CpiFYPER8
posted at 23:09:55
#数楽 #JuliaLang 添付動画は64×64ですべてを埋め尽くすことに失敗した場合です。64×64では3割程度の確率で失敗する。残された領域が複数の島に分かれると失敗する。 pic.twitter.com/bXC4E6HGtL
posted at 23:11:51
#数楽 #JuliaLang チェスの盤の大きさである8×8の場合には約2%程度の確率ですべてを埋め尽くすことに失敗します。
すべて桂馬飛びで進む先はその次に進める場所の個数が最も少ない場所。複数ある場合には乱数で行く場所を決める。
posted at 23:14:37
#数楽 #JuliaLang 採用した埋め尽くし戦略は盤の大きさが小さい場合にはかなり優秀です。10×10から20×20では完全埋め尽くしの成功確率が99%を超えます。面白いのは7×7の場合で4回中1回以上失敗します。
posted at 23:17:49
#数楽 #JuliaLang 以上のようなことをコードを打ち込みながら考えることとコードを走らせてテストすることを繰り返しながら確認するにはJulia言語とJupyter notebookの組み合わせがとても便利です。Julia言語ならCとほぼ同じ計算速度が出ます。
posted at 23:20:34
#数楽 #JuliaLang 乱数を含む戦略の成功確率の計算では並列処理をするべきなのですが、それも簡単にできます。私は4コア8スレッドのCPUを使いました。そのためのコードは既出の
nbviewer.jupyter.org/gist/genkuroki...
で公開。その手の並列処理は馬鹿みたいに簡単です。
posted at 23:23:30
#数楽 #JuliaLang 私はプログラミングが苦手なのでコードは汚いし、効率もよくないと思います。理解せずにJulia言語を使っている部分もあります。もっとよいやり方で計算してみた人がいたら教えて下さい。勉強します。
posted at 23:25:12
#数楽 #JuliaLang 既出の
nbviewer.jupyter.org/gist/genkuroki...
を見れば、JuliaLangのat-timeマクロを追加して各種計算を実行した結果を見られるので、私のやり方での計算時間がわかるようになっています。
posted at 23:28:01
#数楽 #JuliaLang もっと派手に失敗する場合の動画も作りました。Gistに置いてある方は小さな修正をして、派手に失敗する場合に置き換えられています。 pic.twitter.com/HYJpCGWGL2
posted at 23:39:02
#数楽 #JuliaLang 8×8で派手に失敗する例 pic.twitter.com/kM8AlNcIzd
posted at 23:50:28
@tsatie #数楽 #JuliaLang 5×5と6×6では常に成功すると思うのですが、「証明」＝「しらみ潰しの探索」はまだしていません。
posted at 23:53:53
