Hasegawa Masahito 長谷川真人

… Alternative Names

HASEGAWA Masahito 長谷川真人

長谷川真人ハセガワマサヒト

Less

Researcher Number	50293973
Other IDs
External Links
Affiliation (Current)	2025: 京都大学, 数理解析研究所, 教授
Affiliation (based on the past Project Information) *help	2015 – 2024: 京都大学, 数理解析研究所, 教授 2006 – 2013: Kyoto University, Research Institute for Mathematical Sciences, Professor, 数理解析研究所, 教授 2003 – 2006: 京都大学, 数理解析研究所, 助教授 2000: 京大, 数理解析研究所, 講師 1999: 京都大学, 数理解析研究所, 講師
Review Section/Research Field	Principal Investigator Basic Section 60010:Theory of informatics-related / Fundamental theory of informatics / Theory of informatics / Basic Section 11010:Algebra-related / Theory of informatics / 計算機科学 Except Principal Investigator Fundamental theory of informatics / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 圏論 / 意味論 / プログラミング言語 / ラムダ計算 / 量子トポロジー / プログラム意味論 / 線型論理 / モノイダル圏 / テンソル圏 / 線形論理 … More / トポロジー / プログラム理論 / コンビネータ論理 / トレース / モナド / 圏論的量子力学 / 量子計算 / 高次元圏論 / 代数トポロジー / 実装モデル / オペラッド / コンビネータ代数 / 低次元トポロジー / 量子化 / 幾何学 / 遅延評価 / 位相的量子計算 / ソフトウェア学 / 量子不変量 / ソフトウェア / 数理論理学 / 数学基礎論 / 理論計算機科学 / 相互作用 / 非決定性計算 / 証明論 / 計算機科学 / 型理論 / 再帰計算 / 計算資源 … More Except Principal Investigator linear logic / 線形論理 / fixed point combinator / combinatorial enumeration model / トレース / 圏論モデル / 不動点演算子 / 組合せ論的数え上げモデル / lambda calculus / weak normalization / categorical semantics / 強正規性 / 線形倫理 / ラムダ計算 / 正規性 / カテゴリカルセマンティクス / トレース付きモノイダル圏 / Int構成 / 属性文法 / 圏論 / プログラム変換 Less

Geometry of CombinatorsPrincipal Investigator
- Principal Investigator
  
  長谷川真人
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyoto University
Characterizations of Traced MonadsPrincipal Investigator
- Principal Investigator
  
  長谷川真人
- Project Period (FY)
  2022 – 2023
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Review Section
  
  Basic Section 11010:Algebra-related
- Research Institution
  Kyoto University
Design and analysis of low-level programming languages via low-dimensional topologyPrincipal Investigator
- Principal Investigator
  
  Hasegawa Masahito
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyoto University
Quantization, Categorification and Geometrization of Program SemanticsPrincipal Investigator
- Principal Investigator
  
  Hasegawa Masahito
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Kyoto University
トレース付きモノイダル圏の計算機科学における応用Principal Investigator
- Principal Investigator
  
  長谷川真人
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Research Field
  
  Theory of informatics
- Research Institution
  Kyoto University
Algebraic topology, higher-dimensional algebras and rewritingPrincipal Investigator
- Principal Investigator
  
  長谷川真人
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Research Field
  
  Theory of informatics
- Research Institution
  Kyoto University
Semantics for Implementations of Programming LanguagesPrincipal Investigator
- Principal Investigator
  
  Hasegawa Masahito
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Kyoto University
Semantics of Programming Languages and Quantum TopologyPrincipal Investigator
- Principal Investigator
  
  HASEGAWA Masahito
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
Higher-order Geometry of Interaction and Program SemanticPrincipal Investigator
- Principal Investigator
  
  HASEGAWA Masahito
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
A New Categorical Foundation of Attribute Grammar
- Principal Investigator
  
  KATSUMATA Shinya
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
非決定性相互作用の幾何構造Principal Investigator
- Principal Investigator
  
  長谷川真人
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyoto University
The combinatorial enumeration model of functional programming languages and trace
- Principal Investigator
  
  HASEGAWA Ryu
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Tokyo
Categorical Reduction
- Principal Investigator
  
  HASEGAWA Ryu
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo
計算資源の共有構造を反映した計算モデルの理論と応用Principal Investigator
- Principal Investigator
  
  長谷川真人
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University

[Book] Typed Lambda Calculi and Applications2013
- Author(s)
  Masahito Hasegawa (ed.)
- Total Pages
  249
- Publisher
  Springer-Verlag
- Data Source
  KAKENHI-PROJECT-23500016
[Book] Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Proceedings, Springer Lecture Notes in Computer Science2013
- Author(s)
  Masahito Hasegawa (editor)
- Total Pages
  249
- Data Source
  KAKENHI-PROJECT-23500016
[Journal Article] Traced Monads and Hopf Monads2023
- Author(s)
  Hasegawa Masahito, Lemay Jean-Simon Pacaud
- Journal Title
  
  Compositionality
  
  Volume: 5 Pages: 10-10
- DOI
  10.32408/compositionality-5-10
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11753
[Journal Article] Hopf monads on biproducts2023
- Author(s)
  Hasegawa Masahito, Lemay Jean-Simon Pacaud
- Journal Title
  
  Theory and Applications of Categories
  
  Volume: 39 Pages: 804-823
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11753
[Journal Article] The Internal Operads of Combinatory Algebras2023
- Author(s)
  Hasegawa Masahito
- Journal Title
  
  Electronic Notes in Theoretical Informatics and Computer Science
  
  Volume: Volume 1 - Proceedings of... Pages: 1-19
- DOI
  10.46298/entics.10338
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21K11753, KAKENHI-PROJECT-18K11165
[Journal Article] A Braided Lambda Calculus2021
- Author(s)
  Masahito Hasegawa
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 353 Pages: 94-108
- DOI
  10.4204/eptcs.353.5
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11165, KAKENHI-PROJECT-21K11753
[Journal Article] From Linear Logic to Cyclic Sharing2019
- Author(s)
  Hasegawa Masahito
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 292 Pages: 31-42
- DOI
  10.4204/eptcs.292.3
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K11165
[Journal Article] Linear Distributivity With Negation, Star-Autonomy, and Hopf Monads2018
- Author(s)
  Hasegawa Masahito, Lemay Jean-Simon
- Journal Title
  
  Theory and Applications of Categories
  
  Volume: 33 Pages: 1145-1157
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11165
[Journal Article] Linear Exponential Comonads without Symmetry2016
- Author(s)
  Masahito Hasegawa
- Journal Title
  
  Electronic Proceedings in Theoretical Computer Science
  
  Volume: 238 Pages: 54-63
- DOI
  10.4204/eptcs.238.6
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K00013
[Journal Article] Traced *-autonomous categories are compact closed2013
- Author(s)
  Tamas Hajgato and Masahito Hasegawa
- Journal Title
  
  Theory and Applications of Categories
  
  Volume: Vol.28(7) Pages: 206-212
- URL
  http://www.tac.mta.ca/tac/volumes/28/7/28-07abs.html
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500016
[Journal Article] A quantum double construction in Rel2012
- Author(s)
  Masahito Hasegawa
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: Vol.22(4) Issue: 4 Pages: 618-650
- DOI
  10.1017/s0960129511000703
- NAID
  120004873597
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500016
[Journal Article] A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories2010
- Author(s)
  Masahito Hasegawa, Shin-ya Katsumata
- Journal Title
  
  Mathematical Proceedings of the Cambridge Philosophical Society 148(1)
  
  Pages: 107-109
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] プログラム意味論とトポロジー・再帰・相互作用・結び目2010
- Author(s)
  長谷川真人
- Journal Title
  
  日本数学会秋季総合分科会総合講演・企画特別講演アブストラクト
  
  Pages: 37-49
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] Bialgebras in Rel2010
- Author(s)
  Masahito Hasegawa
- Journal Title
  
  Electronic Notes in Theoretical Computer Science Vol.265
  
  Pages: 337-359
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] Bialgebras in Rel2010
- Author(s)
  Masahito Hasegawa
- Journal Title
  
  Electronic Notes in Theoretical Computer Science
  
  Volume: 265 Pages: 337-359
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories.2010
- Author(s)
  Masahito Hasegawa, Shin-ya Katsumata.
- Journal Title
  
  In Mathematical Proceedings of Cambridge Philosophical Society volume 148
  
  Pages: 107-109
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700012
[Journal Article] Shin-ya Katsumata, A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories2010
- Author(s)
  Masahito Hasegawa
- Journal Title
  
  Mathematical Proceedings of the Cambridge Philosophical Society Vol.148, No.1
  
  Pages: 107-109
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] A note on the biadjunction between 2-categories of traced monoidal cate gories and tortile monoidal categories2010
- Author(s)
  Masahito Hasegawa, Shin-ya Katsumata
- Journal Title
  
  Mathematical Proceedings of Cambridge Philosophical Society 148
  
  Pages: 107-109
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700012
[Journal Article] Small-step and big-step semantics for call-by-need2009
- Author(s)
  Keiko Nakata, Masahito Hasegawa
- Journal Title
  
  Journal of Functional Programming 19(6)
  
  Pages: 699-722
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] On traced monoidal closed categories2009
- Author(s)
  Masahito Hasegawa
- Journal Title
  
  Mathematical Structures in Computer Science Vol.19, No.2
  
  Pages: 217-224
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] Small-step and big-step semantics for call-by-need2009
- Author(s)
  Keiko Nakata, Masahito Hasegawa
- Journal Title
  
  Journal of Functional Programming Vol.19, No.6
  
  Pages: 699-722
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] On traced monoidal closed categories2009
- Author(s)
  Masahito Hasegawa
- Journal Title
  
  Mathematical Structures in Computer Science 19(2)
  
  Pages: 217-244
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] On traced moo idal closed categories2009
- Author(s)
  Masahito Hasegawa
- Journal Title
  
  Mathemtical Struetures in Computer Science (印刷中掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500010
[Journal Article] Finite dimensional vector spaces are complete for traced symmetric monoidal categories2008
- Author(s)
  M. Hasegawa, M. Hofmann, G. Plotkin
- Journal Title
  
  Lecture Notes in Computer Science 4800
  
  Pages: 367-385
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700013
[Journal Article] 再帰プログラミングの意味論にっぃて2007
- Author(s)
  長谷川真人
- Journal Title
  
  数学 59
  
  Pages: 180-191
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540102
[Journal Article] 再帰プログラムの意味論について2007
- Author(s)
  長谷川真人
- Journal Title
  
  数学 59(2)
  
  Pages: 180-191
- NAID
  130004558827
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700013
[Journal Article] Coherence of the double involution on *-autonomous categories2006
- Author(s)
  J.R.B.Cockett, M.Hasegawa, R.A.G.Seely
- Journal Title
  
  Theory and Applications of Categories 17
  
  Pages: 17-29
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540102
[Journal Article] Coherence of the double involution on *-autonomous categories2006
- Author(s)
  J.R.B.Cockett, M.Hasegawa, R.A.G.Seely
- Journal Title
  
  Theory and Applications of Categories 17・2
  
  Pages: 17-29
- Data Source
  KAKENHI-PROJECT-17540102
[Journal Article] Relational paramervicity and control.2006
- Author(s)
  M.Hasegawa
- Journal Title
  
  Logical methods in Computer Science. 2
  
  Pages: 1-22
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540102
[Journal Article] Relational parametricity and control2006
- Author(s)
  M.Hasegawa
- Journal Title
  
  Logical Methods in Computer Science 2
  
  Pages: 1-22
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540102
[Journal Article] Coherence of the Double Involution on *-autonomous Categories2006
- Author(s)
  J.R.B.Cockett, M.Hasegawa, R.A.G.Seely
- Journal Title
  
  Theory and Applications of Categories 17(2)
  
  Pages: 17-29
- Data Source
  KAKENHI-PROJECT-17700013
[Journal Article] A Terminating and Confluent Linear Lambda Calculus2006
- Author(s)
  Y.Ohta, M.Hasegawa
- Journal Title
  
  Springer Lecture Notes in Computer Science 4098
  
  Pages: 166-180
- Data Source
  KAKENHI-PROJECT-17700013
[Journal Article] Relational Parametricity and Control2006
- Author(s)
  M.Hasegawa
- Journal Title
  
  Logical Methods in Computer Science 2(3:3)
  
  Pages: 1-22
- Data Source
  KAKENHI-PROJECT-17700013
[Journal Article] Coherenco of the double involution on *-autonomous categories2006
- Author(s)
  J.R.B.Cockeff, M.Hasegawa, R.A.G.Seely
- Journal Title
  
  Theory and Applications of Categories 17
  
  Pages: 17-29
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540102
[Journal Article] Classical linear logic of implications2005
- Author(s)
  M.Hasegawa
- Journal Title
  
  Mathematical Structures in Computer Science 15(2)
  
  Pages: 323-342
- Data Source
  KAKENHI-PROJECT-17700013
[Journal Article] Relational parametricity and control2005
- Author(s)
  M.Hasegawa
- Journal Title
  
  20th Annual IEEE Symposium on Logic in Computer Science
  
  Pages: 72-81
- Data Source
  KAKENHI-PROJECT-17540102
[Journal Article] Classical linear logic of implications2005
- Author(s)
  M.Hasegawa
- Journal Title
  
  Mathematical Structures in Computer Science 15
  
  Pages: 323-342
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540102
[Journal Article] Relational parametricity and control (extended abstract)2005
- Author(s)
  M.Hasegawa
- Journal Title
  
  Proceedings of 20th Annual IEEE Symposium on Logic in Computer Science
  
  Pages: 72-81
- Data Source
  KAKENHI-PROJECT-17700013
[Journal Article] Semantics of linear continuation-passing in call-by-name2004
- Author(s)
  M.Hasegawa
- Journal Title
  
  Springer Lecture Notes in Computer Science 2998
  
  Pages: 229-243
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] The uniformity principle for traced monoidal categories2004
- Author(s)
  M.Hasegawa
- Journal Title
  
  Publications of the Research Institue for Mathematical Sciences 40(3)
  
  Pages: 991-1014
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] The uniformity principle on traced monoidal categories2004
- Author(s)
  M.Hasegawa
- Journal Title
  
  Publications of the Research Institute for Mathematical Sciences 40(3)
  
  Pages: 991-1014
- NAID
  110001050933
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] Semantics of linear continuation-passing in call-by-name2004
- Author(s)
  M.Hasegawa
- Journal Title
  
  Springer Lecture Notes in Computer Science 2994
  
  Pages: 229-243
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] Classical Jinear logic of implications
- Author(s)
  M.Hasegawa
- Journal Title
  
  Mathematical Structures in Computer Science (In printing)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] Coherence of the double involution on ^*-autonomous categories
- Author(s)
  J.R.B.Cockett, M.Hasegawa, R.A.G.Seely
- Journal Title
  
  Theory and Applications of Categoriecs (in printing)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] Coherence of the double involution on *-automonomous categories
- Author(s)
  J.R.B.Cockett, M.Hasegawa, R.A.G.Seely
- Journal Title
  
  Theory and Applications of Categories (In printing)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] Parameterizations and fixed-point operators on control categories
- Author(s)
  Y.Kakutani, M.Hasegawa
- Journal Title
  
  Fundamenta Informaticae (in printing)
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] Classical linear logic of implications
- Author(s)
  M.Hasegawa
- Journal Title
  
  Mathematical Structures in Computer Science (in printing)
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] Paramerizations and fixed-point operators on control categories
- Author(s)
  Y.Kakutani, M.Hasegawa
- Journal Title
  
  Fundamenta Informalicae (in printing)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] Coherence of the double involution on *-autonomous categories
- Author(s)
  J.R.B.Cockett, M.Hasegawa, R.A.G.Seely
- Journal Title
  
  Theory and Applications of Categories (in printing)
- Data Source
  KAKENHI-PROJECT-15500003
[Journal Article] Classical linear logic of implications
- Author(s)
  M.Hasegawa
- Journal Title
  
  Mathematical Structures in Computer Science (in printing)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500003
[Presentation] プログラム意味論と圏論…と幾何2023
- Author(s)
  長谷川真人
- Organizer
  日本ソフトウェア科学会第40回大会
- Invited
- Data Source
  KAKENHI-PROJECT-21K11753
[Presentation] The Internal Operads of Combinatory Algebras2022
- Author(s)
  Masahito Hasegawa
- Organizer
  理論計算機科学と圏論ワークショップ
- Data Source
  KAKENHI-PROJECT-21K11753
[Presentation] The internal operads of combinatory algebras2022
- Author(s)
  Masahito Hasegawa
- Organizer
  38th International Conference on Mathematical Foundations of Programming Semantics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11753
[Presentation] The Internal Operads of Combinatory Algebras2022
- Author(s)
  Masahito Hasegawa
- Organizer
  理論計算機科学と圏論ワークショップ
- Data Source
  KAKENHI-PROJECT-18K11165
[Presentation] The internal operads of combinatory algebras2022
- Author(s)
  Masahito Hasegawa
- Organizer
  38th International Conference on Mathematical Foundations of Programming Semantics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11165
[Presentation] Traced monoidal categories and semantics of computation2021
- Author(s)
  Masahito Hasegawa
- Organizer
  Macquarie University Department of Mathematics and Statistics Colloquium
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11165
[Presentation] A braided lambda calculus2020
- Author(s)
  Masahito Hasegawa
- Organizer
  Joint Workshop Linearity and TLLA
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11165
[Presentation] Lifting traced monoidal structure to the categories of algebras (work on progress)2020
- Author(s)
  長谷川真人
- Organizer
  第三十一回代数，論理，幾何と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-18K11165
[Presentation] A braided lambda calculus2019
- Author(s)
  長谷川真人
- Organizer
  第36回記号論理と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-18K11165
[Presentation] From Linear Logic to Cyclic Sharing2018
- Author(s)
  Hasegawa Masahito
- Organizer
  Joint International Workshop on Linearity & Trends in Linear Logic and Applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11165
[Presentation] From Linear Logic to Cyclic Sharing2018
- Author(s)
  長谷川真人
- Organizer
  第二十九回代数，論理，幾何と情報科学研究集会
- Data Source
  KAKENHI-PROJECT-18K11165
[Presentation] Semi-Duality in Monoidal Categories2018
- Author(s)
  Hasegawa Masahito
- Organizer
  Shonan Meeting on Diagrammatic Methods for Linear and Nonlinear Systems
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K11165
[Presentation] From Linear Logic to Cyclic Sharing2018
- Author(s)
  長谷川真人
- Organizer
  理論計算機科学と圏論ワークショップ（CSCAT2018）
- Data Source
  KAKENHI-PROJECT-15K00013
[Presentation] On traced *-autonomous categories2017
- Author(s)
  長谷川真人
- Organizer
  計算機科学と圏論研究集会
- Place of Presentation
  群馬大学 (群馬県前橋市)
- Year and Date
  2017-03-21
- Data Source
  KAKENHI-PROJECT-15K00013
[Presentation] On Semi-duals in Monoidal Categories2017
- Author(s)
  Masahito Hasegawa
- Organizer
  CRECOGI Annual Meeting
- Data Source
  KAKENHI-PROJECT-15K00013
[Presentation] Free Traces on Symmetric Monoidal Categories2017
- Author(s)
  長谷川真人
- Organizer
  代数, 論理, 幾何と情報科学研究集会（ALGI2017）
- Data Source
  KAKENHI-PROJECT-15K00013
[Presentation] Traced star-autonomoud categories are compact closed2016
- Author(s)
  Masahito Hasegawa
- Organizer
  Seminaire Preuves, Programmes et Systeme
- Place of Presentation
  Paris (France)
- Year and Date
  2016-10-18
- Data Source
  KAKENHI-PROJECT-15K00013
[Presentation] Linear Exponential Comonads without Symmetry2016
- Author(s)
  Masahito Hasegawa
- Organizer
  Fourth International Workshop on Linearity (LINEARITY 2016)
- Place of Presentation
  Porto (Portugal)
- Year and Date
  2016-06-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00013
[Presentation] Linear exponential comonads without symmetry2016
- Author(s)
  Masahito Hasegawa
- Organizer
  理論計算機科学と圏論ワークショップ
- Place of Presentation
  理化学研究所（兵庫県神戸市）
- Year and Date
  2016-03-16
- Data Source
  KAKENHI-PROJECT-15K00013
[Presentation] A conjecture on traced monoidal categories2015
- Author(s)
  Masahito Hasegawa
- Organizer
  Concurrent, Resourceful and Effectful Computation, by Geometry of Interaction
- Place of Presentation
  京都大学（京都府京都市）
- Year and Date
  2015-07-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00013
[Presentation] プログラム意味論と量子トポロジー2014
- Author(s)
  長谷川真人
- Organizer
  CSCAT2014
- Place of Presentation
  神奈川大学理学部
- Data Source
  KAKENHI-PROJECT-23500016
[Presentation] Traced *-autonomous categories are compact closed2013
- Author(s)
  Masahito Hasegawa
- Organizer
  研究集会SLAGICS 2013
- Place of Presentation
  京都大学
- Year and Date
  2013-09-25
- Data Source
  KAKENHI-PROJECT-23500016
[Presentation] Traced *-autonomous categories are compact closed2013
- Author(s)
  長谷川真人
- Organizer
  SLAGICS2013
- Place of Presentation
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-23500016
[Presentation] プログラム意味論・テンソル圏・量子トポロジー2012
- Author(s)
  長谷川真人
- Organizer
  第14回プログラミングおよびプログラミング言語ワークショップ（PPL２０１２）(招待講演)
- Place of Presentation
  和歌山県西牟婁郡白浜町868旅館むさし
- Data Source
  KAKENHI-PROJECT-23500016
[Presentation] テンソル圏・プログラム意味論・量子トポロジー2012
- Author(s)
  長谷川真人
- Organizer
  第14回プログラミング及びプログラミング言語ワークショップ
- Place of Presentation
  白浜
- Year and Date
  2012-03-08
- Invited
- Data Source
  KAKENHI-PROJECT-23500016
[Presentation] A model of braided linear logic2011
- Author(s)
  Masahito Hasegawa
- Organizer
  RIMS共同研究集会「相互作用の幾何，トレース付きモノイダル圏と非明示的計算量」
- Place of Presentation
  京都大学理学部3号館
- Data Source
  KAKENHI-PROJECT-23500016
[Presentation] A model of braided linear logic2011
- Author(s)
  Masahito Hasegawa
- Organizer
  研究集会「相互作用の幾何, トレース付きモノイダル圏と非明示的計算量」
- Place of Presentation
  京都大学
- Year and Date
  2011-11-07
- Data Source
  KAKENHI-PROJECT-23500016
[Presentation] A quantum double construction in the non-deterministic setting2010
- Author(s)
  Masahito Hasegawa
- Organizer
  Workshop on Mathematical Theory of Processes and Operations : Concurrent, Quantum, and More
- Place of Presentation
  京都大学
- Year and Date
  2010-11-08
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] Small-step and big-step semantics for call-by-need2010
- Author(s)
  長谷川真人
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  琴平温泉琴参閣
- Year and Date
  2010-03-05
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] プログラム意味論とトポロジー-再帰・相互作用・結び目-2010
- Author(s)
  長谷川真人
- Organizer
  日本数学会秋季総合分科会企画特別講演
- Place of Presentation
  名古屋大学
- Year and Date
  2010-09-24
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] Bialgebras in Rel2010
- Author(s)
  Masahito Hasegawa
- Organizer
  26th Conference on the Mathematical Foundations of Programming Semantics
- Place of Presentation
  オタワ大学(カナダ)
- Year and Date
  2010-05-06
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] Bialgebras in Rel2010
- Author(s)
  Masahito Hasegawa
- Organizer
  26th Conference on the Mathematical Foundations of Programming Semantics
- Place of Presentation
  オタワ大学
- Year and Date
  2010-05-06
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] プログラム意味論とトポロジー・再帰・相互作用・結び目2010
- Author(s)
  長谷川真人
- Organizer
  日本数学会秋季総合分科会総合講演・企画特別講演
- Place of Presentation
  名古屋大学(招待講演)
- Year and Date
  2010-09-24
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] Basic results on traced monoidal categories2009
- Author(s)
  長谷川真人
- Organizer
  RIMS合宿型ヤミナー「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」
- Place of Presentation
  関西セミナーハウス
- Year and Date
  2009-08-24
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] Geometry of recursion, geometry of interaction and traced monoidal categories2009
- Author(s)
  長谷川真人
- Organizer
  圏論と計算機科学とトポロジー研究集
- Place of Presentation
  信州大学
- Year and Date
  2009-10-17
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] Basic facts on traced monoidal categories2009
- Author(s)
  Masahito Hasegawa
- Organizer
  RIMS合宿型セミナー「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」
- Place of Presentation
  関西セミナーハウス
- Year and Date
  2009-08-24
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] Geometry of recursion, geometry of interaction and traced monoidal cate gories2009
- Author(s)
  長谷川真人
- Organizer
  「圏論と計算機科学とトポロジー」研究集会
- Place of Presentation
  信州大学
- Year and Date
  2009-10-17
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] On the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories2009
- Author(s)
  長谷川真人
- Organizer
  代数,論理,幾何と情報科学研究集会
- Place of Presentation
  鳥取環境大学
- Year and Date
  2009-09-14
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] 再帰プログラムの幾何、相互作用の幾何2008
- Author(s)
  長谷川真人
- Organizer
  九州大学数理学研究院談話会
- Place of Presentation
  九州大学数理学研究院
- Year and Date
  2008-06-04
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] 直観主義線形論理と古典線形論理の間のギャップについて2008
- Author(s)
  長谷川真人
- Organizer
  記号論理と情報科学研究集会
- Place of Presentation
  鹿児島大学理学部
- Year and Date
  2008-08-29
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] 再帰プログラムの幾何,相互作用の幾何2008
- Author(s)
  長谷川真人
- Organizer
  九州大学数理科学研究院談話会
- Place of Presentation
  九州大学
- Year and Date
  2008-06-04
- Data Source
  KAKENHI-PROJECT-20500010
[Presentation] On Traced Monoidal Closed Categories2007
- Author(s)
  M. Hasegawa
- Organizer
  Workshop on Traced Monoidal Categories, Network Algebras, and Applications
- Place of Presentation
  ブロツワフ(ポーランド)
- Year and Date
  2007-07-15
- Data Source
  KAKENHI-PROJECT-17700013

1. KATSUMATA Shin-ya (30378963)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
2. HASEGAWA Ryu (20243107)

# of Collaborated Projects: 2 results

# of Collaborated Products: 20 results
3. NAKATA Keiko

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
4. HOSHINO Naohiko

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. HAJGATO TAMAS

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. HADZIHASANOVIC AMAR

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. LEMAY JEAN-SIMON

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hasegawa Masahito 長谷川 真人

HASEGAWA Masahito 長谷川 真人

長谷川 真人 ハセガワ マサヒト

Research Projects

Research Products

Co-Researchers

Geometry of CombinatorsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Characterizations of Traced MonadsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Design and analysis of low-level programming languages via low-dimensional topologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Quantization, Categorification and Geometrization of Program SemanticsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

トレース付きモノイダル圏の計算機科学における応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Algebraic topology, higher-dimensional algebras and rewritingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Semantics for Implementations of Programming LanguagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Semantics of Programming Languages and Quantum TopologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Higher-order Geometry of Interaction and Program SemanticPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A New Categorical Foundation of Attribute Grammar

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

非決定性相互作用の幾何構造Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

The combinatorial enumeration model of functional programming languages and trace

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Categorical Reduction

Principal Investigator

Hasegawa Masahito 長谷川真人

HASEGAWA Masahito 長谷川真人

長谷川真人ハセガワマサヒト