現在２００６年２月８日２時１６分である。
今日は放送大学の「視覚障害者に拓かれる数理世界」という面接授業を受けてきました。どんな話があったかは機会があれば書きましょう。
家に帰り、解析入門Ⅰを進めました。命題１.３の証明まで。その証明が、今一つしっくり来ないと思って、丁寧に分析していったら、まだ導入していなかった述語論理の性質が使われていたのでした。
やっぱり気になる部分には何かある。
今晩はここまで。
現在２００６年２月８日２時３３分である。おしまい。
