現在２００６年２月２８日３時５５分です。 昨晩は疲れていたので、２０時半に寝てしまい、今日０時過ぎに起きて勉強しました。 解析入門Ⅰを進めました。 現在２００６年２月２８日４時１分です。おしまい。

現在２００６年２月２７日５時４４分です。 昨日、ＡＴＯＫ２００６の電子辞典セットというのを買ってきて、今日インストールしたのだが、その素晴らしさに感動した。 まず、「今日」と入力して変換すると、上のように、ちゃんと今日の日付が出てくるのだ。…

現在２００６年２月２６日２時４４分です。 今日、以前から注文してあった、竹内外史著 ｐｒｏｏｆ ｔｈｅｏｒｙ という本が、残念ながらお届けできませんというメールが、アマゾンシーオージェーピーから来た。 あの本には、２階の述語論理の無矛盾性定理と…

現在２００６年２月２５日２時２１分です。 １２月にＡＶアンプを買った時に、次はスピーカーを良くしたいと、書いたが、ついにその時が来た。 最終的には７.１チャンネルにするつもりだが、まずはフロントの２チャンネルを買うことにした。 明日買いに行く…

現在２００６年２月２４日１９時２２分です。 今朝起きて、ニュースを見て驚いた。日本人初の、フィギュアスケートでの金メダルである。 荒川静香さん、おめでとう。 私は古い人間なので、女子フィギュアスケートといえば、伊藤みどりさんを思い出す。 ジャ…

現在２００６年２月２４日２時１４分です。 どうしても遅くなってしまいます。明日から実家へ帰るので、少し投稿が乱れるかも知れません。 ｃａｌｃさんのブログを見ていたら、私が紹介した、力学的な微分幾何をもう読んでしまっていました。私が、まだ読ん…

現在２００６年２月２３日１時１４分です。 今日は解析入門Ⅰの１番最後のページ、すなわち４０２ページを進めました。もうすぐ附録２の証明がすべて終わります。 その後、放送大学の相対論の教科書を読んでいました。相対論と量子力学という章だったので、量…

現在２００６年２月２２日３時２５分です。 もう昨日になってしまったが、先程やっと混乱していたのが解決したのだが、その後、もっと良いことがあった。 今日リンクを張った、ｍａｔｈｅｓｉｓさんの極私的数学というブログの２００６年２月１日と２日の投…

現在２００６年２月２１日１９時５７分です。 昼休みに書いた混乱が解決しました。 一階の述語論理では閉論理式Ａについて、Ａか¬Ａのいずれかが証明出来る。と書いたのが誤りだったのです。 閉論理式Ａとして要素命題（０変数の述語記号）をとると、Ａも¬Ａ…

現在２００６年２月２１日１２時３２分です。 昨晩は充足可能な論理式というもののことで、また混乱しました。 一階の述語論理では閉論理式Ａについて、Ａか¬Ａが証明できます。 そうすると、¬Ａが証明出来るということがＡが矛盾した論理式であるということ…

現在２００６年２月２０日１２時４１分です。 昨晩は結局勉強は進まなかった。いつも必ず勉強が進むわけではない。予定通りには行かないな。まあ今日は勉強出来るだろう。 現在２００６年２月２０日１２時４８分です。おしまい。

現在２００５年２月１９日２２時３９分です。 今日も放送大学の面接授業でした。帰りに池袋で、サザンオールスターズの「バラッド」と「バラッド２」というアルバムを買ってきました。これを買ってきたのは、 いとしのエリー を聴くためでした。今それを聴き…

現在２００６年２月１８日２１時３分です。 今日は放送大学の面接授業で「分子の立体構造」という授業を受けてきた。 授業の最後に少し時間があったので、高校時代から疑問に思っていたことを聞いてみた。 鏡対称でない分子で、光学活性を起こさない物質はあ…

正しくない命題の中には、正しくないということすら、誰にも後になっても未来永劫分からない（証明できない）ものがある。

現在２００６年２月１７日１２時５７分です。 昨晩は、「数学基礎概説」と「現代論理学」で、述語論理の理解を更に劇的に進めました。今まで、「現代論理学」で、わずかなギャップだと思っていた部分を克服しました。この本も私の愛読書と言えそうです。 今…

現在２００６年２月１６日２時８分です。 今日は述語論理のところで∀や∃があると真偽を二者択一的に割り当てられないので、≡を、⇔を表すものとみなすと、言ったのを反省した。 良く考えてみるとＡ⇔Ｂならば、あらゆる構造と付値に対しＡの真偽とＢの真偽が一…

数学基礎概説 (共立数学講座) 現在２００６年２月１５日１０時２３分です。 一昨日の晩はインターネットをやりすぎて、完全に徹夜をしてしまった。それで昨晩は０時前に寝た。従って、ブログの更新はしなかった。 ただし、ｔｗｉｌｉｇｈｔ－ｗａｌｋｅｒさ…

私の本棚の本の一覧を作ってみました。

バックの星空素敵ですね。私のトラックバックがうまくいくといいのですが。 ＥＲＯＩＣＡです。私のペンネームはご存じですよね。

現在２００６年２月１２日１時１８分です。 今日は友人のＹ.Ｋ.君と「博士の愛した数式」を見て来た。映像が美しかったのが印象的だった。 その後、彼と３時間程しゃべってきた。 楽しい一日だった。 現在２００６年２月１２日１時３０分です。おしまい。

世にも美しい数学入門 (ちくまプリマー新書) 現在２００６年２月１１日１時２分です。 今日は実家へ帰ったので、解析入門Ⅰはお休みです。先日「博士の愛した数式」がおもしろかったので、小川洋子さんと藤原正彦さんの共著の上の本を読んでみました。 もの…

現在２００６年２月１０日３時４１分です。 今日も述語論理の復習をしていました。否定記号と∀の交換の証明で苦労し「現代論理学」の助けを借りました。 現在２００６年２月１０日３時４６分です。おしまい。

現在２００６年２月８日２３時５９分です。 今日は、解析入門Ⅰの附録２の述語論理のところにいました。もちろん、附録には証明が書かれていないので、私の愛読書のナンバー２である、「数学基礎概説」の自然推論の体系ＮＫというものと、それを集合論用に拡…

現在２００６年２月８日２時１６分である。 今日は放送大学の「視覚障害者に拓かれる数理世界」という面接授業を受けてきました。どんな話があったかは機会があれば書きましょう。 家に帰り、解析入門Ⅰを進めました。命題１.３の証明まで。その証明が、今一…

現在２００６年２月７日３時８分である。 今日は、もっと早くからパソコンを開いていたのだが、遅くなってしまった。解析入門Ⅰも進めた。やっと、有理式の全体が、順序体になることを示した。 日本の歌姫たちというブログを見つけて、そこに中島みゆきのこと…

現在２００６年２月６日０時４３分である。 「博士の愛した数式」を読んで以来、どうもペースが乱れがちだった。 今日も放送大学の授業があったのでブログを更新出来なかった。 しかしこうして続けることに意味があるのだろう。 現在２００６年２月６日０時…

現在２００６年２月２日２２時３２分である。 「博士の愛した数式」は面白かった。数学の話が面白いのではなく、小説として十分面白かったのだ。私が今までに読んだ中で、最初から最後までずっと面白かったのは、「嵐が丘」ただ一冊だったが、その記録が破ら…

現在２００６年２月１日４時１７分である。 昨晩から今日にかけては解析入門Ⅰを進め、その後ずっと「博士の愛した数式」を読んでいた。そして読み切ってしまった。 おもしろかった。とてもおもしろかった。オイラーの公式はもうちょっと複雑な方だろう。とか…