Rchr
J-GLOBAL ID：200901067385624021   Update date: Oct. 31, 2024

Hasegawa Masahito

Hasegawa Masahito
Affiliation and department：
Kyoto University Research Institute for Mathematical Sciences

About Kyoto University Research Institute for Mathematical Sciences


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 (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
ｍore...
MISC (5)：
Books (5)：
  • Encyclopedia of theoretical computer science
    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
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 (7)：
  • 2023/09 - JSSST JSSST Research Award
  • 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
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

TOP

BOTTOM