logic 論理学 mathematics math technology it computation symposium 数理論理学 mathematicallogic ch対応 カリーハワード対応 計算機科学
Ver mais