前に時間旅行が可能かどうか関数型プログラミングの観点から書いた事があります(http://d.hatena.ne.jp/propella/20070927/p2)。時間旅行で過去に行って高校生のお母さんと恋に落ちてしまっても、そこから生まれる未来は別に枝分かれした未来なので、自分自身が消えてしまう事は無いという結論です。ようするに、関数型言語で状態のその場変更は許されず、作り直し(変更したい部分を作り直して次の状態のつもりになる)で状態変化を表現するのと同じ理屈になると言いたかったのですが、実はこの妄想。最先端の現代物理学でも同じ結論になってるそうです！！
http://itc.conversationsnetwork.org/shows/detail3644.html
英語の勉強に聞いてるラジオで知りました。
