tomohikoのブログ

チューリングの不動演算子についての証明を画像に示す。 texでドキュメントをおこそうとしたけど、半年前からまったく触ってなかったので、ドキュメント作成が大変だった（まだできていない）。 現時点では、画像をアップロード。 問題 証明