長谷川真人

Hasegawa Masahito

所属機関・部署：
職名：教授
ホームページURL (1件)： http://www.kurims.kyoto-u.ac.jp/~hassei/

研究分野 (5件)：応用数学、統計数学 , 数学基礎 , 代数学 , ソフトウェア , 情報学基礎論

研究キーワード (14件)：テンソル圏 , プログラム意味論 , モノイダル圏 , ソフトウェア , プログラミング言語の基礎理論 , 関数型プログラミング言語 , トレース付きモノイダル圏 , 線形論理 , 型理論 , 相互作用の幾何 , 意味論 , 圏論 , プログラミング言語 , ラムダ計算

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

全件表示

論文 (43件)：

Masahito Hasegawa, Serge Lechenne. Braids, Twists, Trace and Duality in Combinatory Algebras. LICS. 2024. 42-14
Masahito Hasegawa, Jean-Simon Pacaud Lemay. Traced Monads and Hopf Monads. Compositionality. 2023
Masahito Hasegawa. Hopf monads on biproducts. Theory and Applications of Categories. 2023
Masahito Hasegawa, Stephen Lack, Guy McCusker. A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II. Mathematical Structures in Computer Science. 2022
Masahito Hasegawa. The Internal Operads of Combinatory Algebras. MFPS. 2022

MISC (5件)：

書籍 (5件)：

理論計算機科学事典
朝倉書店 2022 ISBN:9784254122633
圏論の歩き方
日本評論社 2015
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
Springer-Verlag 2013
Models of Sharing Graphs : A Categorical Semantics of Let and Letrec
Distinguished Dissertation Series, Springer-Verlag 1999
コンピュータサイエンス入門:論理とプログラム意味論
岩波書店 1999 ISBN:4000061909

講演・口頭発表等 (4件)：

Programming languages, tensor categories, and quantum topology
(Forum "Math-for-Industry" 2014 2014)
Denotational semantics and quantum topology
(workshop on Quantum Physics and Logic 2014)
プログラム意味論・テンソル圏・量子トポロジー
(プログラミングおよびプログラミング言語ワークショップ 2012)
プログラム意味論とトポロジー - 再帰・相互作用・結び目 -
(日本数学会2010年度秋季総合分科会 2010)

学位 (1件)：

経歴 (5件)：

受賞 (7件)：

2023/09 - 日本ソフトウェア科学会 2022年度基礎研究賞圏論に基づくプログラム意味論
2008/04 - 科学技術分野の文部科学大臣表彰若手科学者賞
2005/11 - 日本IBM 第19回日本IBM科学賞
2001/04 - European Association for Theoretical Computer Science ETAPS2001 Best Theoretical Paper Award
1999/11 - British Computer Society Distinguished Dissertations Award

全件表示

所属学会 (1件)：

日本ソフトウェア科学会

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

長谷川 真人