takacha "総合的研究 論理学で学ぶ数学..." 2025年4月9日