理論プログラミングの主題と他の数学諸分野との関連_MTCシンポジウムの講演より - 共立出版コンピュータサイエンス誌『bit』

理論プログラミングの主題と他の数学諸分野との関連_MTCシンポジウムの講演より