Hasegawa, Masahito(Research Institute for Mathematical Sciences (RIMS)) | Activity Database on Education and Research, Kyoto University

Hasegawa, Masahito

Research Institute for Mathematical Sciences (RIMS) Professor

Last Updated :2025/06/24

Basic Information

Affiliated programs (koza)

Graduate School of Science, 数学・数理解析専攻応用数理講座, 教授

Professional Memberships

日本ソフトウェア科学会

Academic Degree

MSc(Kyoto University)

PhD(University of Edinburgh)

Academic Resume (Graduate Schools)

Kyoto University, Graduate School of Science, Mathematical Science, 修了

University of Edinburgh, Faculty of Science and Engineering, Computer Science, 修了

Academic Resume (Undergraduate School/Majors)

Kyoto University, Faculty of Science, 卒業

Research History

From Apr. 2007, To Present
Kyoto University, Research Institute for Mathematical Sciences, 教授

From Apr. 2002, To Mar. 2007
Kyoto University, Research Institute for Mathematical Sciences, 助教授

From Nov. 2002, To Mar. 2006
科学技術振興機構, 戦略的創造研究推進事業「機能と構成」領域研究者

From Jun. 1999, To Mar. 2002
Kyoto University, Research Institute for Mathematical Sciences, 講師

From Jul. 1997, To May 1999
Kyoto University, Research Institute for Mathematical Sciences, 助手

Profile

Profile
1992年京都大学理学部卒業，1994年京都大学大学院理学研究科修士課程数理解析専攻修了，1997年エディンバラ大学計算機科学科博士課程修了．プログラミング言語の意味論および関連する圏論の話題などについて研究しています．

Language of Instruction

English

ID,URL

ORCID ID
0000-0003-3460-8615
J-Global ID
200901067385624021
Researcher number
50293973
External link
http://www.kurims.kyoto-u.ac.jp/~hassei/

Website(s) (URL(s))

http://www.kurims.kyoto-u.ac.jp/~hassei/

researchmap URL

https://researchmap.jp/hassei

Last Updated :2025/06/24

Research

Research Topics, Overview of the research

Research Topics
Theoretical Computer Science
Overview of the research
I have been working on semantic models of computation, with particular emphasis on the analysis of programming languages. My research topics include lambda calculi, type theory, functional programming, operational semantics, denotational semantics, and category theory.

Research Interests

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 Areas

Natural sciences, Applied mathematics and statistics

Natural sciences, Basic mathematics

Natural sciences, Algebra

Informatics, Software

Informatics, Information theory

Papers

A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II
Masahito Hasegawa; Stephen Lack; Guy McCusker
Mathematical Structures in Computer Science, Apr. 2022

A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part I
Masahito Hasegawa; Stephen Lack; Guy McCusker
Mathematical Structures in Computer Science, Aug. 2021

Typed Lambda Calculi and Applications
Masahito Hasegawa
2013

Models of Sharing Graphs
Masahito Hasegawa
1999

Braids, Twists, Trace and Duality in Combinatory Algebras.
Masahito Hasegawa; Serge Lechenne
LICS, 2024, Peer-reviewed

Traced Monads and Hopf Monads
Masahito Hasegawa; Jean-Simon Pacaud Lemay
Compositionality, 30 Oct. 2023, Peer-reviewed

Hopf monads on biproducts
Masahito Hasegawa
Theory and Applications of Categories, 20 Sep. 2023, Peer-reviewed

The Internal Operads of Combinatory Algebras.
Masahito Hasegawa
MFPS, 2022, Peer-reviewed

A Braided Lambda Calculus
Masahito Hasegawa
Electronic Proceedings in Theoretical Computer Science, 30 Dec. 2021, Peer-reviewed

From Linear Logic to Cyclic Sharing
Masahito Hasegawa
Electronic Proceedings in Theoretical Computer Science, 15 Apr. 2019, Peer-reviewed

Linear distributivity with negation, star-autonomy, and Hopf monads
Masahito Hasegawa
Theory and Applications of Categories, 16 Nov. 2018, Peer-reviewed

Linear Exponential Comonads without Symmetry
Masahito Hasegawa
Electronic Proceedings in Theoretical Computer Science, 17 Jan. 2017, Peer-reviewed

TRACED *-AUTONOMOUS CATEGORIES ARE COMPACT CLOSED
Tamas Hajgato; Masahito Hasegawa
THEORY AND APPLICATIONS OF CATEGORIES, 2013, Peer-reviewed

A quantum double construction in Rel
Masahito Hasegawa
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Aug. 2012, Peer-reviewed
Access this paper :

Bialgebras in Rel
Masahito Hasegawa
Electronic Notes in Theoretical Computer Science, 06 Sep. 2010, Peer-reviewed

Program semantics and toplogy - recursion, interaction and knots -
Masahito Hasegawa
日本数学会2010 年度秋季総合分科会企画特別講演アブトラクト, Sep. 2010, Invited

A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
Masahito Hasegawa; Shin-Ya Katsumata
MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, Jan. 2010, Peer-reviewed

Small-step and big-step semantics for call-by-need
Keiko Nakata; Masahito Hasegawa
JOURNAL OF FUNCTIONAL PROGRAMMING, Nov. 2009, Peer-reviewed

On traced monoidal closed categories
Masahito Hasegawa
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Apr. 2009, Peer-reviewed

Finite dimensional vector spaces are complete for traced symmetric monoidal categories
Masahito Hasegawa; Martin Hofmann; Gordon Plotkin
PILLARS OF COMPUTER SCIENCE, 2008, Peer-reviewed, Invited

On semantics of recursive programs
Masahito Hasegawa
数学, Apr. 2007, Peer-reviewed, Invited

RELATIONAL PARAMETRICITY AND CONTROL
Masahito Hasegawa
LOGICAL METHODS IN COMPUTER SCIENCE, 2006, Peer-reviewed, Invited

Coherence of the double involution on *-autonomous categories
Masahito Hasegawa
Theory and Applications of Categories, 16 Dec. 2006, Peer-reviewed

A terminating and confluent linear lambda calculus
Yo Ohta; Masahito Hasegawa
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, Peer-reviewed

Classical linear logic of implications
M Hasegawa
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Apr. 2005, Peer-reviewed

Parameterizations and fixed-point operators on control categories
Y Kakutani; M Hasegawa
FUNDAMENTA INFORMATICAE, Mar. 2005, Peer-reviewed, Invited

Relational parametricity and control
Masahito Hasegawa
Proceedings - Symposium on Logic in Computer Science, 2005, Peer-reviewed

The uniformity principle on traced monoidal categories
M Hasegawa
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, Sep. 2004, Peer-reviewed, Invited

Semantics of linear continuation-passing in call-by-name
M Hasegawa
FUNCTIONAL AND LOGIC PROGRAMMING, 2004, Peer-reviewed

A sound and complete axiomatization of delimited continuations
Y Kameyama; M Hasegawa
ACM SIGPLAN NOTICES, Sep. 2003, Peer-reviewed

The uniformity principle on traced monoidal categories
Masahito Hasegawa
Electronic Notes in Theoretical Computer Science, Feb. 2003, Peer-reviewed

Parameterizations and fixed-point operators on control categories
Y Kakutani; M Hasegawa
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2003, Peer-reviewed

Axioms for recursion in call-by-value
Masahito Hasegawa; Yoshihiko Kakutani
Higher-Order and Symbolic Computation, Sep. 2002, Peer-reviewed, Invited

Linearly used effects: Monadic and CPS transformations into the linear lambda calculus
Masahito Hasegawa
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, Peer-reviewed

Classical linear logic of implications
M Hasegawa
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, Peer-reviewed

Axioms for Recursion in Call-by-Value (Extended Abstract)
M. Hasegawa; Y. kakutani
Lecture Notes in Computer Science, Apr. 2001, Peer-reviewed

Girard translation and logical predicates
Masahito Hasegawa
Journal of Functional Programming, 2000, Peer-reviewed

Semantics of Recursive Programs and Traced Monoidal Categories
HASEGAWA Masahito; Masahito Hasegawa; Research Institute for Mathematical Sciences Kyoto University
コンピュータソフトウェア, Mar. 1999, Peer-reviewed

Logical predicates for intuitionistic linear type theories
M Hasegawa
TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, Peer-reviewed

From action calculi to linear logic
A Barber; P Gardner; M Hasegawa; G Plotkin
COMPUTER SCIENCE LOGIC, 1998, Peer-reviewed

Types and models for higher-order action calculi
Philippa Gardner; Masahito Hasegawa
Lecture Notes in Computer Science, Sep. 1997, Peer-reviewed

Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi
M Hasegawa
TYPED LAMBDA CALCULI AND APPLICATIONS, 1997, Peer-reviewed

Decomposing typed lambda calculus into a couple of categorical programming languages
Masahito Hasegawa
Lecture Notes in Computer Science, Aug. 1995, Peer-reviewed

Misc.

プログラム意味論と圈論／計算の「不変量」を圈論で捉える
長谷川真人
数学セミナー, Nov. 2011, Invited

計算機科学と結び目不変量
長谷川真人
数理科学, Oct. 2009, Invited

再帰プログラム
長谷川真人
数学セミナー, Jun. 2008, Invited

Report on TACS 2001
M. Hasegawa
Computer Software, 2002, Invited

On new year\\'s eve
H. Masahito
Computer Software, 2000, Invited

Presentations

Programming languages, tensor categories, and quantum topology
Masahito Hasegawa
Forum "Math-for-Industry" 2014, 2014, Invited

Denotational semantics and quantum topology
Masahito Hasegawa
workshop on Quantum Physics and Logic, 2014, Invited

Program semantics, tensor categories, quantum topology
Masahito Hasegawa
Workshop on Programming and Programming Languages, 2012, Invited

Program semantics and topology - recursion, interaction, knots -
Masahito Hasegawa
MSJ Autumn Meeting 2010, 2010, Invited

Books and Other Publications

Encyclopedia of theoretical computer science
徳山, 豪; 小林, 直樹; 岩間, 一雄; 渡辺, 治; 今井, 浩; 南出, 靖彦; 五十嵐, 淳; 長谷川, 真人, Joint editor, Chapter 7
朝倉書店, Jan. 2022
Find Kyoto University's collection of books :

圏論の歩き方
圏論の歩き方委員会, Joint work, 第４章
日本評論社, Sep. 2015, Not refereed

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
M. Hasegawa, Editor
Springer-Verlag, 2013, Not refereed

Models of Sharing Graphs : A Categorical Semantics of Let and Letrec
長谷川真人, Single work
Distinguished Dissertation Series, Springer-Verlag, 1999, Not refereed

コンピュータサイエンス入門：論理とプログラム意味論
田辺誠; 中島玲二; 長谷川真人, Joint work
岩波書店, 1999, Not refereed
Find Kyoto University's collection of books :

Awards

1999
British Computer Society, BCS/CPHC Distinguished Dissertations Award

1999
JSSST, JSSST Takahashi Shorei Award

2001
EATCS, EATCS ETAPS Best Theoretical Paper Award

2005
Japan IBM, Japan IBM Science Prize

2008
MEXT, The Young Scientists' Prize (The Commendation for Science and Technology by the Minister of Education, Culture, Sports, Science and Technology)

2023
JSSST, JSSST Research Award

External funds: Kakenhi

Design and analysis of low-level programming languages via low-dimensional topology
Grant-in-Aid for Scientific Research (C)
Basic Section 60010:Theory of informatics-related
Kyoto University
Masahito Hasegawa
From 01 Apr. 2021, To 31 Mar. 2024, Project Closed
プログラミング言語;意味論;圏論;低次元トポロジー;モノイダル圏;ラムダ計算;コンビネータ代数;量子トポロジー;テンソル圏;オペラッド;プログラム意味論;実装モデル
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21K11753/

Quantization, Categorification and Geometrization of Program Semantics
Grant-in-Aid for Scientific Research (C)
Basic Section 60010:Theory of informatics-related
Kyoto University
Masahito Hasegawa
From 01 Apr. 2018, To 31 Mar. 2023, Project Closed
プログラミング言語;意味論;圏論;量子トポロジー;テンソル圏;ラムダ計算;線形論理;幾何学;量子化
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18K11165/

Algebraic topology, higher-dimensional algebras and rewriting
Grant-in-Aid for JSPS Fellows
Kyoto University
長谷川真人
From 10 Nov. 2017, To 31 Mar. 2020, Project Closed
代数トポロジー;高次元圏論;量子計算;圏論的量子力学
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17F17810/

トレース付きモノイダル圏の計算機科学における応用
Grant-in-Aid for JSPS Fellows
Kyoto University
長谷川真人
From 10 Nov. 2017, To 31 Mar. 2020, Declined
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17F17784/

Semantics for Implementations of Programming Languages
Grant-in-Aid for Scientific Research (C)
Kyoto University
Masahito Hasegawa
From 01 Apr. 2015, To 31 Mar. 2018, Project Closed
プログラミング言語;意味論;圏論;位相的量子計算;遅延評価;線型論理;線形論理
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K00013/

Semantics of Programming Languages and Quantum Topology
Grant-in-Aid for Scientific Research (C)
Kyoto University
Masahito HASEGAWA
From 01 Apr. 2011, To 31 Mar. 2014, Project Closed
ソフトウェア;プログラム理論;プログラム意味論;トポロジー;量子不変量;ソフトウェア学;量子トポロジー
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500016/

A New Categorical Foundation of Attribute Grammar
Grant-in-Aid for Young Scientists (B)
Kyoto University
Shinya KATSUMATA
From 01 Apr. 2008, To 31 Mar. 2011, Project Closed
プログラム変換;圏論;属性文法;Int構成;トレース付きモノイダル圏
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700012/

Higher-order Geometry of Interaction and Program Semantic
Grant-in-Aid for Scientific Research (C)
Kyoto University
Masahito HASEGAWA
From 01 Apr. 2008, To 31 Mar. 2011, Project Closed
プログラム理論;プログラム意味論;数理論理学;圏論;トポロジー
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20500010/

非決定性相互作用の幾何構造
Grant-in-Aid for Young Scientists (B)
Kyoto University
長谷川真人
From 01 Apr. 2005, To 31 Mar. 2008, Project Closed
計算機科学;証明論;線型論理;非決定性計算;ラムダ計算;相互作用;理論計算機科学;プログラミング言語;意味論;圏論;数学基礎論
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17700013/

The combinatorial enumeration model of functional programming languages and trace
Grant-in-Aid for Scientific Research (C)
The University of Tokyo
Ryu HASEGAWA
From 01 Apr. 2005, To 31 Mar. 2007, Project Closed
線形論理;組合せ論的数え上げモデル;不動点演算子;圏論モデル;トレース, linear logic;combinatorial enumeration model;fixed point combinator
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17540102/

Categorical Reduction
Grant-in-Aid for Scientific Research (C)
The University of Tokyo
Ryu HASEGAWA
From 01 Apr. 2003, To 31 Mar. 2005, Project Closed
カテゴリカルセマンティクス;線形論理;正規性;ラムダ計算;線形倫理;強正規性, categorical semantics;linear logic;weak normalization;lambda calculus
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15500003/

計算資源の共有構造を反映した計算モデルの理論と応用
Grant-in-Aid for Encouragement of Young Scientists (A)
Kyoto University
長谷川真人
From 01 Apr. 1999, To 31 Mar. 2001, Project Closed
プログラミング言語;計算資源;再帰計算;型理論;意味論;圏論;線型論理;ラムダ計算
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11780215/

Characterizations of Traced Monads
Grant-in-Aid for JSPS Fellows
Basic Section 11010:Algebra-related
Kyoto University
From 22 Apr. 2022, To 31 Mar. 2024, Granted
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22F21746/

Characterizations of Traced Monads
Grant-in-Aid for JSPS Fellows
Basic Section 11010:Algebra-related
Kyoto University
長谷川真人
From 08 Mar. 2023, To 31 Mar. 2024, Declined
圏論;モナド;モノイダル圏;トレース
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22KF0194/

Geometry of Combinators
Grant-in-Aid for Scientific Research (C)
Basic Section 60010:Theory of informatics-related
Kyoto University
長谷川真人
From 01 Apr. 2024, To 31 Mar. 2027, Granted
プログラミング言語;意味論;圏論;ラムダ計算;コンビネータ論理
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24K14822/

Last Updated :2025/06/24

Education

Teaching subject(s)

From 01 Apr. 2025, To 31 Mar. 2026
Fundamentals of Computer Science
T023, Spring, Institute for Liberal Arts and Sciences, 2

From 01 Apr. 2025, To 31 Mar. 2026
Special study course (Mathematical Science)
5140, Year-long, Faculty of Science, 12

From 01 Apr. 2025, To 31 Mar. 2026
Seminar on Theory of Computation c
1279, Spring, Graduate School of Science, 3

From 01 Apr. 2025, To 31 Mar. 2026
Seminar on Theory of Computation b
1278, Fall, Graduate School of Science, 3

From 01 Apr. 2025, To 31 Mar. 2026
Seminar on Theory of Computation a
1277, Spring, Graduate School of Science, 3

From 01 Apr. 2025, To 31 Mar. 2026
Seminar on Theory of Computation d
1280, Fall, Graduate School of Science, 3

From 01 Apr. 2025, To 31 Mar. 2026
Seminar on Logic in Computer Science a
1273, Spring, Graduate School of Science, 3

From 01 Apr. 2025, To 31 Mar. 2026
Seminar on Logic in Computer Science d
1276, Fall, Graduate School of Science, 3

From 01 Apr. 2025, To 31 Mar. 2026
Seminar on Logic in Computer Science c
1275, Spring, Graduate School of Science, 3

From 01 Apr. 2025, To 31 Mar. 2026
Seminar on Logic in Computer Science b
1274, Fall, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Fundamentals of Computer Science
T023, Spring, Institute for Liberal Arts and Sciences, 2

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Logic in Computer Science a
1273, Spring, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Logic in Computer Science b
1274, Fall, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Theory of Computation a
1277, Spring, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Logic in Computer Science d
1276, Fall, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Logic in Computer Science c
1275, Spring, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Theory of Computation d
1280, Fall, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Theory of Computation c
1279, Spring, Graduate School of Science, 3

From 01 Apr. 2024, To 31 Mar. 2025
Seminar on Theory of Computation b
1278, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Fundamentals of Computer Science
T023, Spring, Institute for Liberal Arts and Sciences, 2

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Logic in Computer Science a
1273, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Logic in Computer Science d
1276, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Logic in Computer Science c
1275, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Logic in Computer Science b
1274, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Theory of Computation c
1279, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Theory of Computation b
1278, Fall, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Theory of Computation a
1277, Spring, Graduate School of Science, 3

From 01 Apr. 2023, To 31 Mar. 2024
Seminar on Theory of Computation d
1280, Fall, Graduate School of Science, 3

From 01 Apr. 2022, To 31 Mar. 2023
Seminar on Theory of Computation c
1279, Spring, Graduate School of Science, 3

From 01 Apr. 2022, To 31 Mar. 2023
Seminar on Logic in Computer Science a
1273, Spring, Graduate School of Science, 3

From 01 Apr. 2022, To 31 Mar. 2023
Fundamentals of Computer Science
T023, Spring, Institute for Liberal Arts and Sciences, 2

From 01 Apr. 2022, To 31 Mar. 2023
Seminar on Logic in Computer Science d
1276, Fall, Graduate School of Science, 3

From 01 Apr. 2022, To 31 Mar. 2023
Seminar on Logic in Computer Science b
1274, Fall, Graduate School of Science, 3

From 01 Apr. 2022, To 31 Mar. 2023
Seminar on Theory of Computation a
1277, Spring, Graduate School of Science, 3

From 01 Apr. 2022, To 31 Mar. 2023
Seminar on Theory of Computation d
1280, Fall, Graduate School of Science, 3

From 01 Apr. 2022, To 31 Mar. 2023
Seminar on Theory of Computation b
1278, Fall, Graduate School of Science, 3

From 01 Apr. 2022, To 31 Mar. 2023
Special study course (Mathematical Science)
5140, Year-long, Faculty of Science, 12

From 01 Apr. 2022, To 31 Mar. 2023
Seminar on Logic in Computer Science c
1275, Spring, Graduate School of Science, 3

From Apr. 2011, To Mar. 2012
計算機構論セミナー研究Ａ
Spring, 理学研究科

From Apr. 2011, To Mar. 2012
計算機構論セミナー研究Ｂ
Fall, 理学研究科

From Apr. 2011, To Mar. 2012
計算機構論セミナー研究Ｃ
Spring, 理学研究科

From Apr. 2011, To Mar. 2012
計算機構論セミナー研究Ｄ
Fall, 理学研究科

From Apr. 2011, To Mar. 2012
プログラム理論特論ⅡＡ
Spring, 理学研究科

From Apr. 2011, To Mar. 2012
プログラム理論特論ⅡＢ
Fall, 理学研究科

From Apr. 2011, To Mar. 2012
論理と計算セミナー研究Ａ
Spring, 理学研究科

From Apr. 2011, To Mar. 2012
論理と計算セミナー研究Ｂ
Fall, 理学研究科

From Apr. 2011, To Mar. 2012
論理と計算セミナー研究Ｃ
Spring, 理学研究科

From Apr. 2011, To Mar. 2012
論理と計算セミナー研究Ｄ
Fall, 理学研究科

From Apr. 2011, To Mar. 2012
Introduction to Computer Science
Spring, 全学共通科目

From Apr. 2011, To Mar. 2012
数学講究
Year-long, 理学部

From Apr. 2011, To Mar. 2012
Invitation to Modern Mathematics and Mathematical Sciences
Spring, 全学共通科目

From Apr. 2012, To Mar. 2013
Introduction to Computer Science
Spring, 全学共通科目

From Apr. 2012, To Mar. 2013
Invitation to Modern Mathematics and Mathematical Sciences
Spring, 全学共通科目

From Apr. 2013, To Mar. 2014
Invitation to Modern Mathematics and Mathematical Sciences
Spring, 全学共通科目

From Apr. 2013, To Mar. 2014
Fundamentals of Computer Science
Spring, 全学共通科目

From Apr. 2014, To Mar. 2015
Mathematics seminary
Year-long, 理学部

From Apr. 2014, To Mar. 2015
Seminar on Theory of Computation A
Spring, 理学研究科

From Apr. 2014, To Mar. 2015
Seminar on Theory of Computation B
Fall, 理学研究科

From Apr. 2014, To Mar. 2015
Seminar on Theory of Computation C
Spring, 理学研究科

From Apr. 2014, To Mar. 2015
Seminar on Theory of Computation D
Fall, 理学研究科

From Apr. 2014, To Mar. 2015
Seminar on Logic in Computer Science A
Spring, 理学研究科

From Apr. 2014, To Mar. 2015
Seminar on Logic in Computer Science B
Fall, 理学研究科

From Apr. 2014, To Mar. 2015
Seminar on Logic in Computer Science C
Spring, 理学研究科

From Apr. 2014, To Mar. 2015
Seminar on Logic in Computer Science D
Fall, 理学研究科

From Apr. 2014, To Mar. 2015
Fundamentals of Computer Science
Spring, 全学共通科目

From Apr. 2015, To Mar. 2016
Fundamentals of Computer Science
Spring, 全学共通科目

From Apr. 2015, To Mar. 2016
Seminar on Theory of Computation A
Spring, 理学研究科

From Apr. 2015, To Mar. 2016
Seminar on Theory of Computation B
Fall, 理学研究科

From Apr. 2015, To Mar. 2016
Seminar on Theory of Computation C
Spring, 理学研究科

From Apr. 2015, To Mar. 2016
Seminar on Theory of Computation D
Fall, 理学研究科

From Apr. 2015, To Mar. 2016
Seminar on Logic in Computer Science A
Spring, 理学研究科

From Apr. 2015, To Mar. 2016
Seminar on Logic in Computer Science B
Fall, 理学研究科

From Apr. 2015, To Mar. 2016
Seminar on Logic in Computer Science C
Spring, 理学研究科

From Apr. 2015, To Mar. 2016
Seminar on Logic in Computer Science D
Fall, 理学研究科

From Apr. 2016, To Mar. 2017
Fundamentals of Computer Science
Spring, 全学共通科目

From Apr. 2016, To Mar. 2017
Mathematics seminary
Year-long, 理学部

From Apr. 2016, To Mar. 2017
Seminar on Theory of Computation A
Spring, 理学研究科

From Apr. 2016, To Mar. 2017
Seminar on Theory of Computation B
Fall, 理学研究科

From Apr. 2016, To Mar. 2017
Seminar on Theory of Computation C
Spring, 理学研究科

From Apr. 2016, To Mar. 2017
Seminar on Theory of Computation D
Fall, 理学研究科

From Apr. 2016, To Mar. 2017
Seminar on Logic in Computer Science A
Spring, 理学研究科

From Apr. 2016, To Mar. 2017
Seminar on Logic in Computer Science B
Fall, 理学研究科

From Apr. 2016, To Mar. 2017
Seminar on Logic in Computer Science C
Spring, 理学研究科

From Apr. 2016, To Mar. 2017
Seminar on Logic in Computer Science D
Fall, 理学研究科

From Apr. 2017, To Mar. 2018
Fundamentals of Computer Science
Spring, 全学共通科目

From Apr. 2017, To Mar. 2018
Mathematics seminary
Year-long, 理学部

From Apr. 2017, To Mar. 2018
Seminar on Theory of Computation A
Spring, 理学研究科

From Apr. 2017, To Mar. 2018
Seminar on Theory of Computation B
Fall, 理学研究科

From Apr. 2017, To Mar. 2018
Seminar on Theory of Computation C
Spring, 理学研究科

From Apr. 2017, To Mar. 2018
Seminar on Theory of Computation D
Fall, 理学研究科

From Apr. 2017, To Mar. 2018
Seminar on Logic in Computer Science A
Spring, 理学研究科

From Apr. 2017, To Mar. 2018
Seminar on Logic in Computer Science B
Fall, 理学研究科

From Apr. 2017, To Mar. 2018
Seminar on Logic in Computer Science C
Spring, 理学研究科

From Apr. 2017, To Mar. 2018
Seminar on Logic in Computer Science D
Fall, 理学研究科

From Apr. 2018, To Mar. 2019
Fundamentals of Computer Science
Spring, 全学共通科目

From Apr. 2018, To Mar. 2019
Seminar on Theory of Computation a
Spring, 理学研究科

From Apr. 2018, To Mar. 2019
Seminar on Theory of Computation b
Fall, 理学研究科

From Apr. 2018, To Mar. 2019
Seminar on Theory of Computation c
Spring, 理学研究科

From Apr. 2018, To Mar. 2019
Seminar on Theory of Computation d
Fall, 理学研究科

From Apr. 2018, To Mar. 2019
Seminar on Logic in Computer Science a
Spring, 理学研究科

From Apr. 2018, To Mar. 2019
Seminar on Logic in Computer Science b
Fall, 理学研究科

From Apr. 2018, To Mar. 2019
Seminar on Logic in Computer Science c
Spring, 理学研究科

From Apr. 2018, To Mar. 2019
Seminar on Logic in Computer Science d
Fall, 理学研究科

From Apr. 2019, To Mar. 2020
Fundamentals of Computer Science
Spring, 全学共通科目

From Apr. 2019, To Mar. 2020
Mathematics seminary
Year-long, 理学部

From Apr. 2019, To Mar. 2020
Seminar on Theory of Computation a
Spring, 理学研究科

From Apr. 2019, To Mar. 2020
Seminar on Theory of Computation b
Fall, 理学研究科

From Apr. 2019, To Mar. 2020
Seminar on Theory of Computation c
Spring, 理学研究科

From Apr. 2019, To Mar. 2020
Seminar on Theory of Computation d
Fall, 理学研究科

From Apr. 2019, To Mar. 2020
Seminar on Logic in Computer Science a
Spring, 理学研究科

From Apr. 2019, To Mar. 2020
Seminar on Logic in Computer Science b
Fall, 理学研究科

From Apr. 2019, To Mar. 2020
Seminar on Logic in Computer Science c
Spring, 理学研究科

From Apr. 2019, To Mar. 2020
Seminar on Logic in Computer Science d
Fall, 理学研究科

From Apr. 2020, To Mar. 2021
Fundamentals of Computer Science
Spring, 全学共通科目

From Apr. 2020, To Mar. 2021
Special study course (Mathematical Science)
Year-long, 理学部

From Apr. 2020, To Mar. 2021
Seminar on Theory of Computation a
Spring, 理学研究科

From Apr. 2020, To Mar. 2021
Seminar on Theory of Computation b
Fall, 理学研究科

From Apr. 2020, To Mar. 2021
Seminar on Theory of Computation c
Spring, 理学研究科

From Apr. 2020, To Mar. 2021
Seminar on Theory of Computation d
Fall, 理学研究科

From Apr. 2020, To Mar. 2021
Seminar on Logic in Computer Science a
Spring, 理学研究科

From Apr. 2020, To Mar. 2021
Seminar on Logic in Computer Science b
Fall, 理学研究科

From Apr. 2020, To Mar. 2021
Seminar on Logic in Computer Science c
Spring, 理学研究科

From Apr. 2020, To Mar. 2021
Seminar on Logic in Computer Science d
Fall, 理学研究科

From Apr. 2021, To Mar. 2022
Fundamentals of Computer Science
Spring, 全学共通科目

From Apr. 2021, To Mar. 2022
Special study course (Mathematical Science)
Year-long, 理学部

From Apr. 2021, To Mar. 2022
Seminar on Theory of Computation a
Spring, 理学研究科

From Apr. 2021, To Mar. 2022
Seminar on Theory of Computation b
Fall, 理学研究科

From Apr. 2021, To Mar. 2022
Seminar on Theory of Computation c
Spring, 理学研究科

From Apr. 2021, To Mar. 2022
Seminar on Theory of Computation d
Fall, 理学研究科

From Apr. 2021, To Mar. 2022
Seminar on Logic in Computer Science a
Spring, 理学研究科

From Apr. 2021, To Mar. 2022
Seminar on Logic in Computer Science b
Fall, 理学研究科

From Apr. 2021, To Mar. 2022
Seminar on Logic in Computer Science c
Spring, 理学研究科

From Apr. 2021, To Mar. 2022
Seminar on Logic in Computer Science d
Fall, 理学研究科

Participation in PhD Defense

Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking
KOJIMA RYOTA, Graduate School of Science, Chief Examiner
24 Mar. 2025

LONG-TIME ASYMPTOTICS OF THE DAMPED NONLINEAR KLEIN-GORDON EQUATION WITH A DELTA POTENTIAL
ISHIZUKA KENJIROU, Graduate School of Science, Sub-chief Examiner
24 Mar. 2025

Dynamics of nonlinear Schr■dinger equations with high-frequency oscillations and their averaged models
KAWAKAMI JUMPEI, Graduate School of Science, Sub-chief Examiner
24 Mar. 2025

Simplicity of crossed products of the actions of totally disconnected locally compact groups on their boundaries
ARIMOTO RYOYA, Graduate School of Science, Sub-chief Examiner
24 Mar. 2025

Toward a topological description of Legendrian contact homology of unit conormal bundles
OKAMOTO YUKIHIRO, Graduate School of Science, Sub-chief Examiner
23 Jan. 2025

Algebraic effects and handlers for arrows
SANADA TAKAHIRO, Graduate School of Science, Chief Examiner
25 Mar. 2024

Algebraic effects and handlers for arrows
SANADA TAKAHIRO, Graduate School of Science, Chief Examiner
25 Mar. 2024

Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
NAKATA SATOSHI, Graduate School of Science, Sub-chief Examiner
25 Mar. 2024

Extension of Additive Valuations to General Valuations on the Existence of EFX
MAHARA RYOGA, Graduate School of Science, Sub-chief Examiner
23 Mar. 2023

Locally Defined Independence Systems on Graphs
AMANO YUKI, Graduate School of Science, Sub-chief Examiner
23 Mar. 2023

Planar Realizability via Left and Right Applications
TOMITA HARUKA, Graduate School of Science, Chief Examiner
23 Mar. 2023

Trace Equivalence and Epistemic Logic to Express Security Properties
MINAMI KIRAKU, Graduate School of Science, Chief Examiner
23 Mar. 2022

Sheaves of Structures, Heyting-Valued Structures, and a Generalization of ■o■s Theorem
ARATAKE HISASHI, Graduate School of Science, Sub-chief Examiner
26 Jul. 2021

An Implementation Scheme for XML Transformation Languages through Derivation of Stream Processors　（ストリーム処理器の自動導出によるXML変換言語の実装法）
中野　圭介, Chief Examiner
23 Mar. 2006

Identifying All Preorders on the Subdistribution Monad(劣確率分布モナド上の全ての前順序の特定)
佐藤　哲也, Chief Examiner
23 Mar. 2015

A General Framework for Dynamic Epistemic Logic（動的認識論理のための一般的枠組み）
本浦　庄太
23 Mar. 2017

Coherence Spaces and Uniform Continuity (整合空間と一様連続性)
松本　慧
23 Mar. 2017

Wait-free Solvability of Colorless Tasks in Anonymous Shared-memory Model（匿名共有メモリモデルにおける非彩色タスクの無待機可解性）
柳澤　名由太
26 Mar. 2018

Large Scale Geometries of Infinite Strings （無限文字列の大規模幾何）
滝坂　透, Chief Examiner
26 Mar. 2018

Duality between Call-by-Name Recursion and Call-by-Value Iteration （名前呼び再帰プログラムと値呼び繰り返しプログラムの間の双対性）
角谷　良彦, Chief Examiner
23 Jul. 2003

A module system with applicative functors and recursive path references （作用的ファンクタとパスを用いての再帰的参照機構を持つモジュールシステム）
中田　景子, Chief Examiner
23 Mar. 2007

Extensional Universal Types for Call-by-Valu （外延的全称型を持つ値呼び多相型λ計算）
浅田　和之, Chief Examiner
23 Mar. 2009

An extension of van Lambalgen's Theorem to infinitely many relative 1-random reals （独立性定理における無限個の互いに1ランダムな列への拡張）
宮部　賢志, Chief Examiner
23 Mar. 2010

A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy （線型関数型プログラミング言語に対するGoI解釈の修正とその適切性）
星野　直彦, Chief Examiner
23 Mar. 2011

Large Scale Geometries of Infinite Strings （無限文字列の大規模幾何）
滝坂　透
26 Mar. 2018

A nonstandard invariant of coarse spaces（粗空間の超準的不変量）
今村　拓万, Sub-chief Examiner
23 Mar. 2021

Lp-Kato class measures and their relations with Sobolev embedding theorems（Lp-加藤クラス測度とソボレフ埋蔵定理の関係について）
森　隆大, Sub-chief Examiner
23 Mar. 2021

Generalization of Bounded Linear Logic and its Categorical Semantics（有界線形論理の一般化とその圏論的意味論）
吹原　耀司, Chief Examiner
23 Mar. 2021

Last Updated :2025/06/24

Administration

School management (title, position)

From 01 Apr. 2025, To 31 Mar. 2027
数理解析研究所附属計算機構研究施設長

From 01 Apr. 2015, To 31 Mar. 2025
数理解析研究所附属計算機構研究施設長

From 01 Apr. 2011, To 31 Mar. 2014
数理解析研究所附属計算機構研究施設長

From 01 Apr. 2015
京都大学全学情報セキュリティ技術連絡会構成員

From 12 Apr. 2017, To 31 Mar. 2019
大学評価委員会点検・評価実行委員会委員

From 01 Oct. 2014, To 30 Sep. 2016
吉田キャンパス整備専門委員会 3号委員

From 01 Jul. 2009, To 14 Oct. 2010
大学間協定小委員会委員

From 01 Jul. 2009, To 30 Jun. 2010
国際交流委員会委員

Faculty management (title, position)

From 01 Apr. 2020
数理解析研究所計算機運営委員会　委員長

From 01 Apr. 2024, To 31 Mar. 2025
理学研究科数学・数理解析専攻数理解析系主任

From 01 Apr. 2024, To 31 Mar. 2025
理学研究科会議構成員

From 01 Apr. 2024, To 31 Mar. 2025
理学研究科数学・数理解析専攻連絡会構成員

From 01 Apr. 2024, To 31 Mar. 2025
理学研究科大学院教育教務委員会委員

From 01 Jul. 2011, To 31 Mar. 2026
情報環境機構研究用計算機専門委員会委員

From 01 Apr. 2022, To 31 Mar. 2024
学術情報メディアセンター全国共同利用運営委員会委員

From 01 Apr. 2020, To 31 Mar. 2021
理学研究科数学・数理解析専攻数理解析系主任（第１代理）

From 01 Apr. 2018, To 31 Mar. 2020
学術情報メディアセンター全国共同利用運営委員会委員

From 01 Apr. 2014, To 31 Mar. 2015
数理解析研究所副所長

From 01 Oct. 2004, To 31 Mar. 2015
京都大学全学情報セキュリティ幹事会　幹事

広報委員会　委員長

ホームページ技術小委員会　委員長

From 01 Apr. 2015
情報セキュリティ委員会　委員

環境・安全・衛生管理委員会　委員

From 12 Apr. 2017
自己点検・評価委員会　委員長

From 01 Apr. 2017
予算委員会　委員

From 01 Apr. 2014, To 31 Mar. 2015
省エネルギー推進委員会

From 01 Apr. 2020
運営委員会委員長

ページ上部へ戻る