Research keywords (2):
Mathematics education
, Algebra
Research theme for competitive and other funds (4):
数式処理システムを用いた特異点定義方程式に関する研究
テクノロジーを用いた数学教育に関する研究
The research for defining equations of singularities using computer algebra system
The research of Mathematics Education using technology
Papers (32):
Fumiya Iwama, Tadashi Takahashi. Euclid's Elements Theorem Proving Using Isabelle. Proceedings of the Universal Academic Cluster International Online Conference in Bangkok, 2021. 2021. 5
Tomohiro Washino, Tadashi Takahashi. Parametrization of Statistical Models in Three-layer Neural Networks. Proceedings of 9th International Conference on Information and Education Technology (ICIET 2021). 2021
T.Takahashi, Tomohiro W. On the application of elimination ideal for statistical model. COMPUSOFT, An International Journal of Advanced Computer Technolog. 2020
Fumiya Iwama, Tadashi Takahashi. On The Proving Theorems of Euclidean Geometry by Using Isabelle/HOL. Proceedings of International Conference on Mathematic, Statistics and Applied Science. 2020. 5