現在２０１３年８月３１日２１時１８分である。 今日は、ブルバキの第１章の§１の第１小節の２行目から始める予定だった。 それでは、始める。１○ 論理記号 注） ：，，∨，￢。注）これらの記号の直観的な意味については、ｎ○３の注意を参照。読者注）「ｎ○…

現在２０１３年８月３１日１時３０分である。 今日というか、昨日も、パソコンを早めに開いていたのだが、投稿が遅くなってしまった。 ブルバキが進行中だが、今日はもっと軽い話を書くことにする。 現在公開中の宮崎駿監督のアニメ映画『風立ちぬ』サウンド…

現在２０１３年８月２９日１７時３２分である。 昨日投稿しなかったので、パソコンを毎日開くという日課が途切れたように思うかもしれない。 しかし、本当はパソコンは開いたのである。 昨日は、ここ２ヶ月ほど続いている咳の原因を調べてもらうため、横浜医…

現在２０１３年８月２７日２２時４９分である。 ブルバキの解説を宣言してから、どの程度本文を写そうかと、考えてきた。 ブルバキの日本語版では、最初に読者への注意というのがあり、数学原論での約束事が３ページにわたって、精密に書かれている。 そして…

現在２０１３年８月２６日２２時３８分である。 前回の予告通りブルバキの、解説を行うこととする。 今回は、１９６６年にパリで出たものを底本にした日本語訳本と、１９７０年刊のフランス語版の２つを底本にする。 読者への注意 新版 １．この原論は数学を…

現在２０１３年８月２５日２３時２５分である。 ブルバキの解説をつけると宣言したので、今日もパソコンを開いたが、書こうとしてみると色々と問題が持ち上がってきた。 まず持ち上がった問題が、数学の記号である。大部分はブログでも表現できるが、例えば…

現在２０１３年８月２４日２３時１３分である。 今日からブルバキを始める予定だったが、今日は、カテゴリーを作ったところでおしまい。 現在２０１３年８月２４日２３時２１分である。おしまい。

現在２０１３年８月２４日２時２８分である。 今年の５月９日に数学と物理をやるんだといって、張り切っていたのに、その後全然更新していなかった。 理由は２つあった。 ５月の初めに薬を変えてもらって、意欲の出る薬を出してもらったのがきっかけで、大学…