|
Position |
Professor |
|
Research Field |
Humanities & Social Sciences / Science education, Natural Science / Algebra |
|
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 】
-
On the proof of the theorems of foundations of geometry using Isabelle/HOL Reviewed
Fumiya Iwama, Tadashi Takahashi
Journal of Computational Innovation and Analytics 1 ( 2 ) 45 - 69 2022.7
Authorship：Last author
-
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
-
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 】
-
ゲーム理論における数式処理の応用
高橋 正
京都大学RIMS研究集会 (京都大学数理解析研究所) 2022.12 京都大学数理解析研究所
Event date： 2022.12
Country：Japan
-
数学教育における過剰般化に関する考察
高橋 正，鷲野 朋広
全国数学教育学会 研究発表会 (早稲田大学) 2022.12 全国数学教育学会
Event date： 2022.12
Country：Japan
-
学習モデルを用いた現象分析
高橋 正，鷲野 朋広
日本数学会秋季総合分科会 (北海道大学) 2022.9 日本数学会
Event date： 2022.9
Country：Japan
-
アローの定理に関する代数的考察
高橋 正, 下西 章弘, 田中 一義
ゲーム学会第20回合同研究会 (大阪電気通信大学（オンライン）) 2022.9 ゲーム学会
Event date： 2022.9
Country：Japan
-
アローの定理の数学教材への応用
高橋 正, 宮寺 良平, 尹 亮太, 下西 章弘, 田中 一義, 野中 滉介
ゲーム学会「ゲームと教育」研究部会第16回研究会 (香川大学（オンライン）) 2022.7 ゲーム学会
Event date： 2022.7
Country：Japan
Preferred joint research theme 【 display / non-display 】
-
数学教育におけるテクノロジーの応用
-
グレブナー基底理論の応用
Committee Memberships 【 display / non-display 】
-
2013.4 - 2015.6 ゲーム学会 会長
-
2012.6 - 2018.6 日本数式処理学会 会長
-
2007.4 近畿数学教育学会 評議員
Social Activities 【 display / non-display 】
-
兵庫県数学教育会
2015.6
顧問
-
大谷教育文化振興財団
2014.5
公益財団法人大谷教育文化振興財団の理事を勤める
-
兵庫県数学教育会
2010.6 - 2015.6
会長