宮本 健司 | 法政大学工学部

スポンサーリンク

概要

• 宮本 健司の詳細を見る
• 同名の論文著者
• 法政大学工学部の論文著者

関連著者

• 宮本 健司

  法政大学工学部

• 関川 浩

  日本電信電話株式会社 NTTコミュニケーション科学基礎研究所

• 関川 浩

  NTTコミュニケーション科学基礎研究所

• 白柳 潔

  日本電信電話株式会社NTTコミュニケーション科学基礎研究所

• 白柳 潔

  東海大学理学部

• 山本 航

  法政大学工学部

• 大矢 孝次

  法政大学工学部

• 野口 和俊

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

• 町田 文彦

  法政大学工学部

• 関川 浩[他]

  日本電信電話株式会社,NTTコミュニケーション科学基礎研究所

著作論文

• 円に関する人間らしい初等幾何証明を生成するための推論方法 (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)

スポンサーリンク