研究者
J-GLOBAL ID:200901007071864696   更新日: 2024年02月01日

浜名 誠

ハマナ マコト | Hamana Makoto
所属機関・部署:
職名: 准教授
ホームページURL (1件): http://www.cs.gunma-u.ac.jp/~hamana/
研究分野 (2件): ソフトウェア ,  情報学基礎論
研究キーワード (11件): プログラミング言語 ,  圏論 ,  情報学基礎 ,  プログラム意味論 ,  関数プログラム ,  情報基礎 ,  プログラム理論 ,  関数型プログラミング言語 ,  普遍代数 ,  Declarative Programming Languages ,  Theoretical Computer Science
競争的資金等の研究課題 (14件):
  • 2020 - 2024 真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
  • 2022 - 2024 機械証明と高階書換え理論によるソフトウェア安全性保証技術の高度化
  • 2017 - 2020 高階代数系指向プログラミングの原理-安全・柔軟なソフトウェアへ向けて
  • 2013 - 2016 Haskellコアの意味論-先端的ソフトウェア検証基盤へ向けて
  • 2012 - 2015 依存型理論による安全性保証付きデータ構造の創出・推論・進化
全件表示
論文 (51件):
もっと見る
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
学歴 (2件):
  • 1993 - 1998 筑波大学 工学研究科 電子・情報工学専攻
  • - 1998 筑波大学
学位 (1件):
  • 博士(工学) (筑波大学)
経歴 (8件):
  • 2021/04 - 現在 群馬大学 情報学部 准教授
  • 2018/03 - 現在 群馬大学 大学院理工学府 電子情報部門 准教授
  • 2014/04 - 2018/02 群馬大学 大学院理工学府 電子情報部門 助教
  • 2013/04 - 2014/03 群馬大学 大学院理工学研究院 電子情報部門 助教
  • 2007/04 - 2013/03 群馬大学 大学院工学研究科 情報工学専攻 助教
全件表示
委員歴 (26件):
  • 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 日本ソフトウェア科学会 代表委員
全件表示
受賞 (7件):
  • 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回プログラミングおよびプログラミング言語ワークショップ 発表賞 プログラミング言語研究のための(高階)項書換え系入門
  • 2012/11 - 群馬大学 横山科学技術賞 「依存型による安全で高信頼なソフトウェアの基礎研究」
全件表示
所属学会 (2件):
ACM ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る