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

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