Basic Information

Affiliated programs (koza)

• Graduate School of Science, 数学・数理解析専攻 計算数理講座, 准教授

Professional Memberships

• European Association for Theoretical Computer Science
• 日本科学哲学会
• European Association for Theoretical Computer Science
• Philosophy of Science Society Japan

Academic Degree

• 修士（哲学）(慶應義塾大学)
• 博士（哲学）(慶應義塾大学)

Academic Resume (Graduate Schools)

• 慶應義熟大学, 大学院文学研究科博士前期課程(哲学専攻), 修了
• 慶應義熟大学, 大学院文学研究科博士後期課程(哲学専攻), 単位修得退学

Academic Resume (Undergraduate School/Majors)

• 慶應義塾大学, 文学部哲学科, 卒業

Research History

• From 2001, To 2002

  リュミニ数学研究所（フランス） ポストドクトラルフェロー
• From 2001, To 2002

  Post-doctoral fellow,
• From 2002

  ～ 国立情報学研究所 助手
• From 2002

  - Research Associate,
• From 1998, To 2001

  学術振興会特別研究員
• From 1998, To 2001

  Research Fellow,
• From 1999

  ～ 慶應義塾大学文学部 非常勤講師
• From 1999

  - Part-time lecturer, Department of Philosophy,
• National Institute of Informatics
• Institut de Mathematique de Luminy (France)
• Keio University
• the Japan Society for the Promotion of Science

Language of Instruction

• English

ID,URL

• J-Global ID

  200901036660881380

• External link

  http://research.nii.ac.jp/~terui

researchmap URL

• https://researchmap.jp/read0086405

Research

Research Topics, Overview of the research

• Research Topics

  Research on mathematical logic in computer science: nonclassical logics, linear logic and automated theorem proving

• Overview of the research

  Towards the logical understanding of computational phenomena, we study various topics such as (i) algebraic proof theory of substructural logics and (ii) computational complexity of lambda calculus. (i) By associating cut elimination in various proof systems to algebaic completion of ordered algebras, we study algebraic conditions under which a proof system admits cut elimination. (ii) By employing denotational models that stem from linear logic, we identify the computational complexity of normalization in various systems of lambda calculus.

Research Interests

• 型理論
• 論理学
• Type Theory
• Logic

Research Areas

• Informatics, Information theory

Papers

• MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics.

  Kazushige Terui

  27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, 2018, Peer-reviewed

  
• Algebraic proof theory: Hypersequents and hypercompletions

  Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui

  ANNALS OF PURE AND APPLIED LOGIC, Mar. 2017, Peer-reviewed

  
• Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule..

  Ryota Akiyoshi; Kazushige Terui

  1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal, 2016, Peer-reviewed

  
• Parsimonious Types and Non-uniform Computation

  Damiano Mazzal; Kazushige Terui

  AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2015, Peer-reviewed

  
• Intersection Types for Normalization and Verification (Invited Talk).

  Kazushige Terui

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, 2013, Peer-reviewed

  
• Algebraic proof theory for substructural logics: Cut-elimination and completions

  Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui

  ANNALS OF PURE AND APPLIED LOGIC, Mar. 2012, Peer-reviewed

  
• Semantic evaluation, intersection types and complexity of simply typed lambda calculus

  Kazushige Terui

  Leibniz International Proceedings in Informatics, LIPIcs, 2012, Peer-reviewed

  
• MacNeille completions of FL-algebras

  Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui

  ALGEBRA UNIVERSALIS, Dec. 2011, Peer-reviewed

  
• Disjunction property and complexity of substructural logics

  Rostislav Horcik; Kazushige Terui

  THEORETICAL COMPUTER SCIENCE, Jul. 2011, Peer-reviewed

  
• Computational ludics

  Kazushige Terui

  THEORETICAL COMPUTER SCIENCE, Apr. 2011, Peer-reviewed

  
• Proof theory and algebra in substructural logics

  K. Terui

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, Peer-reviewed

  
• On the meaning of focalization

  Michele Basaldella; Alexis Saurin; Kazushige Terui

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, Peer-reviewed

  
• From focalization of logic to the logic of focalization

  Michele Basaldella; Alexis Saurin; Kazushige Terui

  Electronic Notes in Theoretical Computer Science, 06 Sep. 2010, Peer-reviewed

  
• On the meaning of logical completeness

  M. Basaldella; K. Terui

  Logical Methods in Computer Science, 2010, Peer-reviewed

  
• Infinitary Completeness in Ludics

  Michele Basaldella; Kazushige Terui

  25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, Peer-reviewed

  
• Expanding the realm of systematic proof theory

  A. Ciabattoni; L. Straßburger; K. Terui

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, Peer-reviewed

  
• On the meaning of logical completeness

  M. Basaldella; K. Terui

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, Peer-reviewed

  
• Light types for polynomial time computation in lambda calculus

  Patrick Baillot; Kazushige Terui

  INFORMATION AND COMPUTATION, Jan. 2009, Peer-reviewed

  
• From axioms to analytic rules in nonclassical logics

  Agata Ciabattoni; Nikolaos Galatos; Kazushige Terui

  TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, Peer-reviewed

  
• Which structural rules admit cut elimination? An algebraic criterion

  Kazushige Terui

  JOURNAL OF SYMBOLIC LOGIC, Sep. 2007, Peer-reviewed

  
• Light affine lambda calculus and polynomial time strong normalization

  Kazushige Terui

  ARCHIVE FOR MATHEMATICAL LOGIC, Apr. 2007, Peer-reviewed

  
• Intuitionistic phase semantics is almost classical

  MI Kanovich; M Okada; K Terui

  MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, Feb. 2006, Peer-reviewed

  
• Towards a semantic characterization of cut-elimination

  Agata Ciabattoni; Kazushige Terui

  Studia Logica, Feb. 2006, Peer-reviewed

  
• A feasible algorithm for typing in Elementary Affine Logic

  P. Baillot; K. Terui

  Lecture Notes in Computer Science, 2005, Peer-reviewed

  
• Proof nets and Boolean circuits

  K Terui

  19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, Peer-reviewed

  
• Light Affine Lambda Calculus and polytime strong normalization

  K. Terui

  Proceedings - Symposium on Logic in Computer Science, 2001, Peer-reviewed

  
• The finite model property for various fragments of intuitionistic linear logic

  M Okada; K Terui

  JOURNAL OF SYMBOLIC LOGIC, Jun. 1999, Peer-reviewed

  

Misc.

• 『数学』を数学的に考える

  照井一成

  平成21 年7 月30 日から8 月3 日(第31 回)受講者数74( 延べ261), 2009, Peer-reviewed

  
• 証明論への代数的アプローチ

  照井一成

  数理研, 2006, Peer-reviewed

  

Books and Other Publications

• 証明論・計算論とその周辺

  京都大学数理解析研究所; 照井 一成

  京都大学数理解析研究所, 2015, Not refereed

  
• コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ

  照井 一成

  青土社, 2015, Not refereed

  Find Kyoto University's collection of books :

  
• 論理の哲学

  飯田 隆; 津留 竜馬; 吉満 昭宏; 遠山 茂朗; 岩本 敦; 三平 正明; 照井 一成; 峯島 宏次

  講談社, 2005, Not refereed

  Find Kyoto University's collection of books :

  

Works

• 線型論理と型理論および計算の複雑さに関する研究

  From 2005

  
• Studies on linear logic, type theory and computational complexity

  From 2005

  
• 構成的論理・関数型プログラミングにおける計算量の研究

  From 2004

  
• Computational complexity in constructive logics and functional programs

  From 2004

  

External funds: Kakenhi

• Can Computer be a Mathematician? Automated Theorem Proving in Undergraduate Mathematics

  Grant-in-Aid for Scientific Research (C)

  Basic Section 60010:Theory of informatics-related

  Kyoto University

  照井 一成

  From 01 Apr. 2020, To 31 Mar. 2025, Granted

  自動定理証明;線形論理;数理論理学;実線形算術;自動定理生成

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20K11679/
• Algebraic Proof Theory for Nonclassical Logics and Intersection Types for Lambda Calculus

  Grant-in-Aid for Scientific Research (C)

  Kyoto University

  Kazushige Terui

  From 01 Apr. 2013, To 31 Mar. 2019, Project Closed

  部分構造論理;代数的証明論;MacNeille完備化;順序代数の稠密化;ラムダ計算;共通型;Ω規則;二階述語論理;線形論理;証明ネット;抽象代数論理;橋渡し定理;不動点定理;Lukasiewicz論理;素朴集合論;多相型ラムダ計算;完備化;エルブランの定理;整合空間;計算可能解析;稠密化;正準拡大

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330013/
• Algebraic and coalgebraic proof theories

  Grant-in-Aid for Young Scientists (B)

  Kyoto University

  Kazushige TERUI

  From 01 Apr. 2009, To 31 Mar. 2013, Project Closed

  数理論理学;線形論理;部分構造論理;ルディクス;再帰型;エルブランの定理;代数的完備化;ラムダ計算;計算量;共通型;情報基礎;線型論理;国際研究者交流;オランダ:オーストリア:アメリカ;フランス:オーストリア:アメリカ:チェコ;フランス:オーストリア:アメリカ

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-21700014/
• 線形論理に基づく関数型プログラムの計算量の研究

  Grant-in-Aid for Young Scientists (B)

  National Institute of Informatics

  照井 一成

  From 01 Apr. 2004, To 31 Mar. 2007, Project Closed

  線型論理;関数型プログラミング;計算量;ラムダ計算;型推論;相意味論;シークエント計算;カット除去定理;線形論理;プール回路

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16700020/
• New development in the matured linear logic research and its applications

  Grant-in-Aid for Scientific Research (B)

  Keio University

  Mituhiro OKADA

  From 01 Apr. 2003, To 31 Mar. 2006, Project Closed

  論理的手法;線形論理;形式仕様;形式検証;実時間システム;証明論, logical method;linear logic;formal specification;formal verification;real-time system;proof theory

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15300008/
• 宣言的プログラミングにおけるソフトウェア発展の研究

  Grant-in-Aid for Scientific Research on Priority Areas

  Science and Engineering

  National Institute of Informatics

  佐藤 健

  From 01 Apr. 2003, To 31 Mar. 2004, Project Closed

  ソフトウェア発展;宣言的プログラミング;極小変更;極大無矛盾集合;極小被覆集合;極大正集合;極小負集合

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15017283/
• 宣言的プログラミングにおけるソフトウェア発展の研究

  Grant-in-Aid for Scientific Research on Priority Areas

  Science and Engineering

  National Institute of Informatics

  佐藤 健

  From 01 Apr. 2002, To 31 Mar. 2003, Project Closed

  ソフトウェア発展;宣言的プログラミング;デフォルト論理;関数型プログラミング

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-14019084/
• Program synthesis using constructive sets and coinductive definitions

  Grant-in-Aid for Scientific Research (C)

  National Institute of Informatics;Kyoto University

  Makoto TATSUTA

  From 01 Apr. 2000, To 31 Mar. 2004, Project Closed

  構成的論理;型理論;プログラム理論;強正規化可能性;置換簡約;構成的集合;余帰納的定義;実現可能性解釈;プログラム合成, Constructive logic;Type theory;Theory of programs;Strong normalization;Permutative reductions

  https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12680346/

External funds: others

• ファジィ論理・矛盾許容論理・部分構造論理に基づく非古典数学の探究 （平成28年度分）

  二国間交流事業共同研究・セミナー

  From 01 Apr. 2016, To 31 Mar. 2017

  照井　一成
• ファジィ論理・矛盾許容論理・部分構造論理に基づく非古典数学の探究 （平成29年度分）

  二国間交流事業共同研究・セミナー

  From 01 Apr. 2017, To 31 Mar. 2018

  照井 一成

Education

Teaching subject(s)

• 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 b

  1274, Fall, Graduate School of Science, 3
• 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 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 b

  1278, Fall, 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. 2023, To 31 Mar. 2024

  Invitation to Modern Mathematics and Mathematical Sciences

  N114, Spring, Institute for Liberal Arts and Sciences, 2
• 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

  Special study course (Mathematical Science)

  5140, Year-long, Faculty of Science, 12
• 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 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 c

  1275, 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 Logic in Computer Science d

  1276, Fall, 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. 2023, To 31 Mar. 2024

  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 b

  1274, Fall, Graduate School of Science, 3
• From 01 Apr. 2022, To 31 Mar. 2023

  Seminar on Logic in Computer Science c

  1275, 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

  Invitation to Modern Mathematics and Mathematical Sciences

  N114, Spring, Institute for Liberal Arts and Sciences, 2
• 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 Theory of Computation b

  1278, Fall, 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

  Seminar on Theory of Computation c

  1279, Spring, 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 Apr. 2011, To Mar. 2012

  Introduction to Computer Science

  Spring, 全学共通科目
• 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

  Mathematics seminary

  Year-long, 理学部
• From Apr. 2012, To Mar. 2013

  Invitation to Modern Mathematics and Mathematical Sciences

  Spring, 全学共通科目
• From Apr. 2013, To Mar. 2014

  Mathematics seminary

  Year-long, 理学部
• 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

  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

  Mathematics seminary

  Year-long, 理学部
• From Apr. 2015, To Mar. 2016

  Invitation to Modern Mathematics and Mathematical Sciences

  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

  Invitation to Modern Mathematics and Mathematical Sciences

  Spring, 全学共通科目
• 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

  Invitation to Modern Mathematics and Mathematical Sciences

  Spring, 全学共通科目
• 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

  Mathematics seminary

  Year-long, 理学部
• From Apr. 2018, To Mar. 2019

  Invitation to Modern Mathematics and Mathematical Sciences

  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

  Invitation to Modern Mathematics and Mathematical Sciences

  Spring, 全学共通科目
• 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

  Invitation to Modern Mathematics and Mathematical Sciences - Basic concepts and their role in various sciences

  Spring, 全学共通科目
• 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

• Algebraic effects and handlers for arrows

  SANADA TAKAHIRO, Graduate School of Science, Sub-chief Examiner

  25 Mar. 2024
• Algebraic effects and handlers for arrows

  SANADA TAKAHIRO, Graduate School of Science, Sub-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, Chief Examiner

  25 Mar. 2024
• Planar Realizability via Left and Right Applications

  TOMITA HARUKA, Graduate School of Science, Sub-chief Examiner

  23 Mar. 2023
• Trace Equivalence and Epistemic Logic to Express Security Properties

  MINAMI KIRAKU, Graduate School of Science, Sub-chief Examiner

  23 Mar. 2022
• Sheaves of Structures, Heyting-Valued Structures, and a Generalization of ■o■s Theorem

  ARATAKE HISASHI, Graduate School of Science, Chief Examiner

  26 Jul. 2021

Administration

Faculty management (title, position)

• From 01 Apr. 2018, To 31 Mar. 2020

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

  情報環境機構KUINS利用負担金検討委員会委員
• 情報セキュリティ委員会　委員
• From 01 Apr. 2017, To 31 Mar. 2020

  数理解析学系会議　委員