ブルバキ初日から

　現在２０１３年８月２４日２３時１３分である。

　今日からブルバキを始める予定だったが、今日は、カテゴリーを作ったところでおしまい。

　現在２０１３年８月２４日２３時２１分である。おしまい。