インフィニティーホテルのゴミ回収

数学者ダフィット・ヒルベルトは無限の部屋があるホテルについて考えました。このインフィニティーホテルは無限の客を収納できることを始めとして、様々な無限による奇妙な恩恵を受けます。ここでは、その恩恵の一つであるゴミ捨て場のいらないゴミ回収をシミュレートします。

背理法はタイムパラドックスを無理やり引き起こす証明法

数学の証明方法の1つである「背理法」は、ある否定したい仮定を元に論理を展開し、自分自身を否定させます。これはタイムトラベルについて考える時、自分のおじいさんを殺せてしまう歴史は否定されるというのと同じです。もちろん、「タイムパラドックスが起きない理由が背理法で証明できるのであってその逆ではない」という見方もできますが…。

同調圧力2D

同調圧力のかんたんなシミュレーションです。青の勢力と赤の勢力がお互いの領土を削り合います。

ラプラスの悪魔に宇宙内部からアクセスするのはタイムトラベルと同じ

ラプラスの悪魔とは、宇宙のすべてと物理法則について知っている存在で、その気になればどんな遠い未来も見ることができます。残念ながら現実世界には量子力学的なランダムさがあるのでこのような機械を作ることは不可能ですが、コンピュータの決定論的仮想世界の中でこのような存在を考えることには意義があります。というのも、それはタイムトラベルのシミュレーションと論理的に等価であり、タイムトラベルはとても人気がある面白いものなので、ラプラスの悪魔シミュレーションを映画化したら大ヒット間違いなしだからです。

核爆弾スイーパー

昔アメリカ軍は核爆弾を海に誤って落として見失ってしまった時、ベイズを使って場所を見つけたといううわさを聞いたことがあります。というわけで、海の中から爆弾を見つけるゲームを作ってみました。