黒木玄 Gen Kuroki(@genkuroki)/2020年09月08日

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

そうなんですのよ。アインシュタインさんは理論的要請から慣性質量と重力質量の等価原理（弱い等価原理）を原理に置いていますけれど、それが妥当かどうかは常に実験でテストされなくちゃいけないんですのよね。妥当でないことがわかったら物理学を書き換える大発見ですわ。 twitter.com/madnoda/status...

タグ：

posted at 00:12:23

宇宙物理たんbot @astrophys_tan

今日のPythonはsymplectic integratorでケプラー問題。ベクトルの扱いが簡単だから楽だね。Juliaとあまり変わらない

タグ：

posted at 00:12:34

慣性質量と重力質量は実際ほぼ等しくて、近年のMICROSCOPE衛星実験では差があるとしても10^-14（100兆分の1）でも検出できないことがわかっていますわ。逆にいうとそれ以上の差を予言する重力理論は全て誤りということになるんですのね。Touboul et al. 2017, PRL 119 231101 doi.org/10.1103/PhysRe...

タグ：

posted at 00:13:38

ワンパンマン更新通知bot @UpdatePunch

#Julia言語パッケージ作成と公開の方法がもっと普及して、大量の野良パッケージと質の良い登録されたパッケージがどんどん増えるとよいと思います。

関連↓
nbviewer.jupyter.org/gist/genkuroki...

これ↑はGitHubをすでに使えるようになっている人向けの、パッケージを公式登録して更新するまでの方法のメモ。 twitter.com/mat_der_d/stat...

タグ： Julia言語

posted at 00:44:02

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

となりのヤングジャンプ版ワンパンマンの更新がありました！　#拡散希望　 #ワンパンマン更新　 tonarinoyj.jp/episode/139336...

タグ：ワンパンマン更新拡散希望

posted at 01:02:46

子どもとPythonを勉強してるんですけど、なぜJulia推しの僕がPythonかというと

1. Pythonのほうが就職しても役にたちそうだから
2. Pythonは僕も知らないから

です。
僕はJuliaで全然困ってないんですけどね。実際、今日も昼間はJuliaで計算していましたし

タグ：

posted at 01:09:09

な〜るほどこの手の計算だと

view マクロは非常にありがたい

#Julia言語 pic.twitter.com/wzaCtkBMJT

タグ： Julia言語

posted at 01:13:25

元ネタは実践 Python ライブラリーシリーズ計算物理学Ⅰ 朝倉書店の Chap4 にあります．

タグ：

posted at 01:15:20

#Julia言語

こういう計算小学生の時にしたかった（白目）

gist.github.com/terasakisatosh...

タグ： Julia言語

posted at 01:17:00

ワンパンマン更新通知bot @UpdatePunch

#Julia言語ついさっき知ったJuliaの野良パッケージの例

www.pnas.org/content/117/30...
BRIEF REPORT
The implications of silent transmission for the control of COVID-19 outbreaks
Seyed M. Moghadas, et al.
↓
github.com/ABM-Lab/covid1...
野良パッケージcovid19abm.jl

こういうのがきっと増える。 twitter.com/derive_ip/stat...

タグ： Julia言語

posted at 01:18:19

【イラスト募集】
紹介してほしいワンパンマン関係のイラストとかあればDMで教えて下さい〜
あれば次回以降、このツイートのように更新通知の下で紹介します！

タグ：

posted at 01:18:48

Aww Cats @AwwCats_

pic.twitter.com/VyFpMdnpgo

タグ：

posted at 01:21:06

#Julia言語

* 既存のライブラリで直接分析できず、自分で分析用のコードを書く必要がある。

* 沢山の試行錯誤が必要。

* 高速に計算できて欲しい。

* プログラミングは専門ではない。

* PythonやRとも連携できて欲しい。

これらの条件が揃っていたら、Julia以外の選択肢はないと思う。

タグ： Julia言語

posted at 01:22:31

擬似乱数が理想的に一様に生成されるとすれば

mean(x^k)が

k 次のモーメントの 1/(k+1) を中心に 1/sqrt{N} の誤差でヒストグラムが集まる様子とかも書かれてる．

Pythonで書くよりも Julia の方が絶対楽しいぞい． pic.twitter.com/0d1lFkH5oI

タグ：

posted at 01:40:02

【A ⇔ B ⇔ C ⇔ D ⇔ E

の証明よりも

A ⇒ B ⇒ C ⇒ D ⇒ E ⇒ A

の証明の方が多くの場合に楽】という事実は、数学の大学入試問題(筆記)を解く練習をした人なら、すでに知っていないとおかしい。

論理的な理解ではなく、「大学入試で減点されない方法の暗記」をやらされた人達は運が悪い。

タグ：

posted at 01:46:21

「A⇔B」は「(A⇒B)かつ(B⇒A)」と同じ。

「A⇒B」は「Aを仮定したときにBを導けること」と同じ。

「A⇒B⇒C⇒D⇒E⇒A」が証明できていれば、「Aを仮定したときにEを導けること」も「Eを仮定したときにAを導けること」も自明に証明できる。ゆえに「A⇔E」が証明されている。

タグ：

posted at 01:55:28

Julia News @julialang_news

A Primer on State Space Models www.juliabloggers.com/a-primer-on-st... #juliabloggers

タグ： juliabloggers

posted at 02:08:14

山田太郎 ⋈（参議院議員・全国比例） @yamadataro43

#数楽 1つ前のツイートで紹介したLiouville方程式関連。

さらに上の方をみると、2016年には #Julia言語の存在を知らなかったせいで、scilabを使っていることが分かる。

twitter.com/grand_antipris...

タグ： Julia言語数楽

posted at 02:12:52

山田太郎です。私がこれまで主張してきた「子ども庁」の議論にもつながります。
以下のキャンペーンに賛同をお願いします！「厚生労働大臣: コロナ禍で全国の小児科が経営難のピンチ！未来の子どもたちのために、小児科への財政支援を求めます！」 chng.it/dkwMH2vS @change_jpより

タグ：

posted at 02:29:31

#Julia言語

u_{tt} = u_{xx} + F(u)

および

u_{tt} = u_{xx} + u_{yy} + F(u)

型の方程式の数値解の動画をまとめてRTしましたが、現在ならJulia的にもっとマシな書き方をする自信がある。

昔のコードは現在のより相対的にひどい。

タグ： Julia言語

posted at 02:33:20

Re: RTs Viral B. Shah さんが言っている通りで、行列計算のベンチマークで1万×1万のような大きな行列での結果のみを示すのはちょっと外していると思います。

実際には 10×10, 100×100, ... のそれぞれのサイズの階層ごとに別々の様々な使い方がある。 #Julia言語

タグ： Julia言語

posted at 02:55:37

「ループが遅いおかげでNumPyを使うことを覚えた。NumPyを使うためにメモリの無駄遣いを気にせずにかつコードの可読性を犠牲にしてベクトル化することを覚えた」

の類は #Julia言語以後は時代遅れ。

タグ： Julia言語

posted at 03:04:04

OpenBLASやMKLに帰着できれば速い仕事は当然そうする。#Julia言語でも当然そうする。

しかも、多くのJuliaユーザーは気付かずにそうしている！「NumPyを意識して使うと速い」のではなく、「意識しなくても速い」が普通。

帰着できない場合のループも自然に速い。

これが普通でなければ困る。

タグ： Julia言語

posted at 03:04:05

「Pythonを知っていれば就職に有利になる」という言説は今でも通用するの？

Python知っている程度だと就職に全然有利にならない、という話を私は聞いたことがある。

コンピュータがらみのある種の知識はすぐに陳腐化するので、陳腐化しない知識は何であるかを常に気にして教える必要があると思う。

タグ：

posted at 03:10:01

関連

twitter.com/genkuroki/stat...

タグ：

posted at 03:15:04

Hiroyasu Kamo @kamo_hiroyasu

@genkuroki すぐに役立つ知識はすぐに役立たなくなることを知っていれば、即戦力を求める企業は従業員を使い捨てにする気満々であることは容易にわかるはずです。

タグ：

posted at 03:16:42

最初に劣っているものを与える。

例えば「ループがクソ遅いもの」を与える。

その後に「それは～の点で劣っているから、〇〇を使うといいよ」と教える。

例えば「NumPyに帰着できれば速いよ。そのときメモリの無駄遣いは気にしなくていいからね」と教える。

これ教育的には非常によくないと思う。

タグ：

posted at 03:18:02

最初から優れたものを与えて、裏で何をやっているが分かるように解説した方が素直によいと思う。

MITの #Julia言語を使った講義はそういう素直な流れになっていて、将来仮にJuliaが廃れることになっても、その教育を受けた人達は全然困らないようになっています。

github.com/mitmath

タグ： Julia言語

posted at 03:21:05

別に #Julia言語に限らず、何を使って教えてもよいと思うのですが、ユーザー側にとって使用するのが楽で、教えるために使ったものが将来廃れることになっても困らない内容を教えないとまずい。

タグ： Julia言語

posted at 03:23:25

Viral B. Shah @Viral_B_Shah

@KenoFischer @Pimp_Fada @StefanKarpinski Mathematica would not be banned if it were ported to iOS says @stephen_wolfram, but that was a long time ago.

blog.wolfram.com/2011/10/06/ste...

タグ：

posted at 03:28:24

Viral B. Shah @Viral_B_Shah

@KenoFischer @Pimp_Fada @StefanKarpinski @stephen_wolfram That's the only exception that I am aware of.

タグ：

posted at 03:28:55

例えば、

nbviewer.jupyter.org/github/mitmath...

では、

[CPU] <---> [Cache] <---> [RAM]

の話をしています。これは、 #Julia言語とかとは無関係にコンピュータに関する入門的な話として重要。

さらに詳しい話が

biojulia.net/post/hardware/

で解説されている。

これもJuliaを__使って__説明してる……。

タグ： Julia言語

posted at 03:32:29

運の良い若い人達は、

[CPU] ↔ [CPU CACHE] ↔ [RAM] ↔ [DISK CACHE] ↔ [DISK]

のような基本的な事柄から始めて、入門的な解説を聴くだけではなく、実際にコードを書いて実験してみる経験を通して、教養を身に付ける。

別の一方では「就職に有利な何か」について教わっている。これ、まずすぎ。

タグ：

posted at 03:37:40

これ、大真面目に危機感を感じなければいけないくらいまずいと思う。

タグ：

posted at 03:38:11

#Julia言語単純にforループで足し上げる函数でforの前に
@ inbounds だけを付けた場合と、 @ simd も付けた場合の比較。

整数の和であれば @ inbounds だけで速い。
しかし、不当小数点数の和では @ simd も必要。

gist.github.com/genkuroki/edc7... pic.twitter.com/Ls1WQuxkbs

タグ： Julia言語

posted at 05:05:59

#Julia言語での sum は誤差が小さくなりやすいように工夫して和を取っているので、その分のオーバーヘッドが生じているようです。そこで、そのオーバーヘッドがない linsum(f, x) を定義して比較。

f(x) が複雑ならそのオーバーヘッドの違いは無視できるようになります。

gist.github.com/genkuroki/edc7... pic.twitter.com/yiuRpTui3h

タグ： Julia言語

posted at 05:05:59

#Julia言語単なる足し算の話なのですが、クソ面白い。

タグ： Julia言語

posted at 05:06:42

kashi @mkashi

@Oo_nyannyan_oO @Hishinuma_t 元の方程式に代入したらぴったり0になるけど、実はめっちゃ誤差が入ってる、なんてこともないわけではないです。 pic.twitter.com/Viy4qApkoB

タグ：

posted at 05:41:03

#Julia言語の例えばDifferentialEquations.jlの開発者はJuliaで開発した微分方程式のパッケージ(GPUも利用可能)をPythonやRでも使えるようにしており、そうし続けると約束！

素晴らしい！

高速数値計算をC, C++, Fortranのような使い難い環境以外で使えるようにすることは社会的に非常に重要。

タグ： Julia言語

posted at 06:22:15

#Julia言語仮に別の一方に、C, C++, Fortranで例えば高精度計算や線形代数の基本ライブラリを書いている人たちが、本当に仮にの話ですが、数値計算はC, C++, Fortranでやれれば十分なので、自分が作ったライブラリはC, C++, Fortranで使えれば十分だと思っていたとします。

軽蔑に値する！(笑)

タグ： Julia言語

posted at 06:22:15

#Julia言語 Juliaで高速計算用のライブラリを書くことは、Juliaであっても多くの特殊な知識が必要な難しい作業になります。

そして、そのようにして作ったものを、juliaをpythonやRから使える仕組みを作ってjulia以外でも使えるようにする道を切り開いている。

タグ： Julia言語

posted at 06:22:16

#Julia言語 Juliaのモチベーションの1つは多くの道具の貼り合わせを以前よりうまくやることだと思います。

貼り合わせに使う道具はユーザーフレンドリーであって欲しいのですが、貼り合わせに使った道具が「遅い」と不自由かつ不自然かつ不合理なプログラミングをユーザーが強制される。続く

タグ： Julia言語

posted at 06:22:16

#Julia言語その問題を解決するためには、ユーザーフレンドリーな糊言語であるだけではなく、単体のプログラミング言語としても「速い」ことが必要だったのです。

「ユーザーフレンドリーな遅い糊言語で高速なライブラリ達を貼り合わせて使う」というアイデアはJuliaによって時代遅れになった。

タグ： Julia言語

posted at 06:22:17

#Julia言語その時代遅れなアイデアのもとでは、実際にはうまく貼り合わさっていないようにも見える。

ユーザーフレンドリーな糊言語は「糊」として機能しておらず、高速なライブラリへの単なるユーザーインターフェースになってしまう傾向があるのでは？

タグ： Julia言語

posted at 06:22:18

#Julia言語仮に、現在、C, C++, Fortran で高速なライブラリを書いた人がいたら、Julia, Python, Rなどでも使用できるようにするべき。

最初に手をつけるなら Julia にするのが合理的です。Julia自体が速いので高速ライブラリが力を発揮し易いし、PythonやRからJuliaを使う仕組みも利用できる。

タグ： Julia言語

posted at 06:26:04

#Julia言語における微分方程式のパッケージDifferentialEquations.jlの開発者曰く、

sciml.ai/news/2018/04/3...
2018-04-30
【すべての偉大なオープンソース数学ライブラリは、誰かのアカデミックキャリアの灰の上に構築されている】

Juliaはこの「深刻な問題」の解決法の1つとしても期待されている。 twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 06:32:16

Julia でジャックナイフの解析コードを書いた。

タグ：

posted at 06:55:50

github.com/akio-tomiya/Ju...
Juliaで書いたジャックナイフ法

タグ：

posted at 07:19:13

@Hishinuma_t @mkashi @Oo_nyannyan_oO #Julia言語なるほど

A = [
64919121 -159018721
41869520.5 -102558961
]

のとき

inv(A) * A = [
1.0 2.0
0.0 1.0
]

となって、第1列だけ偶然うまく行っているんですね。ちなみに

A * inv(A) = [
0.0 2.0
-1.0 2.0
]

こちらは全然ダメ。

gist.github.com/genkuroki/4830... pic.twitter.com/hyqSuah3VQ

タグ： Julia言語

posted at 07:43:33

@mkashi @Hishinuma_t @Oo_nyannyan_oO #Julia言語他にも例を幾らでも作れますね。

行列式が成分より非常に小さい例を作ればよい。

例えば、

A = [
1123456789 1000000000+6e-8
1000000000 890109891
]

この例の良いところは inv(A)*A と A*inv(A) が等しいこと。

[
0.0 0.0
0.0 1.0
]

になります。別の例に続く

タグ： Julia言語

posted at 08:23:15

@mkashi @Hishinuma_t @Oo_nyannyan_oO #Julia言語 ←これで計算

B = [
10^9 10^9+1e-7
10^9 10^9
]

ならば、

inv(B)*B == [
2.0 1.0
0.0 1.0
]

B*inv(B) == [
1.0 1.0
0.0 2.0
]

無数に例を作れる。

タグ： Julia言語

posted at 08:24:54

@mkashi @Hishinuma_t @Oo_nyannyan_oO #Julia言語上の例はクイズ的にはタネがばれやすい形。しかし、タネを理解してもらいたい場合には役に立ちそうです。

タグ： Julia言語

posted at 08:26:22

@mkashi @Hishinuma_t @Oo_nyannyan_oO #Julia言語「計算用紙」的な汚いノートを

gist.github.com/genkuroki/4830...

に置いておきました。全部整数の例。

X = [
1123456789 1000000000
1000000000 890109891
]

の真の行列式は-1なので逆行列を暗算で計算できるのですが、Juliaの実装ではdet(X)は0.0になり、逆行列を計算できなくなります。

タグ： Julia言語

posted at 08:50:27

@mkashi @Hishinuma_t @Oo_nyannyan_oO #数楽「まず、例を3つ作りましょう」といつも言っているので、例を3つ書くまで止められなかった。これで一次終了とします。

タグ：数楽

posted at 08:51:40

@Hishinuma_t @mkashi #Julia言語【Juliaと言えども】というのはミスリーディングで、Juliaはもともとが

　色々便利なものを貼り合わせて、
　プログラミングが専門でないユーザーに届けてかつ、
　プログラミングが専門でなくても、
　気楽に速く動くコードを書けるようにしたもの

だと思います。 twitter.com/mkashi/status/...

タグ： Julia言語

posted at 09:16:41

てらモス @termoshtt

Juliaはlibm独自で管理するくらいのレベルで労力が投下されている、数値計算用の言語としては類稀な部類だという認識だよ(´・ω・｀)

タグ：

posted at 09:21:12

@Hishinuma_t @mkashi #Julia言語こちらに移動

github.com/Sacha0/GemmDem...
A pure-Julia, BLIS-style dgemm demo.

これは実験的に書かれたpure-Julia版dgemmなのですが、OpenBLASの9割くらいの速度が出ているようです。

タグ： Julia言語

posted at 09:40:37

電子計算機の沼 @Hishinuma_t

@genkuroki @mkashi 中見てきました。
これはSIMD(アセンブリとほぼ1:1対応)のコードですね、、

なのでコンパイラの差が見えにくいコードではあります。
こういうのはどの言語で書いてもアセンブリモドキになるので移植という作業の価値が悩ましいですよね、、、
とはいえOpenBLASの9割はすごいです

タグ：

posted at 09:44:51

github.com/akio-tomiya/Ju...
Lattice 屋さんが使ってそうなデータのロード部分を別ファイルでつくった。
組み合わせたら、もうこれで基本的な解析はできる。

タグ：

posted at 09:51:07

林　譲治 @J_kaliy

戦前日本の生産現場のパフォーマンスが上がらなかった理由の一つに、大卒のエンジニアは幹部として開発だけやって、工場が何をやっているか知らないという分断があった。これは教育格差と正社員サラリーマンと非正規雇用の職人集団との断絶など重層的なものだったらしい。

タグ：

posted at 10:09:02

林　譲治 @J_kaliy

戦後はその分断が著しく解消され、ＱＣサークルみたい物も機能した。しかし、黄金時代を過ぎて非正規雇用が再び製造業で拡大すると、再び競争力を失いつつある。

タグ：

posted at 10:11:04

てらモス @termoshtt

[Julia] Holy trait 〜共通の関数定義を気軽に記述しよう qiita.com/tenfu2tea/item... #Qiita

タグ： Qiita

posted at 10:18:31

てらモス @termoshtt

“The Emergent Features of JuliaLang: Part II - Traits · Invenia Blog” (2 users) htn.to/3BZykjNUYd

タグ：

posted at 10:19:40

暇人 @safefield

@J_kaliy これを上の人はなかなか理解してくれません。派遣社員をQCサークルへ組み込むわけにはいかないしね。もしやるとしても正規分布とはなんぞや？から始めないといけない(下手すると正社員だって)。仰る様な戦前社会へと、下が文句言わず分配せずに済むのは良い事だ！とばかりにやってきた当然の後退日本^^

タグ：

posted at 10:28:12

Novlude @novlude

Juliaの良さ、なんとなく文系寄りだったPythonに対してついに理系のためのPythonのようなものが来た感ある。

タグ：

posted at 10:47:32

うあ @ATSSHBB

Julia使いのlattice屋さんが生まれちゃう……！？＞

タグ：

posted at 11:24:56

うあ @ATSSHBB

いや、まあ、解析なんて何でやってもいいんだけど

タグ：

posted at 11:25:31

うあ @ATSSHBB

というかコード短っ
ナイーブに書いてるせいでこんなに綺麗にかけないんだよな

タグ：

posted at 11:26:53

角征典／Masanori Kado @kdmsnr

Juliaかなあと思ったけど日和ってRつかう

タグ：

posted at 12:54:30

みょうが @mrkn

AI領域専門の求人メディア｜ Symbi @creek_tech

Julia はいいぞ

タグ：

posted at 13:00:24

🌼機械学習の情報収集おすすめアカウント②【@sammy_suyama】『ペイズ推論による機械学習入門』の著者須山敦志氏のアカウント。質問に対してとてもご丁寧に答えてくださいます！

タグ：

posted at 15:00:05

#Julia言語おお！Juliaだ！

github.com/akio-tomiya/Ju...

の函数は

using Statistics
jack1mk(data) = (sum(data) .- data)./(length(data)-1)
jack1er(sample) = mean(sample), std(sample)

とシンプルに書き直せます。
Juliaでは dot . をうまく使うとシンプルに書ける。

twitter.com/TomiyaAkio/sta...

タグ： Julia言語

posted at 15:16:56

kamimura @mkamimura

@genkuroki (裏で何をやってるか知らずにシェルピンスキーのギャスケットを描けてしまうなど。。 cs.mkamimura.com/posts/2020/09/... 😅）

タグ：

posted at 15:17:44

#Julia言語コードのコピペをしやすいようにソースコードにもリンク↓

gist.github.com/genkuroki/3909...

宣伝：2次元正方格子のシンプルなIsingモデルのパッケージ。MCMCしかできない。もっと複雑なIsingモデルのコードを書いたときに、計算速度の比較相手に使えるはず。

github.com/genkuroki/Isin...

タグ： Julia言語

posted at 15:21:28

#Julia言語パッケージのページを見るよりも

nbviewer.jupyter.org/github/genkuro...

を見た方が分かり易いかも。 pic.twitter.com/yhOicPsXyL

タグ： Julia言語

posted at 15:24:03

須山敦志 Suyama Atsushi @sammy_suyama

@genkuroki jack1mkの方はそのと通りだと思います。
jack1erの誤差の方ですが、それだとN_sample-1 をかけてないですね？Jackknife だと割るのじゃなくかけなきゃいけないので…。
young.physics.ucsc.edu/jackboot.pdf

タグ：

posted at 15:24:25

ベ twitter.com/creek_tech/sta...

タグ：

posted at 15:28:46

@TomiyaAkio #Julia言語ごめんなさい！stdとは異なるstdの変種なのに変種にするためのコードを書き忘れた！訂正版↓

using Statistics
jack1mk(data) = (sum(data) .- data) ./ (length(data)-1)
jack1er(sample) = mean(sample), std(sample; corrected=false)*√(length(sample)-1)

gist.github.com/genkuroki/3909... pic.twitter.com/GeKgcWJpN6

タグ： Julia言語

posted at 15:41:33

#Julia言語訂正版↓

twitter.com/genkuroki/stat...

タグ： Julia言語

posted at 15:42:48

horiem @yellowshippo

ペイジアンだと、ジミー・ペイジ大好きみたいになるな（大好きですが）（ラリー・ペイジもいるか）

タグ：

posted at 15:47:44

K.B.砂糖 @KB_satou

Julia, 配列のアクセスも function なので、その function をオーバーロードすれば fortran みたいな任意の範囲の配列も作れるのかな?

タグ：

posted at 16:02:56

#Julia言語

 github.com/timholy/CodeTr...

の使い方。

gist.github.com/genkuroki/ea49...

using CodeTracking, Revise
@ code_expr sin(1.0)

で sin(::Float64) の函数の定義式が得られる。

行版番号情報が多くて醜い。続く pic.twitter.com/xDQU15r6cK

タグ： Julia言語

posted at 16:37:43

#Julia言語

print(@ code_string sin(1.0))

で sin(::Float64) の定義の文字列を取得して表示。

これは見易い。

@ which sin(1.0)

でリンクも表示。

Juliaはsinまで自前で実装し、その本体は

Base.Math.sin_kernel

っぽいことも分かる。続く

gist.github.com/genkuroki/ea49... pic.twitter.com/7dVwwThY2W

タグ： Julia言語

posted at 16:41:00

#Julia言語

Base.Math.sin_kernel(::Float64) の表示。

Horner法で多項式の計算に帰着。これは常套手段。

Base.Math.sin_kernelのソースコード↓
github.com/JuliaLang/juli... pic.twitter.com/gzf2YTsH5t

タグ： Julia言語

posted at 16:44:35

私が大学に入学した直後のコンピュータの授業はFORTRAN 77でHoner法を使ってexpを計算する話だった。

当時はCを自由に使えれば天国だった。

今はFORTRAN 77もCもできれば使いたくない。

Horner法は今でも基本的教養の一つだと思う。

タグ：

posted at 16:56:34

#Julia言語 Base.Math.sin_kernel 関連 twitter.com/termoshtt/stat...

タグ： Julia言語

posted at 17:01:36

#Julia言語

 github.com/JuliaArrays/Of...
OffsetArrays.jl

を使えばfortranと同じように、インデックスの始まりの位置を自由に変更できます。 twitter.com/kb_satou/statu... pic.twitter.com/OJiJb5YQi1

タグ： Julia言語

posted at 17:54:57

@Hishinuma_t @HShinaoka 「BLAS / Sparse BLAS屋さんとしては、#Julia言語で自分が書いたライブラリを使えるようにしてやるぜ！みんな、俺が作ったライブラリをありがたく使いやがれ！」なら、非常にうれしいです。

もちろんPythonでもよい。

JuliaやPythonで使えるようになったライブラリは他でも使える。オープンな世界。

タグ： Julia言語

posted at 18:02:08

@Hishinuma_t @HShinaoka #Julia言語 Julia以外で書かれたライブラリをJuliaで使えるようにしたとき、Juliaにすでにある既存の類似の機能との共存は易しいです。

例えば、MPFRのBigFloatはJuliaで最初から使えるようになっているのですが、Arbも普通に使えています。

github.com/JuliaBinaryWra...

github.com/JeffreySarnoff...

タグ： Julia言語

posted at 18:11:04

@Hishinuma_t @HShinaoka #Julia言語行列の演算もmultiple dispatchを使って、自分のライブラリを使える行列の型に対して行列に演算を定義してやれば、ユーザー側はライブラリを意識せずに行列演算のライブラリを利用できるようになります。

タグ： Julia言語

posted at 18:14:49

電子計算機の沼 @Hishinuma_t

@genkuroki @HShinaoka ありがとうございます．
ちょっとよく調べてみます

タグ：

posted at 18:19:36

積分定数 @sekibunnteisuu

これ不思議なんだけど

「掛け算の順序は一時的なもの。そのうち自然に解消されるから問題ない。現に順序批判している人もそう教わったのを忘れているではないか」という人と

大人になっても順序があると思っている人

は、相いれないはずなのに相互批判しない、むしろ共闘している。 twitter.com/nek0jita/statu...

タグ：

posted at 18:21:13

Jupyter上の@ animateとVSCode上でのそれを比べると、Jupyterが3.4秒ぐらいで終わるのにVSCodeだと131秒もかかるのなんでやろか。。。#julia言語

タグ： julia言語

posted at 18:21:54

using Plots
gr()
function main()
x = range(0,2π,length = 1001)
anim = @animate for n in range(1, 101, step = 1)
plot(x, sin.(n*x),
ylims = (-1,1),
xlims = (0,2π))
end

gif(anim, "sin.gif", fps=60)
end

@time main()

タグ：

posted at 18:22:06

VSCodeはREPL上に
read: No error
send:No error
という表記がforの回数分繰り返し表示されるんだよな。これが関係あるのでしょうか？

タグ：

posted at 18:23:19

VSCodeでpyplot()で実行してみたら11秒まで短縮された。
逆にJupyter上でpyplot()したら22秒まで伸びた。
まとめる
gr()
VSCode: 131秒
jupyter: 3.4秒
pyplot()
VSCode:11秒
jupyter:22秒

タグ：

posted at 18:28:21

まぁどのバックエンドでも構わなくて、俺はVSCodeで全部完結したいんだ！
問題をまとめると、
gr()のanimateがVSCode上だとくそ遅いのはなんでだ？という話に帰着される。なんかチェックが入ってるようなきがするんだけど、これをパスする方法はないんか？
という。

タグ：

posted at 18:34:44

discourse.julialang.org/t/why-is-my-an...

これか？

タグ：

posted at 18:37:07

OokuboTact　大久保中二病中年 @OokuboTact

@OokuboTact #超算数山本孫一の著作で最も古くから掛順、立式にこだわりのあるのが1919年の本。大久保さんの見つけた鈴木筆太郎の例の本が1911年で、鈴木の元ネタであるクニルリングの和訳が1906年。どう関係するか全く分からないが、ペリーの教育運動も入ってきた頃。類例が直ちに出せないが、孤立例ではなさそう

タグ：超算数

posted at 19:12:54

@temmusu_n 私達は戦前の算数教育の歴史の素人なんで、
ここで専門家の人が現れて、
孤立例に見えるけど実はいろいろ繋がっているネットワークを開示して欲しいですね。

#超算数

タグ：超算数

posted at 19:17:07

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

@OokuboTact #超算数そういう単純作業は、無知と偏見を晒しながらkeep buggering onできそう。時間をかければですね。それより専門家に質したいのは、英才独魂説ですよ！　教科の内容は英米によりながら、指導の習慣(エートス)はドイツ由来なんぢゃないかと思っています。

タグ：超算数

posted at 19:25:37

Uryu Shinya @u_ribo

対戦よろしくお願いします。 #rstatsj #Julia言語 pic.twitter.com/j4vS6XBJ8T

タグ： Julia言語 rstatsj

posted at 19:27:55

マナマの生マナマコ @chor0sK

#julialang で代数的データ型をやってみたよ。関数型言語みたいに再帰的に定義した自然数型を、多重ディスパッチを利用してjuliaの数値型の拡張として導入してみた。
gist.github.com/hnakano863/098...

タグ： julialang

posted at 19:29:44

@OokuboTact #超算数ディースターヴェークについて少し調べた内容を紹介済みですが、1.数的思考を言語で正確に表現することを目標にする、2.学問と同じようには教育内容を指導しないとか、現代算数教育界のエートスに溢れていました。ディ氏は戦前でもあまり有名ではないが、彼に影響を与えたペスタロッツィは頻出

タグ：超算数

posted at 19:39:38

@OokuboTact #超算数ディ氏は私的学習指導要領みたいな内容のWegweiserという本を出しているんですけど、そこに書いてあることです。彼の死後(60s)も改訂されています。

タグ：超算数

posted at 19:46:49

@OokuboTact #超算数 2版ぐらいから外国語としてフランス語が入るんですけど、ギリシャ語とラテン語はお呼びではない。むしろ排除された。ドイツ語を基本とする現代語による教育が国民学校(義務教育小学校)にふさわしいと考えていたようです。ディ氏の面白いところは、Humanitätが基本なので、

タグ：超算数

posted at 19:51:17

#Julia言語すでに指摘されていてかつ検索結果も紹介しているようですが、JuliaではHoly traits (型に値を持つ函数を用意しておいて、その函数の値の型でdispatchする方法)の使用が普通になっていて、型の木がtreeになってしまう問題は問題になっていません。

twilog.org/genkuroki/sear... twitter.com/termoshtt/stat...

タグ： Julia言語

posted at 19:51:41

#Julia言語ともそーくんさんが正しい。

Holy trait = 型に値を持つ函数の値の型で dispatch させる方法

がJuliaのソースコードを見ると、至る所で使われています。

Holy traitsの予備知識がないとソースコードの解読がかなり面倒になる場合がある。

twilog.org/genkuroki/sear... twitter.com/tomosoeoc/stat...

タグ： Julia言語

posted at 19:55:05

@OokuboTact #超算数プロイセン政府の反ユダヤ人政策には反対なんです。議員になってから、あるユダヤ人博士が数学科教授に就任するにを妨げた政府と戦っています。不首尾だったようですが。兎に角、ドイツ語による教育の意味するところは、ラテン語での実践(そんなものがあったとして)の全廃棄だったかも。

タグ：超算数

posted at 20:03:41

非公開

タグ：

posted at xx:xx:xx

@OokuboTact #超算数雑談モードになっているので。ディースターヴェークの本格的研究は戦後、東京教育大学の長尾研究室に設けられた研究会が着手。21世紀の動向は知りませんが…

タグ：超算数

posted at 20:07:08

すむーずぷりんちゃん @mat_der_D

#Julia言語の代数データ型で自然数論。

Integerとの間のconvertまで帰納法で定義されていた！😊 twitter.com/chor0sk/status...

タグ： Julia言語

posted at 20:09:47

Julia で抽象型を定義する方法を調べるか

タグ：

posted at 20:10:02

Atsushi Sakai @Atsushi_twi

へー。Juliaって、C++, Javaのprivateみたいにstructのプロパティのアクセス制御ってできないと思っていたけど、Base.getpropertyをextendすれば、一部のプロパティにアクセスさせないようにすることもできるのか。知らなかった。内部関数ではgetfieldではアクセスできる。multiple dispatchすごい。 pic.twitter.com/4dYmBPbYWR

タグ：

posted at 20:22:43

Daisuke KATO @Dsuke_KATO

Holy trait…_φ(･_･

qiita.com/tenfu2tea/item...

タグ：

posted at 20:25:10

@arc279 @Atsushi_twi #Julia言語

　見た目は array of structs (直観的に分かり易い)で、
　中身は struct of arrays (ある種の仕事ではこちらが速い)

を実現してくれる StructArrays.jl パッケージがあります。

github.com/JuliaArrays/St...

タグ： Julia言語

posted at 20:43:29

あ．return std::vector<int> できた．．．#Julia言語

タグ：

posted at 20:47:31

非公開

タグ：

posted at xx:xx:xx

Lirimy @LirimyDh

@KTYDRCB うちの環境だと 5-6 秒ぐらいで特に遅くはないですね。

Linux, i5-2500K
Julia 1.5.1
Plots v1.6.3
julia-vscode 1.0.6

タグ：

posted at 20:50:08

マナマの生マナマコ @chor0sK

今日嬉しかったことですが、juliaやelispを書いているうちに、いつの間にかJavaScriptも読めるようになっていたことです。

タグ：

posted at 21:12:32

@LirimyDh どうやら環境によって激遅になることがあるみたいです。
自分にとってはクリティカルなんで、条件探してみようかと思います。
情報ありがとうございます！

タグ：

posted at 21:23:22

templateの翻訳がparametricになるのか

（CxxWrap.jl の話）

#Julia言語

タグ： Julia言語

posted at 21:36:00

#Julia言語

そういえば謎にすごいライブラリ，Macの上でもビルドできたので誰かラッパー書いてください

github.com/alandefreitas/...

タグ： Julia言語

posted at 21:37:20

Atsushi Sakai @Atsushi_twi

@genkuroki @arc279 ありがとうございます。本の中でもこちらのパッケージが紹介されていました😁。こちらのパッケージも勉強してみたいと思います。

タグ：

posted at 21:38:16

困ったことつぶやいたらスーパープレイヤーがフォローしてくれるJuliaすごすぎへん？#Julia言語

タグ： Julia言語

posted at 21:38:52

誠 @Makoto_SUsys

OokuboTact　大久保中二病中年 @OokuboTact

JuliaのPrintfのパッケージが使い勝手よすぎて泣いてる

タグ：

posted at 21:44:05

@temmusu_n ＞　珍説の萌芽はかなり早い時期に算数教育界に存在する。

片桐重男は戦前の算数教育を詳しく調べているんですね

タグ：

posted at 21:51:14

Lirimy @LirimyDh

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

「Plots の GIF アニメを VSCode のプロットペインに表示する」やり方を追記。#Julia言語
 qiita.com/Lirimy/items/e...

タグ： Julia言語

posted at 21:59:48

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

進化シミュレーションをやろうと思うとオブジェクト指向のプログラミング言語が自然なんだけど、さてそれをJuliaでどう実装しましょうかね

タグ：

posted at 22:07:26

Julia使ってないので怖くないです。

タグ：

posted at 22:09:53

hizumi @hizumi0000

perlよりもpythonよりもjuliaのほうが良いのではってなってるw

タグ：

posted at 22:12:34

あんちもん2 @antimon2

Juliaユーザーのための開発合宿@online に参加を申し込みました！何か作ります！（何 jldev.connpass.com/event/188636/?...

タグ：

posted at 22:15:04

@Atsushi_twi @arc279 #Julia言語というわけで😊😊😊

www.amazon.co.jp/dp/B07SHV9PVV
Hands-On Design Patterns and Best Practices with Julia: Proven solutions to common problems in software design for Julia 1.x (English Edition) Kindle版
Tom Kwong (著), Stefan Karpinski (はしがき)

を買ってしまいました😊😊😊

タグ： Julia言語

posted at 22:20:20

ヘチマレモン @hetima_lemon

「Design Patterns and Best Practices with Julia」凄く良さそう。日本語に翻訳されたら買う。

タグ：

posted at 22:28:33

しぶてぃ @takuizum

Juliaユーザーのための開発合宿@online に参加を申し込みました！ jldev.connpass.com/event/188636/?...

タグ：

posted at 22:31:48

しぶてぃ @takuizum

高橋かずひと@闇のパワポLT職人 @KzhtTkhs

#Julia言語の開発合宿です。とりあえず何かを作ってみて，手を動かしてみる感じの勉強会ですね。

ゆるい感じでやっていく予定なので，初心者の方もぜひ〜 twitter.com/takuizum/statu...

タグ： Julia言語

posted at 22:33:33

20日かーーーー🙄
行けるかしら、、、🙄
jldev.connpass.com/event/188636/?...

タグ：

posted at 22:38:50

鳩 @pegion_HOLE

Julia盛り上がっているように見えるのは気のせい？

タグ：

posted at 23:06:55

むううみん @muuumin20

Aegis@おもろいエンジニアの集い場 @EngineerMeetup

Juliaという言語が最近ホットだそうで、調べてみたところ、確かに凄そう。”Cの速度とRubyの動的さ”だなんて、軽自動車の値段で買えるスーパーカーみたいなものじゃないですか！
#Julia言語

 marui.hatenablog.com/entry/20120221...

タグ： Julia言語

posted at 23:10:40

Juliaユーザーのための開発合宿@online / jldev.connpass.com/event/188636/?... #エンジニア #zoom #相互フォロー pic.twitter.com/ODFXMI5KF7

タグ： zoom エンジニア相互フォロー

posted at 23:11:39

@OokuboTact #超算数修士論文(学士の学位はどこでとった?)が大正新算術教育の研究で当時の『教育研究』(東京高師の雑誌)を読みあさったと言っていますからね。括弧については今はもう少し分かっていて、同じoperationの対象となる意味だという流儀が英仏語で確認できます。

タグ：超算数

posted at 23:12:39

むううみん @muuumin20

しかし、パッと見たところ構文にS式を採用してないのに、「Lispのような真のマクロが使える同図象性」を実現できるんですかね？それは少し疑問ですが、まあ勉強してみましょう。予想が当たったら嬉しいし、外れたらもっと嬉しいですからね。
#Julia言語

タグ： Julia言語

posted at 23:18:36

なしすけ @74_suke

juliaの分からない事呟くとつよつよの方々が飛んでくる

タグ：

posted at 23:25:16

あんちもん2 @antimon2

OokuboTact　大久保中二病中年 @OokuboTact

@muuumin20 それについては後に中の人が回答しています(2015/07)。まとめると「所謂同図像性はJuliaにはなくなったけれどワンクッション置いてるだけでプログラマが意識するコードとコンパイラが見ているExpr（ASTを表現するオブジェクト）のテキスト表現は同じもの」て感じですかね。↓
stackoverflow.com/questions/3173...

タグ：

posted at 23:32:39

@temmusu_n 岡野勉の論文の１２７頁〜１３２頁に、片桐重男の戦前の算数教育研究を検証しています。

eprints.lib.hokudai.ac.jp/dspace/bitstre...

タグ：

posted at 23:33:22