こんばんは。前回は講義の概略をお話ししましたが、今回はチューリング機械の導入をしていこうと思います。今回の話は形式的定義および計算状況に限ったものなので、計算可能性にかかわる本質的（と思われる）な話は次回以降の記事になります。 注意 現状、 …

これは私個人の経験則なのですが、講義の内容が何に役立つのかが見えて来ず、それゆえ勉強に身が入らないということが少なからずあると思います。そこで今日はこの講義で学ぶ内容はそもそもどういった分野に属しているのか、特にチューリングマシンはどうい…

このブログは某大学の"情報数学B"の授業を元にしたものとなっています。私自身の認識を、このページをご覧の皆様と共有し、アウトプットの場とすることが目的です。可能な限り間違いのない記述をするよう努めますが如何せん私自身の理解が浅いもので、読んで…