View My GitHub Profile
Last Modified: 25 June 2026
エンジニアたちのゆるっと数学勉強会 #19
「不完全性定理クイックインストール（素描）」
都内数学科学生集合、基礎論の会「含意の問題: 実質含意と厳密含意から関連性論理の先まで」