支援者限定公開[速報]ガロア圏テキスト進捗について2020/04/18 11:36こちらの活動報告は支援者限定の公開です。シェアしてプロジェクトをもっと応援!ツイートするシェアするLINEで送る経過報告第7報2020/04/25[速報]ガロア圏テキスト検証ゼミとカリーハワード対応テキストレビ...活動報告の一覧を見るプロジェクトを見る