Atsushi Ito "総合的研究 論理学で学ぶ数学..." 2025年12月31日