疑念は探究の動機であり、探究の唯一の目的は信念の確定である。

2016年9月から2017年6月までロシアのサンクトペテルブルク大学に遊学(私費留学)します。数学の哲学や論理学やHyper doctrineやHomotopy Type Theoryを学びに行きます。ロシアの生活から勉強についていろいろ書きたいと思います。どんなことでも何かコメントいただけるとうれしいです。特に、勉学のことで間違いなどあったらご指摘いただけると幸いです。 よろしくお願いします。くりぃむのラジオを聴くこととパワポケ2が人生の唯一の楽しみです。あと、ロシア人の悪口をボロクソに書きますので。