浜名 誠
ハマナ マコト (Makoto Hamana)
更新日: 02/02
基本情報
- 所属
- 群馬大学大学院 理工学府 電子情報部門 准教授
- 学位
-
博士(工学)(筑波大学)
- 研究者番号
- 90334135
- J-GLOBAL ID
- 200901007071864696
- researchmap会員ID
- 5000036530
- 外部リンク
日本学術振興会特別研究員として京都大学、英国エジンバラ大学LFCSを経て、2001年から群馬大学にて教育・研究に携わっています。プログラムのための数学的構造を明らかにし、それをソフトウェアの構成へ役立てる事に興味があります。高階抽象構文、高階項書換え系、圏論、型理論を用いたプログラム基礎理論、意味論とその関数型プログラミング言語への応用を研究しています。2008年にソフトウェア科学会論文賞、2007,2018年に高橋奨励賞、2018年にFLOPS Best Paper Awardを受賞。
研究キーワード
11研究分野
2経歴
8-
2021年4月 - 現在
-
2018年3月 - 現在
-
2014年4月 - 2018年2月
-
2013年4月 - 2014年3月
-
2007年4月 - 2013年3月
-
2001年4月 - 2007年3月
-
1998年4月 - 2001年3月
-
1999年4月 - 2001年2月
学歴
2-
1993年4月 - 1998年3月
-
- 1998年
委員歴
26-
2017年4月 - 2019年3月
-
2014年4月 - 2019年3月
受賞
7論文
51-
Logical Methods in Computer Science Volume 18, Issue 2 2022年6月14日 査読有り筆頭著者責任著者
-
Mathematical Structures in Computer Science 32(4) 542-573 2022年4月 査読有り筆頭著者責任著者
-
コンピュータ ソフトウェア 39(3) 82-87 2022年 査読有り最終著者
-
Sci. Comput. Program. 187(15 February 2020, 102322) 102322-102322 2020年 査読有り筆頭著者
-
Journal of Functional Programming 29(e20) 2019年 査読有り
-
the Leibniz International Proceedings in Informatics (LIPIcs) 108 32:1-32:5 2018年7月 査読有り
-
14th International Symposium on Functional and Logic Programming (FLOPS 2018), Lecture Notes in Computer Scie 99-115 2018年5月 査読有り
-
Mathematical Structures in Computer Science 28(2) 287-337 2018年2月1日 査読有り筆頭著者責任著者
-
Proceedings of the ACM on Programming Languages 1(22) 1-28 2017年9月 査読有り
-
Proc. International Workshop on Unification (UNIF'17) 1-6 2017年9月 査読有り
-
Logical Methods in Computer Science 13(8) 1-38 2017年 査読有り
-
The 1st International Conference on Formal Structures for Computation and Deduction (FSCD'16) 2016年4月 査読有り
-
Electronic Proceedings in Theoretical Computer Science, EPTCS 191(191) 75-89 2015年9月9日 査読有り
-
Multiversal Polymorphic Algebraic Theories - Syntax, Semantics, Translations, and Equational Logic -2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) 520-529 2013年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7294 136-150 2012年 査読有り
-
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES 6604 381-395 2011年
-
WGP 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING 59-70 2011年 査読有り
-
FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING 5979 62-78 2010年 査読有り
-
LOGICAL METHODS IN COMPUTER SCIENCE 6(3) 127-141 2010年
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5979 62-78 2010年 査読有り
MISC
2-
日本ソフトウェア科学会大会論文集 33 195-216 2016年9月7日
-
Proceedings of The First International Workshop on Higher-Order Rewriting (HOR'02) 2002年
書籍等出版物
2-
日経BP社 2012年6月11日 (ISBN: 4822283720)
-
サイエンス社 2006年12月 (ISBN: 4781911358)
担当経験のある科目(授業)
7所属学協会
2共同研究・競争的資金等の研究課題
14-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2020年4月 - 2024年3月
-
日本学術振興会 二国間交流事業 フランス(MEAE-MESRI) 2022年4月 - 2024年3月
-
文部科学省 科学研究費補助金(基盤研究(C)) 2017年4月 - 2020年3月
-
文部科学省 科学研究費補助金(挑戦的萌芽研究) 挑戦的萌芽研究 2013年4月 - 2016年3月
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2012年4月 - 2015年3月
-
稲盛財団研究助成金 2012年 - 2014年
-
文部科学省 科学研究費補助金(若手研究(B)) 若手研究(B) 2010年 - 2011年
-
文部科学省 科学研究費補助金(若手研究(B)) 若手研究(B) 2007年 - 2009年
-
国立情報学研究所 共同研究費 (共同研究者 胡 振江) 2009年
-
Grant-in-Aid for Scientific Research 2004年 - 2007年
-
国立情報学研究所 共同研究費 (共同研究者 龍田 真) 2007年
-
文部科学省 科学研究費補助金(若手研究(B)) 若手研究(B) 2004年 - 2006年
-
大川情報通信基金 研究助成金 2002年
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 特別研究員奨励費 1998年 - 2000年