黒木玄 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月19日(月)
james hennessy(AT VI @Jamesthesnake
@rbhar90 I basically use the pycall and Conda julia packages for integration of the python ecosystem
タグ：
posted at 00:01:39
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#Julia言語 マクロではJuliaの「式」を操作して「式」を作るプログラムを書くことになります。操作される「式」の形を知らないと苦しい。
そこで、「式」の例を増やしました。
ここで「式」はパースの結果のASTのことです。
gist.github.com/genkuroki/e5ca... pic.twitter.com/4wSu6J4adI
タグ： Julia言語
posted at 01:20:06
#Julia言語 多分、マクロについて聞くと最初に「シンボルってなに？」という話になると思います。
Juliaの文法に沿ったコード中の x のような名前をコンパイラは扱うときの名前のデータとしてシンボルは利用されます。
自分で「変数も扱える電卓のプログラム」を書けばすぐに理解できる話だと思う。 pic.twitter.com/rcEg27drW3
タグ： Julia言語
posted at 01:23:40
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
#Julia言語
Juliaでの内包表記
[f(x) for x in X]
は遅延評価されるgenerator
(f(x) for x in X)
と評価して配列化するcomprehensionの二重構造になっています。 pic.twitter.com/vZIXEUk0FZ
タグ： Julia言語
posted at 01:51:25
#Julia言語 ベクトルや行列の表記は vect や vcat と hcat の複合体にパースされます。 pic.twitter.com/orZRa4xZ5z
タグ： Julia言語
posted at 01:53:09
#Julia言語 面白いのは整数表記のパースの仕方で桁数が増えると、Int64の代わりに、Int128やBigIntだと解釈してくれるようになります。 pic.twitter.com/TAKjFB2Yes
タグ： Julia言語
posted at 01:54:37
#Julia言語 マクロの呼び出しには、マクロを使った場所のラインナンバーなどの情報が埋め込まれます。
マクロの中でマクロを呼び出す「式」を作りたい場合には
Expr(:macrocall, Symbol("@ foo"), LineNumberNode(@ __LINE__, Symbol(@ __FILE__)), ～)
のように書く必要がある。 pic.twitter.com/QOuBZLQENb
タグ： Julia言語
posted at 01:59:13
「特殊函数に関する既存のFortranライブラリよりも速いコードを現代的なプログラミング言語(#Julia言語)で楽に書く方法」が実際に講義されていたことの記録↓
nbviewer.jupyter.org/github/steveng...
マクロや視覚化などが使われています。
Julia v1 でも動くようにしたもの↓
nbviewer.jupyter.org/gist/genkuroki...
タグ：
posted at 02:12:14
The pandemic has led many schools to offer both classroom and virtual instruction, but teachers say doing both concurrently is exhausting. nbcnews.to/37fOHy0
タグ：
posted at 02:26:05
非公開
タグ：
posted at xx:xx:xx
#Julia言語 私の「方法2」だとすべての列の型がAnyになってしまいます。その点は気にしていました。その点を改良した「方法3」を
gist.github.com/genkuroki/d500...
に追加しておきました。
github.com/JuliaPy/Pandas... を先に見れば何をやったかすぐに分かるはず。
twitter.com/MathSorcerer/s...
タグ： Julia言語
posted at 03:52:21
非公開
タグ：
posted at xx:xx:xx
@rbhar90 You don't need to give up python at all: github.com/JuliaPy/PyCall...
With that package, you can use pretty much all of python from Julia, including subclassing and with statements. Also does zero copy numpy interop and automatic conversions for other types. It's also robust
タグ：
posted at 04:02:46
@ArtirKel @rbhar90 Those are only two points of comparison, and Julia is ahead even there. Julia's python interop is more feature rich and robust than swift's. It can even do subclassing with Julia types and mutual recursion. It's used in production : github.com/JuliaPy/PyCall... 1/n
タグ：
posted at 04:08:54
@ArtirKel @rbhar90 Also has zero copy numpy interop and automatic conversion. Swift's autodiff is still in progress, still in a fork. Julia also has source to source compiler autodiff, but it's done in pure Julia from a third party package because the compiler has use facing API's, unlike swift 1/n
タグ：
posted at 04:10:47
@ArtirKel @rbhar90 Swift has almost none of that small fraction of those things. Also Julia has metaprogramming and can generate custom GPU kernels, unlike in swift that currently has to use Cuda C or TF/XLA, so no custom types and code. Also more composable with multiple dispatch
タグ：
posted at 04:14:15
#JuliaLang: ”open source, fast like #C, dynamic like #Ruby, usable like #Python, statistics-friendly like #R, powerful for linear algebra like #Matlab, glueing programs together like #shell, simple to learn, interactive, compiled.”
The game’s on.
thedataexchange.media/a-programming-...
タグ： C JuliaLang Matlab Python R Ruby shell
posted at 05:31:49
[New Post] Theorem Proving For Catlab 2: Let's Try Z3 This Time. Nope. #categorytheory #julialang www.philipzucker.com/theorem-provin...
posted at 06:52:18
How it started How it's going #julialang pic.twitter.com/FHUm0ru1dT
タグ： julialang
posted at 07:52:22
@CaseyKneale Yes, as in "Categories of Optics" (arxiv.org/abs/1809.00738). The left picture is from my AD writeup (gist.github.com/Keno/4a6507b75...). The right picture is from Diffractor.jl, which is my WIP new AD package.
タグ：
posted at 08:04:55
@CaseyKneale No, the package name is a pun. Optics + Differentiation + Functor = Diffractor
タグ：
posted at 08:08:24
@ihnorton Like so? #julialang
How it started How it's going pic.twitter.com/D8p1zserBy
タグ： julialang
posted at 08:10:27
New post: Theorem Proving For Catlab 2: Let’s Try Z3 This Time. Nope. - www.juliabloggers.com/theorem-provin... #julialang
タグ： julialang
posted at 08:13:04
How it started How it's going #Flux3D #JuliaLang pic.twitter.com/tTS879oxps
posted at 08:24:21
Docker - Qiita BinaryBuilder.jlがすごい〜自動でDockerでクロスコンパイルしてcやFortranのコードをJuliaライブラ qiita.com/cometscome_phy...
タグ：
posted at 10:41:38
Theorem Proving For Catlab 2: Let’s Try Z3 This Time. Nope. www.juliabloggers.com/theorem-provin... #juliabloggers
タグ： juliabloggers
posted at 10:43:05
【再々々掲】拡散動画で「ポプラの綿毛は火災の原因になるので燃やして除去している」というのは誤り。燃えているのは意図的ではなく、そのたびごとに消防が出動して消しているとのこと。こちらの(5)を参照。 infact.press/2020/05/post-5...
タグ：
posted at 11:03:09
康一はプラスマイナスゼロの基本的な人だから、露伴の異常さが際立ちますよね。あと、知的ゲームのときに露伴が使いやすいんですよ。博打的なところにこだわるじゃないですか。仗助だったら「ジャンケンなんてバカバカしくてやれねえ」なんて言うかもしれないけど、露伴だったら乗りそうですよね。
タグ：
posted at 11:06:34
Plots.jlとLaTeXStrings.jlを組み合わせてラベルを付けたときに, 文字が重なってしまうことがあるが, この感覚は調整できるのだろうか?
検索してみると, 軸からのラベルの距離の指定方法は出てくるけれど, 欲しい情報は見つからない.
#Julialang pic.twitter.com/xTpQk46ePO
タグ： Julialang
posted at 12:04:14
ごまふあざらし(GomahuAzaras @MathSorcerer
@H_USHIHARA ダミーデータをプロットするという荒技を発見したので共有します．
#Julia言語
#Julialang pic.twitter.com/DYprg0e0f2
posted at 12:18:47
非公開
タグ：
posted at xx:xx:xx
New post: Theorem Proving For Catlab 2: Let’s Try Z3 This Time. Nope. - juliabloggers.com/theorem-provin...…
#JuliaLang #DataScience
タグ： DataScience JuliaLang
posted at 14:22:33
Theorem proving for Catlab 2: Let's try Z3 this time. Nope. ~ Philip Zucker (@SandMouth) www.philipzucker.com/theorem-provin... #CategoryTheory #JuliaLang
posted at 15:49:37
@heterohyper0930 #Julia言語 の本場のMITで現在進行中のランダム行列の講義のリポジトリ
github.com/mitmath/18338
MIT course 18.338, Eigenvalues of random matrices, for the Fall 2020 semester
Lecturer: Prof. Alan Edelman
Example↓
nbviewer.jupyter.org/github/mitmath...
TracyWidomTwoWays.ipynb pic.twitter.com/QOxZzQakm0
タグ： Julia言語
posted at 16:00:44
Patrick Aschermayr @PAschermayr
The second part of my parameter estimation on state space models guide is here: particle filtering for hidden Markov models!
paschermayr.github.io/post/statespac...
#research #statespacemodels #julialang #particlefiltering #pmcmc
タグ： julialang particlefiltering pmcmc research statespacemodels
posted at 16:14:02
ごまふあざらし(GomahuAzaras @MathSorcerer
別解として pyplot にバックエンドを切り替えて
legendfontsize を大きくするという方法もあります．
ここまでくるともう各自の好み． twitter.com/MathSorcerer/s...
タグ：
posted at 16:14:38
ごまふあざらし(GomahuAzaras @MathSorcerer
こんな感じ
#Julia言語 pic.twitter.com/qxagjorwdV
タグ： Julia言語
posted at 16:16:18
Hideki Kawahara: WAS @hidekikawahara
I'm using Overleaf, the free online collaborative LaTeX editor - it's awesome and easy to use! www.overleaf.com?r=4ecbc363&rm=t&rs=b
タグ：
posted at 16:22:34
非公開
タグ：
posted at xx:xx:xx
@KanyokoSan この質問者のような人にならないように、「掛け算の順序はどっちでもいい」と徹底すべきでしょう。
komachi.yomiuri.co.jp/t/2004/0607/00...
タグ：
posted at 18:54:34
@H_USHIHARA @MathSorcerer #Julia言語 なるほど、pyplot()が手軽でいいですね。
デフォルトのgr()は手軽で速くて使い易いのですが、細かいことを気にし出すと苦しい。pyplot()は速度的には劣りますが、安全牌な感じ。
legendも半透明化してみました↓
nbviewer.jupyter.org/gist/genkuroki...
twitter.com/MathSorcerer/s... pic.twitter.com/ENJkRhXOTS
タグ： Julia言語
posted at 19:06:05
@sekibunnteisuu @KanyokoSan #超算数 普通に就職して書類を書いたことがあれば「数量×単価」の順序も避けることができないことを知っているはず。
そういうことを私でさえ知っている(笑)
添付画像の人は就職したことがない可能性があると思いました。 pic.twitter.com/J4Q5DgDt4F
タグ： 超算数
posted at 19:09:51
@sekibunnteisuu @KanyokoSan #超算数 常識的でまともなのはこちら→経理部的には【伝票を書くのは経理の人間ばかりではありませんので、内輪のルールを徹底させようとしても実際問題としては不可能／非効率ですので、むしろ順番がマチマチ(時には間違った書き方)でも内容を短時間で理解できる能力が必要】
twitter.com/genkuroki/stat...
タグ： 超算数
posted at 19:11:59
@sekibunnteisuu @KanyokoSan 「経理的には単価×数量の順で書かなければいけない」のようなことを言う人を定期的に見かけますが、「就職したことがない」または「書類を書いたことがない」または「常識を知らない」ということがばれてもいいと思っているんですかね？
分岐↓
twitter.com/genkuroki/stat...
タグ：
posted at 19:15:05
#掛算 困ったもんだ →【交換法則を根拠に順序問題を一蹴する理系の人は】【"客観的"の幻想にとらわれて、自分たちが人間社会の中で暮らしていることを忘れているように思う】かけ算の順序問題の解説と、かける数/かけられる数に見る人間の認識 - やんまの目安箱 86ma.hatenablog.com/entry/2020/10/...
タグ： 掛算
posted at 19:53:51
仕事柄、簿記1級程度まで勉強をしたことがある。
しかし「単価×数量の順で計算式を書きましょう。計算順序を逆にするとバツになります」だなんて問題集でもWebサイトでも見たことないですわ。 twitter.com/genkuroki/stat...
タグ：
posted at 20:54:59
かけ算の順序問題の解説と、かける数/かけられる数に見る人間の認識 - やんまの目安箱 86ma.hatenablog.com/entry/2020/10/...
よく今どきこんな周回遅れの文章を書けるものだ。
タグ：
posted at 21:05:38
魚の散歩をしながら考えた。順序などないというと、学習指導要領に書いてあるという。どこに書いてあるのかと聞いてみると、算数は数学とは違うという。どういうことかと聞くとブロックされる。とにかく超算数は難解である。
タグ：
posted at 21:22:34
@BrownieAlice 以下で指摘されてるように，ないはずのトレンドを見出してる人も世の中にはいらっしゃるので険しそう
twitter.com/genkuroki/stat...
タグ：
posted at 22:05:11
いろいろ手を動かしてみた結果記号I(f(x))をf(x)をa~xまで積分する記号と定義したら楽になりそう twitter.com/genkuroki/stat...
タグ：
posted at 22:15:45
セットというかハッシュテーブルはハッシュが衝突するたびにサイズを大きくするし、どうもPythonでは衝突するたびにサイズを3倍にしてるらしい。
サイズが216→728→2264→…って変化してた。
リストのサイズが線形なのはそれはそう。
タグ：
posted at 22:37:28
ハッシュのサイズを大きくするのは衝突するたびじゃなかった。
ロードファクター(ハッシュテーブルの占有率)が一定を超えたらパフォーマンスが落ちないようにリハッシュしてるんだった。
タグ：
posted at 22:50:34
Ehrenpreisが1987年に発見したテータ零値 θ(τ)が満たす3階の複雑な非線型方程式
Theta Functions–Bowdoin 1987, Part 2
books.google.co.jp/books?id=r0gEC...
その140年前，1847年にJacobiによって発見されていた：
Gesammelte Werke 2
archive.org/details/gesamm... twitter.com/wasao4u/status... pic.twitter.com/XLzT8OsLjf
タグ：
posted at 23:43:33
