黒木玄 Gen Kuroki(@genkuroki)/2018年02月17日

せんだい歴史学カフェ @SendaiHisCafe

(あんまりみんなJulia詳しくなると俺がデカい顔できなくて困るのでは
🤔)

タグ：

posted at 23:41:01

(｢・ω・)｢ｶﾞｵｰ @bicycle1885

東北の某旧帝大近くに「さわき」っていう学生御用達の名店があるんだけど、野菜を練りこんだ緑のパスタとかが看板メニューです。ちなみに「さわき」は「さわやか喫茶」の略だと同期と設定しておりますた。

タグ：

posted at 23:36:55

teramonagiさんが順調にJuliaに染まっていく...

タグ：

posted at 23:35:26

もやしきんぐ @myskng

ジュリアPのための深層学習とJulia入門

タグ：

posted at 23:05:10

R MarkdownでJuliaを使う - Technically, technophobic. notchained.hatenablog.com/entry/rmarkdow...

タグ：

posted at 22:55:37

CSSに強い人は本当にすごいわ

タグ：

posted at 22:53:00

遠藤一同 @eeend

ここも同意すぎる。
（薬を飲むようになってから）「正直『ふつうの人は生きるのがこんなに楽だったのか』と思ったし、『今までの人生の苦しみはなんだったんだ...』とも思った。
もっとはやく受診していたら過去の人間関係にまつわる色々な失敗を回避出来たかもしれない。」

タグ：

posted at 22:46:07

吉田弘幸 @y__hiroyuki

新指導要領の問題は，予備校講師としてだけではなくて，小学生の親として当事者でもあるので諦めないよ。

タグ：

posted at 22:44:54

ʇɥƃıluooɯ ǝıʇɐs @tsatie

嬢様が小学校に上がる頃から #掛算と戦い始めた。そしたら有象無象が各地に潜伏暗躍する事を嫌でも知らされ，怪獣くもわや名も知らぬ下衆共も。でも狩っても刈っても現れる。悪貨は良貨を駆逐し…今度の改定は嬢様は直接被害を被るが「多分無視して教えて貰える」のだ。もう疲れた。 twitter.com/y__hiroyuki/st...

タグ：掛算

posted at 22:36:19

goropikari @goropikari_

OSS 開発に参加する楽しさは Julia が教えてくれた。
パッケージの depwarn 修正くらいしかしたことないけど、プルリクがマージされると結構嬉しい。
早く Julia 本体に一枚噛めるような Julian に私はなりたい。

タグ：

posted at 22:35:58

こうきょ @hiding_koukyo

配列つかうのにnumpy通さなくていいってのがいいね、Julia

タグ：

posted at 22:26:17

遠藤一同 @eeend

導入からめちゃくちゃ気持ちが解る……。こういう人、意外と多いと思うから皆もっと気軽に病院に行ってほしい

性格だと思ってた不安症状が心療内科で薬を貰ったら大幅に改善してから1年が経ちました - みんからきりまで kirimin.hatenablog.com/entry/2018/02/... pic.twitter.com/tTP6SuaL82

タグ：

posted at 22:16:21

@genkuroki アドバイスありがとうございました。
JuliaとPro、そしてアナコンダ、ミニコンダ共存で環境変数はJuliaでした。整理のためJuliaとミニコンダを消して、環境変数(JULIA_PKGDIR)を直したら動作確認できました。

タグ：

posted at 21:52:18

Julia、関数のオーバーロードあるのか増々良いぞ…

タグ：

posted at 21:41:26

積分定数 @sekibunnteisuu

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

ご本人にも伝えておこう。「二月の勝者」を読んで、↑のようなことをツイートしました。
@hoshi1221

タグ：

posted at 20:40:35

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

以下の組み合わせです
www.amazon.co.jp/dp/B072FKLFZL
www.amazon.co.jp/dp/B07448X2JT

タグ：

posted at 20:39:21

(iPad Proにするべきだったなあ) pic.twitter.com/IjR9ScN9RU

タグ：

posted at 20:38:34

いとーT[最近はペーパークラフト作家] @itoht2

JULIA_PKGDIRがJulia-0.6.2のままだった。

タグ：

posted at 20:30:44

ゴルゴ・サーディーン @golgo_sardine

宇宙エレベータに最大の誤解は、すぐ宇宙に行けると思われてること。
静止軌道ステーションまで、新幹線の速さで上がって一週間かかるんだよね。

だから、宇宙エレベータホテルって感じなのよ。 twitter.com/tsumura_isas6/...

タグ：

posted at 20:24:57

テントウムシ図に、"エスパー"。
www.youtube.com/watch?v=O1xC_C... #掛算

タグ：掛算

posted at 20:19:33

今気づいたけどJuliaとJuliaProがいる。JuliaPro入れた時Julia消してなかったんだっけな？

タグ：

posted at 20:12:59

津村耕司 @tsumura_isas6

宇宙エレベーターについては以下の漫画がオススメ
まっすぐ天へ (モーニングKC) 、的場健 (著)、金子隆一 (監修)
amzn.to/2Bz2Syi

タグ：

posted at 19:59:52

津村耕司 @tsumura_isas6

この記事とても面白いが、「宇宙エレベーターは現在の技術でもできるが、コストに見合う用途が無いので作っていない」というのは誤り。宇宙エレベーターは材料の強度不足により今の技術では実現不可。実現すればロケット不要になるのでメリットめちゃ大きい。 twitter.com/dailyportalz/s...

タグ：

posted at 19:52:21

私のフォロワーには paper.li ユーザーが結構いて、毎日「新聞」が発行されるのですが、プログラミングなんかに全く興味がなさそうな人の「新聞」に、私のせいで #Julia言語タグのニュースが科学技術枠のニュースとして掲載されてしまっている場合が結構あって笑える(楽しい)。

タグ： Julia言語

posted at 19:42:55

ゴルゴ・サーディーン @golgo_sardine

「XXXが動かねぇ」とか時間の無駄なので、さっさと全部Dockerにすんべ

タグ：

posted at 19:15:07

非公開

タグ：

posted at xx:xx:xx

「びっくりするほどよくわかる割合」だそうです。

「割合の学習についていけない」と自覚した子が、問題文中の「比べられる量」を見分けることだけなら出来るという想定で書かれています。
（そりゃ、個人差のある話ですから、そういう子『も』いるんでしょうけど…）
www.fujinomiyakyouzaikaihatsu.com/app/download/7... #掛算

タグ：掛算

posted at 18:35:03

koji hasegawa @myfavoritescene

そういえば指導要領の改定案へのパブリックコメントについて、詳しい先生によると意見しても今回の改定に反映するのは無理だが、中の人もこれで良いと思っている人ばかりではないので、意見が多く出たほうが次回10年後に反映させやすいと思われるのでぜひ宣伝して欲しい由
www.mext.go.jp/b_menu/houdou/...

タグ：

posted at 18:26:19

#統計無作為抽出したサンプルが不運にもものすごく偏ったものになってしまうと統計的な推定は失敗するわけです。不運がどのようにどれだけ起こるかを見積もりたいので数学的に(もしくは理論的に)サンプル＝データは確率変数という扱いにするのです。

タグ：統計

posted at 18:17:30

#統計「サイコロをふって母集団からサンプルを無作為抽出する」という場面をイメージすれば、データ＝サンプルがサイコロの数学的抽象化である確率変数扱いになる意味が明瞭になると思います。

ベイズ統計でもデータ＝サンプルは当然確率変数扱いになります。

タグ：統計

posted at 18:15:48

#統計次のような表を書いて説明している人を見たら、「トンデモを教えるのをやめろ」と誰かはっきり言った方がよいです。

　　　　頻度論　　ベイズ
母数　　定数　　　確率変数
データ　確率変数　定数

これあまりにもアウト過ぎ。

データ＝サンプルはベイズ統計でも確率変数扱いです。

タグ：統計

posted at 18:13:30

積分定数 @sekibunnteisuu

#掛算 #超算数 #モルグリコ　中学受験塾という設定なんだけど、この手の天道虫って、「苦手な子に対してのやむにやまれぬ最後の手段」ということじゃなくて、ごくごく普通に当たり前に教えられているようですね。

タグ：モルグリコ掛算超算数

posted at 18:13:12

積分定数 @sekibunnteisuu

#掛算 #超算数 #モルグリコ
スピリッツ連載「二月の勝者」第1巻より pic.twitter.com/0y6oKTg2LJ

タグ：モルグリコ掛算超算数

posted at 18:09:56

#統計関連スレッド

twitter.com/genkuroki/stat...

タグ：統計

posted at 18:06:13

#Julia言語以前投稿できなかったGIF動画のサイズを縮めて再投稿。t-SNEの最適化過程の動画です。色付けは最適化とは無関係。高次元空間内の点の分布を二次元平面に非線形に射影している。テストサンプルはいつものMNISTのあれ。 pic.twitter.com/w0g1IFmUOX

タグ： Julia言語

posted at 17:57:43

#Julia言語高次元空間上の損失函数の最適化の過程のアニメーションはもっとたくさん公開されるべきだと思う。そういうアニメーション群は最適化の過程に関する多くの人達の直観と理解を深めることになると思う。

タグ： Julia言語

posted at 17:14:07

#Julia言語リンク先の動画は、「t-SNE」のような文脈によらない、ある種の高次元空間上の函数の最小点を見付ける問題の多くに共通する挙動の一例になっているように思えます。KLダイバージェンスが順調に下がる段階、停滞とポコッと下がることが繰り返される段階。

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 17:12:48

#Julia言語 t-SNEのアニメーションを作るために使ったソースコードは

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

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

で公開してあります。今ならもっとうまくやれる。

誰かUMAPのアニメーションを！

タグ： Julia言語

posted at 17:06:04

twitter.com/genkuroki/stat...

上のリンク先でのスレッドで私は t-SNE による最適化の過程をアニメーションで見えるようにしてみたのですが、UMAP (Uniform Manifold Approximation and Projection)についても何かアニメーションを作ってくれる人がいるとみんな楽しめると思う。

タグ：

posted at 17:00:17

#統計ベイズ推定法の利点の一つは予測分布

p^*(x) = ∫p(x|w)φ^*(w)dw, φ^*は事後分布

の形に「推定の不十分さ」が明瞭に現れることだと思う。

パラメーターの値w^*をえいやっと決めてp(x|w^*)を予測分布とするあらゆる方法は予測分布の段階で「推定の不十分さ」の情報が完全に消えてしまう。

タグ：統計

posted at 15:55:10

非公開

タグ：

posted at xx:xx:xx

#統計ベイズ統計の既存のパッケージは主に事後分布に関するサマリーを表示してくれるだけで、予測分布およびその信頼性の指標を知るためには「ひとてま」が必要(実際にはものすごい手間が必要なことがある)になる。おそらく、このことも誤解が消えない原因の一つになっている。

タグ：統計

posted at 15:47:47

#統計事後分布はパラメーターの確率分布なので、事後分布によるパラメーターの平均値で、予測分布を決めることもできるのですが、これもベイズ推定ではありません。

ベイズ推定法における正しい(数学的性質に良い)予測分布は、事後分布による確率モデルの平均になります。

タグ：統計

posted at 15:44:45

#統計事後分布を求めても、事後分布を現実世界の未知の確率分布の予測にどのようにつなげるかを明確にしないと、ベイズ推定法の真の使い方は確定しません。

事後分布が最大になるパラメーターで予測分布を決めるのはベイズ推定ではありません。

タグ：統計

posted at 15:42:25

#統計誤解を防ぐには、「パラメーターの推定」をやめて「確率分布の推定」を考えるという発想が役に立ちます。

最尤法の解は「尤度函数を最大にするパラメーター」なのですが、その発想から逃れられないと、「ベイズ推定の解は事後分布である」という**誤解**をしてしまうことになります。

タグ：統計

posted at 15:39:33

#統計ツイッターでも以上で指摘したデマを定期的に広報しているアカウントがあるように見えるので注意した方がよいかも。

タグ：統計

posted at 15:32:48

#統計最尤法であろうが、ベイズ推定法であろうが、未知の真の分布は決まっており、ある確率モデルのパラメーターで特徴付け可能ならそのパラメーターは固定されてしまい揺らいだりしないと考えます。

ベイズ統計で確率変数になるパラメーターと真の分布のパラメーターは概念的に全く違うものです。

タグ：統計

posted at 15:31:17

#統計ベイズ統計における95%信用区間の意味での95%は、現実世界の(一般に未知の)確率分布に関する確率ではなく、統計分析を行った人が設定した確率モデルと事前分布のもとで計算された「仮想世界」における確率に過ぎない。仮想世界による現実世界の近似がどれだけ成功しているかは別問題。

タグ：統計

posted at 15:27:29

#統計続き。「95%の信用区間に真のパラメーターが入っている確率は95%であると言ってよい」というような誤解は、p値に関するありがちな初歩的誤解と同様な誤解であり、それを言ってしまうと「この人は理解していない」とみなされても仕方がない。

タグ：統計

posted at 15:23:08

#統計 p値は現実の真の分布に一致している必要がない(帰無仮説の定式化になっている)確率分布における確率を意味するに過ぎない。p値は現実世界の確率分布で何かが成立している確率を意味しない。

ベイズ統計の95%信用区間の95%も同様に現実世界の確率分布で何かが成立している確率を意味しない。

タグ：統計

posted at 15:21:16

#統計続き。「95%の信用区間に真のパラメーターが入っている確率は95%であると言ってよい」というようなひどい誤解、p値に関するありがちな初歩的誤解に匹敵するほど酷い誤解が、堂々として流通しているように見える。

タグ：統計

posted at 15:17:34

#統計続き。それは「ベイズ統計では頻度主義的な統計学と違って真の確率分布のパラメーターも確率変数とみなし、真のパラメーターがこの範囲に入っている確率は95％であるというような主張が意味を持つ」というような誤解。続く

タグ：統計

posted at 15:15:36

#統計「ベイズ統計では頻度主義的な統計学と違ってパラメーターを確率変数とみなす」という説明の仕方は誤解を招くのでやめた方がよいと思う。どういう誤解がまずいのか。続く

タグ：統計

posted at 15:13:36

HttpParseがインストールできねえ

タグ：

posted at 15:03:58

Rui Ueyama @rui314

ぴた(ピーター)@モヒλ @pitapeterpita

.@herumiさんの暗号技術の本、驚異的によいのでは。これが全文PDF無償公開って一体なぜ？というレベル。 herumi.github.io/ango/

タグ：

posted at 14:40:03

非公開

タグ：

posted at xx:xx:xx

@youkaikomachi 羽生くんさん14歳ですかね？
宇野くんが幼い pic.twitter.com/DjwHSBJjMx

タグ：

posted at 14:23:49

夏毛 @moffattwt

フィギュアスケートの結果、家でニュースをみる前になんらかの形で知ることになるだろうなとおもってたけど、駅のホームで男が「羽生金メダルやー！！」って走っていった

タグ：

posted at 14:15:43

「超弦理論は物理か？」に関する議論では中西襄さんの悪印象が大きい。
物理をわかっていないから批判しているんじゃないかという印象が強い。

中西氏にはインターネット上で算数における掛算順序固定指導まで擁護した「実績」もある。

タグ：

posted at 14:11:57

妖怪こまち @youkaikomachi

ヴァーーー！今こそこの画像を見るっ！時っ！！！！！ヴァーーー！！！！！ pic.twitter.com/i0tN0uPyul

タグ：

posted at 14:10:14

Julia v.s. R cheat sheet作ろうと思ったが、R Markdown | Jupyter notebookの2-column設定がよくわからんので、やめ…

タグ：

posted at 13:43:30

Ryobot @_Ryobot

深層強化学習の問題点を実例を挙げて説明しててすごく良かった．
www.alexirpan.com/2018/02/14/rl-...
DQN系はサンプル効率がとても悪い．
多くの問題はUCTや古典的手法で解決できる．
報酬設計が難しく政策が間違った目的に最適化しがち．間違えたローカルミニマから脱出も難しい．
３割は初期値不良で失敗する．

タグ：

posted at 13:28:02

www.youtube.com/watch?v=luFrG9...

クルーグマンさんが「我々はどのように教育システムを修正すればよいでしょうか？」という質問に答えて曰く「最初はお金だけですね」( First off just money)と。いきなりはっきり言っていてわろた。

日本でも「まずはお金を出すことですね」と言うべき。

タグ：

posted at 13:24:48

大学新入生に「数学には代数・幾何・解析があって云々」のような解説をしている数学の先生は学生に害を与えていると思う。そのような安易な分類による解説を好む人達はその好み自体が好ましくないことを認識し、そのような安易な分類で解説する数学の先生を学生の立場からきちんと爆撃するべき。

タグ：

posted at 13:09:10

物理学者達が「超弦理論は物理であるか」のような議論をしているのも、昔からくだらないことだと思って見ている。私の感覚では、「物理であるか？」のような問いはどうでもよくて、数学的に価値があれば全然問題ない。数学的に価値が高ければその研究は我々の子孫の生活水準を改善する可能性が高い。

タグ：

posted at 13:05:16

社会的に構築された分野の分類の類は思考から可能な限り排除した方がよい。

タグ：

posted at 13:03:00

分野の分類は、ぶっちゃけお金の分配とリンクしているので、可能な限り、相手をしたくないと感じている。代数・幾何・解析の分類は私個人の感覚ではクズそのもの。正常に数学を理解するためにはその手の分類は害にしかならない。

タグ：

posted at 13:01:46

私は rigorous なことも exact なこともどちらも好きなのですが(数学好きの多くがそうだと思う)、片方を犠牲にしなければいけない場面では、rigorous であることを犠牲にして exact であることを優先したいと感じる強い傾向があります。大学4年のときにそのことに気付いて非常に悩んだ。

タグ：

posted at 12:59:31

@k_b_ms Python側でpyplotを使えるかどうかも念のために確認しておいた方がよいかもしれません。Python側で問題が生じているせいで、PyPlotやPyCallでjuliaが落ちることがあると思います。

タグ：

posted at 12:53:43

#Julia言語私のインストールの記録は以下の場所にあります。

nbviewer.jupyter.org/gist/genkuroki...
WindowsへのJulia言語のインストール

nbviewer.jupyter.org/gist/genkuroki...
Windows上のJuliaへのStan.jlのインストールメモ

nbviewer.jupyter.org/gist/genkuroki...
Maxima.jl のインストールの仕方 (Windows編)

タグ： Julia言語

posted at 12:50:19

#Julia言語しかし、そのためにはPythonとの連携が必要になる。

juliabox.com を使えば面倒な環境構築の手間はゼロになる。

JuliaPro を入れればそこに必要なPython環境も含まれており、トラブルに出会う可能性が大幅に下がる。
juliacomputing.com/products/julia...

タグ： Julia言語

posted at 12:47:36

@genkuroki ありがとうございます。using pyplotが通るのでpkg.addはできているはずなので、環境変数とpkg.buildあたり確認します。

タグ：

posted at 12:47:17

#Julia言語

* 数百行程度のコードしか書かない。
* 複数のプロットを行う。
* コードを少しずつ書き換えて試行錯誤を行う。
* 整形された数式でコメントを書いておきたい。

という場面ではJupyter notebookでJulia言語を使うと便利です。だから、Jupyter notebookとの連携は非常に重要。続く

タグ： Julia言語

posted at 12:45:02

#Julia言語自体のインストールは「公式バイナリを入れる」とおぼえておけばトラブルに出会う可能性は非常に小さい。

しかし、Pythonとの連携(Jupyter notebookでの利用やPyCallのインストール)では失敗する可能性が高い。WindowsユーザーはJUPYTERとPUTHONの2つの環境変数に注意。

タグ： Julia言語

posted at 12:41:47

twitter.com/k_b_ms/status/...

#Julia言語

* load函数はusing FileIOしないと使えない。

* Pkg.add("ImageMagick")しておくだけで十分で、FileIOパッケージのload函数でイメージを読み込むときにusing ImageMagickしておく必要はない。

タグ： Julia言語

posted at 12:38:49

ニコ生公式_将棋 @nico2shogi

【第11回朝日杯将棋オープン戦】2/17(土) 羽生善治竜王 vs.藤井聡太五段の初対局は、藤井五段が119手までで勝利し、決勝進出を決めました。史上最年少一般棋戦優勝・六段昇段へ王手をかけました。
ただいま感想戦を生放送中です。
●視聴→ live.nicovideo.jp/watch/lv310686... pic.twitter.com/D480zX9FBd

タグ：

posted at 12:37:19

twitter.com/k_b_ms/status/...

#Julia言語 PyPlot,PyCallが正しくインストールされていないような感じ。Pythonとの連携ではPYTHON環境変数の設定が重要。私の場合には

ENV["PYTHON"]="C:\\Anaconda3\\python.exe"
Pkg.add("PyPlot")

でPyPlotとPyCallを入れた。Pkg.buildが必要かも。

タグ： Julia言語

posted at 12:25:08

kernel再起動した後はIn[*]で動作が止まる。ファンも静かだから動いてないような気がする。

タグ：

posted at 12:12:32

using PyPlotした後plotするとkernelが再起動する・・・なんじゃこりゃ

タグ：

posted at 12:05:39

歩行者は右側通行 @JikanBae

スタンフォード大学の一年次向けっぽい線形代数の講義。Juliaで受けられるのは素晴らしいなー。 twitter.com/ceptree/status...

タグ：

posted at 11:45:13

Wavelets.jlは動いたけど、using PyPlotの後ろでコケてるくさい。

タグ：

posted at 11:37:12

@NakanakaPierrot おお！おめでとうございます。私も最初試したときにカーネルが死にまくりました。 (#Julia言語 + Jupyter)

タグ：

posted at 11:24:32

pkg.addとpkg.updateは最初の1回だけでusingで宣言するだけで良いのか。ファイル開く度に実行してた。考えてみれば当然か。

タグ：

posted at 10:54:02

非公開

タグ：

posted at xx:xx:xx

歩行者は右側通行 @JikanBae

Tomoya Matsuura 松浦知也 @tomoya_nonymous

@tomoya_nonymous いまの修士学生が学部生の頃はOctaveでしたねぇ（当時はOctaveで統計とかは授業やってなかったかも）。Juliaにはまだ十分な分散分析がないので、そこだけが一線を越えられない理由です。

タグ：

posted at 10:36:39

Tomoya Matsuura 松浦知也 @tomoya_nonymous

rustはクラスじゃなくて型自体を定義していく感じっぽかったけど、あれはjuliaでのプログラミングと結構似てると思っていいんだろうか

タグ：

posted at 10:34:09

@JikanBae そろそろ1年生からプロジェクトでRではなくJuliaを教えるピーキー教育へシフトする時期が…

タグ：

posted at 10:32:39

歩行者は右側通行 @JikanBae

以前は「Common LispとC++とMatlabを使えるのが最強」と思っていたけど、それが「ClojureとRustとRで良くね？」となり、今は「 #Julia言語で何でもできる！」となった。

タグ： Julia言語

posted at 10:26:52

おれさま @proxymoon

とりあえずWSLにJuliaインスコ

タグ：

posted at 10:16:08

Julia Vs R Comparison Cheat Sheet
datascience-enthusiast.com/R/R_Julia_chea...
#メモランダム

タグ：メモランダム

posted at 09:53:41

Rばりに書いててイラっとすることがねぇぞJulia…

タグ：

posted at 09:46:27

ｾｸｽｨ・ナカナカピエロ @NakanakaPierrot

.oO( Juliaはｲｲｿﾞ… )

タグ：

posted at 09:37:39

@genkuroki ご支援ありがとうございます。玄さんのおかげでJupyter Notebookとの連携が取れるようになりました。実行確認もしたので大丈夫だと思います。また何かありましたら色々と教えてください。🤗

タグ：

posted at 09:31:27

Tomohiro Takata @wingcloud

@Paul_Painleve 読みたいです！

タグ：

posted at 08:58:13

Paul Painlevé @Paul_Painleve

可能ならscanを取って公開したいという話になった。少なくとも私はGarnierの（教科書的でない）本は知らないし、書いてあることもいろいろと彼の昔の論文とは違っている（Hilbertの積分方程式も書いてある）ので、たいへん貴重だと思っている。

タグ：

posted at 08:56:26

Paul Painlevé @Paul_Painleve

ラミスさんにGarnierが書いたという謎の本（手書きで300頁以上）を見せてもらった。Gaston Juliaに渡したものだそうだが、Malliavinの手に渡り、Ramisが今持っている。私は出版されてないと思うが、Riemann-Hilbert問題やPainleve方程式についていろんなことが書いてある、興味深い本である。

タグ：

posted at 08:56:26

一日中Juliaちゃんと戯れる(予定）

タグ：

posted at 08:40:45

KJK @kkling51

ところで，現行の指導要領作成に関わって，現在，大学教員になった元文科官僚の授業で指導要領の内容批判をレポートに書いたら単位もらえるのかなぁ．経験的証拠と論理を重ねて，真実を追究するのが学問だとすれば，真理追究を放棄した大学の多いこと．アカデミズムを追求するのはそんなに悪いのかね．

タグ：

posted at 08:07:05

#Julia言語単体のインストールは超簡単。ただし、公式バイナリを入れた方が無難。公式バイナリ以外はバージョンが少し古いことがあったりするみたい。面倒なのはPython (Jupyter notebookを含む)との連携。それが面倒ならJuliaProを入れるまたは juliabox.com を使う。

タグ： Julia言語

posted at 05:34:59

#Julia言語どうしてもJupyter notebookでjuliaカーネルが死ぬならば、juliaのために設定してしまった環境変数の設定をすべてもとに戻してから、JuliaProのpersonal版(無料)をインストールすると楽だと思う。(Pythonももっと使いたくなったら全部最初から入れ直せばよい。)

juliacomputing.com/products/julia...

タグ： Julia言語

posted at 05:32:42

残り19件のツイートを見る

twitter.com/NakanakaPierro...

#Julia言語

環境変数 JUPYTER を設定してから、Pkg.add("IJulia") もしくは Pkg.build("IJulia") するとうまく行く場合があります。

nbviewer.jupyter.org/gist/genkuroki...
の第1.4節

私の場合では

ENV["JUPYTER"]="C:\\Anaconda3\\Scripts\\jupyter.exe"

とした。

タグ： Julia言語

posted at 05:24:24

#数楽以下のリンク先の話も基本的。堀田さん自身が量子力学のコンパクトな解説も書けば色々解決してみんなハッピーになれそうな予感。

twitter.com/hottaqu/status...

タグ：数楽

posted at 05:03:44

#数楽可積分系業界では常識に類する話なのですが、「連続時間発展と離散時間発展が時間幅1で完全にぴったり一致している場合がある」という話を初めて聞いた人は大抵びっくりしてくれます。

タグ：数楽

posted at 04:58:47

#数楽微分方程式が解ければL-operatorは対角化される。微分方程式を解かなければいけない点が問題になりますが、今の場合にはt→t+1の時間発展がCholesky分解の積の順序を逆転する操作と一致しているので、離散的な時間発展のアルゴリズムで数値的に対角化可能ということになります。

タグ：数楽

posted at 04:57:16

#数楽対角化される理由は連続時間発展の方のオープン戸田格子の方を見れば直観的に明らかです。反発しあって遠くに離れればポテンシャルが0になって運動量が変化しなくなる。力学的には対角化されることが当然ということがわかる。

タグ：数楽

posted at 04:55:25

#数楽連続および離散戸田格子は行列の固有値を保ちます。所謂スペクトル保存変形。そして、運動量 p_i が固有値に収束する。L-operatorがt→∞で対角化されます。

タグ：数楽

posted at 04:53:54

#数楽可積分系についてかじったことがある人ならみんな知っている話です。証明をフォローできなくても、 #Julia言語などの常微分方程式を数値的に解いてくれるパッケージとCholesky分解の両方を使える道具を使えば、誰にでも容易に驚くべき一致が起こっていることを数値的に確認できます。

タグ： Julia言語数楽

posted at 04:52:13

#数楽離散戸田格子の離散時間発展は

Cholesky分解して行列の掛算の順序をひっくり返すこと

で定義されます。これとオープン戸田格子の連続的時間発展のt→t+1がぴったり誤差無しに一致するという結果。要するに連続時間発展t→t+1の非常に良い公式が存在するという話。

タグ：数楽

posted at 04:49:56

ジョゼフ・アンリ @joseph_henri

#Julia言語 #数楽

 nbviewer.jupyter.org/gist/genkuroki...
連続オープン戸田格子と離散戸田格子の解の一致

Δt=1の連続時間発展と離散時間発展がexactに一致するという話。証明はそう難しくないが、上のリンク先では数値的に確認してみた。

実戦が連続時間発展。点が離散時間発展。続く pic.twitter.com/oGMz0g1xeL

タグ： Julia言語数楽

posted at 04:46:21

大橋穣二／『英文構造マンダラ』完成間近 @George_Ohashi

@George_Ohashi 個人的な私見ですが，線型代数学に比べて統計学は高校数学の中でも比較的実用的なものという認識があるのでしょう。ただ，文科省のお偉いさんは，統計学を本格的に勉強するにはΣも∫も必要にはなることと，線型代数学は実は重要な学問という認識が欠けているのは間違いないです。

タグ：

posted at 04:19:55

ジョゼフ・アンリ @joseph_henri

@joseph_henri ありがとうございます。この調子だと、ベクトルも行列の後を追うんでしょうかねえ。それにビミョーな統計推しは何故？（ここ数年で単行本が何冊か出たのは知ってますが）

タグ：

posted at 04:05:33

大橋穣二／『英文構造マンダラ』完成間近 @George_Ohashi

@George_Ohashi この表は学習指導要領の改訂の度に，確率統計，複素数平面，行列の入れ替わりが激しくて作った表なのですが，ベクトルまで追加することになるとは夢にも思わなかったですね。
あと，駿台予備学校の清史弘先生が作られた学習指導要領の変遷のリンクも張っておきますね。
math.co.jp/uploads/shidoy... pic.twitter.com/8jST3NE8pP

タグ：

posted at 03:53:05

非公開

タグ：

posted at xx:xx:xx

@joseph_henri 同じ内容を違うやり方で描いてみましたが、それにしても酷いですね。他の単元は（あるいは数学以外の科目は）どうなっているのかということも気になってしまいます。（数学の履修範囲を文系か理系かで分けるのもそろそろやめてほしいものです。医学部より経済学部の方が高度な数学が必要でしょうし。） pic.twitter.com/21k9dCW3Tu

タグ：

posted at 01:27:49

niwatori @tomatobokujo

物理系でjulia流行ってんのか
後輩も使ってたし
物理系は黙ってFORTRAN

タグ：

posted at 00:59:56

ｾｸｽｨ・ナカナカピエロ @NakanakaPierrot

とりあえずmatlab縛りから解放されたので久しぶりのJulia。
git hubにあるPkgをaddしたいけど、Pkg.addはコケた。git hubもjuliaも初心者だからどこが問題なのかからわからない。まだ調べてもないけど、このclone or downloadをなんやかんやすればいいのか？
github.com/JuliaDSP/Wavel...

タグ：

posted at 00:27:52

Julia単体ではインストールに成功したが、Jupyter Notebookとの連携に失敗する。Kernelが死ぬ。

タグ：

posted at 00:14:29

atusy @Atsushi776

く、パイプ使えるJuliaに興味しめしつつ、Pythonの学習送れるとTweet → パイプに関するTweetで興味煽られる → Pythonも学べると更に煽られる → Linux Mintなので観念してapt install juliaする twitter.com/genkuroki/stat...

タグ：

posted at 00:11:19