現在２０２３年７月２１日２０時２７分である。（この投稿は、ほぼ３５３６文字）麻友「オッ、エラータもやって、ブルバキも」若菜「お父さん。宣言しちゃったんですよね」私「今日、ポートで、お茶会、というのがあって、１０分くらい、時間をもらって、自…

現在２０２３年７月２０日２０時０６分である。麻友「ブルバキ、ほとんど、１年ぶりくらいね」私「詩のような、『星の王子さま』は訳せなくとも、数学のブルバキは、訳したい。本来、『数学原論』は、教科書としては、変わっている。でも、数学の山脈に登る…