D-3-6 辞書にもとづくプログラミング(D-3. ソフトウェアサイエンス)

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人電子情報通信学会の論文
• 2004-03-08

著者

• 宮本 健司

  法政大学工学部

• 野口 和俊

  法政大学大学院工学研究科

関連論文

• 円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 初等幾何の自動証明における効率的な補助線の発見法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
• D-3-6 辞書にもとづくプログラミング(D-3. ソフトウェアサイエンス)
• 初等幾何における読みやすい証明の生成手法について (Computer Algebra : Algorithms, Implementations and Applications)
• LIMIT : 極限コンパスを実装した作図エディタ(ソフトウェアシステム)
• 極限コンパスの実装 (Computer Algebra : Algorithms, Implementations and Applications)

スポンサーリンク