メニューを飛ばして、本文へ移動します。

ここから本文です。

教員一覧

TOP >  県女について > 教員一覧 > 堀畑 佳宏

ページID:001024

堀畑 佳宏

2025年4月1日時点

氏名 堀畑 佳宏 HORIHATA Yoshihiro
所属 文学部文化情報学科/総合教養学科
准教授
専門等
専門分野 数理論理学・数学教育学
担当科目 数学とリベラルアーツ,論理4,情報4
研究課題 文字列の理論の決定不能性,複素解析学の逆数学,リベラルアーツとしての数学教育
所属学会 日本数学会,日本数学教育学会,科学基礎論学会

略歴等

主な学歴 2006年3月 東京都立大学 理学部数学科 卒業
2008年3月 東北大学大学院 理学研究科 数学専攻 博士前期課程修了
2011年9月 東北大学大学院 理学研究科 数学専攻 博士後期課程修了
学位 2011年9月 博士(理学)(東北大学)
主な職歴 2012年10月 米子工業高等専門学校 数学科 助教
2015年4月 米子工業高等専門学校 数学科 講師
2021年7月 米子工業高等専門学校 数学科 准教授
2025年4月 群馬県立女子大学 文学部 文化情報学科 准教授

主要研究実績

著書 共著/単著 タイトル 出版社 出版年月
共著 複素解析学の基礎と逆数学 『数学セミナー』, 2021年2月号, pp.36-39, 日本評論社 2021年2月
論文 単著 Mathematics education for future engineers Proceedings of "International Symposium on Advances in Technology Education", 4pages 2024年9月
単著 Mathematical attitude, hypotheses, and freedom Proceedings of "International Congress on Mathematical Education", 4pages 2024年7月
単著 Mathematical attitude and the liberal arts Proceedings of "International Symposium on Advances in Technology Education", pp.271-274 2023年9月
単著 数学的態度について(1) 日本数学教育学会 高専・大学部会論文誌, 26(1), pp.112-114 2020年3月
共著 Introduction of Liberal Arts Discourse Meeting Proceedings of "International Symposium on Advances in Technology Education", 23(3), pp.224-229 2019年9月
共著 米子高専のリベラルアーツ談話会 工学教育, 66(6), pp.98-103 2018年12月
共著 米子高専のリベラルアーツ談話会の紹介 日本高専学会誌, 23(3), pp.7-12 2018年7月
共著 ラムゼイゲームの必勝法について(1) 日本数学教育学会高専・大学部会論文誌, 24(1), pp.88-98 2018年3月
共著 音楽の数学的分析(1) 日本数学教育学会高専・大学部会論文誌, 24(1), pp.80-87 2018年3月
共著 任意の初期配置におけるハノイの塔について 日本数学教育学会高専・大学部会論文誌, 23(1), pp.157-166 2017年3月
共著 放物線作図器を用いた正多角形の作図 日本数学教育学会 高専・大学部会論文誌, 21(1), pp.98-106 2015年1月
共著 Weak theories of concatenation and minimal essentially undecidable
theories
Archive for mathematical logic, 53(7-8), pp.835-853 2014年7月
共著 Nonstandard second-order arithmetic and Riemann's mapping
theorem
Annals of pure and applied logic, 165(2), pp.520-551 2014年2月
共著 フィボナッチ型数列の周期 日本数学教育学会 高専・大学部会論文誌, 20(1), pp.140-143 2013年12月
単著 弱い2階算術におけるリーマンの写像定理 数理解析研究所講究録, 1832, pp.19-32 2013年4月
単著 Weak theories of concatenation and arithmetic Nortre Dame Journal of Formal Logic, 53(2), pp.203-222 2012年3月
単著 Concatenationの理論と本質的決定不可能性 数理解析研究所講究録, 1729, pp.18-36 2011年2月
共著 Singularities of Holomorphic Functions in Subsystems of Sec-
ond Order Arithmetic
Logic and Theory of Algorithms, Fourth Conference on Computability in Eu-
rope, CiE 2008, Local Proceedings, pp.157-164
2008年6月
一覧を見る