第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集, Mar. 2020, Peer-reviewed
F* を用いた Merkle Patricia Tree ライブラリの形式検証
佐藤 聡太; 古瀬 淳; 末永 幸平; 五十嵐 淳
第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集, Mar. 2020, Peer-reviewed
Space-Efficient Gradual Typing in Coercion-Passing Style
Yuya Tsuda; Atsushi Igarashi; Tomoya Tabuchi
Informal Proceedings of the 1st International Workshop on Gradual Typing (WGT2020), Jan. 2020, Peer-reviewed
Gradual Typing for Extensibility by Rows
Taro Sekiyama; Atsushi Igarashi
Informal Proceedings of the 1st International Workshop on Gradual Typing (WGT2020), Jan. 2020, Peer-reviewed
A Dependently Typed Multi-stage Calculus.
Akira Kawata; Atsushi Igarashi
Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, Nov. 2019, Peer-reviewed
Manifest Contracts with Intersection Types.
Yuki Nishida; Atsushi Igarashi
Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, Nov. 2019, Peer-reviewed
Temporal Verification of Programs via First-Order Fixpoint Logic.
International Workshop on Context-Oriented Programming, COP'15 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'15, Jul. 2015, Peer-reviewed
Manifest contracts for datatypes
Taro Sekiyama; Yuki Nishida; Atsushi Igarashi
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 14 Jan. 2015, Peer-reviewed
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers
Hiroaki Inoue; Atsushi Igarashi
Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2015), 2015, Peer-reviewed
Shifting the Blame: A Blame Calculus with Delimited Control
Taro Sekiyama; Soichiro Ueda; Atsushi Igarashi
Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2015), 2015, Peer-reviewed
Automatic Memory Management Based on Program Transformation using Ownerships
Tatsuya Sonobe; Kohei Suenaga; Atsushi Igarashi
Proceedings of Asian Symposium on Programming Languages and Systems (APLAS), Nov. 2014, Peer-reviewed
Automatic Synthesis of Combiners in the MapReduce Framework: An Approach with Right Inverse
Minoru Kinoshita; Kohei Suenaga; Atsushi Igarashi
Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), Sep. 2014, Peer-reviewed
On-Demand Layer Activation for Type-Safe Deactivation
Tetsuo Kamina; Tomoyuki Aotani; Atsushi Igarashi
International Workshop on Context-Oriented Programming, COP'14 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14, Jul. 2014, Peer-reviewed
Towards Type-Safe JCop: A type system for layer inheritance and first-class layers
Hiroaki Inoue; Atsushi Igarashi; Malte Appeltauer; Robert Hirschfeldi
International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14, Jul. 2014, Peer-reviewed
On Cross-Stage Persistence in Multi-Stage Programming
Yuichiro Hanada; Atsushi Igarashi
Proceedings of Intl. Symposium on Functional and Logic Programming (FLOPS2014), Jun. 2014, Peer-reviewed
Constructive linear-time temporal logic: Proof systems and Kripke semantics
Kensuke Kojima; Atsushi Igarashi
Information and Computation, Dec. 2011, Peer-reviewed
Systematic Derivation of a λ○ Virtual Machine with Low-Level Code Generation by using Fusion Transformation
小山内 幸一; 五十嵐 淳
日本ソフトウェア科学会第28回大会論文集, Sep. 2011
Polymorphic Contracts
Joao Filipe Belo; Michael Greenberg; Atsushi Igarashi; Benjamin C. Pierce
Proceedings of European Symposium on Programming (ESOP2011), Mar. 2011, Peer-reviewed
Special track on object-oriented languages and systems
D. Ancona; S. Chiba; A. Igarashi; A. Kellens
Proceedings of the ACM Symposium on Applied Computing, 2011, Peer-reviewed
Gradual typing for generics
Lintaro Ina; Atsushi Igarashi
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11, 2011, Peer-reviewed
ContextFJ: A minimal core calculus for context-oriented programming
Robert Hirschfeld; Atsushi Igarashi; Hidehiko Masuhara
Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011, 2011, Peer-reviewed
A Logical Foundation for Environment Classifiers
Takeshi Tsukada; Atsushi Igarashi
Logical Methods in Computer Science, 18 Dec. 2010, Peer-reviewed
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch
Shigeru Chiba; Atsushi Igarashi; Salikh Zakirov
Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Oct. 2010, Peer-reviewed
Type relaxed weaving
H. Masuhara; A. Igarashi; M. Toyama
AOSD.10 - 9th International Conference on Aspect-Oriented Software Development, 2010, Peer-reviewed
A Logical Foundation for Environment Classifiers
Takeshi Tsukada; Atsushi Igarashi
Proceedings of Typed Lambda Calculi and Applications (TLCA2009), Jun. 2009, Peer-reviewed
Gradual Typing for Featherweight Java
INA Lintaro; IGARASHI Atsushi
Computer Software, Apr. 2009, Peer-reviewed
Matching ThisType to subtyping
Chieri Saito; Atsushi Igarashi
Proceedings of the ACM Symposium on Applied Computing, 2009, Peer-reviewed
Self type constructors
Chieri Saito; Atsushi Igarashi
Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09, 2009, Peer-reviewed
Towards gradual typing for generics
Lintaro Ina; Atsushi Igarashi
Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09, 2009, Peer-reviewed
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
Naokata Shikuma; Atsushi Igarashi
Logical Methods in Computer Science, 20 Sep. 2008, Peer-reviewed
On Constructive Linear-Time Temporal Logic
Kensuke Kojima; Atsushi Igarashi
Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08), Jun. 2008
Lightweight family polymorphism
Chieri Saito; Atsushi Igarashi; Mirko Viroli
Journal of Functional Programming, May 2008, Peer-reviewed
Featherweight Java のための漸進的型付け
伊奈 林太郎; 五十嵐 淳
第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, Mar. 2008, Peer-reviewed
文脈依存資源使用解析のための型システム
仲井間 達也; 五十嵐 淳; 小林 直樹
第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, Mar. 2008, Peer-reviewed
Calculi of meta-variables
M. Sato; T. Sakurai; Y. Kameyama; A. Igarashi
Frontiers of Computer Science in China, 2008, Peer-reviewed
The essence of lightweight family polymorphism
Chieri Saito; Atsushi Igarashi
Journal of Object Technology, 2008, Peer-reviewed
Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus
Naokata Shikuma; Atsushi Igarashi
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, Dec. 2007
Variant path types for scalable extensibility
Atsushi Igarashi; Mirko Viroli
Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA '07, Oct. 2007, Peer-reviewed
The Essence of Lightweight Family Polymorphism
Chieri Saito; Atsushi Igarashi
Proceedings of 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), Jul. 2007, Peer-reviewed
An Algorithm to Decide Conformance of Resource Usage to Specification for Resource Usage Verification
IWAMA FUTOSHI; IGARASHI ATSUSHI; KOBAYASHI NAOKI
情報処理学会論文誌. プログラミング, 15 Mar. 2007, Peer-reviewed
Union types for object-oriented programming
A. Igarashi; H. Nagira
Journal of Object Technology, 2007, Peer-reviewed
Variant Path Types for Scalable Extensibility
Atsushi Igarashi; Mirko Viroli
Proceedings of International Workshop on Foundations and Developments of Object-Oriented Languages, Jan. 2007, Peer-reviewed
Deriving compilers and virtual machines for a multi-level language
Atsushi Igarashi; Masashi Iwaki
Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2007), 2007, Peer-reviewed
Variant parametric types: A flexible subtyping scheme for generics
Atsushi Igarashi; Mirko Viroli
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, Sep. 2006, Peer-reviewed
様相型に基づく情報流解析における非干渉性の論理関係による一般化とその証明
四熊 尚方; 五十嵐 淳
第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)論文集, Mar. 2006, Peer-reviewed
Resource usage analysis for a functional language with exceptions
F. Iwama; A. Igarashi; N. Kobayashi
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 2006, Peer-reviewed
A modal type system for multi-level generating extensions with persistent code
Y. Yuse; A. Igarashi
PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2006, Peer-reviewed
Union types for object-oriented programming
A. Igarashi; H. Nagira
Proceedings of the ACM Symposium on Applied Computing, 2006, Peer-reviewed
Resource usage analysis
A Igarashi; N Kobayashi
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, Mar. 2005, Peer-reviewed
例外機構を備えた言語のための資源使用法解析
岩間 太; 五十嵐 淳; 小林 直樹
第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, Mar. 2005, Peer-reviewed
メタプログラミングのための時相論理に基づく型付λ計算
湯瀬 芳洋; 五十嵐 淳
第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, Mar. 2005, Peer-reviewed
Lightweight family polymorphism
A Igarashi; C Saito; M Viroli
Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2005), 2005, Peer-reviewed
Generics・Union 型を導入したオブジェクト指向計算体系
柳楽 秀士; 五十嵐 淳
第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004)論文集, Mar. 2004, Peer-reviewed
Proceedings of the Workshop on Foundations of Computer Security (FCS'04), number 31 in Turku Centre for Computer Science General Publication,187-203, 2004, Peer-reviewed
Union 型を導入したオブジェクト指向計算体系
柳楽 秀士; 五十嵐 淳
日本ソフトウェア科学会第20回大会論文集, Sep. 2003, Peer-reviewed
擬似引用を持つ型付計算体系λq
山本 和樹; 岡本 暁広; 五十嵐 淳; 佐藤 雅彦
第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)論文集, Mar. 2003, Peer-reviewed
Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages (FOOL7), Jan. 2000, Peer-reviewed
Featherweight Java - A minimal core calculus for Java and GJ
A Igarashi; B Pierce; P Wadler
Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99), Oct. 1999, Peer-reviewed
Foundations for virtual types
A Igarashi; BC Pierce
Proceedings of European Conference on Object-Oriented Programming (ECOOP'99), Jun. 1999, Peer-reviewed
Foundations for Virtual Types
Atsushi Igarashi; Benjamin C. Pierce
Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages (FOOL6), Jan. 1999, Peer-reviewed
Type-based Analysis of Communication for Concurrent Programming Languages
Atsushi Igarashi; Naoki Kobayashi
Proceedings of the Fourth International Static Analysis Symposium, Sep. 1997, Peer-reviewed
Misc.
Preface to the JOT special issue on ECOOP 2021: selected workshop papers.
Davide Ancona; Olivier Flückiger; Adrian Francalanza; Robert Hirschfeld; Atsushi Igarashi; Yu David Liu; Hidehiko Masuhara; Chris Seaton; Harumi Watanabe
The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects, 2012, Peer-reviewed
Formal Techniques for Java-Like Programs Report on the 10th Workshop FTfJP at ECOOP 2008
Elvira Albert; Anindya Banerjee; Sophia Drossopoulou; Marieke Huisman; Atsushi Igarashi; Gary T. Leavens; Peter Mueller; Tobias Wrigstad
OBJECT-ORIENTED TECHNOLOGY, 2009, Peer-reviewed
Editorial message: Special track on object oriented programming languages and systems
D. Ancona; R. Raje; M. Viroli; U. Bellur; V. Bono; J. Boyland; G. Castagna; A. Coglio; P. Cointe; P. Costanza; S. Drossopoulou; E. Ernst; G. Fox; J. Gray; A. Igarashi; R. Klefstad; D. Lea; M. Parashar; G. Rimassa; V. Sassone; Y. Smaragdakis; D. Syme; B. Tekinerdogan; J. Vitek; E. Zucca
Proceedings of the ACM Symposium on Applied Computing, 2005, Peer-reviewed
Generic Java: Safety and Reusability by Polymorphic Typing in Object-Oriented Programming
Grant-in-Aid for Scientific Research on Priority Areas
Science and Engineering
Tokyo Institute of Technology
Naoki KOBAYASHI
From 01 Apr. 2000, To 31 Mar. 2004, Project Closed
型システム;セキュリティ;並行プログラム;安全性;定理証明支援器;通信の解析;計算資源;情報流解析;様相論理;Coq;Java;ライブロック, type system;security;concurrent program;safety;proof assistant;static analysis of communication;resource;information flow analysis
T024, Spring, Institute for Liberal Arts and Sciences, 2
From 01 Apr. 2022, To 31 Mar. 2023
Logic and Computation
9086, Fall, Faculty of Engineering, 2
From 01 Apr. 2022, To 31 Mar. 2023
Formal Semantics of Computer Programs
3620, Spring, Graduate School of Informatics, 2
From 01 Apr. 2022, To 31 Mar. 2023
System Verification
3666, Fall, Graduate School of Informatics, 2
From 01 Apr. 2022, To 31 Mar. 2023
Programming Languages
9017, Fall, Faculty of Engineering, 2
From 01 Apr. 2022, To 31 Mar. 2023
Introduction to Computer Science
9113, Spring, Faculty of Engineering, 2
From 01 Apr. 2022, To 31 Mar. 2023
Introduction to Computer Science
T024, Spring, Institute for Liberal Arts and Sciences, 2
From Apr. 2011, To Mar. 2012
Advanced Study in IST I
Year-long, 情報学研究科
From Apr. 2011, To Mar. 2012
Advanced Study in IST II
Year-long, 情報学研究科
From Apr. 2011, To Mar. 2012
ソフトウェア基礎論
Fall, 情報学研究科
From Apr. 2011, To Mar. 2012
知能情報学特殊研究1
Year-long, 情報学研究科
From Apr. 2011, To Mar. 2012
知能情報学特殊研究2
Year-long, 情報学研究科
From Apr. 2011, To Mar. 2012
計算機科学実験及演習4(計算機)
Fall, 工学部
From Apr. 2012, To Mar. 2013
Foundation of Software Science
Fall, 情報学研究科
From Apr. 2012, To Mar. 2013
Advanced Seminar on Intelligence Science and Technology
Year-long, 情報学研究科
From Apr. 2012, To Mar. 2013
Advanced Study in Intelligence Science and Technology II
Year-long, 情報学研究科
From Apr. 2012, To Mar. 2013
Advanced Study in Intelligence Science and Technology I
Year-long, 情報学研究科
From Apr. 2012, To Mar. 2013
Advanced Seminar on Foundation of Software Science
Fall, 情報学研究科
From Apr. 2012, To Mar. 2013
Programming Languages
Spring, 工学部
From Apr. 2012, To Mar. 2013
Computer Science Laboratory and Exercise 4
Fall, 工学部
From Apr. 2012, To Mar. 2013
Logic and Computation
Fall, 工学部
From Apr. 2013, To Mar. 2014
Programming Languages
Spring, 工学部
From Apr. 2013, To Mar. 2014
Logic and Computation
Fall, 工学部
From Apr. 2013, To Mar. 2014
Introduction to Computer Science
Spring, 工学部
From Apr. 2013, To Mar. 2014
Advanced Study in Communications and Computer Engineering I
Year-long, 情報学研究科
From Apr. 2013, To Mar. 2014
Advanced Study in Communications and Computer Engineering II
Year-long, 情報学研究科
From Apr. 2013, To Mar. 2014
Formal Semantics of Computer Programs
Spring, 情報学研究科
From Apr. 2013, To Mar. 2014
Parallel and Distributed Systems
Fall, 情報学研究科
From Apr. 2013, To Mar. 2014
Introduction to Computer Science
Spring, 全学共通科目
From Apr. 2014, To Mar. 2015
Programming Languages
Spring, 工学部
From Apr. 2014, To Mar. 2015
Logic and Computation
Fall, 工学部
From Apr. 2014, To Mar. 2015
Information and Business
Spring, 工学部
From Apr. 2014, To Mar. 2015
Advanced Study in Communications and Computer Engineering I
Year-long, 情報学研究科
From Apr. 2014, To Mar. 2015
Advanced Study in Communications and Computer Engineering II
Year-long, 情報学研究科
From Apr. 2014, To Mar. 2015
Formal Semantics of Computer Programs
Spring, 情報学研究科
From Apr. 2014, To Mar. 2015
Parallel and Distributed Systems
Fall, 情報学研究科
From Apr. 2014, To Mar. 2015
Seminar on Communications and Computer Engineering, Advanced
Year-long, 情報学研究科
From Apr. 2014, To Mar. 2015
Seminar on Computer Engineering, Advanced
Year-long, 情報学研究科
From Apr. 2014, To Mar. 2015
Advanced Study in Communications and Computer Engineering I
Year-long, 情報学研究科
From Apr. 2014, To Mar. 2015
Advanced Study in Communications and Computer Engineering II
Year-long, 情報学研究科
From Apr. 2014, To Mar. 2015
Graduation Thesis 1
Spring, 工学部
From Apr. 2014, To Mar. 2015
Graduation Thesis 1
Fall, 工学部
From Apr. 2014, To Mar. 2015
Graduation Thesis 2
Spring, 工学部
From Apr. 2014, To Mar. 2015
Graduation Thesis 2
Fall, 工学部
From Apr. 2015, To Mar. 2016
Advanced Study in Communications and Computer Engineering I
Year-long, 情報学研究科
From Apr. 2015, To Mar. 2016
Advanced Study in Communications and Computer Engineering II
Year-long, 情報学研究科
From Apr. 2015, To Mar. 2016
Parallel and Distributed Systems
Fall, 情報学研究科
From Apr. 2015, To Mar. 2016
Introduction to Programming
Spring, 工学部
From Apr. 2015, To Mar. 2016
Seminar on Computer Engineering, Advanced
Year-long, 情報学研究科
From Apr. 2015, To Mar. 2016
Humanistic Informatics (Special Lectures)
Spring, 文学研究科
From Apr. 2015, To Mar. 2016
Humanistic Informatics (Special Lectures)
Spring, 文学部
From Apr. 2015, To Mar. 2016
Formal Semantics of Computer Programs
Spring, 情報学研究科
From Apr. 2015, To Mar. 2016
Programming Languages
Spring, 工学部
From Apr. 2015, To Mar. 2016
Introduction to Computer Science
Spring, 全学共通科目
From Apr. 2015, To Mar. 2016
Introduction to Computer Science
Spring, 工学部
From Apr. 2015, To Mar. 2016
Logic and Computation
Fall, 工学部
From Apr. 2015, To Mar. 2016
Seminar on Communications and Computer Engineering, Advanced
Year-long, 情報学研究科
From Apr. 2015, To Mar. 2016
Advanced Study in Communications and Computer Engineering II
Year-long, 情報学研究科
From Apr. 2015, To Mar. 2016
Advanced Study in Communications and Computer Engineering I
Spring, 情報学研究科
From Apr. 2015, To Mar. 2016
Advanced Study in Communications and Computer Engineering I
Year-long, 情報学研究科
From Apr. 2016, To Mar. 2017
Advanced Study in Communications and Computer Engineering I
Year-long, 情報学研究科
From Apr. 2016, To Mar. 2017
Advanced Study in Communications and Computer Engineering II
Year-long, 情報学研究科
From Apr. 2016, To Mar. 2017
Introduction to Algorithms and Informatics
Spring, 情報学研究科
From Apr. 2016, To Mar. 2017
Parallel and Distributed Systems
Fall, 情報学研究科
From Apr. 2016, To Mar. 2017
Theory of Computational Complexity
Fall, 情報学研究科
From Apr. 2016, To Mar. 2017
Introduction to Programming
Spring, 工学部
From Apr. 2016, To Mar. 2017
Seminar on Computer Engineering, Advanced
Year-long, 情報学研究科
From Apr. 2016, To Mar. 2017
Humanistic Informatics (Special Lectures)
Spring, 文学研究科
From Apr. 2016, To Mar. 2017
Humanistic Informatics (Special Lectures)
Spring, 文学部
From Apr. 2016, To Mar. 2017
Formal Semantics of Computer Programs
Spring, 情報学研究科
From Apr. 2016, To Mar. 2017
Programming Languages
Fall, 工学部
From Apr. 2016, To Mar. 2017
Introduction to Computer Science
Spring, 全学共通科目
From Apr. 2016, To Mar. 2017
Introduction to Computer Science
Spring, 工学部
From Apr. 2016, To Mar. 2017
Logic and Computation
Fall, 工学部
From Apr. 2016, To Mar. 2017
Seminar on Communications and Computer Engineering, Advanced
Year-long, 情報学研究科
From Apr. 2016, To Mar. 2017
Advanced Study in Communications and Computer Engineering II
Year-long, 情報学研究科
From Apr. 2016, To Mar. 2017
Advanced Study in Communications and Computer Engineering I
Fall, 情報学研究科
From Apr. 2016, To Mar. 2017
Advanced Study in Communications and Computer Engineering I
Year-long, 情報学研究科
From Apr. 2017, To Mar. 2018
Advanced Study in Communications and Computer Engineering I
Year-long, 情報学研究科
From Apr. 2017, To Mar. 2018
Advanced Study in Communications and Computer Engineering II
Year-long, 情報学研究科
From Apr. 2017, To Mar. 2018
Parallel and Distributed Systems
Fall, 情報学研究科
From Apr. 2017, To Mar. 2018
Introduction to Programming
Spring, 工学部
From Apr. 2017, To Mar. 2018
Seminar on Computer Engineering, Advanced
Year-long, 情報学研究科
From Apr. 2017, To Mar. 2018
Humanistic Informatics (Special Lectures)
Spring, 文学研究科
From Apr. 2017, To Mar. 2018
Humanistic Informatics (Special Lectures)
Spring, 文学部
From Apr. 2017, To Mar. 2018
Formal Semantics of Computer Programs
Spring, 情報学研究科
From Apr. 2017, To Mar. 2018
Programming Languages
Fall, 工学部
From Apr. 2017, To Mar. 2018
Introduction to Computer Science
Spring, 全学共通科目
From Apr. 2017, To Mar. 2018
Introduction to Computer Science
Spring, 工学部
From Apr. 2017, To Mar. 2018
Logic and Computation
Fall, 工学部
From Apr. 2017, To Mar. 2018
Seminar on Communications and Computer Engineering, Advanced
Year-long, 情報学研究科
From Apr. 2017, To Mar. 2018
Advanced Study in Communications and Computer Engineering II
Fall, 情報学研究科
From Apr. 2017, To Mar. 2018
Advanced Study in Communications and Computer Engineering II
Year-long, 情報学研究科
From Apr. 2017, To Mar. 2018
Advanced Study in Communications and Computer Engineering I
Spring, 情報学研究科
From Apr. 2017, To Mar. 2018
Advanced Study in Communications and Computer Engineering I
Year-long, 情報学研究科
From Apr. 2018, To Mar. 2019
Parallel and Distributed Systems
Fall, 情報学研究科
From Apr. 2018, To Mar. 2019
Introduction to Programming
Spring, 工学部
From Apr. 2018, To Mar. 2019
Formal Semantics of Computer Programs
Spring, 情報学研究科
From Apr. 2018, To Mar. 2019
Media and Culture Studies (Special Lectures)
Spring, 文学研究科
From Apr. 2018, To Mar. 2019
Media and Culture Studies (Special Lectures)
Spring, 文学部
From Apr. 2018, To Mar. 2019
Programming Languages
Fall, 工学部
From Apr. 2018, To Mar. 2019
Introduction to Computer Science
Spring, 全学共通科目
From Apr. 2018, To Mar. 2019
Introduction to Computer Science
Spring, 工学部
From Apr. 2018, To Mar. 2019
Logic and Computation
Fall, 工学部
From Apr. 2019, To Mar. 2020
Parallel and Distributed Systems
Spring, 情報学研究科
From Apr. 2019, To Mar. 2020
Introduction to Programming
Spring, 工学部
From Apr. 2019, To Mar. 2020
Formal Semantics of Computer Programs
Spring, 情報学研究科
From Apr. 2019, To Mar. 2020
Programming Languages
Fall, 工学部
From Apr. 2019, To Mar. 2020
Introduction to Computer Science
Spring, 全学共通科目
From Apr. 2019, To Mar. 2020
Introduction to Computer Science
Spring, 工学部
From Apr. 2019, To Mar. 2020
Logic and Computation
Fall, 工学部
From Apr. 2020, To Mar. 2021
Parallel and Distributed Systems
Fall, 情報学研究科
From Apr. 2020, To Mar. 2021
Introduction to Programming
Spring, 工学部
From Apr. 2020, To Mar. 2021
Formal Semantics of Computer Programs
Spring, 情報学研究科
From Apr. 2020, To Mar. 2021
Programming Languages
Fall, 工学部
From Apr. 2020, To Mar. 2021
Introduction to Computer Science
Spring, 全学共通科目
From Apr. 2020, To Mar. 2021
Introduction to Computer Science
Spring, 工学部
From Apr. 2020, To Mar. 2021
Logic and Computation
Fall, 工学部
From Apr. 2021, To Mar. 2022
Introduction to Formal Languages-E2
Spring, 全学共通科目
From Apr. 2021, To Mar. 2022
Formal Semantics of Computer Programs
Spring, 情報学研究科
From Apr. 2021, To Mar. 2022
System Verification
Fall, 情報学研究科
From Apr. 2021, To Mar. 2022
Programming Languages
Fall, 工学部
From Apr. 2021, To Mar. 2022
Introduction to Computer Science
Spring, 全学共通科目
From Apr. 2021, To Mar. 2022
Introduction to Computer Science
Spring, 工学部
From Apr. 2021, To Mar. 2022
Logic and Computation
Fall, 工学部
Participation in PhD Defense
A design and theory of strongly typed object-oriented programming languages for extensible recursive classes(拡張性の高い再帰的クラスのための型付オブジェクト指向言語の設計と理論)
齊藤 智恵理, Sub-chief Examiner
23 Mar. 2010
Semantical study of intuitionistic modal logics(直観主義様相論理の意味論的研究)
小島 健介, Sub-chief Examiner
26 Mar. 2012
People Detection based on Points Tracked by an Omnidirectional Camera and Interaction Distance for Service Robots System(サービスロボットシステムのための全方位カメラによるトラッキング可能特徴点とインタラクション距離情報を用いた人物検出)
田崎 豪, Sub-chief Examiner
24 Sep. 2013
Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems(木構造関数値評価問題と分岐プログラム充足性問題に対する計算複雑さ)
長尾 篤樹, Sub-chief Examiner
23 Mar. 2015
Enhancing System Reliability using Abstraction and Efficient Logical Computation(抽象化技術と高速な論理演算を利用したシステムの高信頼化)
沓名 拓郎, Sub-chief Examiner
24 Sep. 2015
An Integrated Theory of Type-Based Static and Dynamic Verification(型に基づく静的・動的検証の統合理論)
関山 太朗, Chief Examiner
23 Mar. 2016
Studies on Approximation Algorithms for Bin-Packing and Train Delivery Problems (ビン詰め問題と列車配送問題に対する近似アルゴリズムの研究)
陳 晶, Sub-chief Examiner
23 Mar. 2016
A Language-Based Approach to Robust Context-Aware Software(堅牢な文脈認識ソフトウェア開発のためのプログラミング言語の研究)
井上 裕昭, Chief Examiner
26 Mar. 2018
Webサーバの高集積マルチテナントアーキテクチャに関する研究
松本 亮介, Sub-chief Examiner
23 May 2017
ネットワーク接続された組込みシステムの拡張性に関する研究
寺岡 秀敏, Sub-chief Examiner
25 Mar. 2019
Online, Submodular, and Polynomial Optimization with Discrete Structures(オンライン最適化,劣モジュラ関数最大化,および多項式関数最適化に対する離散構造に基づいたアルゴリズムの研究)
坂上 晋作, Sub-chief Examiner
23 Mar. 2020
Webアプリケーションに対するサイバー攻撃の効率的な検知
鐘本 楊, Sub-chief Examiner
23 Mar. 2020
Typed Software Contracts with Intersection and Nondeterminism(交差型と非決定計算を含んだ型付ソフトウェア契約)
西田 雄気, Chief Examiner
25 May 2020
Participation in PhD Defenses (other than KU)
A Programming Language with Versions
Yudai Tanabe, Tokyo Institute of Technology, Sub-chief Examiner
Mar. 2023
A Design and Implementation of Mixin-Based Composi- tion in Strongly Typed Object-Oriented Languages