知的自動証明機の提案と実装 (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)