黒木玄 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年08月30日(日)
@akhdhys #Julia言語
Windows 8.1上の6日前のnightly buildで
pgk> add Clang#master
ならばうまく行ったように見えます(添付画像2と以下のリンク先を参照)。
gist.github.com/genkuroki/de0e... pic.twitter.com/3RklOQWouE
タグ： Julia言語
posted at 23:55:42
漠然としてるけど、目的と対応する言語（異論は認める）
EXCEL使って業務効率化したい→VBA
データベースいじりたい→SQL
データサイエンスかっこいい→Python・R・Julia
Googleサービス色々やりたい→GAS・TypeScript
タグ：
posted at 23:54:48
会計士がITやるべき論争ってのがあるけど、何をやりたいか方針を決めないとマジで迷子になる説を提唱したい。
若い人はJuliaやれば良いんじゃない？最近はやってるし。
タグ：
posted at 23:45:08
What’s your favourite part about @JuliaLanguage? Hear mine & those of its creators @KenoFischer & @Viral_B_Shah! We’re going #LIVE in 30 minutes at 11 AM ET to discuss & answer your #Julia, #compilers, #science questions!
Join us here: lnkd.in/eNu-EXb pic.twitter.com/KWlHTP5dWG
タグ： compilers Julia LIVE science
posted at 23:37:59
Managed to squeeze a little more performance out of it by combining LoopVectorization with multi-threading.
See gist.github.com/xiaodaigh/994a...
Also tried a GPU version and it was faster ONLY if I can fit the data in GPU. pic.twitter.com/7ftDOjLCIT
タグ：
posted at 23:28:29
#超算数 ごときで驚いてはいけないようだ。
こんどは、 #超社会科 が出現した。 twitter.com/uP4I4FUhBlN0bc...
posted at 23:20:52
Juliaって中途半端に他言語の常識が通じちゃうことがあって取り敢えず書いたものが動いちゃうことが多いからそういうことよくあるんですよね、もっと効率の良い書き方があったり少しJuliaらしく書き直すだけで爆速になったりとか。 twitter.com/3525Ku/status/...
タグ：
posted at 23:18:23
@tsatie #Julia言語
Life Gameの初期条件を任意に与えてどうなるかの動画を作る方法が
nbviewer.jupyter.org/gist/genkuroki...
に書いてあります。 twitter.com/tsatie/status/... pic.twitter.com/KOzQ0STbhE
タグ： Julia言語
posted at 23:12:58
It's amazing already how adding the `@avx` macro from LoopVectorization.jl already 1/2 the time!
using LoopVectorization
function simple_loop(x)
count = 1
@avx for i in 1:length(x)-1
count += x[i] != x[i+1]
end
count
end pic.twitter.com/Vo60eqQZxs
タグ：
posted at 23:10:17
@kale_aojiru 掛け算の順序を揃えることによって、数値の持つ意味をいちいち考えなくても解けるようになるのが掛け算順序指導なので、困るのは掛け順のパターンマッチングを完全習得してしまった子どもの方だと思います。
タグ：
posted at 23:09:25
#Julia言語 関連↓
nbviewer.jupyter.org/gist/genkuroki...
FFTW.jl Example
FFTを使った導函数の近似計算法の解説。
1次元配列の場合と2次元配列の場合のみを扱っている。
fftとifftの仕様を確認するためのコード付き。 twitter.com/mat_der_d/stat...
タグ： Julia言語
posted at 23:08:56
I can't seem to replicate this manual unrolling trick in Julia to get better performance.
Any ideas #julialang twitter?
Also, keen to hear other ideas e.g. LoopVectorization.jl etc. twitter.com/coolbutuseless... pic.twitter.com/Lnxa9HdPzt
タグ： julialang
posted at 23:03:49
はてなブログに投稿しました #はてなブログ
Julia の FFTW.jl で使える fft, ifft, rfft, irfft の挙動に関する備忘録 - ぷりんの雑記帳
smooth-pudding.hatenablog.com/entry/2020/08/...
タグ： はてなブログ
posted at 23:03:27
@tsatie #Julia言語 で Life Game
nbviewer.jupyter.org/gist/genkuroki... pic.twitter.com/FfAPPoQSYY
タグ： Julia言語
posted at 22:58:05
juliaで
「add Clang」
しただけでこけて泣いてる。
「LibraryProduct(...) is not satisfied, cannot generate deps.jl!」
は他のパッケージのissueでは見かけるけど、clang.jlでは見かけないし、よくわからん
タグ：
posted at 22:51:16
非公開
タグ：
posted at xx:xx:xx
幻冬舎plusで #香山リカ 先生に紹介していただきました。
「この特集は…（中略）…感染症などに数理モデルを使って取り組む理論疫学が主役なのだ。」
ありがとうございます！
人生2度目、40数年ぶりに「数学セミナー」を買いました｜おとなの手習い｜香山リカ - 幻冬舎plus www.gentosha.jp/article/16400/
タグ： 香山リカ
posted at 22:36:10
#Julia言語 multiple dispatch の説明をするためのシンプルで分かりやすい例
Julia方式は函数(メソッド)を自由に追加し易いような気がする。 twitter.com/atsushi_twi/st...
タグ： Julia言語
posted at 22:17:10
C++をメインでやっていたときはなんとも思わなかったけど、ちょっとJuliaをやって、C++に戻ってくると、このコードがちゃんと動かないことにめっちゃ混乱する。 pic.twitter.com/D2vbrdE847
タグ：
posted at 22:13:08
『数学セミナー』９月号、好評発売中
◉特集＝新型コロナウイルスと闘うために数学にできること
今回は理学疫学を中心に感染症の数理を紹介する。
＊感染症数理モデル元年に機構と外挿の狭間に立つ……#西浦博
＊感染症数理モデル入門… #小林鉄郎 ・西浦 博 ほか
www.nippyo.co.jp/shop/magazine/... pic.twitter.com/eATahCHwVc
タグ： 小林鉄郎
posted at 22:09:57
なるほど、JuliaでJavaのinterface的な抽象化をしたい場合は、空の関数とdocstringで実装してほしいものを列挙して、ユーザがそれを実装するようにすればいいのか。multiple dispatchをうまく使ってて面白い。(本の実際の例は宇宙船のモデリングを使って、もっと複雑です) pic.twitter.com/PDNQHVkBew
タグ：
posted at 21:15:53
@ogawa_tter 前からちょこちょこ(常に追いかけてる訳じゃないですが)見ますが、あんまり効く印象がないですよね
omp simdあたりを付けてあげないとだめな印象が
タグ：
posted at 19:56:33
ごまふあざらし(GomahuAzaras @MathSorcerer
Julia，ソースからでもビルドできるのでもう1.6に手をつけていいかもしれない．読み込み速度も倍は改善できる．そしてたいていのパッケージは動く． twitter.com/bicycle1885/st...
タグ：
posted at 19:41:05
自動マルチプロセスは多分ないです
自動マルチスレッドは商用に備わってたりしますが期待通りのものは見たことないです
自動SIMDもどこもイマイチですが、NEC系のベクトルマシン用のは例外で賢そうです
最新版でも同じかは知らんですが、一般環境(gcc, clang)では何も効かないと思ってます twitter.com/JShinzaki/stat...
タグ：
posted at 19:15:24
かけ順強制が正義の味方で、かけ順自由が悪の組織みたい。
「正」
なぜかけ順を強制しているのかわかっていない。
正しいと信じているので証拠を出そうとしない。
「悪」
日々いろいろ証拠を提示している。
次から次へと現れるとんちんかんに丁寧に対応している。 twitter.com/genkuroki/stat... pic.twitter.com/QLneyvzz0K
タグ：
posted at 17:28:02
@genkuroki 恐れ入ります。勉強になります。順序指導したグループとしないグループを比較して、前者の方が遥かに数学を理解しているなどという話は聞いたこともありません^^
タグ：
posted at 16:18:18
Juliaのパッケージ読み込みの遅さに不満がある人はそれがmethod invalidationのせいであること、次期バージョンのJulia 1.6でかなりの改善が見込まれることは知っておいても良いと思う。
julialang.org/blog/2020/08/i...
タグ：
posted at 15:50:41
#超算数 伊藤宏先生(2001)と同様の結果を宮下甲先生(1990)がすでに得ていた。
2×8と書いた子も8×2と書いた子も、2こずつを1かたまりと考えて、かたまりが8つある図を描けている。
児童の書くかけ算順序と児童による場面の正確な把握は無関係です。 twitter.com/temmusu_n/stat... pic.twitter.com/JcMk3lC2YW
タグ： 超算数
posted at 14:28:09
交換法則を学んだあとだったからこの謎の縛りが辛かった......
あとは割合の計算で謎の絵を書かないといけなかったりだとか..... twitter.com/genkuroki/stat...
タグ：
posted at 14:22:05
#超算数 かけ算順序に強いこだわりのある先生が小3のあるクラスで調査してみたら、児童の書いたかけ算順序と児童が正しく絵を描けるかは無関係であることが判明してしまいました。
その調査の紹介ツイートへのリンクに続く twitter.com/coffeecup2018/...
タグ： 超算数
posted at 14:18:07
#超算数 他にも【かけ算の しきであらわせる ばめんを さがしましょう】と書かれている教科書がある。
「しき」で表せるのは数値や数量やそれらの関係であり、決して「ばめん」ではない。かけ算の導入の仕方がすでに間違っている。
リンク先の学校図書小2下算数教科書より。 twitter.com/genkuroki/stat...
タグ： 超算数
posted at 14:04:13
#超算数 算数の教科書が、3×4のような記号列が数値や数量ではなく、まるで場面を表すかのように教えるように執筆されているっぽいことを示す資料は以下のリンク先にある。 twitter.com/genkuroki/stat...
タグ： 超算数
posted at 14:00:29
#超算数 コーヒーカップさんはかけ算順序問題の本質をよく理解していると思う。
小2の算数の教科書は、3×4のような記号列は(数値や数量ではなく)場面を表すと教えるように編集執筆されているように見える。
だから、コーヒーカップさん的な考え方のもとでは算数の教科書がクズであることになる。続く twitter.com/coffeecup2018/...
タグ： 超算数
posted at 14:00:28
#数楽 訂正
問題：既出の添付画像1は「間違って」います！どこが間違っているのでしょうか？
答え：添付画像2を参照。9が抜けていた。
この間違いを私は何度もして来て今回もしてしまった。
twitter.com/genkuroki/stat... pic.twitter.com/SjG1DTPRFF
タグ： 数楽
posted at 13:31:34
ごまふあざらし(GomahuAzaras @MathSorcerer
これめっちゃ面白いから🤣試して！！！ twitter.com/genkuroki/stat...
タグ：
posted at 13:05:22
#数楽
2, 5以外の素数pに対して、9, 99, 999, 9999, …のように9だけが並んだ数でpで割り切れるものを見つけよ
という問題なら小学生でも楽しめます。
p = 17, 19
でやってみるとよい。pで割る計算を筆算でやったときに各ステップで現れる余りの全体にも法則が見つかる。 pic.twitter.com/tiQlm0gn9l
タグ： 数楽
posted at 13:02:21
Nemo/Juliaはなかなかスパルタンで，有理数係数の冪級数環をつくって割り算しようとすると，「環に割り算はねーぜ！」という感じ． pic.twitter.com/o6mIU2pmPS
タグ：
posted at 12:39:41
#数楽 関連のネタ
オープンキャンパス2009年の数学クイズ
genkuroki.github.io/documents/Open...
問題のみ
genkuroki.github.io/documents/Open...
解答を含む
このネタを楽しむには素数分の1の小数展開の表が必須
非自明な規則を発見して楽しめれば最高
素数p≥11の1/pの(p-1)/2+1桁目は0または9で～以下略 twitter.com/tsujimotter/st... pic.twitter.com/ICNB4InUiu
タグ： 数楽
posted at 12:39:18
非公開
タグ：
posted at xx:xx:xx
#Julia言語 数学の勉強の仕方との類似
数学
①試行錯誤用の計算用紙
②清書されたノート
Julia
①REPL (Revise.jlを使う)
②パッケージのjlファイル
Jupyter
①試行錯誤用のJupyter notebook
②整形された数式やグラフを用いた解説を含み、Restart & Run All 可能な完成品のJupyter notebook twitter.com/genkuroki/stat...
タグ： Julia言語
posted at 12:25:39
ごまふあざらし(GomahuAzaras @MathSorcerer
#Julialang
Julia + CxxWrap.jl + OpenCV = Yet another VideoIO app
github.com/terasakisatosh...
タグ： Julialang
posted at 12:21:51
#Julia言語 その宿題の答え
nbviewer.jupyter.org/github/steveng...
がすごい‼️
scipyで採用されているFortranで書かれたライブラリにおける指数積分函数E₁(z)よりも、5～6倍速い実装をJuliaで実現しています。
高速化の方法は原理的にはJulia以外でも使える普遍的な方法(アルゴリズムの改良)です。
タグ： Julia言語
posted at 12:09:52
#Julia言語 を使ったMITの講義でも #Jupyter を使っています。「指数積分函数E₁(z)をJuliaで実装せよ」という宿題の答えが書いてあるのも、何度も繰り返し引用しているJupyter notebookです。
これ↓
nbviewer.jupyter.org/github/steveng...
数式やグラフを含む非常に分かりやすい内容になっていると思います。
posted at 11:49:28
#Julia言語 #Jupyter
引用1
qiita.com/abcsupergt/ite... より
【jupyterを使う～筆者はどうしてもぐちゃぐちゃになってしまう】
引用2
【Jupyter どうしてもぐちゃぐちゃになってしまう】
純粋に教えて欲しいこと：
具体的にどうぐちゃぐちゃになるのか？
ぐちゃぐちゃの具体例を見せて欲しいです。続 twitter.com/__dalong/statu...
posted at 11:45:21
Jupyter for Juliaみたいな "fonsp/Pluto.jl: 🎈 Lightweight reactive notebooks for Julia" github.com/fonsp/Pluto.jl
タグ：
posted at 11:22:51
プログラミング言語習う時って、基本的によく分かってない状態で、とりあえずコード組んでみて勉強する。自分の必要なものが作れれば良いという認識やから基礎構文の何個かを知らないことも多々あるんよね。
最近Juliaの基礎構文にこんなんがあるんかってビックリしてこのことを思い出してる。
タグ：
posted at 11:18:54
ごまふあざらし(GomahuAzaras @MathSorcerer
そういえばQiitaであったなって探してたやつです。感謝。 twitter.com/termoshtt/stat...
タグ：
posted at 11:15:54
なぜ我々はいまだに文字列でコメントを書いているのか qiita.com/tkrkt/items/2f... #Qiita
あとvscodeでinlineに画像表示するやつあるよね(´・ω・｀)
タグ： Qiita
posted at 11:13:54
ごまふあざらし(GomahuAzaras @MathSorcerer
Pkg.instantiateで必要なの揃うから便利ですよね twitter.com/you_s1025/stat...
タグ：
posted at 11:13:00
ごまふあざらし(GomahuAzaras @MathSorcerer
VSCodeの機能とかで欲しいできゅ・・・ twitter.com/genkuroki/stat...
タグ：
posted at 11:03:07
ごまふあざらし(GomahuAzaras @MathSorcerer
See also
discourse.julialang.org/t/have-a-try-j...
タグ：
posted at 10:59:19
ごまふあざらし(GomahuAzaras @MathSorcerer
Enjoy #Julialang v1.5.1 on your Raspberry Pi Zero pic.twitter.com/rke3QwidW1
タグ： Julialang
posted at 10:59:18
ごまふあざらし(GomahuAzaras @MathSorcerer
Tipとして SpecialFunctions.jl が依存するパッケージは OpenSpec_jll に関する artifact を /usr/lib/arm-.... 以下にある so で入れ替えると PiZeroでも動きます．
SpecialFunctions.jl はパッケージの依存パッケージのさらに依存するパッケージで依存してるので結構ハマる．
#Julia言語
タグ： Julia言語
posted at 10:51:23
そういえば先日検索してて #Python でセルオートマトンの振る舞いを動画的に観る手としてhtmlなんとかってのを使えそうやなぁと思うたのだけど #Julialang でもその手は有効なのやろか？何が一番「お手軽」なのやろか。
posted at 10:46:58
ごまふあざらし(GomahuAzaras @MathSorcerer
Coreを１００％使い続けるのでいい子ねー． pic.twitter.com/pMs0S1kXV2
タグ：
posted at 10:45:05
ごまふあざらし(GomahuAzaras @MathSorcerer
PyCall.jl のプレコンパイル終わった (ラズパイゼロ上で）
#Julia言語
タグ： Julia言語
posted at 10:41:18
ごまふあざらし(GomahuAzaras @MathSorcerer
numpy 使わなくても Julia の Array 投げれば裏で変換してくれますね＞RT
タグ：
posted at 10:36:43
Julia set
f(z) = z^2 +C
C = 0.28 - 0.02i
いつもより小さい作品
#切り絵 pic.twitter.com/1xvXlJA0JL
タグ： 切り絵
posted at 09:51:40
@jeremyphoward @OfficialLoganK differently, genie can handle more than one requests at the same time without need of an external web server tool.
タグ：
posted at 09:37:28
「速くて書きやすい」次世代の言語Juliaを学ぼう! Julia勉強会#2~機械学習の実装その1~に参加を申し込みました！ soleildatadojo.connpass.com/event/186505/?... #DeepLearning
タグ： DeepLearning
posted at 08:53:48
tsujimotter 日曜数学者 @tsujimotter
レピュニットについての面白い話を知ったのでまとめました！
任意の素数はレピュニットの素因数に現れる（2, 5を除く）あとダイヤル数 - tsujimotterのノートブック
tsujimotter.hatenablog.com/entry/factors-...
タグ：
posted at 08:00:06
ごまふあざらし(GomahuAzaras @MathSorcerer
OpenSpecFun_jll を解決するためいろいろ ~/.julia/artifacts をいじってる（笑）
タグ：
posted at 04:27:59
Nice work by @badiasantiago and @francescverdugo! Great performance, great for teaching FEM and very easy to use for complex problems as well! see github.com/gridapapps/Gri..., github.com/gridapapps/Gri... (by @jboni91)
#JuliaLang #julialanguage #FiniteElements #FSI #CFD #MHD twitter.com/KMMoerman/stat... pic.twitter.com/dbVqStQ359
タグ： CFD FiniteElements FSI JuliaLang julialanguage MHD
posted at 03:38:45
dockerのemacsをGUIでホストPCに表示できたー! これでdocker引きこもり生活ができる。 pic.twitter.com/dfQGgbXpsB
タグ：
posted at 03:16:33
こういう先生は社会全体で応援しておかないとまずい。
怒った管理職の側こそ誰かに怒られるべきだと思った。 twitter.com/knrsgm/status/...
タグ：
posted at 02:28:08
「2✕5」を元の問題文に翻訳してほしいわよね。
「翻訳」ってんだから出来るんだろうねきっと。もうエスパーつっても過言じゃないね。 twitter.com/game_pokeatsu/...
タグ：
posted at 02:27:54
Mark Kittisopikul ht @markkitti
@codingonsteroid @OfficialLoganK @KenoFischer @TajyMany @JuliaLanguage @Viral_B_Shah @numba_jit A Python developer would probably have a higher comprehension of Julia than suddenly having to think about pointers or memory management in C/C++.
タグ：
posted at 02:15:47
Mark Kittisopikul ht @markkitti
@codingonsteroid @OfficialLoganK @KenoFischer @TajyMany @JuliaLanguage @Viral_B_Shah For a Python-based house, I would probably first consider if @numba_jit would work. If that becomes too cumbersome, I might consider if #JuliaLang would work before going to C/C++.
タグ： JuliaLang
posted at 02:15:18
Mark Kittisopikul ht @markkitti
@codingonsteroid @OfficialLoganK @KenoFischer @TajyMany @JuliaLanguage @Viral_B_Shah You could also use pytorch from Julia:
github.com/boathit/JuliaT...
タグ：
posted at 02:08:51
@genkuroki えっ？ なんか、
美味しそうな機能、ですね。w
開発は挫けない目標と道具でガンガンやってかないといけないので、「初めに頭に入れて方式」は避けようと考えてます。
その道具面白そうですね
タグ：
posted at 01:38:43
@Guru_GyanKhoji It's doing 1 billion element and the time difference is 0.6s. So it's definitely into the who cares territory.
タグ：
posted at 00:50:20
#Julia言語 を便利に使える環境を
①インストーラーをダウンロード
②インストーラーを起動
だけで整えたいなら
juliacomputing.com/products/julia...
JuliaPro
を入れればよいと思います。ただし、
⓪登録とログイン
は必要。
タグ： Julia言語
posted at 00:30:18
JuliaConの発表の一つでオススメされていたこの本を読んでるが、英語だけとすごく読みやすく、学びが多い。bit.ly/2EP3yU4 pic.twitter.com/LcuUDkGw3x
タグ：
posted at 00:12:14
