y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
y. @waidotto@mathtod.online
https://twitter.com/waidotto
http://iso.2022.jp/
数学をやっています．
決定不能問題/計算可能性理論/数理論理学(数学基礎論)/モデル理論/数論
diagram chaseを日本語で書き下すと，大したことじゃない割にはけっこう長くなってめんどくさい．
https://mathtod.online/media/TLsjajH39rEnaSSw2Ps
@genkuroki @iwaokimura モンテカルロ法がCよりJuliaの方が高速な件ですが，JuliaはdSFMTというSSE2命令を利用した高速な疑似乱数生成器を使っているようです．(ネイティブコードをcode_native(findpi, (Int,))で見てみるとdsfmt_fill_array_close1_open2なる文字列が見えます．)
手許の環境でCでもdSFMTを使用して(さらに最適化をかけて)みたところ，かなり高速になったことをお伝えしておきます．
https://mathtod.online/media/DRNhnlfnTUcS67sAL4Y
Twitterにも貼りましたが，今日のTikZでの作業の成果です． https://mathtod.online/media/SCMYK8i6kYzEytflLv4