目次 概要 判定不可能な言語 証明 証明 対角線論法 証明 参考資料 概要 今回は以下に示す言語が判定不可能であり、その補集合が認識不可能であることを示していきます。 その次に、証明に関連して対角線論法について説明します。 判定不可能な言語 上記の が…