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

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