論文 - 高橋 正
-
On the proof of the theorems of foundations of geometry using Isabelle/HOL 査読あり
Fumiya Iwama, Tadashi Takahashi
Journal of Computational Innovation and Analytics 1 ( 2 ) 45 - 69 2022年7月
担当区分:最終著者
-
Euclid's Elements Theorem Proving Using Isabelle 査読あり
Fumiya Iwama and Tadashi Takahashi
Proceedings of the Universal Academic Cluster International Online Conference in Bangkok, 2021 2021年5月
共著
-
Parametrization of Statistical Models in Three-layer Neural Networks 査読あり
Tomohiro Washino and Tadashi Takahashi
Proceedings of 9th International Conference on Information and Education Technology (ICIET 2021) 2021年3月
共著
-
On the application of elimination ideal for statistical model
T.Takahashi, Tomohiro W
COMPUSOFT, An International Journal of Advanced Computer Technolog 2020年5月
共著
-
Mathematical Proving Using GeoGebra
Fumiya Iwama, Yuji Shinoda, Tadashi Takahashi
Poceedings of 8th International Conference on Information and Education Technology 2020年5月
共著
-
On The Proving Theorems of Euclidean Geometry by Using Isabelle/HOL
Fumiya Iwama, Tadashi Takahashi
Proceedings of International Conference on Mathematic, Statistics and Applied Science ( 5 ) 2020年3月
共著
-
Proving in Mathematics Education - On the Proof using ATP -
Tadashi Takahashi
Proc. of THE MATHEMATICS EDUCATION FOR THE FUTURE PROJECT 2019年8月
単著
-
The Gap of Complete Proof and Incomplete Proof in Mathematics Education using Technology
Tadashi TAKAHASHI
Proc. of the 14th International Conference Challenges in Mathematics Education for Next Decade 328 - 330 2017年10月
単著
-
割合に関する認知と情意の関係
坂井武司,高橋 正
甲南大学紀要 知能情報学編 10 ( 1 ) 35 - 48 2017年7月
共著
-
Normal Forms of Smooth Plane Quartics and their Restrictions
Tadashi Takahashi
ScienceAsia 42 2016年10月
単著
-
The Case Study of Theorema in Education Learning and Application
Tadashi TAKAHASHI, Takeshi SAKAI, Fumiya IWAMA, Tomohiro WASHINO
Proceedings of 2nd International Conference on Social, Education and Management Engineering 2016年3月
共著
-
Mathematics Lessons Created from DGS-CAS
Tadashi Takahashi, Naotoshi Hirono, Takeshi Sakai
甲南大学紀要 知能情報学編 6 ( 1 ) 87 - 93 2013年7月
共著
-
A Note on the Application of Elimination Ideal II
Tadashi Takahashi
Mathematical Sciences International Research Journal 1 ( 1 ) 21 - 46 2012年9月
単著
-
On the Restrictions of Smooth Quartics
Tadashi Takahashi
Proc. of International Conference on Polynomial Computer Algebra 2012 85 - 88 2012年4月
単著
-
On the Efficient Use of GeoGebraCAS in Mathematics Education
Hirono Naotoshi, Takahashi Tadashi
Proc. of the 16th Asian Technology Conference in Mathematics 387 - 393 2011年9月
共著