黒木玄 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月16日(金)
非公開
タグ：
posted at xx:xx:xx
twitter.com/mosaico/status...
ブルーバックス版のタイトルは『不変量とはなにか―現代数学のこころ』
www.amazon.co.jp/dp/4062573938
古本が非常に安い。おすすめ。ちくま学芸文庫本版は
www.amazon.co.jp/dp/4480095217
この本を文庫に入れることを提案した人は偉いと思う。 #数楽
タグ： 数楽
posted at 23:44:00
非公開
タグ：
posted at xx:xx:xx
@sekibunnteisuu お茶の水女子大学附属小学校の「体験型」授業ですね。1あたり量とか小数のかけ算の前に比をやったほうがわかりやすいんじゃないかと思うのですが、教育学の人たちは、そういう研究をしたほうがいいのではないかと思うのですが
タグ：
posted at 23:27:45
#Julia言語 の試用は juliabox.com ならブラウザから誰でもすぐに実行できます。自分のパソコンにインストールしたい人には
nbviewer.jupyter.org/gist/genkuroki...
およびそこからのリンク先が参考になると思う。
タグ： Julia言語
posted at 23:24:49
私が #Julia言語 でFFT(DFT)を使って熱方程式、KdV方程式、シュレーディンガー方程式、Smith方程式を数値的に解いた例が次のリンク場所にある。
nbviewer.jupyter.org/gist/genkuroki...
juliabox.com でも使える版→ nbviewer.jupyter.org/gist/genkuroki...
twitter.com/F_so98/status/...
タグ： Julia言語
posted at 23:19:56
そのうち、あらゆる数学を機械が試して学習して、見つけた規則性が普遍的かどうか証明し、得られた成果を試して機械主導で数学が発展していく日も来るはず。(誤爆したのでツィートし直し) twitter.com/genkuroki/stat...
タグ：
posted at 23:10:51
@genkuroki そのうち、あらゆる数学を機械が試して学習して、見つけた規則性が普遍的かどうか証明し、得られた成果を試して機械手動で数学が発展していく日も来るはず。
タグ：
posted at 23:04:32
非公開
タグ：
posted at xx:xx:xx
はてなブログに投稿しました #はてなブログ
球面調和関数で正20面体をつくる(2) - 3j記号の非自明なゼロ - Shironetsu Blog
shironetsu.hatenadiary.com/entry/2018/02/...
タグ： はてなブログ
posted at 23:00:17
#Julia言語 f(2*3*5*7*11)の結果は 3024601 個。
gist.github.com/genkuroki/4fc6...
タグ： Julia言語
posted at 22:59:15
非公開
タグ：
posted at xx:xx:xx
私が人生で初めて使用したスパコンは1ノードにXeon × 2, メモリ256GBだったので、今使っているマシンはちょうど4ノード分くらい?
1ノードでも持て余していた私にこのマシンを使いこなせる日は来るのだろうか。
タグ：
posted at 22:48:48
非公開
タグ：
posted at xx:xx:xx
パイプ演算子あるらしいし、ちょっとJuliaに興味湧いてきた。問題は、Juliaに手を出すと、Pythonやるやる言って始める気配が延々遠退いていくこと。
タグ：
posted at 22:48:17
以前、Qiitaに記事を書くときに使用したワークステーションの調子が悪かったのでメンテしたら、メモリを1TB以上積んでいることがわかった。
私が言うのもなんだが、見知らぬ人が「メモリ1TB」なんて言っていたら、「HDDと間違えてますよ」と絶対思う。
qiita.com/goropikari/ite... pic.twitter.com/KqnD8brLmo
タグ：
posted at 22:48:05
#Julia言語
問題k：2^30以下の素数pでp,p+k,p+2kがすべて素数であるもの全体の個数を求めよ。
問題2,4,8,10,14の解答：3のみの1個
問題6の解答: 805063個
問題12の解答: 805926個
問題16の解答: 0個
gist.github.com/genkuroki/4fc6...
Jupyter notebookではLaTeX方式で数式のコメントを入れられます。 pic.twitter.com/Qng2fupfNd
タグ： Julia言語
posted at 22:34:55
著者から指摘を受けたのですが、ブルーバックスの「対称性とはなにか」は絶版で、今は「不変量と対称性―現代数学のこころ」（ちくま文庫）として出ています。学生時代にガガンボの配置空間の話でオイラー標数の強力さを知り、強い印象を受けました。数学ファンからプロまで楽しめる本だと思います。
タグ：
posted at 22:24:15
非公開
タグ：
posted at xx:xx:xx
#数楽 arXivにある論文を全部ダウンロードしても1台のハードディスクに楽勝でおさまる容量なら1年ごとにお金を払って全部ダウンロードしておきたいと思う人は結構いるかも。
Ichiro Maruta Homepage: 英語論文執筆のために arXiv からの例文検索サービスを作った話 ichiro-maruta.blogspot.com/2018/02/arxiv....
タグ： 数楽
posted at 21:34:27
@aoki_taichi もしも平面幾何の図形を主に扱うならば #GeoGebra もおすすめです。私が GeoGebra を使ってみた例は
www.geogebra.org/genkuroki
にあります。主に楕円曲線のEdwards形式と二次曲線の加法公式の作図を扱っています。GeoGebraも #Julia言語 と同様にブラウザさえあれば使用できます。
posted at 21:14:21
@aoki_taichi #Julia言語 のPlotsではx座標の配列Xとy座標の配列Yが与えられたとき、
p = plot(size=(500,350))
plot!(X, Y)
savefig(p, "XY.png")
plot(p)
でxy座標を順番に線分で繋いだ折れ線を作画してくれます(XY.png に保存されてかつ画面にも作画)。細かく区切れば滑らかに見える曲線も描けます。
タグ： Julia言語
posted at 21:09:42
@genkuroki おー！
いちいち画像ファイルに保存するなんて面倒だとBASIC出身者は思ってしまったんですが、スクリーンショットのようにできるなら、かなりインタラクティブに行けそうですね！
タグ：
posted at 21:05:22
board_hash = hash(np.ndarray.tostring())
ならPython2.7と3.xで同じ挙動のよう。むしろちょっと早くなった。
タグ：
posted at 21:04:59
@aoki_taichi #Julia言語 ソースコードは
gist.github.com/genkuroki/d175...
で公開してあります。
juliabox.com
を使えばブラウザだけでJulia言語を使用できます。私はiPhoneのブラウザでjuliaboxを使って数学GIF動画を作ったことがあります。
添付画像は上のソースコードで作ったpngファイルです。 pic.twitter.com/7Dc3E1mnrc
タグ： Julia言語
posted at 21:04:54
@aoki_taichi #Julia言語 どの作画ライブラリが便利なのかはわかりませんが、私はPyPlotとPlotsの両方しか使ったことがありません。それらには「線を引く機能」があるので、原理的には線を引くだけで作画できるものは何でも作画できます。添付画像は実際にやってみた場合のスクリーンショットです。続く pic.twitter.com/rM6N8fLplF
タグ： Julia言語
posted at 21:01:02
Pythonで実装した囲碁プログラム、盤面ハッシュ値をまともにZobrist Hashで計算すると重すぎるので
board_hash = hash(str(np.ndarray.data))
という処理で高速化しています。しかし実はこれがPython2.7と3.xで挙動が異なって、Python3.xだと常に同じハッシュを返して頓死するようです。 pic.twitter.com/YVcqfCaB5F
タグ：
posted at 20:59:15
やはりLocal Asymptotic Normalityに着目するのが一番きれいで、かつ確率過程一般考えたときに実り豊かだと思う。その時に鍵になる概念がdifferentiability in quadratic meanだが、この解説はよかった。
www.stat.yale.edu/~pollard/Books...
タグ：
posted at 20:22:21
情報幾何では漸近二次の議論をcurved exponential familyでするのだけれど、その前の漸近一次の議論も一般には大変なんやで、ということ。Fisherの風呂敷を回収するのに何十年もかかった。
タグ：
posted at 20:22:20
LeCamの記念論文集の中のこれをさらっと見ると、最尤推定量の漸近的性質のややこしさがよくわかる
www.stat.yale.edu/~pollard/Books...
タグ：
posted at 20:22:20
David Pollard （数理統計、漸近論）のwebpageがまだ生きてて、本や有用なchapeterが落とせる。
www.stat.yale.edu/~pollard/Books/
タグ：
posted at 20:22:19
非公開
タグ：
posted at xx:xx:xx
Juliaだってimmutableなはずのタプルの要素を書き換えられるゾ！
twitter.com/ngr_t/status/9... pic.twitter.com/SJOTs900xi
タグ：
posted at 19:58:12
@genkuroki ある三角形が与えられたとき、その三角形の面積を二等分する直線を描きたいんです。(いろんな向きの直線それぞれについて)
こういった幾何学的図形を描くのに向いている描画ライブラリはJuliaだと何になりますかね？
タグ：
posted at 19:56:47
#超算数 数学で音読の件、やっと把握したが、
detail.chiebukuro.yahoo.co.jp/qa/question_de...
のように日本語の理解ができずに設問に回答できない場合があることは間違いない。教科書を正しい日本語として読めなければ、文の意味である教科の内容が理解できるわけはない。
タグ： 超算数
posted at 19:31:00
twitter.com/cometscome_phy...
【「1の目が1/2の確率で出る場合でもそうなる時があるんだ」と言われた場合、反論できますか？】
「あるんだ」
「はい、あります」
正しい主張には反論不可能。
しかし、単に正しいだけでは現実の意思決定では役に立たない。
「その可能性はゼロではないwww」ネタ
タグ：
posted at 19:19:26
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@sunchanuiguru #掛算 #超算数 #数教協 もそうだけど、１あたり量とか単位当た量にとらわれすぎ。
posted at 18:26:12
@sunchanuiguru #掛算 #超算数 本屋で立ち読みした。体験型授業がどうこう、というので、300gで560円と 100gで300円 の肉、どっちが安いか？とかいうのがあって、1gで比較すると前者が安いと分かるとか書いてあったけど、
100gで300円を300gで900円、として比べるのが普通だと思う。
posted at 18:25:18
arXivからまとめてダウンロードしたデータは700GB程度らしい。非常に面白い話だと思いました。
arXivのデータは文例集以上の使い方もできそうだと思う。
Ichiro Maruta Homepage: 英語論文執筆のために arXiv からの例文検索サービスを作った話 ichiro-maruta.blogspot.com/2018/02/arxiv....
タグ：
posted at 18:11:48
こいつら憲法改正には尋常じゃない情熱を持ってるくせに、全体的な国力を上げるのには興味が無いのな。例え防衛費がGDP1%だろうと全体のGDPが上がれば防衛費も増えるのに。体重が増せばパンチも重くなる。そういう考え方が無いから大国アメリカに総力戦で負けて国民殺したんだろが。
タグ：
posted at 17:52:57
この考え方で黒田や雨宮が出てくるのはあまりにも理解不能。安倍政権に期待されていることは経済政策であり、さっさとデフレ脱却して拡張財政やれば念願であろう防衛費拡大もできるだろうに。人事案作成は内閣の特権であり、議会でも絶対多数を取ってるのに。やる気あるのか。武器を自ら捨てるな。 twitter.com/reuters_co_jp/...
タグ：
posted at 17:47:40
非公開
タグ：
posted at xx:xx:xx
サービスもすごいけど、この記事がすごい "Ichiro Maruta Homepage: 英語論文執筆のために arXiv からの例文検索サービスを作った話 ichiro-maruta.blogspot.com/2018/02/arxiv....
タグ：
posted at 17:07:15
#Julia言語 の各種機能の上書きの仕方はドキュメントをよく見れば間接的に色々書いてある。例えば表示の仕方については
docs.julialang.org/en/stable/manu...
Base.show を上書きすればデフォルトの表示の仕方を自由に変えられる。
タグ： Julia言語
posted at 16:59:23
#Julia言語 浮動小数点数の表示の仕方を変えたければ
github.com/JuliaLang/juli...
にあるBase.show(io::IO, x::Union{Float64,Float32})を上書きすれば可能。 pic.twitter.com/OinRyU0w4I
タグ： Julia言語
posted at 16:56:39
今日提示された日銀人事はダメな人事だ。若田部教授が日銀に行くとなると、誰が財政政策について意見するのだって話になる、若田部教授は日銀ではなく、経済財政諮問会議に入るべきです、彼なら名目GDP水準目標政策を導入できたのにもったいない、そして雨宮を副総裁とかこの政権は自殺したいのか
タグ：
posted at 16:53:42
twitter.com/aoki_taichi/st...
目的が数学的計算とプロットならば
#Julia言語 と Jupyter notebook
が最有力な選択肢だと思います。新し過ぎて、仕様がまだ完全に決まっていないことに伴う欠点がありますが、すでに十分すぎるほど実用的。速いです。
検索は julialang などで。
タグ： Julia言語
posted at 16:45:57
2人組で万引き→別の強盗犯が襲来→強盗を連携プレーで倒し店員に確保させ逃走するという修羅の国ブラジル pic.twitter.com/pKwCjoEuDB
タグ：
posted at 15:53:32
@imamuuuu @genkuroki 指輪物語の作者の方も、小さい頃からオリジナル言語体系作ってたそうですよ（だから、エルフ語などあの世界内の言語もオリジナル）
その趣味いいですね
タグ：
posted at 15:06:45
驚いたのが、ボストンダイナミクスでは強化学習を使っていないという話。古典的なロボット制御の手法(time-varying LQR, QP solvers, convex optimizationなど)が使われているらしい
タグ：
posted at 14:54:56
深層強化学習の理想と現実についての記事。最新のRainbow DQNでも人間と同等の精度に達するのに1800万フレーム(約83時間)が必要で、その代わり精度が出るかと言えば各個別の問題では既存の手法が良いなどの事例が紹介されている。その上で、今後必要な研究も紹介されている
www.alexirpan.com/2018/02/14/rl-...
タグ：
posted at 14:48:28
非公開
タグ：
posted at xx:xx:xx
ベクトルが高校数学Cに移動するので，カッとなって過去の学習指導要領から線形代数の分野を表にしてみた。 pic.twitter.com/k7VJjPrxvq
タグ：
posted at 13:45:21
素のJavaScriptを勉強するのが、私の今後書いていきたい内容を考えると一番潰しがきくと思うのだけど、数字の配列をsortしたつもりが文字列のsortになってしまうと知ってから、もうムリ。
developer.mozilla.org/ja/docs/Web/Ja...
タグ：
posted at 12:02:41
作りたいプログラムがあり、十進BASICに構造体が無いのがつらいので、乗り換え先を探しているけど、elm,Julia,Siv3D,Rust,Jupyter Notebook,three.js いろいろ目移りして進まない。
Proccessingが世界を制覇してくれていたら悩まなくてよかったのに…。
タグ：
posted at 11:56:54
MSの「Visual Studio Code」、Pythonのディストリビューション「Anaconda」に同梱 japan.zdnet.com/article/351148...
タグ：
posted at 10:58:02
とてもありがたいコメントを頂きましたが、飽くまで物理屋の言語としての量子力学の数学なので、数学志向の学生さんには拙書が全く分からないのが普通です。ただ、この駄目な物理の数学をきちんとした数学に高めてくださる動機になれば、それはそれでありがたいと思ってます。
twitter.com/genkuroki/stat...
タグ：
posted at 10:00:39
twitter.com/hottaqu/status...
#数楽 私は数学好きな人には堀田さんの本を読んでもらいたいと思っています。しかし量子力学を知らないと読めない。だから線形代数の授業で「『ディラック量子力学』いいよ」とすすめている(笑)。
堀田さん自身が量子力学のコンパクトな解説も書けば全部解決。
タグ： 数楽
posted at 09:53:31
twitter.com/bunpuku_ciagam...
不変量と対称性 ─現代数学のこころ
今井 淳 著 , 寺尾 宏明 著 , 中村 博昭 著
www.chikumashobo.co.jp/product/978448...
はブルーバックス版の再編集文庫版かな？
ブルーバックス版は手元にあり、とても良い本だと思っています。一般向け現代数学入門の名著。 #数楽
タグ： 数楽
posted at 09:24:46
150平米なんて喫煙促進法に等しい。自民党内にも受動喫煙を本当は規制したい人が多いはず。党議拘束を無しにすればいい。
受動喫煙防止法案はこのまま骨抜きになるのか(駒崎弘樹) - Y!ニュース news.yahoo.co.jp/byline/komazak...
タグ：
posted at 08:27:01
Norio Nakatsuji @norionakatsuji
国が集中投資し一元化管理の「オールジャパン」研究体制は、管理／秩序／支配好きの行政や御用学者には理想的だが衰退始まる仕組み。主流派の主要方針を代替や補完する応用研究も競合と見做され支援無しか抑圧→その研究者は無難な基礎研究に注力→主流方針が失敗すれば日本に代替無い→外国勢が席巻。 twitter.com/norionakatsuji...
タグ：
posted at 08:25:25
Ponpoco Ciagamari @bunpuku_ciagama
ご指摘の通りです。
ちくま学芸文庫の「不変量と対称性」でも同じ間違いがありました。 twitter.com/mosaico/status...
タグ：
posted at 08:22:49
密度行列を普通の統計力学のように確率混合を教えるだけでなく、操作論的に区別できない系の性質として特徴づけることは、量子情報理論では大切。今年度の学部３年基礎ゼミでは、そのあたりを学生さんが丁寧に説明できていて、２１世紀を担う研究者の卵が育ってるなぁ、という感想。⇒RT
タグ：
posted at 08:20:35
ノブレス・オブリージュの古臭い響きは嫌い。震災や原発事故では世間でエリートとは呼ばれない方々のほうが人様のために手を差し出されてた。自分や自分の家族の幸せだけを望んで、被災者を足蹴にした人も世にいたが、これからは腰抜け知識層だけでなく、全体の民度の底上げこそがこの国に必要なこと。
タグ：
posted at 08:16:10
ノブレス・オブリージュか。原発事故のとき、TW上でこれを発揮したのは、理学部系大学教員で、特に『黒木の掲示板』に出入りしていた方々。原発が専門の大学教員は全く出てこず、また人文系は、匿名で理学部系のデータに基づいた議論の足を常に引っ張っていたのが目立ってたのを、思い出してる。
タグ：
posted at 08:11:50
Nature is Amazing ☘️ @AMAZlNGNATURE
This cat's got skills pic.twitter.com/Xa5W2yr8KW
タグ：
posted at 08:02:32
MITの授業の内容がまとまっているNotebook(github.com/stevengj/18S096)でJuliaについて学んでいるんですが、使い方がわかるだけでなくて仕組みまで踏み込んでいるのでとても面白いです。
タグ：
posted at 07:18:15
非公開
タグ：
posted at xx:xx:xx
行列の応用例で電気回路を有向グラフで表した時の接続行列がでてきたのはちょっと鳥肌ものだった。昨日つぶやいたところだったというのもあるし、電気工学系で数学(線形代数)、物理(電気回路)、プログラミング(Julia)を教える例題として最適だよなと思っていたので。
twitter.com/ceptree/status...
タグ：
posted at 03:26:28
先生、優しすぎます。
> If you look at the Julia documentation, please don't panic because you don't know what a low level virtual machine is, or what multiple dispatch is. You're not going to need to know any of this.
EE103: Software
stanford.edu/class/ee103/ju... pic.twitter.com/Zs98S0Myay
タグ：
posted at 02:42:00
beamerはlatexのdocument classなので、latexを使ってる方なら何の準備もなくそのまま使える。使ってない方もoverleafでプレビューを見ながらちょっと練習すればすぐ使えるようになると思う。フォーマットを気にせず、中身に集中できるのが利点。
テンプレートもたくさん。
www.overleaf.com/gallery/tagged... pic.twitter.com/uiscC1NcQQ
タグ：
posted at 02:20:17
Jonathan Oppenheim @postquantum
The density matrix is a way to identify which ensembles cannot be distinguished by measurements. Other than the trivial theory (all states are indistinguishable) quantum mechanics is the theory which distinguishes ensembles the least -- Thomas Galley & Lluis Masanes @UCLQuantum pic.twitter.com/Ob7MXbXT5q
タグ：
posted at 01:47:16
bicycle1885.hatenablog.com/entry/2014/12/...
こちらで紹介されているコードもこの通りー👍
#フォント #Julia言語 pic.twitter.com/fHewSuaJsb
posted at 00:11:30
Cicaフォント、DejaVu Sans Mono取り込んで調整中です。めっちゃおしい。ギリシャ文字のアクセント記号がきちんと表示されればほぼ完成なのにおしい。
しかしギリシャ文字も予想通りいい感じですね。エーなのかアルファなのか判読しやすい。
#フォント #Julia言語 pic.twitter.com/zBKkvij1q1
posted at 00:09:20
