2008-02-22 SQLがチューリング完全なのかどうか考えている ところである処理系がチューリング完全「でない」ことを示すにはどうすればいいんだろう。 「ある」ことの証明であればチューリングマシン実装して終わりだが。