|
Position |
Professor |
|
Research Field |
Science education, Algebra |
|
|
|
Graduating School 【 display / non-display 】
-
-1980.03
Chuo University Faculty of Science and Engineering Graduated
Graduate School 【 display / non-display 】
-
-1982.03
University of Tsukuba Graduate School, Division of Education Master's Course Completed
Campus Career 【 display / non-display 】
-
2010.04-Now
KONAN UNIVERSITYFaculty of Intelligence and Informatics Professor
Published Papers 【 display / non-display 】
-
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.05 [Refereed]
Joint Work
-
Parametrization of Statistical Models in Three-layer Neural Networks
Tomohiro Washino, Tadashi Takahashi
Proceedings of 9th International Conference on Information and Education Technology (ICIET 2021) 2021.03
Joint Work
-
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.03 [Refereed]
Joint Work
-
On the application of elimination ideal for statistical model
T.Takahashi, Tomohiro W
COMPUSOFT, An International Journal of Advanced Computer Technolog 2020.05
Joint Work
-
Mathematical Proving Using GeoGebra
Fumiya Iwama, Yuji Shinoda, Tadashi Takahashi
Poceedings of 8th International Conference on Information and Education Technology 2020.05
Joint Work
Books etc 【 display / non-display 】
-
IT 技術と生活
高橋 正 (Part： Other )
大学教育出版 2005.04
キーワード人間と発達「IT 技術と生活」, pp. 226～227, 大学教育出版, 2005
-
IT 技術と生活
高橋 正 (Part： Joint Work )
大学教育出版 2005.04
キーワード人間と発達「IT 技術と生活」, pp. 226～227, 大学教育出版, 2005
Review Papers (Misc) 【 display / non-display 】
-
数理と芸術 : 記号処理と論駁可能性について
桐生裕介,長坂耕作,高橋正
日本数式処理学会誌 数式処理 ( 日本数式処理学会 ) 13 ( 1 ) 47 - 50 2006.04
Introduction and explanation (international conference proceedings) Joint Work
-
数理と芸術 : 記号処理と論駁可能性について
桐生裕介, 長坂耕作, 高橋正
日本数式処理学会誌 数式処理 13 ( 1 ) 47 - 50 2006.04
Joint Work
Conference Activities & Talks 【 display / non-display 】
-
関数指導における水平分析と垂直分析について（誌上掲載）
高橋正，間健吾
日本数学教育学会第8回春期研究大会 2020.06 - 2020.06
-
関数指導における水平分析と垂直分析について（誌上掲載）
高橋正, 間健吾
日本数学教育学会第8回春期研究大会 2020.06 - 2020.06
-
Möbius Assessmentを用いた問題作りにおける図形表示に関する一考察
高橋正
日本数式処理学会教育分科会研究会 2020.02 - 2020.02
-
Möbius Assessmentを用いた問題作りにおける図形表示に関する一考察
高橋正
日本数式処理学会教育分科会研究会 2020.02 - 2020.02
-
On the Application of Elimination Ideal for Statistical Model
Tadashi Takahashi, Tomohiro Washino
8th International Conference on Computer Engineering & Mathematical Sciences 2019.12 - 2019.12