読者です 読者をやめる 読者になる 読者になる

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

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

久々の更新(今後の予定)

みなさん、お久しぶりです。お元気ですか。私は元気です。 2ヶ月以上更新を怠ってしまいすいません。 やはり、私はブログは合わないですね。ブログの使い方も忘れてしまいましたし。それにそもそも書くことは苦手で大変です。 この2ヶ月間は歯が取れてしまっ…

久しぶりの記事(雑文)

おはようございます。ご機嫌いかがでしょうか。 一ヶ月以上更新していませんでしたが私は元気です。下痢や便秘の繰り返しですが。 ブログを更新していなかった理由はいくつかあります。といっても一番の理由は私にとってブログはあわないということに過ぎま…