黒木玄 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年04月04日(日)
下の訂正でわらった。
Correction (April 7th): An earlier version of this chart depicted cherry blossoms with six petals rather than five. This has been amended. Forgive us this botanical sin.
タグ:
posted at 22:05:43
@sekibunnteisuu @gensogaku ヨーロッパが負数への忌避感を19世紀まで引きずったというのは、われわれ東アジア人には「なんじゃ、そりゃ」ですよね。
タグ:
posted at 21:53:01
過去1200年の日本の桜の開花はこの数十年で急速に早まっている。
Daily chart – Japan’s cherry blossoms are emerging increasingly early www.economist.com/graphic-detail...
タグ:
posted at 21:51:44
>数学に弱い人は数学史を決して理解できない。
メタメタさん@metameta007 がそうなんだよね。
数学を理解していないでいろいろ読んでいるから、訳の分からない理解に陥ってしまう。 twitter.com/genkuroki/stat...
タグ:
posted at 18:54:30
#超算数 「小学校教員養成段階における大学生の割合の理解に関する調査研究」という題名で掲示板に書き込みました。
8254.teacup.com/kakezannojunjo...
タグ: 超算数
posted at 17:27:43
楽譜の通りに「千本桜」を演奏するとAI初音ミクが歌い出すという世界初のピアノを体験するが、だんだんピアニストvsAI初音ミクの闘いみたいになってきて開発者も興奮し始める動画
#プロセカ
#ピアノ pic.twitter.com/yDfc4aud47
posted at 17:16:19
Inspired by @matthen2, here's a @geogebra applet to show that the number of handshakes in a party of n people is a triangular number. #MathGIF
www.geogebra.org/m/sazzd5ta pic.twitter.com/U9vUsEfWlr
タグ: MathGIF
posted at 17:14:41
小6甥、小2息子と桃鉄。子が不利の中盤で、子は絶好調カードを引く。逆転の望みが出てきたと喜んだ次のターン、父は秒で刀狩りカードを使い、子の絶好調カードを奪う。ゲーム全般、勝っても負けても淡々としている子が「ぎえええええええええええええええ」とこの世の終わりみたいな叫び声をあげた。
タグ:
posted at 16:01:26
#数楽 Neyman-PearsonのPearsonさんは現代では完全に固定されてしまっている検定用語のaccept, rejectという用語選択は不幸な失敗だったと言っている。
「学習の手段」である統計的検定を【お墨付き】を得るために用いることはPearsonさん的にも誤りになるものと思われる。 twitter.com/genkuroki/stat...
タグ: 数楽
posted at 15:50:38
#数楽 Lie環のKilling形式のアイデアを出したのもKillingさんではない。
そもそも "Killing form" という用語を最初に使った A. Borel さんはそのように名付けた理由を覚えていないと言っている。
人の名前の付いた数学用語から数学史を読み取るのは危険行為。 twitter.com/genkuroki/stat...
タグ: 数楽
posted at 15:42:17
#数楽 ニュートン法はニュートンが最初に考えたのではない。
古代バビロニア人達はすでにニュートン法を知っていた。
中村滋・室井和男『数学史』は非常に良い本です。お勧め!
www.amazon.co.jp/dp/4320110951
特に前半の室井さんパートが自身による世界最先端の研究に基いており、圧巻! twitter.com/sekibunnteisuu... pic.twitter.com/y10NuGoFKp
タグ: 数楽
posted at 15:21:12
@RenpooTsukioka #Julia言語 ローレンツ方程式の動画は定番ネタで私のTLでは「みんな作っている」という印象があります。 twitter.com/genkuroki/stat...
タグ: Julia言語
posted at 13:11:03
#Julia言語 DifferentialEquations.jlにおける古典的Runge-Kuttaに最も近いソルバはRK4()なのですが、時刻の刻み幅が適応的になっています。
DifferentialEquations.jlでのODEのソルバ↓
diffeq.sciml.ai/stable/solvers...
古典的ルンゲクッタは含まれていません。別途SimpleDiffEq.jlが必要。
タグ: Julia言語
posted at 12:56:23
#Julia言語 あと、JuliaにはDifferentialEquations.jlという微分方程式に関する便利な巨大パッケージがあります。
現代的なソルバの実装はかなり面倒なのですが、ほとんど網羅的に実装されています。
自分で古典的Runge-Kuttaのコードを書いて使うのは数値計算の技術の進歩に逆行していると思う。 pic.twitter.com/8hX815L1w3
タグ: Julia言語
posted at 12:41:48
@genkuroki Julia では綺麗なアニメーションもできるのですね。
わたしは MATLAB でやってみたことがあります。
(音と映像はシンクロしていません。ごめんなさい。)
www.youtube.com/watch?v=Jj7fGe...
タグ:
posted at 12:16:35
#Julia言語
素朴なルンゲ・クッタ法では using StaticArrays もしておいて、微分方程式を記述する函数の返り値をVectorからSVectorに変更すると速くなります。
この変更のコード書き変えは極小で済むのでいつでも試す価値があります。
ソースコードはこちら↓
gist.github.com/genkuroki/856f... pic.twitter.com/hGdeZ36VWZ
タグ: Julia言語
posted at 12:13:28
#Julia言語 添付画像解説
①普通のルンゲクッタ。メモリ割当が無駄に多い。その原因はfの返り値がVectorであること。
②それをSVectorに変えただけ。たったそれだけでメモリ割当が激減して、十数倍速くなっている!
③in-place版
④ベンチマークテスト。以上の3つではSVector版が最も速い。 pic.twitter.com/YZ43WefUSN
タグ: Julia言語
posted at 12:09:49
やさしい世界
お馬さんに赤ちゃんを見せてあげると…… 心を通わせるお馬さんと赤ちゃんの姿に癒やされる
nlab.itmedia.co.jp/nl/articles/21... pic.twitter.com/7s0ET998pF
タグ:
posted at 10:15:00
A Simplified E-graph Implementation www.juliabloggers.com/a-simplified-e... #juliabloggers
タグ: juliabloggers
posted at 04:33:53
In some dynamical systems, simple equations give rise to behaviour hard to predict.
@JuliaLanguage #JuliaLang #programming #chaos pic.twitter.com/BS6XTVi5lR
タグ: chaos JuliaLang programming
posted at 04:31:28
this clock in PlutoUI.jl for easily making animations 😍
@PlutoJL #julialang pic.twitter.com/JovpEdbV1h
タグ: julialang
posted at 04:07:17
超越基底(佐藤陽花/エヤイヌニタㇰ/藍徽 @Distr_to_Yonder
実装はRustベースでJuliaとかPyとかでそれを利用(沼さんDrTほかの合意?(Spaceにて))
Cuda 対応!!! twitter.com/Distr_to_Yonde...
タグ:
posted at 02:37:53
[New Blog Post] A Simplified E-graph Implementation www.philipzucker.com/a-simplified-e... #julialang pic.twitter.com/VW74GdHkth
タグ: julialang
posted at 02:36:39
「チュービンゲンは惨事」
「ナンセンスを止め、数千人(‼︎)の命を救おう」
「顕著な失敗例」
「買い物をする代わりに家にいることで数千人の命を救おう」
(Google翻訳を元に表現変えた)
twitter.com/mkrassmann/sta...
twitter.com/missmcsimpled8...
twitter.com/weltraumhilfed...
twitter.com/k_kaskeline/st... pic.twitter.com/nQt4433ZLC
タグ:
posted at 01:43:50
@ChadScherrer @MyNameIsTooLon @trent_hauck Neat. I think when getting into a more functional mindset, you just need to think in terms of modules rather than classes. What sort of module would contain the functionality you look for. If modules are not too large, that is a sensible way of exploring functionality I think.
タグ:
posted at 01:28:08
「歯を磨くように検査をしよう」
「店に入るのには証明書がいるので。週2回は検査を受けている。ここでは検査はもう当然です」
「抗原検査で早めに陽性の人を見つけ出し、PCR検査を経て隔離する」(朝日新聞の記事より)
…とやって、感染者数増加中。
↓ 住民の方のツイート。 twitter.com/beccamerkelbac... pic.twitter.com/nw2zrdPow1
タグ:
posted at 01:26:12
@ChadScherrer @MyNameIsTooLon I don't see why. Adding methods to functions, is after all the whole idea of Julia. A potential problem can of course be when behavior is radically different. But that is why e.g. you write Pkg.add rather than just add. You are not dealing with collections so context matters.
タグ:
posted at 01:25:26
@erikengheim @MyNameIsTooLon @trent_hauck This is one workflow where Haskell really shines. The fact that a thing like Hoogle can exist is just amazing
hoogle.haskell.org
タグ:
posted at 01:25:03
@MyNameIsTooLon @ChadScherrer @trent_hauck Before I used to think about objects first and then look for what they can do. Now objects are much less important to me. I think about the action I want to do first. Search directly for that and then investigate what objects I may need, but I get that from function signature.
タグ:
posted at 01:23:27
@MyNameIsTooLon @ChadScherrer @trent_hauck I used to think that too. But it is really just a mindset you got because you are used to many years of #OOP. Once you get used to functional programming. The discoverability problems becomes opposite. You hate having to know the object before you can search for functions.
タグ: OOP
posted at 01:21:20
#Julia言語 アニメーションも作ってみた。
gist.github.com/genkuroki/856f...
あと、メモリアロケーションも減らしてみた。 twitter.com/cakkby2/status... pic.twitter.com/bRKJCFfDOm
タグ: Julia言語
posted at 01:19:57
@MyNameIsTooLon @ChadScherrer That is no different from object-oriented programming. You don't know what method x.foo() is going to call in Python any more than you know what method foo(x) will invoke in Julia. I think people make a mistake comparing free Python functions to Julia. Not same
タグ:
posted at 01:19:26
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx
Exciting stuff. #julialang equivalent of #dask #spark
github.com/JuliaParallel/...
posted at 00:49:10