Hasegawa Ryu 長谷川立

… Alternative Names

HASEGAWA Ryu 長谷川立

Less

Researcher Number	20243107
Affiliation (Current)	2025: 東京大学, 大学院数理科学研究科, 准教授
Affiliation (based on the past Project Information) *help	2007 – 2008: The University of Tokyo, 大学院・数理科学研究科, 准教授 2006: The University of Tokyo, Graduate School for Mathematical Sciences, Associate Professor, 大学院数理科学研究科, 助教授 2003 – 2005: 東京大学, 大学院・数理科学研究科, 助教授 1997 – 2001: 東京大学, 大学院・数理科学研究科, 助教授
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator ラムダ計算 / linear logic / 線形論理 / 型理論 / fixed point combinator / combinatorial enumeration model / トレース / 圏論モデル / 不動点演算子 / 組合せ論的数え上げモデル … More / lambda calculus / weak normalization / categorical semantics / 強正規性 / 線形倫理 / 正規性 / カテゴリカルセマンティクス / ソフトウェア学 / 圏論 / 線型論理 / パラメトリシティ / ポリモルフィズム / 型付きラムダ計算 / Kruskalの定理 / 不動点 / 項書き換え系 / 解析関手 … More Except Principal Investigator lambda calculus / bounded arithmetic / reverse mathematics / second order arithmetic / formal arithmetic / type theory / theory of computation / logical structures / 数学基礎論 / 算術のモデル / 証明論 / ロジック / ラムダ計算 / 限定算術 / 逆数学 / 2階算術 / 形式算術 / 型理論 / 計算論 / 論理構造 Less

Studies on Properties of a Computation System over the Linear CategoryPrincipal Investigator
- Principal Investigator
  
  HASEGAWA Ryu
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Tokyo
The combinatorial enumeration model of functional programming languages and tracePrincipal Investigator
- 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 ReductionPrincipal Investigator
- 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)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Tokyo
解析関手と理論計算機科学Principal Investigator
- Principal Investigator
  
  長谷川立
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  The University of Tokyo
Studies on logical structures of arithmetic and computation
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  TOHOKU UNIVERSITY

All 2010 2008 2007 2006 2005 2004 Other

All Journal Article Presentation

[Journal Article] Inhabitation of polymorphic and existential types2010
- Author(s)
  M. Tatsuta, K. Fujita, R. Hasegawa, H. Nakano
- Journal Title
  
  A.Pure Appl.Logic (in printing)
- Data Source
  KAKENHI-PROJECT-19500008
[Journal Article] 再帰プログラミングの意味論にっぃて2007
- Author(s)
  長谷川真人
- Journal Title
  
  数学 59
  
  Pages: 180-191
- Description
  「研究成果報告書概要(和文)」より
- 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
  
  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] 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
  
  Pages: 323-342
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540102
[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] 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] 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] 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 Categories (in printing)
- 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] Inhabitation of Polymorphic and Existential Types
- Author(s)
  M.Tatsuta, K.Fujita, R.Hasegawa, H.Nakano
- Journal Title
  
  Journal of Pure and Applied Logic (掲載確定[印刷中])
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500008
[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] 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] リニアカテゴリ上の計算体系LCのチャーチ・ロッサー性について : 部分的解決2010
- Author(s)
  長谷川立
- Organizer
  理論計算機科学と圏論ワークショップ2010, CSCAT2010
- Place of Presentation
  京都
- Data Source
  KAKENHI-PROJECT-19500008
[Presentation] リニアカテゴリ上の計算体系LCのチャーチ・ロッサー性について:部分的解決2010
- Author(s)
  長谷川立
- Organizer
  理論計算機科学と圏論ワークショップ(CSCAT2010)
- Place of Presentation
  京都市
- Year and Date
  2010-03-18
- Data Source
  KAKENHI-PROJECT-19500008
[Presentation] Inhabitance of Existential Types is Decidable in Negation-Product Fragment (with M. ~Tatsuta, K.~Fujita, and H.~Nakano)2008
- Author(s)
  R. Hasegawa
- Organizer
  35th International Colloquium on Automata, Languages and Programming (ICALP 2008)
- Place of Presentation
  Reykjavik, Iceland
- Data Source
  KAKENHI-PROJECT-19500008

1. TOYAMA Yoshihito (00251968)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. HASEGAWA Masahito (50293973)

# of Collaborated Projects: 2 results

# of Collaborated Products: 20 results
3. TANAKA Kazuyuki (70188291)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. KASHIMA Ryo (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. HORAI Masako (00015588)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. AKAMA Yohji (30272454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. TATSUTA Makoto (80216994)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 廣川佐千男 (40126785)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 安本雅洋 (10144114)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 菊池誠 (60273801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hasegawa Ryu 長谷川 立

HASEGAWA Ryu 長谷川 立

Research Projects

Research Products

Co-Researchers

Studies on Properties of a Computation System over the Linear CategoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

The combinatorial enumeration model of functional programming languages and tracePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Categorical ReductionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ポリモルフィズムの数学的構造Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

解析関手と理論計算機科学Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies on logical structures of arithmetic and computation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Inhabitation of polymorphic and existential types2010

Author(s)

Journal Title

Data Source

[Journal Article] 再帰プログラミングの意味論にっぃて2007

Author(s)

Journal Title

Description

Data Source

[Journal Article] Relational paramervicity and control.2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] Relational parametricity and control2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] Coherence of the double involution on *-autonomous categories2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] Coherence of the double involution on *-autonomous categories2006

Author(s)

Journal Title

Data Source

[Journal Article] Coherenco of the double involution on *-autonomous categories2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] Classical linear logic of implications2005

Author(s)

Journal Title

Description

Data Source

[Journal Article] Relational parametricity and control2005

Hasegawa Ryu 長谷川立

HASEGAWA Ryu 長谷川立