2024-04-13 日誌 投稿日 2024-04-13 編集日 2024-04-14 カテゴリ Diary 、 プレイしたゲーム 、 学術 プレイしたゲーム 人魔 だいぶサスペンスみが強い リンク Computability Theory of Closed Timelike Curves 時間的閉曲線を用いると停止性問題が解けるらしい