ひとなぐりこけし

完全な球体と屋根の上に降り積もる女の子のやわらかい死体

超準チューリングマシンによる量子マシンのシミュレート

これは Math Advent Calendar 2017 12月12日の記事です。

 

www.dropbox.com

かなり雑なのでちょくちょく修正します。申し訳ない。

 

更新履歴

12月13日

正則性公理に反する部分を修正

12月14日

「超準解析と数学基礎論のシンポジウム」で配布するバージョンと同じものに更新