基礎論をある程度固めてから、今は線型論理してます。また数学に戻ります(^^♪
この機能をご利用になるには会員登録（無料）のうえ、ログインする必要があります。
会員登録すると読んだ本の管理や、感想・レビューの投稿などが行なえます
