黒木玄 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 を見て下さい。
2020年10月16日(金)
New post: Inference in State Space Models - Part 2 - www.juliabloggers.com/inference-in-s... #julialang pic.twitter.com/yOGUyN2DDC
タグ： julialang
posted at 23:31:32
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
I’m writing a book focused on an introduction to programming using #JuliaLang. What advice, criticism, etc. do you have? Open to all thoughts!
タグ： JuliaLang
posted at 21:44:56
非公開
タグ：
posted at xx:xx:xx
The flip side is that we sometimes get do do static analysis that is hard to do in completely static systems, because we get to delay doing the analysis until a point where enough information is available dynamically to make static analysis of the rest of the system possible.
タグ：
posted at 21:35:28
One consequence, which I think about a fair bit, but I think hasn't gotten much coverage is that we need to design language semantics that work well both in the dynamic and the static world (or at least are representable dynamically). Usually not easy.
タグ：
posted at 21:19:55
I think one way to understand #JuliaLang is as an experiment to find the minimal constraints on dynamic semantics to enable static analysis/optimization. World age is one of the enabling mechanisms here (maybe the primary one). twitter.com/j_v_66/status/...
タグ： JuliaLang
posted at 21:19:55
A paper about Julia's world age providing its formalization; I guess this should deepen our understandings of Julia's internal. twitter.com/j_v_66/status/...
タグ：
posted at 21:07:36
@j_v_66 @JuliaLanguage @ckfinite @julbinb @rossetate Nicely done! This paper is actually very accessible (to a non-scientist like me) and helps one understand more deeply some components of Julia. #JuliaLang
タグ： JuliaLang
posted at 20:38:59
#Julia言語 Juliaの行列の書き方はMATLAB方式を踏襲したものなのだと思います。MATLABは昔から多くの仕事で使われている有名なソフト。
いずれにせよ、行列を
A = [
a b
c d
]
のように書ける点は見た目的に非常によい。 twitter.com/heterohyper093...
タグ： Julia言語
posted at 20:33:14
出版社の方から献本して頂きました😃 二章まで読みましたが、読みやすく、実例やコードもあるので、かなり理解がしやすいと思います。サンプルがCですが、これがJuliaだったら満点。。(笑) ゼロからできるMCMC マルコフ連鎖モンテカルロ法の実践的入門 (KS理工学専門書) bit.ly/3nWWh6v pic.twitter.com/j1ODYtRToS
タグ：
posted at 20:29:44
1000 years of European history in 10 seconds [source: ow.ly/G9ud50y54Q9] [full video: ow.ly/qAxV50y54Qa] pic.twitter.com/oClb5MXu0S
タグ：
posted at 20:00:09
#Julia言語 「配列も抽象化してAPI経由で使うようにする」という発想をしたことがない人は
docs.julialang.org/en/v1/devdocs/...
Arrays with custom indices
を見ておいて損がないかも。
タグ： Julia言語
posted at 20:00:08
#Julia言語 Julia v1.5からは、配列aの最初の要素にa[begin]でアクセスできるようになっており、公式ドキュメントにも
docs.julialang.org/en/v1/devdocs/...
Arrays with custom indices
の節がある。
0-basedでなければ困るレベルの低いエンジニアが沢山いるようだが、そういう人達の相手をするより生産的。
タグ： Julia言語
posted at 19:34:49
インデックスの始まりを0とか1に固定されると不便なので、0-basedも1-basedもどちらもダメだと思う。
抽象化が足りていない。
#Julia言語 の仕様(axesやfirstindexなど)を見ると、将来的には任意始まりの配列も使い易くなる可能性があり、すでに
github.com/JuliaArrays/Of...
がある。 twitter.com/wehavegiftforu...
タグ： Julia言語
posted at 19:27:49
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia 1.6-DEV だとprecompile してるよーのステータスで半月上の文字がクルクル動くようになってる
#Julia言語
ちょっとおしゃれになった pic.twitter.com/bcuBULVrze
タグ： Julia言語
posted at 18:24:44
ごまふあざらし(GomahuAzaras @MathSorcerer
GIFの元は下記のリンクからのものです．
github.com/jsxgraph/jsxgr...
タグ：
posted at 18:15:34
ごまふあざらし(GomahuAzaras @MathSorcerer
JS の jsxgraph はアニメーションをブラウザ上で動かせます．
JSXGraph.jl は WIP のステータスですが将来的にこういうのが Julia でかいて JSExpr で変換してくれるようになると便利だなって思いました． pic.twitter.com/EGu1OYyQB6
タグ：
posted at 18:12:00
twitter.com/OokuboTact/sta...
線形代数において、一次独立という概念は非常に重要である。
「一次独立」という用語を知らなくても、線形代数を理解していればこの概念が非常に重要であることは分かるはず。
一方、「複数あるベクトルのうちどの2つも平行ではない」というのは、さほど重要でもない pic.twitter.com/hoR6LyYSDB
タグ：
posted at 17:41:07
今日の午後は見事なウロコ雲が見えていた。（今はもう真っ暗） instagr.am/p/CGZb6u3j58O/ pic.twitter.com/KIi57j9lM1
タグ：
posted at 17:37:44
twitter.com/OokuboTact/sta...
例えば、行列の行と列を通常とは逆に覚えてしまっていても、「単なる間違い」であり、そのことで、その人の数学理解が怪しい、とはならない。
でもこれは駄目だ。 pic.twitter.com/OSGYvughpm
タグ：
posted at 17:29:28
Kouji Ohnishi 大西浩次 @koujiohnishi
そうして、現在は、おなじくESAの #位置天文衛星 #GAIA（ガイア）衛星が観測中。しかし、明るい星はサチってしまい精度がが出ません。日本には #超小型位置天文衛星「#ナノ・ジャスミン」という衛星が完成しているのですが、打ち上げ予算が無く、東大の研究室に保管中です。これが飛ぶと面白いのになあ
posted at 17:19:04
Kouji Ohnishi 大西浩次 @koujiohnishi
意外かもしれませんが、やや遠い位置にある1－3等星などの年周視差の精度が低いのです。
地上からの年周視差の測定は、シーイングの限界があって、30pc(100光年）くらいでしょうか。そのため、今は位置天文衛星の活躍です。その一つが、1980年代のESAの #ヒッパルコス衛星（これで10倍深く）です。
タグ： ヒッパルコス衛星
posted at 17:19:03
Kouji Ohnishi 大西浩次 @koujiohnishi
ベテルギウスは「赤色超巨星」でかい！ところが、ベテルギウスの脈動の様子から星のサイズの推定したところ、これまでより小さいことが分かった。見かけの大きさと合わせると、これまでの推定より距離が25％も近い。なお、意外かもしれませんが、年周視差の測定精度はベテルギウスが明るすぎるて悪い！ twitter.com/physorg_com/st...
タグ：
posted at 17:19:03
@HShinaoka @tomosoeoc @takasan_san_san #Julia言語
nbviewer.jupyter.org/gist/genkuroki...
配列の作り方
例の追加
In[10]はx^kのxを0から1まで刻んで作った縦ベクトルを横に連結して行列を作っている。
hcat と generator と ... の組み合わせ。
In[11]ではそれを使って多項式回帰の最小二乗法をやっている。オーバーフィッティングの典型例。 pic.twitter.com/AeX3OOE8N6
タグ： Julia言語
posted at 17:00:51
#Julia言語 公式ドキュメント？😊
docs.julialang.org/en/v1/
pdf → raw.githubusercontent.com/JuliaLang/docs...
個人的な意見では
docs.julialang.org/en/v1/manual/p...
Performace Tips
には目を通しておくべき。 twitter.com/dynyanko/statu...
タグ： Julia言語
posted at 16:42:11
@HShinaoka @tomosoeoc @takasan_san_san #Julia言語
nbviewer.jupyter.org/gist/genkuroki...
配列の作り方
In[1]よりもIn[2]がよい。
In[4]がシンプル。
In[5]の内包表記はやめた方が良い。In[6]が勝る。(In[7]のようにもできる)
In[9]は3次元配列の作り方の例。
基本的にブロードキャストのドット記法が便利。
Juliaのドット記法は神。 pic.twitter.com/ZE96awe48J
タグ： Julia言語
posted at 16:33:42
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ごまふあざらし(GomahuAzaras @MathSorcerer
Dash.jl が話題のようですが
天才のなゴマちゃんはチュートリアルを作ってたできゅ
terasakisatoshi.github.io/MathSeminar.jl...
#Julia言語
タグ： Julia言語
posted at 15:11:18
Welcome to Dash, Julia! buff.ly/2IAo4to おお，plotly DashがJulia対応に．えーと，言語の対応を増やしていくのも良いですが，何よりPythonにおいてFlaskに強く依存する部分とか，非同期処理が著しく阻害する部分とか，コールバックの共通化ができないところとか，タブUI対応とかを先に…
タグ：
posted at 14:23:02
@JuliaLanguage has a rather cool property, you can optimize code to run like C in the presence of eval and without need for on-stack-replacement magic. How, you ask? Well check @ckfinite and @julbinb's work: janvitek.org/pubs/oopsla20-... (with @rossetate and Jameson Nash). pic.twitter.com/YFQtbBoULN
タグ：
posted at 13:54:20
OokuboTact 大久保中二病中年 @OokuboTact
@genkuroki @sekibunnteisuu 228ページです pic.twitter.com/QkaiidkzBX
タグ：
posted at 13:48:24
非公開
タグ：
posted at xx:xx:xx
@tomosoeoc @takasan_san_san 3行以上は内包表記に拘らなくてもいいんじゃないかと思います。ループを回しても速いのがJuliaですので。
タグ：
posted at 13:40:28
@HShinaoka @takasan_san_san そうした用途でしたら、直接二次元配列の内包表記をするこのような書き方もできると思います。 pic.twitter.com/jVyShZzRnT
タグ：
posted at 13:35:53
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
@OokuboTact @sekibunnteisuu #超算数 添付画像のデタラメな一次独立性の定義は何ページに書いてありますか？ pic.twitter.com/l1OjxvQQ3R
タグ： 超算数
posted at 12:21:10
高三 和晃 / Kazuaki Taka @takasan_san_san
あれ、juliaで、
[x_1, y_1; x_2, y_2; ...]
みたいな二次元配列を内包表記で
[[0.01*i, sin(0.01*i)] for i=1:Nx, j=1:Ny]
みたいに書きたいけど、これじゃあダメだし、どうするんだっけ？
タグ：
posted at 11:47:13
非公開
タグ：
posted at xx:xx:xx
The Julia Language @JuliaLanguage
@plotlygraphs Great work @_mbauman and all others involved. #JuliaLang
タグ： JuliaLang
posted at 05:19:44
Our MIT licensed Julia package LinRegOutliers now implements ~20 pioneer methods in the literature and the number is increasing. Join us for a full-coverage of the literature in such a beautiful language such as Julia. Do you want to have contributions? #JuliaLang @JuliaLanguage
タグ： JuliaLang
posted at 05:15:17
Documentation for Dash for @JuliaLanguage is LIVE! ➡️ dash-julia.plotly.com
Read the announcement -> community.plotly.com/t/welcome-to-d...…
#julialang
pic.twitter.com/lSQnRVAv4J
タグ： julialang
posted at 04:42:04
🎉Documentation for Dash for @JuliaLanguage is LIVE! ➡️ dash-julia.plotly.com
Read the announcement ✨ community.plotly.com/t/welcome-to-d...
#julialang pic.twitter.com/FkUi4kdbzz
タグ： julialang
posted at 04:21:15
#Julia言語
タプルで書かれたLisp風のコードはJuliaに添付画像のように翻訳されます。
こういうことをJuliaでは十数行のコードで可能！
github.com/genkuroki/Meta...
↑ほとんどの行がドキュメント。
函数とマクロのコードは合わせて15行しかない！
こういう遊びをできる点は非常に教育的だと思う。 pic.twitter.com/BNdIR87MaW
タグ： Julia言語
posted at 02:29:39
#Julia言語
こんな感じに、最小二乗法でsin(x)を3次多項式で近似する計算とプロットも「簡単に」できます(笑)
最小二乗法の実行は9行目。
この謎のLispっぽいコードをJulia言語に翻訳するのは非常に簡単です。
Juliaがこんな構文だとユーザーは激減すると思う(笑)
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/libltcOhS7
タグ： Julia言語
posted at 02:13:59
非公開
タグ：
posted at xx:xx:xx
qiita.com/y4m3/items/c27...
-vオプションがよくわかってないんだが、ディレクトリ指定どうしたらいいんだ？（例えば今C下にpyproっていファイル作ったがそこと同期させるには）
タグ：
posted at 02:06:59
@takusansu @yomiuriouendan1 @sekibunnteisuu それ、小学校では「計算は過程が大事。順序が違っていたら答えが正解でもバツ」とか教えているから、中学数学でツジツマが合わなくなって「イコールの意味は2通り」などと言い出したんだと思います。
タグ：
posted at 01:45:00
#Julia言語 こういう構文でも動く。
タプルで書かれていてかつ「余計なもの」もくっついていますが、Lispにかなり近い。
これもJulia言語に翻訳されてから実行されます。
しかも、この手のことをJuliaでは100行未満でできます！ pic.twitter.com/QvPd8oXZsI
タグ： Julia言語
posted at 01:42:15
#Julia言語
添付画像だけを見ると、
なぞの変態構文な新プログラミング言語現る！
な感じですが、lambda構文だけマクロで処理しているだけで、ほぼJulia言語です。Julia言語に翻訳されてから実行されるので、実行速度はJuliaと同じ🤣
gist.github.com/genkuroki/9fc2... pic.twitter.com/gXeDprQnwE
タグ： Julia言語
posted at 01:39:32
Mario Kart Liveの実機レビュー。
概ね非常に公表だが悪い点だけここに書くと画質はちと荒くSwitch上では問題無いがTVでは少し暗い。時々ゲーム中にラグる場合がある。最大の問題はやはりマルチプレーヤー環境の構築が大変なこと。人数分のカートとSwitchが必要なのが痛い。あと猫は追っかけるw twitter.com/verge/status/1...
タグ：
posted at 01:29:13
@jeremyphoward @Viral_B_Shah @maleadt Major step towards first class custom GPU FP16 codegen complete: github.com/JuliaLang/juli...
タグ：
posted at 01:24:17
#Julia言語
野良パッケージの例↓
github.com/genkuroki/Meta...
公式登録されたパッケージの例↓
github.com/genkuroki/Isin...
公式登録までの手順の例↓(注意！すでに古い感じ)
nbviewer.jupyter.org/gist/genkuroki...
タグ： Julia言語
posted at 01:23:17
#Julia言語
Juliaの見逃せない特徴は、
pkg> generate Hoge
pkg> dev Hoge
julia> using Revise
julia> using Hoge
のようにして、Hoge/src/Hoge.jl を編集すれば、誰でも簡単にローカルパッケージを作って利用できることだと思います。
これにずっと気付いていなくてかなり損をしました。 pic.twitter.com/khz8owjGaD
タグ： Julia言語
posted at 01:17:23
【 #王将戦 挑決リーグ】
○豊島将之 竜王 VS ●広瀬章人 八段
第70期王将戦挑戦者決定リーグ戦、豊島将之竜王VS広瀬章人八段戦が10月15日（木）に行われ、200手で持将棋が成立。指し直し局は豊島竜王が126手で広瀬八段に勝ちました。
buff.ly/2SVvp8y
タグ： 王将戦
posted at 01:09:56
#Julia言語 スクショ集 3/3
gist.github.com/genkuroki/1a44... pic.twitter.com/1GPQjU6XE2
タグ： Julia言語
posted at 01:07:58
#Julia言語 スクショ集 2/3
Revise.jlを使うと、パッケージの方の変更が自動的にJupyter側に反映されるようになります。
gist.github.com/genkuroki/1a44... pic.twitter.com/7ft4sPsVna
タグ： Julia言語
posted at 01:07:56
#Julia言語 スクショ集 1/3
gist.github.com/genkuroki/1a44... pic.twitter.com/Bju4GTANjv
タグ： Julia言語
posted at 01:07:55
#Julia言語 Jupyterでは複数のセルにまたがる1つのmoduleの定義は不可能です。
大きめのmoduleの作成はパッケージにして、Revise.jlを使って、Juputer上で試行錯誤しながら作る方が楽だと思います。
具体的な方法は以下を参照
gist.github.com/genkuroki/1a44...
Jupyter上のローカルパッケージの開発の流れ twitter.com/HShinaoka/stat...
タグ： Julia言語
posted at 01:03:43
"（本ガイダンスではコンドームは避妊具ではなく性感染症予防手段と扱われています）
以上から、早いうちからの性教育は「寝た子を起こす」といった意見や、性に奔放になって危険だという指摘は、全く科学的根拠に基づかない考えであることがわかります。"
タグ：
posted at 00:36:30
"適切なカリキュラムに基づく包括的性教育プログラムによって以下のことが得られると示されています。（文献６）
・初交年齢が遅くなる
・性交渉の頻度が減る
・性的パートナーの数が減る
・リスクの高い行為が減る
・コンドームの使用が増える
・避妊具の使用が増える
～" twitter.com/Dashige1/statu...
タグ：
posted at 00:36:30
In this podcast @Viral_B_Shah (Co-creator of Julia Language) talks about the evolution and maturation of Julia language, Julia 1.5 and beyond
thedataexchange.media/a-programming-...
#JuliaLang #MachineLearning #DataScience #differentiableprogramming
タグ： DataScience differentiableprogramming JuliaLang MachineLearning
posted at 00:30:00
非公開
タグ：
posted at xx:xx:xx
