Hasegawa Masahito

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://www.kurims.kyoto-u.ac.jp/~hassei/

Research field (5)： Applied mathematics and statistics , Basic mathematics , Algebra , Software , Information theory

Research keywords (14)： tensor categories , semantics of programming languages , monoidal categories , software , theory of programming languages , functional programming languages , traced monoidal categories , linear logic , type theory , Geometry of Interaction , semantics , category theory , programming languages , lambda calculus

Research theme for competitive and other funds (14)：

2022 - 2024 Characterizations of Traced Monads
2021 - 2024 低次元トポロジーに基づく低レベルプログラミング言語の設計と分析
2018 - 2023 Quantization, Categorification and Geometrization of Program Semantics
2017 - 2020 Algebraic topology, higher-dimensional algebras and rewriting
2017 - 2020 トレース付きモノイダル圏の計算機科学における応用

Show all

Papers (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
Masahito Hasegawa. 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

ｍore...

MISC (5)：

長谷川真人. プログラム意味論と圈論/計算の「不変量」を圈論で捉える. 数学セミナー. 2011. 601. 92-98
長谷川真人. 計算機科学と結び目不変量. 数理科学. 2009. 556. 54-55
長谷川真人. 再帰プログラム. 数学セミナー. 2008. 561. 30-35
M. Hasegawa. Report on TACS 2001. Computer Software. 2002. 19. 1. 64-66
H. Masahito. On new year\\'s eve. Computer Software. 2000. 17. 1. 15-18

Books (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

Lectures and oral presentations (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)
Program semantics, tensor categories, quantum topology
(Workshop on Programming and Programming Languages 2012)
Program semantics and topology - recursion, interaction, knots -
(MSJ Autumn Meeting 2010 2010)

Professional career (1)：

Ph.D.

Work history (5)：

2007/04 - 現在 Kyoto University Research Institute for Mathematical Sciences
2002/04 - 2007/03 Kyoto University Research Institute for Mathematical Sciences
2002/11 - 2006/03 科学技術振興機構戦略的創造研究推進事業「機能と構成」領域研究者
1999/06 - 2002/03 Kyoto University Research Institute for Mathematical Sciences
1997/07 - 1999/05 Kyoto University Research Institute for Mathematical Sciences

Awards (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

Show all

Association Membership(s) (1)：

日本ソフトウェア科学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page