研究者
J-GLOBAL ID:200901051937588161
更新日: 2016年07月10日
高橋 英和
タカハシ ヒデカズ | Takahashi Hidekazu
研究キーワード (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件):
学位 (1件):
前のページに戻る