2006-01-24 附録終了 今日の科学 現在2006年1月24日2時54分である。 昨日から今日にかけて、解析入門Ⅰの附録2の命題論理の残りを片付けました。400ページの下から4行目まで終了です。 また5ページに戻ることになります。いきなりユークリッド空間などという定義していない言葉が出てきますが、これは36ページで定義するまでおあずけです。 今日はここまで。中島みゆきの「いまのきもち」でも聴きながら寝ることにします。 現在2006年1月24日3時00分である。おしまい。