浜名誠

ハマナマコト | Hamana Makoto

所属機関・部署：
職名：教授
ホームページURL (1件)： http://solweb.mydns.jp/hamana/

研究分野 (2件)：ソフトウェア , 情報学基礎論

研究キーワード (11件)：プログラミング言語 , 圏論 , 情報学基礎 , プログラム意味論 , 関数プログラム , 情報基礎 , プログラム理論 , 関数型プログラミング言語 , 普遍代数 , Declarative Programming Languages , Theoretical Computer Science

競争的資金等の研究課題 (14件)：

2020 - 2024 真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
2022 - 2024 機械証明と高階書換え理論によるソフトウェア安全性保証技術の高度化
2017 - 2020 高階代数系指向プログラミングの原理-安全・柔軟なソフトウェアへ向けて
2013 - 2016 Haskellコアの意味論-先端的ソフトウェア検証基盤へ向けて
2012 - 2015 依存型理論による安全性保証付きデータ構造の創出・推論・進化

全件表示

論文 (52件)：

Koko Muroya, Makoto Hamana. Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement. FLOPS. 2024. 31-61
Makoto Hamana. Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers. Logical Methods in Computer Science. 2022. Volume 18, Issue 2
Makoto Hamana. Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding. Mathematical Structures in Computer Science. 2022. 32. 4. 542-573
GSOL: A Confluence Checker for Haskell Rewrite Rules. コンピュータソフトウェア. 2022. 39. 3. 82-87
Makoto Hamana, Tatsuya Abe 0001, Kentaro Kikuchi. Polymorphic computation systems: Theory and practice of confluence with call-by-value. Sci. Comput. Program. 2020. 187. 15 February 2020, 102322. 102322-102322

MISC (2件)：

Hamana Makoto. 巡回データ型とそのfoldのための決定可能な等式理論. 日本ソフトウェア科学会大会論文集. 2016. 33. 195-216
HAMANA MAKOTO. Term Rewriting with Variable Binding. Proceedings of The First International Workshop on Higher-Order Rewriting (HOR'02). 2002

書籍 (2件)：

チューリングを読むコンピュータサイエンスの金字塔を楽しもう
日経BP社 2012 ISBN:4822283720
計算モデル論入門-チューリング機械からラムダ計算へ (Information Science & Engineering (F5))
サイエンス社 2006 ISBN:4781911358

学歴 (1件)：

1993 - 1998 筑波大学工学研究科電子・情報工学専攻

学位 (1件)：

博士(工学) (筑波大学)

経歴 (9件)：

2024/04 - 現在九州工業大学大学院情報工学研究院情報・通信工学研究系教授
2021/04 - 2024/03 群馬大学情報学部准教授
2018/03 - 2021/03 群馬大学大学院理工学府電子情報部門准教授
2014/04 - 2018/02 群馬大学大学院理工学府電子情報部門助教
2013/04 - 2014/03 群馬大学大学院理工学研究院電子情報部門助教

全件表示

委員歴 (27件)：

2022/05 - 16th International Symposium on Functional and Logic Programming (FLOPS 2022), Program Committee Member
2022 - 11th International Workshop on Confluence (IWC'22) Program Comittee Member
2022 - The ACM SIGPLAN Haskell Symposium 2022 Program Comittee Member
2020 - 2020 ACM International Conference on Functional Programming (ICFP'20) Program Committee Member
2020 - 11th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2020) Program Committee Member

2017/04 - 2019/03 日本ソフトウェア科学会代表委員

2014/04 - 2019/03 日本ソフトウェア科学会プログラミング論研究会(PPL) 運営委員

2019 - 9th International Workshop on Confluence (IWC'20) Program Committee Member

2018 - Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'18), program comittee member

2016 - 13th International Symposium on Functional and Logic Programming (FLOPS'16) program committee member

2015 - International Workshop on Fixed Points in Computer Science (FICS'15) program committee member

2015 - 第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015) プログラム委員長

2014 - 2nd International Workshop on Haskell and Rewriting Techniques (HART'14) program committee member

2014 - 16th Workshop on Programming and Programming Languages (PPL 2014) PC member

2014 - 5th International Workshop on Mathematically Structured Functional Programming (MSFP'14) program committee member

2014 - 2nd International Workshop on Haskell and Rewriting Techniques (HART'14) program committee member

2014 - 5th International Workshop on Mathematically Structured Functional Programming (MSFP'14) program committee member

2014 - 第16回プログラミングおよびプログラミング言語ワークショップ (PPL 2014) プログラム委員

2012 - 6th International Workshop on Higher-Order Rewriting (HOR'12) PC chair

2012 - 14th Workshop on Programming and Programming Languages (PPL 2012) PC member

2012 - 6th International Workshop on Higher-Order Rewriting (HOR'12) Program Chair and organising Chair

2012 - 第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012) プログラム委員

2009 - 11th Workshop on Programming and Programming Languages (PPL 2009) PC member

2009 - 第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009) プログラム委員

2007 - 4th International Workshop on Higher-Order Rewriting (HOR'07) program committee member

全件表示

受賞 (8件)：

2023/11 - 日本ソフトウェア科学会第40回大会優秀発表賞 Automatic Correctness Checking of Haskell’s Rewrite Rules: Theory and Practice
2018/11 - 日本ソフトウェア科学会第35回大会高橋奨励賞「関数プログラム・計算系の分割停止性検証: 外山-Klop-Barendregt の定理の高階化」
2018/09 - 日本ソフトウェア科学会第35回大会優秀発表賞「関数プログラム・計算系の分割停止性検証: 外山-Klop-Barendregt の定理の高階化」
2018/05 - FLOPS 2018 Best paper award "Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation"
2016/03 - 日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ発表賞プログラミング言語研究のための(高階)項書換え系入門

全件表示

所属学会 (2件)：

ACM , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

浜名 誠

浜名誠