数学や情報科学は様々な形の無いものを扱う。そこで「記号化」だ。形の定義を記号によって行う。例えば、チューリング機械なんてものは定番だ。レッテル貼りとは区別しよう。 論理とか概念とか方程式を記号に持ってくるまでの労力がかなり必要になる。一旦確…

久しぶりの徹夜です。色々出来た気がします。昨日は寝すぎたので全く眠くありません。でも寝溜めはチャラになってしまいました。今日はぐっすり眠ることにしましょう。 外は大雪です。とても寒いです。といっても僕の故郷ほどではありませんが。数日は洗濯が…