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

こりゃあどうしてもLaTeXで数値計算してもらおう twitter.com/dmbrkp_/status...

タグ：

posted at 23:25:54

ダムP @dmbrkp_

出来らあっ！ twitter.com/PurPurkinje/st...

タグ：

posted at 23:24:57

非公開

タグ：

posted at xx:xx:xx

Yuki Nagai @cometscome_phys

Juliaで大抵のコードをFortran並みに速くするノウハウがたまってきた

タグ：

posted at 23:16:06

研究者は面倒くさい事をさける為に、当事者の筈の学術会議の会員も、大きな学会もだんまりを決め込む。それをいいことに与野党とも「自分たちがお前たちの評価を決めてやる」と上から押さえつけに来る。対して研究者は「出る釘は打たれる」とばかりに身を潜め、ひたすら打たれる続ける事になる。

タグ：

posted at 23:05:28

静岡県知事といい、党首と言い、立憲民主党「後ろから撃つ」のが上手すぎ。

タグ：

posted at 23:01:37

政治が物差し作ってパフォーマンス図るのが政治介入でなくって何なんですかね。政治介入を防ぐために政治介入するんですか。冗談にもなりませんよ。 twitter.com/HFASDragon/sta...

タグ：

posted at 23:00:28

シータ @Perfect_Insider

数学演習、線形代数の応用の章を公開しました！昨年までの微分方程式や確率過程への応用に加え、今年は情報科学への応用の節を設けて、最小二乗法、主成分分析、最適化問題（線形計画・半正定値計画）の双対性、サポートベクターマシン、画像圧縮等にも簡単に触れました。
sites.google.com/site/naotoshir...

タグ：

posted at 22:59:45

あ〜る菊池誠(反緊縮)公式 @kikumaco

世論の喝さいを浴びる為に研究者を叩き潰して、結果として、データにも何も基づかない「長年の勘」や評論家的なジェネラリストに頼る素人政治やって、また失敗するんでしょ。一体、民主党時代に何を学んだんだか。そういうのを「反知性主義」って言うんだよ。

タグ：

posted at 22:53:22

非公開

タグ：

posted at xx:xx:xx

もう一度「一億総中流」の時代を作るべきですよ。まあ、共産主義じゃないんだから富裕層がいるのは仕方ない。貧困を解決するのがだいじ。
消費税なんていう逆進性の強い税はなくして、所得税の累進性を上げるのと、あとは分離課税をやめるんじゃない？

タグ：

posted at 22:47:46

ポピュリズムと新自由主義的経済政策の混合体。そこに修正主義的なナショナリズムが加わるかどうかの違いしかない。

タグ：

posted at 22:46:00

両者とも大きな意味で「小泉改革の子供」なんじゃないですかね。 twitter.com/KanadeAkiyoshi...

タグ：

posted at 22:43:26

ceptree @ceptree

アンポンタン・ポカン博士 @tikiwa3756

いやあ、最近のはよくわからなくて私はまだFORTRAN+gnuplotですよ(激強)みたいな人

タグ：

posted at 22:41:00

某講義のためにJuliaを触り始めたわけなんだけど、わからないことが多くってまだうまく扱えないのを実感している（それはそう

タグ：

posted at 22:39:43

Keno Fischer @KenoFischer

@edw_tweet @einselection @skepteis @JuliaLanguage @danluu You might enjoy the following papers for a PL theory look at language level innovations in julia: janvitek.org/pubs/oopsla18a...
janvitek.org/pubs/oopsla20-...

タグ：

posted at 22:35:07

Kanade Akiyoshi @KanadeAkiyoshi

立憲民主党も、動く上で結局は、自民党が念頭に置いている人たちを念頭に置いている訳だわな…。（自民党も立憲民主党も、動かしている人たちの思考が同じということか。少なくとも、そう見られても仕方ないわな…）

タグ：

posted at 22:26:31

しかし、この立憲民主党の一撃は大きいな。研究者を巡る状況の深刻さを何よりも象徴してる。日本にリベラルってないんやな。

タグ：

posted at 22:17:17

で、官僚さんが天下りしてくるわけですね twitter.com/shiroutosuisan...

タグ：

posted at 22:14:14

素人_山水 @shiroutosuisan

まあ、冗談じゃなくマジで前川は動員されるのだろう。

私の頃はこんなこと許さなかった、これが成果だったんです！

とか涙ながらにがなったりして。

タグ：

posted at 22:13:29

Kawase Takaya @t_kawase

何やってるの。問題はそこじゃないでしょうに。枝野さん、弁護士なんだからしっかりしてください。 twitter.com/kyodo_official...

タグ：

posted at 22:11:45

あ〜る菊池誠(反緊縮)公式 @kikumaco

与党からも野党からも、各々の基準で「お前らはパフォーマンスが悪いから予算はやらん」とやられる訳だ。で、「何が世の中にたつのか」ってどうやって決めるんですかね。

タグ：

posted at 22:11:32

立憲民主党はどんどん「ダメダメ感」を強めているので、このまま自滅するのではないかなー。どうすればああまで国民に背を向けた話ばかりできるのかのお

タグ：

posted at 22:10:15

「リベラル」なんて言う言葉は使わないで欲しいですね。左右の国家統制主義。 twitter.com/shiroutosuisan...

タグ：

posted at 22:07:33

素人_山水 @shiroutosuisan

立憲としては、とにかく共闘のためにポイントを稼ぐしかない。そうしないと、共産党が候補を下げて票を入れてくれないので。

これからは前川も暴れるでしょうねえ。 twitter.com/kankimura/stat...

タグ：

posted at 22:05:31

まあ、お先真っ暗感しかないわ。

タグ：

posted at 22:04:36

学問の自由とか自律性とかに対する姿勢は、同じだよね。物差しが違うだけ。

タグ：

posted at 22:03:09

Daisuke Tano @tanosensei

名古屋大「筑波大がやられたようだな……」広島大「ククク……ヤツは我ら四天王の中でも最弱……」金沢大「独裁学長にやられるとは旧高等師範学校の面汚しよ……」

タグ：

posted at 21:57:57

はいはい、同じ穴のムジナ。民主党政権期の文教行政を思い出すよね。 twitter.com/kankimura/stat...

タグ：

posted at 21:57:51

立民、学術会議の成果検証へ　組織論ただす自民に対抗 | 2020/10/20 - 共同通信 this.kiji.is/69122532349550...

タグ：

posted at 21:56:56

Julia News @julialang_news

The Julia Package Manager www.juliabloggers.com/the-julia-pack... #juliabloggers

タグ： juliabloggers

posted at 21:56:12

Shuhei Kadowaki @kdwkshh

@bicycle1885 さんにこう言ってもらえるとは…… 大恐縮です！ twitter.com/bicycle1885/st...

タグ：

posted at 21:41:31

某ZR（ざんねん @zr_tex8r

須山敦志 Suyama Atsushi @sammy_suyama

dvipdfmxが新しくなってコレ😃

※最新のW32TeXで実行。
#TeX #pTeX pic.twitter.com/5JvKaqqna1

タグ： pTeX TeX

posted at 21:31:20

例えば10の病院からそれぞれ1万枚の画像データを集めたとしたら、データ量は10万ではなく、10です。この辺の見かけの数値にとらわれない課題難易度の認識が大事。

タグ：

posted at 21:20:00

soy_bot @soyengine

twitterなしでは、Github pagesを使うこと、JSONを使うこと、python×OpenCAE関連のトピックを利活用すること、RustやJuliaのUIなどを知ること、といった着想は得られなかったか、得られたとしてもだいぶ先だったと思うのでありがたいことです。数値計算スキームについても同様です。

タグ：

posted at 21:19:47

#Julia言語 MetaUtils.jl の使い方

* Juliaのabstract syntax treeを様々な形式で表示させて、メタプログラミングを学ぶためのヘルパー・ユーティリティとして使用する。

* Lisp-likeなtuple expressionを直接実行して楽しむ😊

添付画像では最小二乗法とプロットを実行している！ pic.twitter.com/Hcc1OcrJ5Y

タグ： Julia言語

posted at 21:19:15

math26 @math26

須山敦志 Suyama Atsushi @sammy_suyama

叡王戦が続くことに安堵しつつ、これまでの主催のドワンゴに感謝したいと思います。ニコ生の将棋中継はいつもファンのほうを向いている、と感じています。ＴＶならスポンサーのためにいい場面で入ってしまうＣＭも、ニコ生なら「じゃあ棋士にマカロンを食べてもらおう」と楽しむ発想がうれしいのです

タグ：

posted at 21:18:54

これの解決のために転移学習や能動学習がカギになるという人もいますし、あるいは差異の要因がある程度仮定できるなら階層ベイズで解決するのが手っ取り早いでしょう。

タグ：

posted at 21:16:03

須山敦志 Suyama Atsushi @sammy_suyama

#Julia言語 MetaUtils.jlでできること④

show_texpr, @ show_texpr で show_expr による表示から煩雑に見える Expr を省略した表示が得られる。(texprはtuple expressionの略のつもり)

その出力結果は teval, @ teval で実行可能である。

texpr2exprでevalで実行可能なASTに変換可能。 pic.twitter.com/aiYx3uvST8

タグ： Julia言語

posted at 21:14:20

↓収集した実験用データに対してはうまい具合に良い予測精度が出せて、多様な個別環境に適応できるようなモデル＆学習のやり方はまったく考慮されていない。ML失敗のあるあるですね。

タグ：

posted at 21:14:05

#Julia言語 MetaUtils.jlでできること③

show_exprや@ show_exprでabstract syntax treeをExpr型オブジェクトのコンストラクタのネストで表示できる。

その出力結果はevalで実行可能。

出力を文字列で欲しければ、sprint(show_expr, :(～)) のようにすればよい。 pic.twitter.com/VM66W5BgxN

タグ： Julia言語

posted at 21:10:06

#Julia言語 MetaUtils.jlでできること②

@ show_tree でabstract syntax treeをツリー表示できる。

print_tree でsubtypesのツリー表示をできる。 pic.twitter.com/xc0vj6U1yR

タグ： Julia言語

posted at 21:06:29

誠 @Makoto_SUsys

QiitaでJuliaの面白い記事読んでましたが,私の統計の知識がないせいで途中から負えなくなってしまったすごく悲しい気持ちになりました

タグ：

posted at 21:05:40

#Julia言語 MetaUtils.jlでできること①

Meta. show_sexprのマクロ版 @ show_sexpr を使える。

そして、show_sexprの出力結果をteval函数と@ tevalで実行できる。 pic.twitter.com/eR4WAwjtMk

タグ： Julia言語

posted at 21:04:11

最適化の計算はJuliaでやってます

タグ：

posted at 21:03:38

細長めのやつ pic.twitter.com/ntQYPlRBOu

タグ：

posted at 21:01:38

そもそも潰れたり pic.twitter.com/ado8nh3UUF

タグ：

posted at 21:00:32

目的関数をミスると地面にめり込んだり pic.twitter.com/nYQroKl1Kb

タグ：

posted at 21:00:02

ごまふあざらし(GomahuAzaras @MathSorcerer

他の目的関数を設定して計算 pic.twitter.com/MzcH8pEFGa

タグ：

posted at 20:58:50

お〜 twitter.com/genkuroki/stat...

タグ：

posted at 20:57:57

strand beestでのリンク比最適化、ちょっとずつ分かってきた pic.twitter.com/UjGyAPnBg1

タグ：

posted at 20:57:34

The Unexplained @Unexplained

Students learning the strength of a proper shield wall pic.twitter.com/yADSlYYxYR

タグ：

posted at 20:33:48

非公開

タグ：

posted at xx:xx:xx

Mashable @mashable

Can't. Stop. Watching. pic.twitter.com/YDUWejY8CN

タグ：

posted at 20:27:00

高梨陣平 @jingbay

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

GoogleのAIが集中砲火を受けている。具体的な証拠無しには有効性の検討はできない。 twitter.com/TheRegister/st...

タグ：

posted at 20:23:33

Jupyter Notebookも下書きと清書があると良いな。

タグ：

posted at 20:07:56

秋月 @ua65MVGEhYKrzP5

漫画の名シーンが話題と聞いたので名シーン貼ります。 pic.twitter.com/D6pj2Ra13N

タグ：

posted at 20:05:39

非公開

タグ：

posted at xx:xx:xx

ceptree @ceptree

ヒューガルデンのロゼだと？ pic.twitter.com/jbHJ2SMlDd

タグ：

posted at 20:01:54

カモメ @kamome_momemome

100年前からJulia使ってるしもう常識だよ？

タグ：

posted at 19:57:31

#Julia言語のパッケージマネージャーの使い方については

opensourc.es/blog/all-about...

を参照。

タグ： Julia言語

posted at 19:53:15

あ〜る菊池誠(反緊縮)公式 @kikumaco

#Julia言語からPythonを使う例の詰め合わせセット

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

1. BeautifulSoup
2. matplotlib
3. SymPy
3. Seaborn

「PythonのライブラリはJuliaからも使用可能なライブラリでもある」という事実についてはもっと知られてしかるべき。 pic.twitter.com/Lm2rSdPkUh

タグ： Julia言語

posted at 19:48:54

まあこんな感じだよね、今の頭脳流出バッシングは twitter.com/SMBKRHYT/statu...

タグ：

posted at 19:48:43

#Julia言語私のようなプログラミングの経験が浅い人であっても、「気軽に独自ローカルパッケージを書く」というスタイルでプログラムを書ける。

pkg> generate Hoge
pkg> dev Hoge
julia> using Revise
julia> using Hoge
julia> Hoge.greet()
Hoge/src/Hoge.jl を任意のエディタで編集

でいける。

タグ： Julia言語

posted at 19:43:34

Re: RTs #Julia言語 Juliaがパッケージマネージャーをjuliaバイナリに含めて配布してくれていることは素晴らしいです。

パッケージマネージャーは、パッケージの管理と環境の切り分けを全部やってくれて、非常に安心して使えます。

この点はPythonと比較すると明らかに圧倒的に優れています。

タグ： Julia言語

posted at 19:40:53

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

ちゃんとあるのやな。

habrahabr.info/development/pr...

#Julia言語でDancing Link♬

タグ： Julia言語

posted at 19:38:56

Yuki Nagai @cometscome_phys

オライリーのJulia本を読んだことによりJuliaのプロセス並列の考え方を理解したspawnatの先でspawnatをするとワーカー間通信できるっぽい

タグ：

posted at 19:36:44

Yuki Nagai @cometscome_phys

オライリーのJulia本を手に入れた

タグ：

posted at 19:32:18

#Julia言語をやって、PyCall.jl を

julia> ENV["PYTHON"] = raw"使用するpythonバイナリのフルパス" # この行を略すとJuliaがPythonを入れてくれる
julia> ]
pkg> add PyCall

で使えるようにして、PythonをJuliaから使えば、結果的に両方同時に学べる。複数言語の連携についても学べる。 twitter.com/dynyanko/statu...

タグ： Julia言語

posted at 19:31:47

#Julia言語

MetaUtils.jl github.com/genkuroki/Meta... はマイ野良パッケージだったのですが、登録されたパッケージになりました。

github.com/JuliaRegistrie...

タグ： Julia言語

posted at 19:22:01

#Julia言語 abstract syntax treeは

using AbstractTrees
AbstractTrees.printnode(io::IO, expr::Expr) = show(io, expr.head)
:(function f(x::T) where T<:Real sin(x) end) |> x->print_tree(x, 10)

とか

using MetaUtils
@ show_tree if a A elseif b B elseif c C else D end

で見れる。 pic.twitter.com/cB8s9K8YBW

タグ： Julia言語

posted at 19:19:25

Julia Bloggers @juliabloggers

New post: The Julia Package Manager - www.juliabloggers.com/the-julia-pack... #julialang

タグ： julialang

posted at 19:09:58

#Julia言語 Juliaの型のツリーは

using AbstractTrees
AbstractTrees.children(T::Type) = subtypes(T)
print_tree(Number)

とすると見易いです。

pkg> add MetaUtils
julia> using MetaUtils
julia> print_tree(Number)

でも行ける。

AbstractTrees.jl は神。 twitter.com/smj_tcbot/stat... pic.twitter.com/2rPV30nu8P

タグ： Julia言語

posted at 19:09:22

TaKu @takusansu

#超算数の罪過かな。
twitter.com/nabekichi32/st...

タグ：超算数

posted at 18:47:06

RochejacMonmo @RochejacMonmo

幾つかの媒体で橋下徹氏が学術会議に「審議会的な要素もある」といい「審議会であれば意見の偏りが無いようにバランスをとらないといけない」という主旨の発言をしているが、そもそも政府の審議会や有識者会議の中には特定の政策を進めるために慎重派を排除して進めているケースも相当あるのでは？

タグ：

posted at 18:14:08

Hiroshi Shinaoka @HShinaoka

ごまふあざらし(GomahuAzaras @MathSorcerer

Slackの代替ツールを探し中。共同研究毎にワークスペースを作るのも面倒（同じ人が複数のワークスペースに現れるし）。Matrixプロトコルを採用したElementが良さそう（日本語の情報は皆無ですが）
element.io

タグ：

posted at 18:13:48

ごまふあざらし(GomahuAzaras @MathSorcerer

github.com/simonbyrne/libcg

を元に色々いじると理解しやすい

タグ：

posted at 18:10:56

Julia ->
Package 作り ->
PackageCompiler.jl で Pacckage の関数を sysimage に焼く ->
焼いた sysimage を共有ライブラリとしてCから呼ぶ
->
今ここ（疲れた）

タグ：

posted at 18:08:41

@kankichi57301 @kankichi57301

@sekibunnteisuu そもそも論やけど、
**|**|**　のほうだけで固定的に考えても、それを2*3と立式しようが3*2としようがカラスの勝手であろう。
#掛算

タグ：掛算

posted at 08:33:56

#Julia言語あと、計算効率劣化の真の主原因は「プログラミング能力」であるという事実は極めて本質的です。

私のようなプログラミングの経験が少ない能力が低い人であっても、公式ドキュメントに書いてあるルーティン化された手続きに従えば失敗せずに高速なコードを書けるとありがたい。

タグ： Julia言語

posted at 07:50:29

#Julia言語複数の高速ライブラリを貼り合わせて仕事をする場合には、SciPyで使えるようにした微分方程式の数値解法ライブラリ単体のベンチマークやNumba単体でのベンチマーク(おそらくどちらも相当に速い！)をしても、実践的な場面での計算効率は分からないのです。

タグ： Julia言語

posted at 07:44:57

#Julia言語例えば「微分方程式を記述する函数」と「微分方程式の数値解法の函数」が別々に与えられていると、前者を後者で使うときに速度が劣化することを心配する必要が出て来る。

www.stochasticlifestyle.com/why-numba-and-...
scipy+numba → 44.4 ms
PythonからJuliaを使う → 33.1 ms
pure Julia SVector → 2.1 ms

タグ： Julia言語

posted at 07:42:28

#Julia言語続き。現代の計算速度重視のプログラミングでは、専門家が最新のアルゴリズムを実装して最適化してくれたライブラリを複数貼り合わせて使うことが普通です。

その貼り合わせでも計算効率に大きな違いが出る場合があるので、マイクロベンチマークのみを見ると失敗します。

タグ： Julia言語

posted at 07:37:42

積分定数 @sekibunnteisuu

#超算数
小1息子の算数で「足し算の順序問題」が発生した話 wmpicaco.com/tashizanjyunjyo

教師とのやり取りが見事にかみ合っていない。
この手の教師は多いようだけどね。

タグ：超算数

posted at 07:36:59

#Julia言語補足：小プログラムによる一部の機能・一部のライブラリのベンチマークテストでは判明しない速度劣化は重要な問題なので、その手のマイクロベンチマークの結果はJulia側が公開しているものであっても、実践的な計算効率の話ではないことに注意を払う必要があります。続く

タグ： Julia言語

posted at 07:35:02

#Julia言語「挑戦者」が現れたせいで、効率改善とソフトの宣伝に成功してしまった非常に面白い事例として以下のリンク先の話があります。 twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 07:24:50

#Julia言語まともなエンジニアであれば、効率劣化について報告する場合には、再現可能性に十分に気を使ってくれます。だから、まともな挑戦者が現れる分には良いことしかない。

しかし、テストに使ったコードを一切公開せずに風評を流すような人達は有害者認定されて然るべきだと思います。

タグ： Julia言語

posted at 07:20:29

#Julia言語

再現可能でかつ効率劣化の原因究明に役に立つようなコードは実は貴重です。プログラムの改善には本質的に重要。

「速い」ことを売りにして、「挑戦者達」が自然発生するようにしたことについては、「Juliaの開発チームはやりやがったな」と思わざるを得ません(笑)

タグ： Julia言語

posted at 07:17:03

#Julia言語は宣伝方針として「速い」を売り込む方針を採用したせいで、「挑戦者」がよく現れる(笑)

その過程でJulia側の欠点が明らかになる場合が結構あります。

実は、話が面白くなるのはそこからで、再現可能で原因が分かるような改善するべき効率劣化であれば、結果的に改善されてしまう(笑) twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 07:14:00

でえもん @GreatDemon1701

@genkuroki @temmusu_n その極端で愚かな事例が最小公倍数にからむ、倍数に0を含めるかどうか問題でしょうね。
「正の公倍数のうち最小のもの」といえば済むものを、倍数には0を入れない、とか偶数と2の倍数は違うとか馬鹿げています。

タグ：

posted at 07:10:50

@ur_alr 速度比べをすることは、言語の開発者達への批判になる場合があり、批判自体は再現性があって改善に繋がるのであれば大歓迎だと思いますが、証拠に欠けた風評を「笑い」とともに広めるのはまずい。要するに

　再現可能なだけの情報を公開するべきである

と私は考えています。それならば全然問題ない。

タグ：

posted at 07:05:49

#Julia言語他人が書いたマクロ(もしくはより一般的にメタプログラミング)関係のバグは、自分でちょっといじって正常に動かすことが非常に難しい。

全体を一目で理解できるシンプルなマクロならよいが、そうでない場合には絶望的。

タグ： Julia言語

posted at 04:53:55

@ur_alr 「原理的に C++ と Julia での単純な計算で速度に大きな違いが出るはずがない」ということを理解していれば、ひどく遅い側で誤りを犯していることが確実であることが分かります。

タグ：

posted at 04:45:59

@ur_alr #Julia言語 Juliaの公式ドキュメントでダメだとされている書き方をしている可能性が高いと思います。初歩的な誤りが大部分。

docs.julialang.org/en/v1/manual/p... を読んでいない人の大抵失敗する。

C++とJuliaで速さに大きな違いが出た場合には遅い方で必ず何か失敗しています(これは確定事項)。

タグ： Julia言語

posted at 04:43:57

@edapei #Julia言語 #Turing

たぶん、バグ(または仕様の変更)だと思います。

開発者が見ているところで質問した方がよいと思います。

タグ： Julia言語 Turing

posted at 04:39:15

#Julia言語 #Jupyter

Jupyterで使うcodemirrorのjulia.jsを9月27日版

github.com/codemirror/Cod...

にしたのだが、結果的に括弧の対応の検出でバグっているような気がします。8月8日版

github.com/codemirror/Cod...

に戻した。

インデントで問題が生じている人は古いjulia.jsを使っています。

タグ： Julia言語 Jupyter

posted at 03:51:54

@GreatDemon1701 @temmusu_n 私と妻は自分ちの子には「数学においてどういう名前で呼ぶかはどうでもよい」と定期的に言っているな気がします。

学校での教え方やくだらない問題が満載された「ワークノート」(書き込み式の問題集)がひどい。

数学的にどういうことに注目するべきかよりも、「どう呼ぶか」を問う問題が多すぎ。

タグ：

posted at 02:29:35

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

あの件は酷かった。

ランダムウォークについて、ないはずのトレンドを見出している人の側に立って私を批判している人もいたような。記録を取っておけばよかった。

若い人達がどういう「有名人達」の真似をしてはいけないかが非常によく分かる事例だったと思う。 twitter.com/389jan/status/...

タグ：

posted at 02:21:19