現在２００６年１月２３日１時５０分である。
昨日は放送大学の試験で、茗荷谷まで行ってきました。朝９時１５分から、「エネルギーと熱」という科目の試験があり、教科書持ち込み可なので、余裕で合格ラインを突破。
次の試験が１７時５５分からだったので、図書館へ行き、ｃａｌｃさんがブログで書いていた、矢ヶ部巌著「数学での証明法」とか、私も以前持っていたが、明倫館に売ってしまって、今はない「物理ブックガイド１００」とか、前から買おうと思っていたのに、買いそびれてしまった、アーノルドの「常微分方程式」、などの絶版になっている本を、復刊されればいいのになあ、などと思いながら眺めてから、勉強を始めました。私は、アップルのｉ－Ｐｏｄではなく、アイリバーという日本のメーカーのＭＰ３プレーヤーを持っています。下の写真がそれです。
解析入門Ⅰ・Ⅱのノートの１冊目が終わったので、日付を書いて、２冊目に入ったこともこの写真で分かりますね。
そのＭＰ３プレーヤーで、前橋汀子さんのバッハの無伴奏ヴァイオリン・ソナタとパルティータを聴きながら、１３時０５分から１６時４１分まで、主に附録２を写しながら証明していました。
昔読んだときは、命題論理という言葉と、述語論理という言葉の使い分けを知らなかったのですが、今読むと、どこまでが命題論理なのか分かります。要するに、∀や∃が出てくると、述語論理になるのですね。そういうのが出てこないのが、命題論理なわけです。
今日の目標は、
⇒
の理解にあったので、命題論理だけ勉強しました。４００ページの上のあたりまで。明日、仕上げをして、本文に戻ろうと思います。
今日は、家に帰ってきてから、久しぶりに、フリッツ・クライスラーのヴァイオリンで、ブラームスとメンデルスゾーンのヴァイオリン協奏曲と、ベートーヴェンのヴァイオリン・ソナタのいくつかを聴きました。私は東芝ＥＭＩのクライスラーの芸術という１１枚組のＣＤを持っているのです。この中から聴きました。
それでは、クライスラーのヴァイオリンで、クロイツェル・ソナタを聴きながら寝ます。
現在２００６年１月２３日２時４６分。おしまい。
