黒木玄 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年02月08日(木)
非公開
タグ:
posted at xx:xx:xx
制御量不足、空中爆発、推進剤切れ、転倒・・・ここで振り返りたいspaceXロケットの華麗なる試行錯誤の記録。www.youtube.com/watch?v=bvim4r...
タグ:
posted at 00:23:40
非公開
タグ:
posted at xx:xx:xx
それぞれの円の半径はlogでとってる(普通にとると中心部がつまりすぎる)ため、累乗数のとき等間隔になってて綺麗 pic.twitter.com/YiNlE8vEaS
タグ:
posted at 01:56:36
非公開
タグ:
posted at xx:xx:xx
Saunak Sen শৌনক সেন @saunaksen
@rafalab And in @julialang:
> round(sum(1./factorial.(0:20)),3)
2.718
> reduce(+,BigFloat(1.0,80)./factorial.(big.(0:60)))
2.718281828459045235360287471352662497757247093699959574966967627724076630353416
Correct up to the last 4 digits.
タグ:
posted at 02:50:38
学部のとき、量子力学や相対論に比べて、統計力学や流体力学は、学び始める時の期待感・ワクワク感がないかもしれない。しかし、後者の凄みがわかるようになったら大したものだ。私はそれらの凄みを感じるようになったのは、院に入ってから。
タグ:
posted at 05:04:23
流体力学の件。学部のときT先生の講義を聴いた。精力的に黒板に式を書き続ける授業だったが、私はあまりピンと来なかった。院に入って、ランダウ「流体力学」の自主ゼミを始めた。あれは衝撃的で、私の人生を変えた。
タグ:
posted at 06:37:33
嫁さん(非教員)曰く。
「なんでダルビッシュとかも毎日練習するのはバカだって言ってるのに、部活って毎日あるの?体育の先生って、そういうスポーツ理論とかを専門で学んできたんじゃないの?頭悪いの?」
たぶん日本の学校で放課後やってるのは、スポーツではないサムシングです。
タグ:
posted at 06:41:19
当時、物性理論の院生の間で、何か自主ゼミを始めようという話が持ち上がった。一年後輩のA君が、ランダウ「流体力学」を提案した。現象論の感覚を磨くには流体力学が良いから、が彼が主張した理由だった。それはそのとおりだったが、それ以上のものを私にもたらした。
タグ:
posted at 07:09:57
2010年頃工学系のさまざな分野の大学院生向けに講義することになって、「何を教えてもいいですよ」と言われたが困ってRisch Algorithmを扱った。線型微分方程式についてKovacic Algorithmやろうかと思ったら、学生がベッセル関数習ったことない、知らないというので、後半は特殊函数論になった。 twitter.com/adastraperardv...
タグ:
posted at 07:39:18
物理数学はもう少しモダンな材料を扱うべきというのには賛成だし、今じゃパンルヴェ函数くらい学部で習っても良い時代だろう(そうすべきとは言わない)。ただ、工学系の修士がベッセル函数や直交多項式を全然知らなくてもよいのだろうかとは思った。実際のところ、もう困ることが少ないのかもしれない
タグ:
posted at 07:39:20
はてなブログに投稿しました #はてなブログ
Julia入門 - Loops (while/for/内包表記) - St_Hakky’s blog
st-hakky.hatenablog.com/entry/2018/02/...
タグ: はてなブログ
posted at 10:00:36
「日本の教育は知の識詰め込みでよくない」という意見の述べ方は「知識」の概念を不当に貶めている。
もっとわかりやすく、「日本の教育はクズの詰め込みでよくない」と言うべきだ。
チョー算数はクズの詰め込みの典型例。
きはじ図の類の詰め込みは虐待に近い。
子供の将来を潰す気か?
タグ:
posted at 10:03:17
政府筋が漢字のとめはねなどの細かい違いが生じることは漢字文化の伝統であるというメッセージを発しているにもかかわらず、現実の教育現場では細かな違いでバツをつけることが横行している。
これもくだらないこだわりを子供の心に詰め込む行為であり、厳しく批判されてしかるべき行為だ。
タグ:
posted at 10:09:24
国語教育については、世間一般的には数学関係者とみなされる人物が、日本の国語教育は文学偏重でよろしくないというようなことを言っているように見えるが、実際に小学校の国語の教科書を見て、さらに現実の小学生に聴き取り調査(笑)をすると、事実に反することがわかる。
twitter.com/genkuroki/stat...
タグ:
posted at 10:17:47
非公開
タグ:
posted at xx:xx:xx
私は、子供の読解力を破壊しているのは、国語教育ではなく、算数教育であることを強く疑っている。
極端でわかりやすい例は「きはじ図」の類。
場面を普通にイメージして常識に基いて判断することではなく、公式への機会的あてはめかたを教える傾向が強い。その結果、読解力は破壊される。
タグ:
posted at 10:24:14
非公開
タグ:
posted at xx:xx:xx
非常に残念なことに、場面をイメージして常識的に考えることを阻害する教え方は、現実の算数教育に浸透してしまっている。
例えば、「問題文に出て来ていない数を無断でつかってはいけない」というようなクズ感覚を子供の心に詰め込むことは、普通の常識的で正しい読解を確実に阻害するだろう。
タグ:
posted at 10:27:20
パソコンへの想いの遷移
「ゲーセンみたいなゲームのプログラムが雑誌に載ってるぞ」
→「ゲームを自分でも作れるぞ」
→「これ、もとをたどればどこで動いてるんだ」
→「半導体というもので動いているらしい、半導体を勉強するぞ」
→「アッアッアッ」(思ってたんと違う、レイヤを通り過ぎた) twitter.com/satoru_takeuch...
タグ:
posted at 10:28:26
具体的には、世間一般的には数学関係者とみなされる人物が書いた算数教育本であっても
最初の式には、問題に出てきた数しか使わないこちら
のような
子供にとって極めて有害
だと予想されることが太字で書いてある場合があるので注意するべきです。
mobile.twitter.com/genkuroki/stat...
タグ:
posted at 10:33:44
現実の小学校の国語教育では、資料を調べてまとめて説明するというような事柄が量的にもきちんと行われるようになっています。
「日本の国語教育は文学鑑賞への偏重」説(私は事実に反すると判断している)を唱えている人が、子供の読解力を破壊するような算数教育本を書いていたりする。
つらい。
タグ:
posted at 10:38:56
twitter.com/genkuroki/stat...
マジでつらい。
こういうことを言わなければいけないことが特につらい。だれか別の人が言ってくれると助かる。
タグ:
posted at 10:48:50
日本の国語教育は文学鑑賞偏重なことが問題を引き起こしているというような小学校の国語の教科書を引用すればすぐにばれるようなデマを広めたことや、有害な算数教育本を書いてしまったことをきちんと認めて反省できれば立派だと思う。本当にそうなればよいと思う。
タグ:
posted at 11:08:40
非公開
タグ:
posted at xx:xx:xx
twitter.com/dempacat/statu...
#Julia言語
私の感想は正反対:自分がやりたいと思っていた計算とプロットをJulia言語でやってみたら、Julia言語の開発者達が必要だと考えたすべての要素が実際に必要であることがわかった。
私はすでに小さな実例を多数公開している。
タグ: Julia言語
posted at 11:20:19
非公開
タグ:
posted at xx:xx:xx
#Julia言語
marui.hatenablog.com/entry/20120221...
*「Cの速度とRubyの動的さが欲しい」←型指定を一切書かずに自分が書いたCのコード以上の計算速度が出ることは極めて便利
*「Lispのような真のマクロが使える」←特殊函数の数値計算の最適化にはほぼマクロ必須
タグ: Julia言語
posted at 11:25:02
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
コウモリ長寿の謎
advances.sciencemag.org/content/4/2/ea...
哺乳類は身体でかいほど寿命長いというおおまかな法則があるけど、コウモリはなぜかその法則に従わない種が多い(20~30年とか生きる)。
長寿命な種ではテロメアが短くならないらしい
なんでだ… pic.twitter.com/D3q9MuDCgw
タグ:
posted at 11:39:53
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
#Julia言語 ちなみに私がよく引用しているMITの講義ではJupyter notebook+Julia言語を採用しています。
github.com/stevengj/18S09...
2017年
github.com/stevengj/18S096
今年
このレベルの講義ができるなら、講義をしている側**も**気分がよいと思います。
タグ: Julia言語
posted at 12:47:27
研究者が自分の論文なら見逃してしまうような誤りまで無くそうと必死になって入試問題のチェックをさせられている様子は異様。
それに対して誤りを適切に訂正してどうにかする能力は必須。
採点する側は誤りを適切に訂正して利用することに慣れているので、誤りを訂正させた結果の採点は容易。
タグ:
posted at 13:26:34
非公開
タグ:
posted at xx:xx:xx
「問題に誤りがないことを利用した受験テクニック」のようなくだらないことを教えることやその他多くのつまらない受験テクニックを潰して、本当に理解していないと通用しない入学試験にするためには、問題に誤りがあったら受験生の側に適切に再定式化して答えさせることを普通にした方がよいと思う。
タグ:
posted at 13:35:45
非公開
タグ:
posted at xx:xx:xx
現実に大学入試の採点では、問題文を完全に誤解していても、最初の誤解を除いて筋が通ったことが書いてあって、実力を示していれば、点数を出している場合が少なくないと思う。
問題を自分で訂正させて答えさせた場合の採点も似たようなもの。
タグ:
posted at 13:48:34
np.round(0.5)が0.0でnp.round(1.5)が2.0になるんや。全然知らんかった。stackoverflow.com/questions/4863...
タグ:
posted at 14:32:58
非公開
タグ:
posted at xx:xx:xx
@bicycle1885 ありがとうございます!画像のように微分形式の計算を扱うこともできます。
github.com/egison/egison/...
現在作成したデモはすべて以下のリンクにおいてあります。
www.egison.org/ja/math/
タグ:
posted at 15:12:58
たくさんの方が興味を持ってくれてめちゃくちゃ嬉しいです。公式の解答(1枚目)と、言語文化学部の自己流解答、よろしければ参考にしてください。 pic.twitter.com/QWYqlYF5gz
タグ:
posted at 15:19:48
Voice最新号、逆神が「トランプの経済政策すばらしい、株価はいまの倍だ!」と宣言、逆神の面目躍如。あと増田悦差が仮想通貨について要領を得ない意味不明のところもある説明を書き「物理実態がないから盗まれたりしない」と太鼓判。いずれも味わい深いっす。
タグ:
posted at 15:38:59
泰明小学校校長の和田利次さん、予想を裏切らない人だったw
www.chuo-tky.ed.jp/~taimei-es/ind...
”「江戸しぐさ」は、多くの人間が暮らしてい
た江戸の街だからこそ、皆が心地よく暮らして
いけるように、当時の人々が編み出した生活術
です。そして、現代にも通じる教えです。”
タグ:
posted at 15:41:39
まあ、この「伝統と風格」という挨拶からも察せられたけど
www.chuo-tky.ed.jp/~taimei-es/ind...
twitter.com/gishigaku/stat...
タグ:
posted at 15:42:52
#Julia言語 MaximaのWindows版を最近試して見たのですが、表示がリンク先のようになってしまい、正直これだと使えない。Julia言語からもっと使いやすく慣れば、Maximaを使う人も増えると思う。
twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 15:50:28
MaximaにもJupyter kernelがあるのですが、使い方の説明が不親切すぎて私には使えませんでした。
github.com/robert-dodier/...
Windows環境でまともな表示でMaximaを使う方法がわからない。JuliaのMaxima.jl経由なら表示はきれい。
タグ:
posted at 15:54:52
非公開
タグ:
posted at xx:xx:xx
ヤマト2202のサントラ新録音よかった。新曲で好きなのは「滅びの方舟」「大帝ズォーダー」あたりかな。13話の例のシーンの音楽はないみたいなので次で聴いてみたい。
タグ:
posted at 16:03:06
@kamo_hiroyasu 現在も十数年前のようにWindows版TeXmacsでMaximaが快適に使えるかどうか、確認する人がいればよいと思います。
私は使わないし、他人にもすすめませんが。
インストールが簡単なwxMaximaの表示がああいう状態だということは、ユーザーがいなくなっていることを示唆するわけで、非常に残念。
タグ:
posted at 16:11:52
#Julia言語
nbviewer.jupyter.org/gist/genkuroki...
Maxima.jl のインストールの仕方 (Windows編)
Windowsで使えるので他のOSならもっと簡単なはず。
Maximaの使い方については
fe.math.kobe-u.ac.jp/MathLibre-doc/...
はじめてのMaxima
横田博史
平成25年1月5日 (土)
タグ: Julia言語
posted at 16:24:18
WindowsでMaximaを使うための標準であるwxMaximaの迷走については
sci.tea-nifty.com/blog/2016/05/m...
数式処理システムMaxima(というかwxMaxima),5.38.1でようやく括弧()が表示された!⇒と思ったら5.40.0でまた消えた。。。⇒5.41.0で復活!
これ、Maxima本体の問題ではないのでもったいない話。
タグ:
posted at 16:26:13
非公開
タグ:
posted at xx:xx:xx
これはまさにその通りで一年前に卒業した娘を持つパパとしてはもっと多様な文学について紹介して読み込ませて欲しいと毎年教科書の目次を見ながら思ったものだ。それにしてもそうか、算数が国語を破壊してる事までは流石に思い至らんかったがまぁ「同じ人」が教えてるのだから破壊程度では済まんかも。 twitter.com/genkuroki/stat...
タグ:
posted at 16:42:55
機械学習にゼータ函数の普遍性が使えたりしないかな,と思ったけど,どれだけずらせばいいのか決めようがないから,逆にどれだけずらせばよいのか決めるのに機械学習が使えないかな?
タグ:
posted at 16:58:54
twitter.com/genkuroki/stat...
#Julia言語 をWindowsにインストールする人にはまずJuliaProがおすすめ。インストーラーのダブルクリック一発で使えるようになります。
しかし、Python環境を自分で揃えたい場合には
nbviewer.jupyter.org/gist/genkuroki...
の1.3~1.4節の方法に従うのがよいと思います。続く
タグ: Julia言語
posted at 17:05:43
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
[0,1]の一様乱数を足していって和が1を超えるまでの回数の平均はネイピア数eになる(昨日2/7はeの日) sci.tea-nifty.com/blog/2018/02/0...
タグ:
posted at 17:55:31
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
@AS_Insects @robipion うちの子達が通っていた中学は、私服登校禁止でした。
上の子が、こんなダサいの着たくないと私服で登校したら、保健室で拘束され、迎えに来いと電話かかってきまさた。
タグ:
posted at 18:41:14
比熱が分からない大学生多過ぎ。とくに、モル熱容量とか定圧比熱とかってやつ。エンタルピーの変化量と結びつかないらしい。意味意味っていう割にはこんなことも理解させてないじゃん、と溜息。熱伝導率どころか熱量や内部エネルギーも意味すら分かってないし。大学で教えることさじゃないだろうに。
タグ:
posted at 18:42:44
非公開
タグ:
posted at xx:xx:xx
比重が分からない大学生多過ぎ。とくに、1kgの鉄と1kgの綿とかってやつ。重さと結びつかないらしい。意味意味っていう割にはこんなことも理解させてないじゃん、と溜息。アルキメデスの原理どころか浮力や密度も意味すら分かってないし。大学で教えることさじゃないだろうに。
タグ:
posted at 18:49:03
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
たまたま2ちゃんねるに僕を貶して遊ぶスレッドがあるのを発見したのだけど、誰のことだこれは、みたいな話ばっかりだった。しかし、こんなに書き続けているのに甲状腺検査問題に触れている人はいないようで、まだ書きたりないのだなあと反省した。もっと頑張らなくては。あと、反リフレが多すぎ
タグ:
posted at 19:22:41
【過酷】豆から作るチョコレート、カルディのキットで体験
news.livedoor.com/article/detail...
約40分間カカオ豆の皮をむき続け、約50分間すり鉢で細かく砕き続ける…などの工程。カカオ豆の細かさがチョコの完成度に影響するという。 pic.twitter.com/mS914YgwCD
タグ:
posted at 20:10:13
@kohsawara くわしくはこちらをどうぞ
www.amazon.co.jp/dp/4061385828/
www.amazon.co.jp/dp/4061385550/
タグ:
posted at 20:12:34
#Julia言語 多変数函数の数値積分パッケージの比較を
ζ(3) = ∫_0^1 ∫_0^1 ∫_0^1 dx dy dz/(1-xyz)
で行ってみました。比較したのは
HCubature
Cubarure
Cuba
の3つです。HCubatureがかなりいい感じでした。
nbviewer.jupyter.org/gist/genkuroki...
タグ: Julia言語
posted at 21:04:10
#Julia言語
Cuba
github.com/giordano/Cuba.jl
はモンテカルロ積分のパッケージ。
このパッケージもおそらく優れものなのだと思う。
Cubature
github.com/stevengj/Cubat...
HCubature
github.com/stevengj/HCuba...
は同じ作者によるパッケージで、前者はCで書かれており、後者はJuliaで書かれています。
タグ: Julia言語
posted at 21:08:13
必要最小限のインストール (2018-01-16に追加)を何度やってもうまくいきません。
http://localhost:8888/notebooks/Untitled22.ipynb?kernel_name=julia-0.6 twitter.com/genkuroki/stat...
タグ:
posted at 21:17:25
むしろ、放射線被曝影響だけをことさらに問題視するのがまずいわけで、精神的問題や避難に伴う生活の問題などのほうがはるかに深刻。もちろん放射線被曝影響を過度に強調する人たち(マスコミ含む)にはその精神的問題の責任の一端がある
タグ:
posted at 21:23:27
@tokutokupooh Miranda and Facklerという本のコードをjuliaで書いたものがゼミのレポジトリにあるので, よかったら見てください!
github.com/OyamaZemi/Mira...
タグ:
posted at 21:33:18
@musicisthebest_ 【なんですかそれ】
そのような発言があったのです。(その後すぐに削除されました)
当該発言の後半部分は本人の言葉には無かったのですが、順序論争の中で「大卒なのにそれが出来ない人がいる」と言っていました。
#掛算 順序派には「やってる事の意味がわかれば順序を守るべきと分かる筈」(続
タグ: 掛算
posted at 21:46:04
@musicisthebest_ 続)とか、「その順序で書くことが意味を表す」という強固な錯覚があり、「順序を守らないのは意味が分かってないのだ」となるのです。#掛算
タグ: 掛算
posted at 21:48:11
twitter.com/yasuokajihei/s...
#Julia言語 JUPYTERやPYTHONの環境変数の設定を消して、JuliaPro を入れた方が楽かもしれません。
Juliaのカーネルが死にまくる現象は環境変数 JUPYTER もしくは ENV["JUPYTER"] を適切に設定して、Pkg.build("IJulia") で直る可能性が高いです。
タグ: Julia言語
posted at 21:52:37
@yasuokajihei #Julia言語
環境変数はすべてもとに戻してからにしないとはまるので注意して下さい。
JULIA_PKGDIR
JUPYTER
PYTHON
などの設定を削除してから、JuliaProをインストールしてください。
タグ: Julia言語
posted at 21:59:59
Takashi Yamanaka @yamanakaaaaaan
@gishigaku @SotaKimura 江戸しぐさとアルマーニ。
ガッテンできません!!
タグ:
posted at 22:55:32
モノドロミ保存変形、相似簡約、ポアソン構造、初期値空間、q-差分方程式、接続保存変形、Riemann-Hilbert対応の全射性・単射性、transseries、千葉さんの最近のPainleveの仕事、rigid index などなどとこの3日間、議論がどんどん展開される。「知ってることは全部吐け!」と言われてるような気がする
タグ:
posted at 22:58:25
twitter.com/Dsuke_KATO/sta...
#Julia言語
整数の割り算は div(a,b) です。私は a÷b を多用しています。 pic.twitter.com/yGMPJdRNBM
タグ: Julia言語
posted at 23:15:23
UFO教授 (藤木文彦 Fumihiko @UFOprofessor
@9sarGLdPzeNztG @genkuroki 困ったもんですねぇ。私の知ってるところでも使っているところがあるけれど、理由を説明して納得してやめさせるためにはかなり時間がかかると思われるので、限られた時間のアルバイト相手に、(自分も非常勤だし)やってる時間が無い。しかも、それを生徒の前でやることは、ちょっとまずい。困った。
タグ:
posted at 23:16:40
twitter.com/Dsuke_KATO/sta...
#Julia言語 私によるFFTのスピードテストは
nbviewer.jupyter.org/gist/genkuroki...
の In [8], [9] にあります。Juliaでは plan_fft というのがあって
FFT = plan_fft(A)
B = FFT * A
C = FFT \ B
さらに
A_mul_B!(B, FFT, A)
A_ldiv_B!(C, FFT, B)
のようにFFTを使うと速くなる。
タグ: Julia言語
posted at 23:20:40
なるほどなるほど。divと÷…φ(..)メモメモ
//はFractionで返り値の型はRational、と。 twitter.com/genkuroki/stat...
タグ:
posted at 23:23:36
一度、学生が完全においてけぼりになるような線形代数の授業をやってみたいものだ。
いきなり、FFTの話を初めて、KdVの数値計算が始まるような。
これは線形代数ですと。
無限次元可積分系としてのKdVの話をガチでしても線形代数の話になるな。
超楕円曲線も出して、これも線形代数ですと。
タグ:
posted at 23:23:45
@7057_mo 東大の院試以来久し振りにこういうのやりました。úとw、iとjの関係性に気付くまでずいぶん時間がかかってしまいました。 pic.twitter.com/BMWHcm1xgv
タグ:
posted at 23:29:13
#Julia言語
nbviewer.jupyter.org/gist/genkuroki...
FFTを用いた熱方程式やKdV方程式などを数値解法の in-place 版
を見てもらえればわかるように、簡単な偏微分方程式なら数値計算のプログラムを書くのは超簡単です。大学新入生はシュレーディンガー方程式を数値的に解くべきだと思う。
タグ: Julia言語
posted at 23:30:22
#Julia言語 添付画像は調和振動子。青線が実部で虚部は橙破線。Gaussian packet が行ったり来たりの振動をしています。
ソースコードは
nbviewer.jupyter.org/gist/genkuroki...
にあります。そこの一番下では Smith 方程式という非線形の偏微分方程式でさえない方程式も数値的に解いています(KdVの仲間)。 pic.twitter.com/ploRYwPifK
タグ: Julia言語
posted at 23:34:10
ひと通り読んだけど酷い話。
「義務」教育で、全世帯に無駄な負担を強制的に課すことの意味が分からんのかな。副教材すら無償になってないのに。
実に様々な経済事情・家庭事情の生徒がいることに、校長になるまでに何故気づかない。どれだけ馬鹿なのか。
m.huffingtonpost.jp/2018/02/07/sch...
タグ:
posted at 23:51:54
非公開
タグ:
posted at xx:xx:xx