Rchr
J-GLOBAL ID:200901051937588161
Update date: Jul. 10, 2016
Takahashi Hidekazu
タカハシ ヒデカズ | Takahashi Hidekazu
Research field (1):
Software
Research keywords (4):
定理自動証明
, 折り紙
, Automated Theorem Proving
, Computational Origami
Research theme for competitive and other funds (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
more...
Education (1):
- - 1986 Tokyo University of Science
Professional career (1):
- Doctor of Philosophy in Engineering (Tsukuba University)
Return to Previous Page