長谷川真人

Hasegawa Masahito

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

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

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

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

全件表示

論文 (34件)：

Masahito Hasegawa. From Linear Logic to Cyclic Sharing. Electronic Proceedings in Theoretical Computer Science. 2019. 292. 31-42
Masahito Hasegawa, Jean-Simon P. Lemay. Linear distributivity with negation, star-autonomy, and Hopf monads. Theory and Applications of Categories. 2018. 33. 37. 1145-1157
長谷川真人. Linear Exponential Comonads without Symmetry. Electronic Proceedings in Theoretical Computer Science. 2016. 238. 54-63
Tamas Hajgato, Masahito Hasegawa. TRACED *-AUTONOMOUS CATEGORIES ARE COMPACT CLOSED. THEORY AND APPLICATIONS OF CATEGORIES. 2013. 28. 206-212
Masahito Hasegawa. A quantum double construction in Rel. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. 2012. 22. 4. 618-650

MISC (5件)：

書籍 (4件)：

圏論の歩き方
日本評論社 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件)：

受賞 (6件)：

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
1999/11 - British Computer Society他 Distinguished Dissertations Award

全件表示

所属学会 (1件)：

日本ソフトウェア科学会

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

長谷川 真人