研究者
J-GLOBAL ID:200901051937588161   更新日: 2016年07月10日

高橋 英和

タカハシ ヒデカズ | Takahashi Hidekazu
研究分野 (1件): ソフトウェア
研究キーワード (4件): 定理自動証明 ,  折り紙 ,  Automated Theorem Proving ,  Computational Origami
競争的資金等の研究課題 (2件):
  • 2002 - 記号計算の手法を用いた折り紙計算論の構築
  • 2002 - -
MISC (7件):
  • Morley’s Theorem Revisited through Computational Origami. Applied Mathematica: Proceedings of the 7th International Mathematica Symposium (IMS 2005). 2005. CDROM
  • Computational Origami of a Morley’s Triangle. Proceedings of 4th International Conference on Mathematical Knowledge Management (MKM 2005), Lecture Notes in Artificial Intelligence 3863. 2005
  • A System for Computational Origami - Progress Report. New Ideas in Symbolic Computation: Proceedings of the 6th International Mathematica Symposium (IMS 2004). 2004. CDROM
  • New Development in Web Applications Using J/Link. Challenging the Boundaries of Symbolic Computation, Proceedings of 5th International Mathematica Symposium (IMS 2003). 2003. pp. 183 - 190
  • An Origami Programming Environment. Challenging the Boundaries of Symbolic Computation, Proceedings of 5th International Mathematica Symposium (IMS 2003). 2003. pp. 413 - 420
もっと見る
学歴 (1件):
  • - 1986 東京理科大学 数学科
学位 (1件):
  • 博士(工学) (筑波大学)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る