黒木玄 Gen Kuroki(@genkuroki)/2020年10月19日

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

まるなは@10/30_8thNGMS @EN3_14

Julia面白そうなので触ってみよ

タグ：

posted at 22:56:29

Teppei Eda @edapei

Turing.jlの欠損値推定のサンプルコードが動かない、、
#Julia言語 pic.twitter.com/Rn3prgc5tn

タグ： Julia言語

posted at 22:55:56

あずりえる @poyothon

ハッシュのサイズを大きくするのは衝突するたびじゃなかった。
ロードファクター(ハッシュテーブルの占有率)が一定を超えたらパフォーマンスが落ちないようにリハッシュしてるんだった。

タグ：

posted at 22:50:34

あずりえる @poyothon

セットというかハッシュテーブルはハッシュが衝突するたびにサイズを大きくするし、どうもPythonでは衝突するたびにサイズを3倍にしてるらしい。

サイズが216→728→2264→…って変化してた。

リストのサイズが線形なのはそれはそう。

タグ：

posted at 22:37:28

あずりえる @poyothon

Pythonのリストとセットの大きさ、なるほど。(全然なるほどじゃない) pic.twitter.com/csDtJRfuxu

タグ：

posted at 22:34:14

ソリング @TubeSoling

いろいろ手を動かしてみた結果記号I(f(x))をf(x)をa~xまで積分する記号と定義したら楽になりそう twitter.com/genkuroki/stat...

タグ：

posted at 22:15:45

カイヤン @389jan

@BrownieAlice 世はイキイキインターネット時代ですからね

タグ：

posted at 22:07:42

カイヤン @389jan

@BrownieAlice 以下で指摘されてるように，ないはずのトレンドを見出してる人も世の中にはいらっしゃるので険しそう

twitter.com/genkuroki/stat...

タグ：

posted at 22:05:11

カイヤン @389jan

@BrownieAlice ランダムウォークにトレンドなんてありませんからね！

タグ：

posted at 22:03:16

@kankichi57301 @kankichi57301

@sekibunnteisuu ***|*** VS **|**|** って横一列にしてアレイ図にしないのは
ミスリードを狙ってる？
#掛算

タグ：掛算

posted at 21:34:30

madfish @madfish19

魚の散歩をしながら考えた。順序などないというと、学習指導要領に書いてあるという。どこに書いてあるのかと聞いてみると、算数は数学とは違うという。どういうことかと聞くとブロックされる。とにかく超算数は難解である。

タグ：

posted at 21:22:34

かけ算の順序問題の解説と、かける数/かけられる数に見る人間の認識 - やんまの目安箱 86ma.hatenablog.com/entry/2020/10/...

よく今どきこんな周回遅れの文章を書けるものだ。

タグ：

posted at 21:05:38

右近忠重 @ukontadasige1

仕事柄、簿記1級程度まで勉強をしたことがある。
しかし「単価×数量の順で計算式を書きましょう。計算順序を逆にするとバツになります」だなんて問題集でもWebサイトでも見たことないですわ。 twitter.com/genkuroki/stat...

タグ：

posted at 20:54:59

増田聡 @smasuda

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

てゆうか日本の新型コロナ感染者数、はっきりと中国の数を超えたんだけどどこのマスコミも大きく報じないね。結構すごいニュースやと思うねんけど

タグ：

posted at 20:21:25

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

そのサイト用の、四条畷市教育委員会の画像。 pic.twitter.com/nStzwS8G4B

タグ：

posted at 20:04:24

#掛算困ったもんだ →【交換法則を根拠に順序問題を一蹴する理系の人は】【"客観的"の幻想にとらわれて、自分たちが人間社会の中で暮らしていることを忘れているように思う】かけ算の順序問題の解説と、かける数/かけられる数に見る人間の認識 - やんまの目安箱 86ma.hatenablog.com/entry/2020/10/...

タグ：掛算

posted at 19:53:51

@himanekogo 失礼します。両方ありますよ。

twitter.com/genkuroki/stat...

タグ：

posted at 19:37:31

@genkuroki @KanyokoSan pic.twitter.com/tUrPWp0IsK

社畜さんはこの認識をどこで身に付けたのでしょうか？

タグ：

posted at 19:16:18

@sekibunnteisuu @KanyokoSan 「経理的には単価×数量の順で書かなければいけない」のようなことを言う人を定期的に見かけますが、「就職したことがない」または「書類を書いたことがない」または「常識を知らない」ということがばれてもいいと思っているんですかね？

分岐↓
twitter.com/genkuroki/stat...

タグ：

posted at 19:15:05

@sekibunnteisuu @KanyokoSan #超算数常識的でまともなのはこちら→経理部的には【伝票を書くのは経理の人間ばかりではありませんので、内輪のルールを徹底させようとしても実際問題としては不可能／非効率ですので、むしろ順番がマチマチ(時には間違った書き方)でも内容を短時間で理解できる能力が必要】
twitter.com/genkuroki/stat...

タグ：超算数

posted at 19:11:59

@genkuroki @KanyokoSan 数量×単価で書いてあるのに、「単価×数量」と思い込んでいたらトラブルになるかもしれませんね。

タグ：

posted at 19:11:15

@sekibunnteisuu @KanyokoSan #超算数普通に就職して書類を書いたことがあれば「数量×単価」の順序も避けることができないことを知っているはず。

そういうことを私でさえ知っている(笑)

添付画像の人は就職したことがない可能性があると思いました。 pic.twitter.com/J4Q5DgDt4F

タグ：超算数

posted at 19:09:51

@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

@KanyokoSan この質問者のような人にならないように、「掛け算の順序はどっちでもいい」と徹底すべきでしょう。
komachi.yomiuri.co.jp/t/2004/0607/00...

タグ：

posted at 18:54:34

Hideki Kawahara: WAS @hidekikawahara

@KanyokoSan 失礼します。数量×単価も普通にありますよ。

twitter.com/genkuroki/stat...

タグ：

posted at 18:53:22

非公開

タグ：

posted at xx:xx:xx

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

こんな感じ
#Julia言語 pic.twitter.com/qxagjorwdV

タグ： Julia言語

posted at 16:16:18

別解として pyplot にバックエンドを切り替えて
legendfontsize を大きくするという方法もあります．
ここまでくるともう各自の好み． twitter.com/MathSorcerer/s...

タグ：

posted at 16:14:38

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

@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

José A. Alonso @Jose_A_Alonso

Theorem proving for Catlab 2: Let's try Z3 this time. Nope. ~ Philip Zucker (@SandMouth) www.philipzucker.com/theorem-provin... #CategoryTheory #JuliaLang

タグ： CategoryTheory JuliaLang

posted at 15:49:37

D.H Mekni @dorianhmekni

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

Yuki Nagai @cometscome_phys

Juliaのstructからフィールド名と値を取り出して辞書型に格納する方法がわかったので豆知識のところに追記した

タグ：

posted at 12:59:32

非公開

タグ：

posted at xx:xx:xx

USHIHARA @H_USHIHARA

@MathSorcerer ありがとうございます.
最後の手段という感じですが, 使えそうですね.

タグ：

posted at 12:19:56

@H_USHIHARA ダミーデータをプロットするという荒技を発見したので共有します．

#Julia言語　
 #Julialang pic.twitter.com/DYprg0e0f2

タグ： Julialang Julia言語

posted at 12:18:47

USHIHARA @H_USHIHARA

間隔

タグ：

posted at 12:04:25

USHIHARA @H_USHIHARA

荒木飛呂彦コメントbot @araki_h_bot

Plots.jlとLaTeXStrings.jlを組み合わせてラベルを付けたときに, 文字が重なってしまうことがあるが, この感覚は調整できるのだろうか?
検索してみると, 軸からのラベルの距離の指定方法は出てくるけれど, 欲しい情報は見つからない.
#Julialang pic.twitter.com/xTpQk46ePO

タグ： Julialang

posted at 12:04:14

ネット上の情報検証まとめ @jishin_dema

康一はプラスマイナスゼロの基本的な人だから、露伴の異常さが際立ちますよね。あと、知的ゲームのときに露伴が使いやすいんですよ。博打的なところにこだわるじゃないですか。仗助だったら「ジャンケンなんてバカバカしくてやれねえ」なんて言うかもしれないけど、露伴だったら乗りそうですよね。

タグ：

posted at 11:06:34

【再々々掲】拡散動画で「ポプラの綿毛は火災の原因になるので燃やして除去している」というのは誤り。燃えているのは意図的ではなく、そのたびごとに消防が出動して消しているとのこと。こちらの(5)を参照。 infact.press/2020/05/post-5...

タグ：

posted at 11:03:09

Julia News @julialang_news

Theorem Proving For Catlab 2: Let’s Try Z3 This Time. Nope. www.juliabloggers.com/theorem-provin... #juliabloggers

タグ： juliabloggers

posted at 10:43:05

tomi rss @tomirss

Docker - Qiita BinaryBuilder.jlがすごい〜自動でDockerでクロスコンパイルしてcやFortranのコードをJuliaライブラ qiita.com/cometscome_phy...

タグ：

posted at 10:41:38

How it started How it's going #Flux3D #JuliaLang pic.twitter.com/tTS879oxps

タグ： Flux3D JuliaLang

posted at 08:24:21

Julia Bloggers @juliabloggers

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

@ihnorton Like so? #julialang

How it started How it's going pic.twitter.com/D8p1zserBy

タグ： julialang

posted at 08:10:27

@CaseyKneale No, the package name is a pun. Optics + Differentiation + Functor = Diffractor

タグ：

posted at 08:08:24

@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

How it started How it's going #julialang pic.twitter.com/FHUm0ru1dT

タグ： julialang

posted at 07:52:22

Philip Zucker @SandMouth

[New Post] Theorem Proving For Catlab 2: Let's Try Z3 This Time. Nope. #categorytheory #julialang www.philipzucker.com/theorem-provin...

タグ： categorytheory julialang

posted at 06:52:18

Saana Mäenpää @drsamarianna

#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

@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

@ArtirKel @rbhar90 where it has to be done in CPP. that means the community can contribute and iterate faster. It also has packages for regular ML, dataframes, graph, bayesian stats, distributed computing, nested threading etc

タグ：

posted at 04:11:44

@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 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

@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

非公開

タグ：

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

@widged Welcome! how about github.com/GenieFramework...

タグ：

posted at 03:51:07

非公開

タグ：

posted at xx:xx:xx

NBC News @NBCNews

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 02:18:22

「特殊函数に関する既存のFortranライブラリよりも速いコードを現代的なプログラミング言語(#Julia言語)で楽に書く方法」が実際に講義されていたことの記録↓

nbviewer.jupyter.org/github/steveng...

マクロや視覚化などが使われています。

Julia v1 でも動くようにしたもの↓
nbviewer.jupyter.org/gist/genkuroki...

タグ：

posted at 02:12:14

おそらく米国のMITの周辺の優れた学生は #Julia言語でプログラミングを習うことによって、コンパイラの仕組み、ハードウェアを意識した最適化、メタプログラミング及び

特殊函数に関する既存のFortranライブラリよりも速いコード
を現代的なプログラミング言語で楽に書く方法

を習得するでしょう。

タグ： Julia言語

posted at 02:06:37

#Julia言語

完全なマクロを持つJuliaでは、「中で何をやっているか」を覗くために必要な精神力が非常に少なくて済みます。

この点も教育用のプログラミング言語として非常に優れていると思います。

コンパイルの途中の様子やコンパイル結果も非常に容易に見ることができます。

タグ： Julia言語

posted at 02:02:03

#Julia言語マクロの呼び出しには、マクロを使った場所のラインナンバーなどの情報が埋め込まれます。

マクロの中でマクロを呼び出す「式」を作りたい場合には

Expr(:macrocall, Symbol("@ foo"), LineNumberNode(@ __LINE__, Symbol(@ __FILE__)), ～)

のように書く必要がある。 pic.twitter.com/QOuBZLQENb

タグ： Julia言語

posted at 01:59:13

#Julia言語面白いのは整数表記のパースの仕方で桁数が増えると、Int64の代わりに、Int128やBigIntだと解釈してくれるようになります。 pic.twitter.com/TAKjFB2Yes

タグ： Julia言語

posted at 01:54:37

#Julia言語ベクトルや行列の表記は vect や vcat と hcat の複合体にパースされます。 pic.twitter.com/orZRa4xZ5z

タグ： Julia言語

posted at 01:53:09

#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

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

#Julia言語多分、マクロについて聞くと最初に「シンボルってなに？」という話になると思います。

Juliaの文法に沿ったコード中の x のような名前をコンパイラは扱うときの名前のデータとしてシンボルは利用されます。

自分で「変数も扱える電卓のプログラム」を書けばすぐに理解できる話だと思う。 pic.twitter.com/rcEg27drW3

タグ： Julia言語

posted at 01:23:40