Position |
Professor |
External Link |
|
|
Graduating School 【 display / non-display 】
-
Chuo University Faculty of Science and Engineering Graduated
- 1980.3
Graduate School 【 display / non-display 】
-
University of Tsukuba Graduate School, Division of Education Master's Course Completed
- 1982.3
Campus Career 【 display / non-display 】
-
KONAN UNIVERSITY Faculty of Intelligence and Informatics Professor
2010.4
External Career 【 display / non-display 】
-
神戸大学大学院 人間発達環境学研究科
2007.4 - 2010.3
Country:Japan
-
神戸大学 発達科学部
2004.2 - 2007.3
Country:Japan
-
神戸大学 発達科学部
1995.3 - 2004.1
Country:Japan
-
神戸大学 発達科学部
1992.10 - 1995.2
Country:Japan
-
神戸大学 教育学部
1991.4 - 1992.9
Country:Japan
Papers 【 display / non-display 】
-
Euclid's Elements Theorem Proving Using Isabelle Reviewed
Fumiya Iwama and Tadashi Takahashi
Proceedings of the Universal Academic Cluster International Online Conference in Bangkok, 2021 2021.5
Joint Work
-
Parametrization of Statistical Models in Three-layer Neural Networks Reviewed
Tomohiro Washino and Tadashi Takahashi
Proceedings of 9th International Conference on Information and Education Technology (ICIET 2021) 2021.3
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.3
Joint Work
-
On the application of elimination ideal for statistical model
T.Takahashi, Tomohiro W
COMPUSOFT, An International Journal of Advanced Computer Technolog 2020.5
Joint Work
-
Mathematical Proving Using GeoGebra
Fumiya Iwama, Yuji Shinoda, Tadashi Takahashi
Poceedings of 8th International Conference on Information and Education Technology 2020.5
Joint Work
Books and Other Publications 【 display / non-display 】
-
IT 技術と生活
高橋 正( Role: Joint author)
大学教育出版 2005.4
キーワード人間と発達「IT 技術と生活」, pp. 226~227, 大学教育出版, 2005
Review Papers (Misc) 【 display / non-display 】
-
数理と芸術 : 記号処理と論駁可能性について
桐生裕介,長坂耕作,高橋正
日本数式処理学会誌 数式処理 13 ( 1 ) 47 - 50 2006.4
Publishing type:Article, review, commentary, editorial, etc. (international conference proceedings) Publisher:日本数式処理学会
Presentations 【 display / non-display 】
-
関数指導における水平分析と垂直分析について(誌上掲載)
高橋正,間健吾
日本数学教育学会第8回春期研究大会
Event date: 2020.6
-
Möbius Assessmentを用いた問題作りにおける図形表示に関する一考察
高橋正
日本数式処理学会教育分科会研究会
Event date: 2020.2
-
On the Application of Elimination Ideal for Statistical Model
Tadashi Takahashi, Tomohiro Washino
8th International Conference on Computer Engineering & Mathematical Sciences
Event date: 2019.12
Preferred joint research theme 【 display / non-display 】
-
数学教育におけるテクノロジーの応用
-
グレブナー基底理論の応用
Committee Memberships 【 display / non-display 】
-
2013.4 - 2015.6 ゲーム学会 会長
-
2012.6 - 2018.6 日本数式処理学会 会長
-
2010.4 日本数学教育学会 代議員
-
2007.4 近畿数学教育学会 評議員
Social Activities 【 display / non-display 】
-
兵庫県数学教育会
2015.6
顧問
-
大谷教育文化振興財団
2014.5
公益財団法人大谷教育文化振興財団の理事を勤める
-
兵庫県数学教育会
2010.6 - 2015.6
会長