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

9月になりました.決定不能問題ギャラリー第9弾は「文脈自由言語の普遍性判定問題」です!
iso.2022.jp/math/undecidable-p
プッシュダウンオートマトンは「Turing機械の計算の履歴である」ことを検査する能力を持たない一方で,「計算の履歴でない」ことは検査できることを見ます.
mathtod.online/media/gBI_iby-Y mathtod.online/media/N6P74cUfe mathtod.online/media/kf5eKU1oS mathtod.online/media/cgZG-ROTX

diagram chaseを日本語で書き下すと,大したことじゃない割にはけっこう長くなってめんどくさい.
mathtod.online/media/TLsjajH39

@genkuroki @iwaokimura モンテカルロ法がCよりJuliaの方が高速な件ですが,JuliaはdSFMTというSSE2命令を利用した高速な疑似乱数生成器を使っているようです.(ネイティブコードをcode_native(findpi, (Int,))で見てみるとdsfmt_fill_array_close1_open2なる文字列が見えます.)
手許の環境でCでもdSFMTを使用して(さらに最適化をかけて)みたところ,かなり高速になったことをお伝えしておきます.
mathtod.online/media/DRNhnlfnT

Twitterにも貼りましたが,今日のTikZでの作業の成果です. mathtod.online/media/SCMYK8i6k