現在２０１３年９月２９日２２時４６分である。 ２４日に投稿して以来、ストップしていた。 とても疲れていて、２１時に薬を飲むと、すぐ布団に崩れ込んでしまうのだった。 今日は、車中で読んでいた、数学セミナーの１０月号で「２０世紀数学におけるブルバ…

mc@@@ 現在２０１３年９月２４日２３時４７分である。 昨日はパソコンを開かなかった。申し訳ない。 そして今日パソコンを開いたのは、明日は、仕事に行くのでパソコンを開けない可能性があるな、 と思ったからである。 初めは、簡単に起動する。タブレット…

現在２０１３年９月２２日２２時２４分である。 今日はひどい目にあった。 １０時頃から寝床の中では目覚めていて、起き出そうかどうしようかで、迷っていた。 うなったり叫んだりして、自分を表現しようとしていた。 １３時半に、一度起きた。薬も飲みバナ…

現在２０１３年９月２１日２２時５３分である。 今日も、パソコンを開いた。 ＮＨＫスペシャルで見た、「神の数式」という番組の感想でも書けば、一応の記事にはなる。 だが、それはよそう。 あの手の番組には、いつもがっかりさせられているので、今日も愚…

現在２０１３年９月２０日２２時２３分である。 さすがに、パソコンは毎日は開けても、ブログを書くのは苦痛になってきた。 毎日ブログを書くのは、あきらめようか。 また、３ヶ月くらい停止しそうで怖いが、少しゆとりを持って書こうと思う。 今日は、昨日…

現在２０１３年９月１９日２０時１２分である。 昨日もパソコンは開いたのだ。 でも眠くなってメールも開かずに眠ってしまったのだ。 いいわけがましくなるが、書いておくことにする。 現在２０１３年９月２０日０時４０分。 今晩もこれで終わりである。おし…

現在２０１３年９月１７日２３時０４分である。 今日は、８時頃起きて、病院へ行ってきた。 精神の方ではなく、血液内科だった。 どうも、お医者さんが気になる数値があり、検査をしてもらったのだ。 結果は、大丈夫だろうということだった。 さて、そうやっ…

現在２０１３年９月１６日２２時２４分である。 今日は、１４時くらいには起きていた。いつも休みの日には１６時半頃まで寝ている私にしては、早いほうである。 だが、私の人生をどういう方向に持っていこうかと悩みはじめ、結局何もできなかった。 人間暇な…

現在２０１３年９月１５日２３時４０分である。 今朝（といっても１１時頃）、布団の中で次のようなことを考えていた。 ある集合が無限集合というのは、その部分集合で自然数全体の集合と１対１に対応するものがある場合と定義することができる。 しかし、一…

現在２０１３年９月１４日２２時４６分である。 私の生き甲斐のために始めたブルバキであったが、前回書いたような理由で、誰も訪れなくなるようなブログになりそうなので、ブルバキを続けるのはやめようと思う。 以前、フェラーリの親友から、「おまえの決…

現在２０１３年９月１３日２２時２０分である。 ブルバキが少し遅れ気味になっていたのであった。 それでは、始める。 われわれは、とくに、（数学的理論に属している本来の）記号や肉太の斜体文字（添数やいくつかのダッシュをつけることもある）、ならびに…

現在２０１３年９月１２日２１時５１分である。 ブルバキの続きを進める。説明を簡単にするために、通常それらの記号列をも簡単な記号で表す。 眠くなったので、今日はこの１行のみ。 日本語訳の１０ページの下から３行目である。 現在２０１３年９月１２日…

現在２０１３年９月１１日２３時３３分である。 このところ、ブルバキばっかりで、面白くなかった人もいると思うので、少し、軽い話をする。 私は、知っている人も多いだろうが、おしゃれには疎い方である。ほとんどおしゃれには興味がないと言っていい。 そ…

現在２０１３年９月１０日２２時１５分である。 ここのところずっとブルバキの話ばかり書いているのだが、読者にとってはおもしろいのだろうか。 絶版になっている本の解説であるから、読者は本を読めず、私の投稿だけが情報源である。 まあ、もう少し続ける…

現在２０１３年９月９日２２時１６分である。 ブルバキの方は、少し脱線してしまったが、本文に戻ろう。 日本語訳で１０ページの下から１０行目からになる。 数学的理論（あるいは単に理論ともいう）とは、ある種の記号列がその理論に属す対象式であるとか関…

現在２０１３年９月８日２３時４０分である。 昨日は、パソコンを１日１回開くというのは守ったが、何も書けなかった。続きを書こうと思う。 日本語訳前文６ページの下から２行目まで引用したのだった。 続きを少し写す。 ｘＲのこのような意味を考えれば、…

現在２０１３年９月７日２２時２７分である。 今日も、パソコンを開いたのであるが、眠くなってしまったので、お休みすることにする。 たまには、こういうこともあるさ。 現在２０１３年９月７日２２時２９分である。おしまい。

現在２０１３年９月６日２３時５９分である。 今日は、昨晩寝てしまったので、昼間に昨日の分を投稿したのだが、今日の分を投稿してないので、始めることにした。 ブルバキは、前回は、記号列の省略の部分だった。 ここで私のノートでは、次のような読者注が…

現在２０１３年９月６日１４時４２分である。 昨晩はパソコンを開いたのだが、眠くなってしまって、そのまま寝てしまった。 なぜそんなに疲れていたかというと、２日連続で病院へ行っていたからだった。 ９月４日は、統合失調症のための２ヶ月に１回の通院。…

現在２０１３年９月４日２３時３４分である。 ブルバキの記号列の定義をしたのだった。 しかし、記号列ばかりだと、読むとき解読が非常に困難になる。その点の注意が今日の内容である。 記号列ばかりを用いていると、印刷や理解の面で極度の困難が生じる。通…

現在２０１３年９月３日２１時３５分である。 ブルバキは、特殊記号のことに触れたところまでだった。 次は、記号の列についての定義である。 における記号列とは、の記号を一列に並べて書いたものであり、文字以外の或る種の記号を二つずつ、その列の上を走…

現在２０１３年９月２日２３時４１分である。 ブルバキの、１．記号と記号列 という小節の３行目からだった。２○ 文字． これは、ラテン文字の大文字・小文字、および、それらにいくつかのダッシュをつけたものを意味する。すなわち、Ａ，Ａ’，Ａ’’，Ａ’’’，…

風立ちぬ (ジス・イズ・アニメーション) [ムック] 現在２０１３年９月１日２２時５７分である。 今日、宮崎駿監督の引退が発表されたそうである。 そうすると、『風立ちぬ』が最後の作品になる。 ２日前に書いたとおり私は、この作品を劇場で見てきた。 その…