黒木玄 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 を見て下さい。
2021年08月06日(金)
Super excited we were able to get these packages out the door!! The #JuliaLang open-source community is awesome twitter.com/BlackRock_Eng/...
タグ: JuliaLang
posted at 00:16:24
also check out out my presentation of the packages at #JuliaCon2021 last week:
"Linearly Constrained Separable Optimization"
live.juliacon.org/talk/FGUEAM
I give an overview of the packages and talk about the new Julia organization we created for first-order optimization!
タグ: JuliaCon2021
posted at 00:22:32
非公開
タグ:
posted at xx:xx:xx
My slides from this morning's #julialang Cxx.jl talk are up at compiler-research.org/assets/present... if you're interested in 6 slides worth of reasons Cxx never achieved its full potential :)
タグ: julialang
posted at 02:49:58
New post: Using QuestDB to Build a Crypto Trade Database in Julia - www.juliabloggers.com/using-questdb-... #julialang
タグ: julialang
posted at 03:01:54
DataSets.jl: A bridge between code and data. DataSets.jl is a new package for describing data declaratively and mapping it neatly into your programs. For more details click here youtu.be/PJkf0CO5APs
#julialang #Datascience #ML
タグ: Datascience julialang ML
posted at 03:27:41
Using QuestDB to Build a Crypto Trade Database in Julia www.juliabloggers.com/using-questdb-... #juliabloggers
タグ: juliabloggers
posted at 04:22:45
GeoStats.jl FOSS4G workshop www.juliabloggers.com/geostats-jl-fo... #juliabloggers
タグ: juliabloggers
posted at 04:22:45
New post: AbstractDifferentiation.jl for AD-backend agnostic code - www.juliabloggers.com/abstractdiffer... #julialang pic.twitter.com/YqI3urCuub
タグ: julialang
posted at 05:07:19
@golgo_sardine @tora8enl @Tmalone19270428 @nshrknl_e >型を決めてあげないと考えられない生徒もいるとは思うけど、そういう生徒のレベルに合わせないと不公平って話なのかなぁ
算数教育の専門家はそういうことは言っていません。
7人に5個ずつ配ると全部で何個か?を求める式は、5×7であって、7×5は誤り
と素で考えています。
タグ:
posted at 07:04:08
speakerdeck.com/butsugiri/incr...
さらに
discourse.julialang.org/t/please-read-...
make it easier to help you
も参照。
さらに
ja.wikipedia.org/wiki/XY%E5%95%...
真に解決したい課題Xを説明せずに、自分で考えた方法Yの実現法を質問するのはやめた方がよい。回答者は質問者のアイデアを否定せざるを得なくなってバツが悪い。 twitter.com/imai_eruel/sta... pic.twitter.com/AlLF6ynFei
タグ:
posted at 07:53:43
XY問題
真に解決したい課題Xに取り組んでいる人が、大変な苦労のすえ、方法Yを実現できれば課題Xが解決できそうなことに気付いた。
しかし、方法Yの具体的な実現法がわからない。
そこで、方法Yの実現方法のみについて質問してみた。
しかし、方法Yは課題Xの解決法として論外にダメな方法だった。
タグ:
posted at 08:36:11
これなんですよね。西浦先生は基本的にワーストケースシナリオの想定までされていて、その中で当たってるので twitter.com/muscle_penguin...
タグ:
posted at 09:18:35
非公開
タグ:
posted at xx:xx:xx
「1あたり量が重要」という言説は「内包量が重要」という言説にほぼ等しいので、積極的にその教育的かつ社会的有害性を指摘して行く必要があります。
若いときに権威に負けて洗脳されたまま年寄りになって「1あたり量が重要」と言い続ける社会的に立派な地位を築いた人達がいるので要注意です。 twitter.com/genkuroki/stat...
タグ:
posted at 09:42:17
function res_plot(n; label="n = $ n")
plot(rand(n); label)
end
の類で不満足なのかな? #Julia言語 twitter.com/EZX2FOFxVpvStI... pic.twitter.com/j6MGLfHm1N
タグ: Julia言語
posted at 09:56:57
非公開
タグ:
posted at xx:xx:xx
@OokuboTact ❌「式」と「具体的な場面」を対応させる授業は、文部省や算数教育専門家によって推進されている。
⭕️「式」と「具体的な場面」を対応させる授業は、算数教育専門家によって推進されており、文科省内部にも算数教育専門家がいる。
文科省の事務方は非常識なチョー算数の実態を知らないと思います。
タグ:
posted at 12:20:57
津田和俊/急激に進行した網膜剥離と闘って @kaztsuda
@pinwheel007 朝日新聞の記者時代に医療担当になってからだいぶトーンが変わったように見えますが、ニュースソースとして誰に当たったかの違いで、本人の理解度という意味ではあまり変わってないように個人的には見ています。
タグ:
posted at 13:11:57
OokuboTact 大久保中二病中年 @OokuboTact
@genkuroki 事務方はそうなのかもしれませんが、
例えば、笠井健一(文部科学省初等中等教育局教育課程課教科調査官)は、率先していると思います。
kyoiku.sho.jp/84669/
タグ:
posted at 13:17:33
OokuboTact 大久保中二病中年 @OokuboTact
@genkuroki #超算数
参考
笠井健一氏と算数教育の権威の人達の座談会
twitter.com/OokuboTact/sta...
タグ: 超算数
posted at 13:18:58
OokuboTact 大久保中二病中年 @OokuboTact
@genkuroki #超算数
参考 その2
笠井健一の考え方
twitter.com/OokuboTact/sta...
タグ: 超算数
posted at 13:22:17
四半世紀前の人間に騙されてたわ
ごめんなツイッターランドのみんな(開封の儀のためにベニヤまで敷いた人間) pic.twitter.com/kENa7op3lL
タグ:
posted at 14:28:26
OokuboTact 大久保中二病中年 @OokuboTact
@genkuroki #超算数
笠井健一氏は事務方ではなく文科省の下部組織から来ている人なので、文科省の事務方として出世することはありませんが、
今回の「新指導要領及び解説」で主導的な役割を果たしており、文科省の算数教育の顔的存在です。
www.youtube.com/watch?v=gxAvyE... pic.twitter.com/mHRh0jMHQv
タグ: 超算数
posted at 14:45:03
OokuboTact 大久保中二病中年 @OokuboTact
#超算数
最新版の文科省指導要領・解説(算数篇)は大増量になった。
かつて教科調査官ごときがこんな大役を任されたことがあったのだろうか? pic.twitter.com/02oLWiirjl
タグ: 超算数
posted at 14:58:30
新しい記事がQiitaにアップされました!#Julia言語 #Julia日本語記事
qiita.com/takahashi-ry/i...👈
タグ: Julia日本語記事 Julia言語
posted at 15:05:11
#Julia言語 の特徴に関する質問を見たのだが、流れて行ってしまった。もう遅いかもしれないですが、以下のリンク先のネタを再現してみました。
マンデルブロ集合をGPUを使ってCPUの1スレッドの100倍以上の速さで計算する方法。
ポイント:GPU用の特別なコードを書く必要がない。続く twitter.com/dhotta_met/sta... pic.twitter.com/i5yt2oHL8C
タグ: Julia言語
posted at 16:45:30
#Julia言語 ソースコードは
github.com/genkuroki/publ...
にあります。
添付画像はそのCPU用のコードです。マンデルブロ集合の定義を知って入れば特別なことをしていない陳腐なコードであることが分かるはずです。
どこにも具体的な型名が書かれていないことにも注目。続く pic.twitter.com/Kp66p4tLTp
タグ: Julia言語
posted at 16:45:33
#Julia言語 GPUではFloat32を使いたいので、インプットの複素数の配列をFloat32の複素数の配列にしています。この段階ではまだCPUで計算しています。 pic.twitter.com/4crLOE6W5J
タグ: Julia言語
posted at 16:45:37
#Julia言語 これがGPUを使った計算です。
CPUによる計算で使ったmandelbrot(c)函数をそのままGPUでの計算で使っていることに注目!
cu(z32)はGPUで計算される配列を作る操作で、collectは通常の配列に戻す操作です。
その結果が100倍以上の計算の高速化!
このように非常に気軽にGPUを使えます。 pic.twitter.com/ZQ5LjNcj7l
タグ: Julia言語
posted at 16:45:39
#Julia言語 using CUDAがGPUを使うためのパッケージの読み込みです。そのパッケージのインストールはJuliaのREPLから
julia> ]
pkg> add CUDA
だけで可能で、細かい設定は自動的にやってくれます。
インストールからコードを書くことまでどの段階もおそろしく簡単です! pic.twitter.com/dTFVqJBcxc
タグ: Julia言語
posted at 16:50:56
@OokuboTact 要するに、算数教育の専門家が文科省に入り込んで、影響力を振るうことができているという話ですね。
普通のまともな分野なら、事務方が専門的な仕事を各分野の専門家にまかせようとすることは良いことだと思います。
算数教育については専門家が特にひどいという点が大問題。
タグ:
posted at 16:54:32
#Julia言語 の開発を大学院生時代に始めた3人と10代から開発に参加して来た1人の現在の様子は以下の動画で見ることができます。もはや伝説。
youtu.be/IlFVwabDh6Q
State Of Julia
Stefan Karpinksi
Viral Shah
Jeff Bezanson
Keno Fischer
An overview of the state of Julia in 2021.
タグ: Julia言語
posted at 17:34:54
#Julia言語 2014年2月のJulia開発者達への取材
www.wired.com/2014/02/julia/
Out in the Open: Man Creates One Programming Language to Rule Them All
Stefan Karpinski was building software that could simulate wireless networks, and his code was a complete mess. But it wasn't his fault. twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 17:46:57
#Julia言語 の2年前の様子
youtu.be/TPuJsgyu87U
JuliaCon 2019 | What's Bad About Julia | Jeff Bezanson
これがJulia開発者による伝説の爆笑講演。
何度見てもクソ面白い。
タグ: Julia言語
posted at 17:57:49
#Julia言語 最初の話に戻る。CPUとGPUによるマンデルブロ集合の計算で、本質的に同一の函数 mandelbrot.(z) が使われています。ここでzはマンデルブロ集合を計算する領域内の複素数の配列です。
その配列zをJuliaのデフォルトの配列にするとCPUが使われて、GPU用の配列にするとGPUが使われます。 pic.twitter.com/LbR9Nctrgh
タグ: Julia言語
posted at 20:24:25
#Julia言語 ソースコードを更新
* mandelbrot(c)函数の外にあるz, z32, z_cudaの名前をc, c32, c_cudaに変えた。
* typeof(c32)やtypeof(c_cuda)などを表示するようにした。
github.com/genkuroki/publ... pic.twitter.com/rQvQtJxCm1
タグ: Julia言語
posted at 20:59:01
#Julia言語 通常の2次元配列のMatrix{ComplexF32}型のcについて、m = mandelbrot.(c) はCPUで計算されて、Matrix{Int64}型の配列が得られます。
CuArray{ComplexF32, 2}型の配列c_cudaについて、mandelbrot.(c_cuda)はGPUで計算されて、CuArray{Int64, 2}型の配列になる。
github.com/genkuroki/publ... pic.twitter.com/bfFHQRFLen
タグ: Julia言語
posted at 21:03:09
@EZX2FOFxVpvStIK 「この方法だと」の「この方法」は誰が書いたどのコードのことですか?
私への返答なので「この方法」は私が書いたコードの方法だと解釈できます。しかし、それだと私には全然理解不可能な話になります。
「この方法」は誰のどの方法のことですか? twitter.com/ezx2fofxvpvsti...
タグ:
posted at 21:20:52
@EZX2FOFxVpvStIK #Julia言語 細かいことは置いておく。
ラベルの情報を (i, j) にそれに対応するラベルを対応させる函数を引数にすれば添付画像のようなことをできます。
「ラベルは(i, j)の函数になっているので、そのような函数を引数として与えればよい」とシンプルに考えると楽です。
github.com/genkuroki/publ... twitter.com/ezx2fofxvpvsti... pic.twitter.com/Irr2G18oaE
タグ: Julia言語
posted at 21:41:32
@sekibunnteisuu メタメタ007さん、最近は、海外進出しましたが、海外からの反応は無い模様です。
mobile.twitter.com/metameta007/st...
タグ:
posted at 21:41:42
Daisuke HOTTA, 堀田大介 @dhotta_met
こちらのスレッド、以前私がツイートしたネタを材料に黒木玄さんが #Julia言語 の魅力をこれでもかと力説してくださった。読み応えがあるが非常に説得力のある解説。 twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 21:48:27
@genkuroki twitter.com/genkuroki/stat...
「この方法」は僕のツイートのコードにたいしてでした。
リプライに書くと確かに意味わからなくなりますよね。大変申し訳ありません😣
関数使う発想はなかったです。勉強になりました。ありがとうございます😊
タグ:
posted at 21:49:48
@sunchanuiguru @sekibunnteisuu 数学動画は見付けたらほぼ機械的にRTしているので上のもRTしておきました。もちろん動画の方だけ。
タグ:
posted at 22:00:54
Daisuke HOTTA, 堀田大介 @dhotta_met
@yujitach こちらのスレッドで @genkuroki さんが具体例を挙げて力説されていますが、型の取り扱いに特別な工夫があり、そのおかげで一度書いた関数を簡単に使い回すことができます。
twitter.com/genkuroki/stat...
タグ:
posted at 22:03:58
@sunchanuiguru @sekibunnteisuu この絵柄がちょっとすごすぎ!トンデモ感が強すぎる!
数学動画の方の動きが滑らかで綺麗な点も印象を強くしている!
こういう決定的なシーンにはそう簡単には出会えません! pic.twitter.com/MdSWkSufye
タグ:
posted at 22:04:04
Daisuke HOTTA, 堀田大介 @dhotta_met
@yujitach @genkuroki このエレガントな仕様のおかげで、例えば並列化やGPUの利用、自動微分などがわずかな書き替えで可能になることがあります。
「C++と表現力が同等」とはいえないように思います(が、私はC++11以降のC++を知らないので誤解しているかもしれません)。
タグ:
posted at 22:04:26
Daisuke HOTTA, 堀田大介 @dhotta_met
@yujitach @genkuroki 実用面では、Juliaの柔軟な型推論のおかげで、PythonかMatlabを書くようなノリ型をあまり意識せず「とりあえず動くコード」を書いておき、後から結果の一致を確認しながら少しずつ速いコードに書き換えていける点が便利です。
タグ:
posted at 22:05:18
#Julia言語 見た直後に反応できず、流れて行ってしまって見失っていた質問はこれ。
多分、モダンなC++で私が書いたマンデルブロ集合の計算と同等のコードを書いてくれる人がいればよいと思う。プロットも含めて。
CPUとGPUの両方とFloat64とFloat32の両方の精度で使える1つの函数をC++で書ける? twitter.com/yujitach/statu...
タグ: Julia言語
posted at 22:16:32
Learn how to use PackageCompiler.jl to cache the loading and compiled code of functions in #packages, effectively removing the compilation overhead. Create apps-executable programs that can be run on other machines without #Julialang installation form.jotform.me/211801978922461
#webinar pic.twitter.com/RjeHmWQRKc
タグ: Julialang packages webinar
posted at 22:27:49
@sekibunnteisuu 「一般の人が批判するのは謎」という主張と共に「文科省の方針だから従う義務があります」とか言ってましたね。
従いながら批判だってできますしね。
「ある法律を守ること」と「その法律を批判すること」が矛盾しないのと同じですよね。
彼女は確か今寮母だったような...
タグ:
posted at 22:36:19
#超算数 前にも引用したが
Wallis, Johannes [John Wallis]. _De Algebra Tractatus Historicus & Practicus_. Oxford: Sheldonian Theatre. 1693. books.google.co.uk/books?id=EuzpN...
ウォリスが乗数と被乗数をどちらでもよいと考えていたと強く示唆する記述が、95ページに。因数の一方ともう一方を指示した。 pic.twitter.com/EtPuCmkoy4
タグ: 超算数
posted at 22:53:32
#Julia言語 「モダンなC++」での同等のコードを期待しながら、スレッド並列化版も追加(添付画像3)。
単純なforループにスレッド並列化のマクロを付け加えているだけで、非常にシンプルです。12スレッドで1スレッド版より約8倍速くなっています。
github.com/genkuroki/publ... twitter.com/yujitach/statu... pic.twitter.com/H7bY6deLbQ
タグ: Julia言語
posted at 22:56:34
#Julia言語 マクロは本質的に式を引数として受け取り式を返す函数で、マクロの戻り値の式がマクロを配置した場所に挿入され、即時コンパイルされて実行されます。
添付画像中で、マクロ Threads.@ threads がforループの式を受け取って、その並列化版の式を返しています。
github.com/genkuroki/publ... pic.twitter.com/aBi0XNP64n
タグ: Julia言語
posted at 23:00:51
#超算数 ここでジョン・ウォリスはかけ順固定気味だと紹介したが、厳密というか晦渋なだけだった。おそらく×記号が発明されてから百年経っていない時代であり、数学そのものの未整備が原因と思われる。87ページに、アレイ図による交換法則からの行論books.google.co.uk/books?id=XjmI9...。 twitter.com/temmusu_n/stat... pic.twitter.com/SaFEdKAH3i
タグ: 超算数
posted at 23:58:19