2013-09-12から1日間の記事一覧
現在2013年9月12日21時51分である。 ブルバキの続きを進める。説明を簡単にするために、通常それらの記号列をも簡単な記号で表す。 眠くなったので、今日はこの1行のみ。 日本語訳の10ページの下から3行目である。 現在2013年9月12日…
現在2013年9月11日23時33分である。 このところ、ブルバキばっかりで、面白くなかった人もいると思うので、少し、軽い話をする。 私は、知っている人も多いだろうが、おしゃれには疎い方である。ほとんどおしゃれには興味がないと言っていい。 そ…