今日はほぼなんもやってない。 朝ちゃんと起きられたのはいいが、数学をほんの少し(自然数の掛け算に関する命題の証明やって、帰納定理の拡張 の証明で詰まってしまった(参考書にしている「数学の基礎」島内 に書いてある証明は最初に帰納的に関数を定義して…