堀畑 佳宏
ホリハタ ヨシヒロ (Horihata Yoshihiro)
更新日: 04/04
論文
17
表示件数
-
ICME15 (accepted) 2024年7月 査読有り
-
ISATE 2023 2023年9月 査読有り
-
日本数学教育学会 高専・大学部会論文誌 26(1) 112-114 2020年3月 査読有り
-
ISATE 2019 23(3) 224-229 2019年9月 査読有り
-
日本高専学会誌 23(3) 7-12 2018年7月 査読有り
-
日本数学教育学会 高専・大学部会論文誌 24(1) 80-87 2018年3月 査読有り
-
日本数学教育学会 高専・大学部会論文誌 24(1) 88-98 2018年3月 査読有り
-
工学教育 66(6) 98-103 2018年 査読有り
-
日本数学教育学会 高専・大学部会論文誌 23(1) 157-166 2017年3月 査読有り
-
ARCHIVE FOR MATHEMATICAL LOGIC 53(7-8) 835-853 2014年11月 査読有り
-
ANNALS OF PURE AND APPLIED LOGIC 165(2) 520-551 2014年2月 査読有り
-
日本数学教育学会 高専・大学部会論文誌 21(1) 98-106 2014年 査読有り
-
数理解析研究所講究録「証明論と複雑性」 1832 19-32 2013年
-
日本数学教育学会 高専・大学部会論文誌 20(1) 140-143 2013年 査読有り
-
NOTRE DAME JOURNAL OF FORMAL LOGIC 53(2) 203-222 2012年 査読有り
-
数理解析研究所講究録「形式体系と計算理論」 1729 18-36 2011年
-
Logic and Theory of Algorithms(Local proceedings, CiE2008) 157-164 2008年 査読有り