写真a

TAKAHASHI Tadashi

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

      More details

    Country:Japan

  • 神戸大学   発達科学部

    2004.2 - 2007.3

      More details

    Country:Japan

  • 神戸大学   発達科学部

    1995.3 - 2004.1

      More details

    Country:Japan

  • 神戸大学   発達科学部

    1992.10 - 1995.2

      More details

    Country:Japan

  • 神戸大学   教育学部

    1991.4 - 1992.9

      More details

    Country:Japan

display all >>

 

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

     More details

    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

     More details

    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

     More details

    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

     More details

    Joint Work

    researchmap

  • On the application of elimination ideal for statistical model

    T.Takahashi, Tomohiro W

    COMPUSOFT, An International Journal of Advanced Computer Technolog   2020.5

     More details

    Joint Work

    researchmap

display all >>

Books and Other Publications 【 display / non-display

  • IT 技術と生活

    高橋 正( Role: Joint author)

    大学教育出版  2005.4 

     More details

    キーワード人間と発達「IT 技術と生活」, pp. 226~227, 大学教育出版, 2005

  • IT 技術と生活

    高橋 正

    大学教育出版  2005.4 

     More details

    キーワード人間と発達「IT 技術と生活」, pp. 226~227, 大学教育出版, 2005

    researchmap

Review Papers (Misc) 【 display / non-display

  • 数理と芸術 : 記号処理と論駁可能性について

    桐生裕介,長坂耕作,高橋正

    日本数式処理学会誌 数式処理   13 ( 1 )   47 - 50   2006.4

     More details

    Publishing type:Article, review, commentary, editorial, etc. (international conference proceedings)   Publisher:日本数式処理学会  

  • 数理と芸術 : 記号処理と論駁可能性について

    桐生裕介, 長坂耕作, 高橋正

    日本数式処理学会誌 数式処理   13 ( 1 )   47 - 50   2006.4

     More details

Presentations 【 display / non-display

  • 学習モデルを用いた現象分析

    高橋 正,鷲野 朋広

    日本数学会秋季総合分科会  (北海道大学)  2022.9  日本数学会

     More details

    Event date: 2022.9

    Country:Japan  

  • アローの定理に関する代数的考察

    高橋 正, 下西 章弘, 田中 一義

    ゲーム学会第20回合同研究会  (大阪電気通信大学(オンライン))  2022.9  ゲーム学会

     More details

    Event date: 2022.9

    Country:Japan  

  • アローの定理の数学教材への応用

    高橋 正, 宮寺 良平, 尹 亮太, 下西 章弘, 田中 一義, 野中 滉介

    ゲーム学会「ゲームと教育」研究部会第16回研究会  (香川大学(オンライン))  2022.7  ゲーム学会

     More details

    Event date: 2022.7

    Country:Japan  

  • 社会的決定理論への数式処理の応用Ⅱ

    高橋正, 尹亮太, 下西章弘, 田中一義, 野中滉介, 宮寺良平

    日本数式処理学会2022年度大会研究発表会  (東京理科大学(オンライン))  2022.6  日本数式処理学会

     More details

    Event date: 2022.6

    Country:Japan  

  • 社会的決定理論への数式処理の応用

    高橋正, 清水成貴, 西本優輝, 眞鍋知也

    Risa/Asir Conference 2022  (金沢大学)  2022.3  Risa/Asir Conference

     More details

    Event date: 2022.3

    Country:Japan  

display all >>

Preferred joint research theme 【 display / non-display

  • 数学教育におけるテクノロジーの応用

  • グレブナー基底理論の応用

 

Committee Memberships 【 display / non-display

  • 2013.4 - 2015.6   ゲーム学会  会長

  • 2012.6 - 2018.6   日本数式処理学会  会長

  • 2010.4   日本数学教育学会  代議員

      More details

  • 2007.4   近畿数学教育学会  評議員

Social Activities 【 display / non-display

  • 兵庫県数学教育会

    2015.6

     More details

    顧問

  • 大谷教育文化振興財団

    2014.5

     More details

    公益財団法人大谷教育文化振興財団の理事を勤める

  • 兵庫県数学教育会

    2010.6 - 2015.6

     More details

    会長