五十嵐 淳

Last Update: 2021/06/26 12:01:57

Print

Name(Kanji/Kana/Abecedarium Latinum)
五十嵐 淳/イガラシ アツシ/Igarashi, Atsushi
Primary Affiliation(Org1/Job title)
Graduate School of Informatics/Professor
Faculty
Org1 Job title
工学部
Contact Address
Type Address(Japanese) Address(English)
Office 606-8501 京都府京都市左京区吉田本町 Yoshida-Honmachi, Sakyo-ku Kyoto 606-8501, Japan
Academic Organizations You are Affiliated to in Japan
Organization name(Japanese) Organization name(English)
日本ソフトウェア科学会 Japan Society for Software Science and Technology
Academic Organizations Overaseas You are Affiliated to
Organization name Country
Association for Computing Machinery USA
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(理学) 東京大学 The University of Tokyo
博士(理学) 東京大学 The University of Tokyo
Academic Resume (Graduate Schools)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Completion Status
東京大学 The University of Tokyo 大学院理学系研究科情報科学専攻博士課程 修了
東京大学 The University of Tokyo 大学院理学系研究科情報科学専攻修士課程 修了
Academic Resume (Undergraduate School/Majors)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(s)(Japanese) Major(s)(English) Completion Status
東京大学 The University of Tokyo 理学部情報科学科 卒業
Work Experience
Period Organization(Japanese) Organization(English) Job title(Japanese) Job title(English)
1997/04/01-2000/03/31 日本学術振興会 Japan Society for the Promotion of Science 特別研究員(DC1) Research Fellowship for Young Scientists (DC1)
2000/04/15-2002/03/31 東京大学大学院総合文化研究科 Graduate School of Arts and Sciences, University of Tokyo 助手 Research Associate
2002/04/01-2006/03/31 京都大学大学院情報学研究科 Graduate School of Informatics, Kyoto University 講師 Lecturer
2006/04/01-2012/09/30 京都大学 Graduate School of Informatics, Kyoto University 准教授 Associate Professor
2012/10/01- 京都大学 Graduate School of Informatics, Kyoto University 教授 Professor
Personal Profile
(Japanese)
2000年東京大学大学院理学系研究科 博士課程修了.博士(理学).2002年より京 都大学大学院情報学研究科講師,助教授(2006年),(呼称変更により2007年よ り)准教授.2012年教授.専門はプログラミング言語,特に,オブジェクト指向,静的解析, 並行プロセス計算,多段階プログラミングなど様々な型理論の応用. 日本ソフトウェア科学会,ACM 各会員
(English)
Atsushi Igarashi is a Professor at Dept. of Communication and Computer Engineering, Graduate School of Informatics, Kyoto University. He received his D.S. (PhD-equivalent) degree from Department of Information Science, University of Tokyo in 2000. His main research interests are in programming languages, especially, applications of type theory to various domains, including object-orientation, static analysis, process calculi, multi-stage programming.
Language of Instruction
Language(japanese) Language(english) Code
英語 English eng
Personal Website(s) (URL(s))
URL
http://www.fos.kuis.kyoto-u.ac.jp/~igarashi
ORCID ID
https://orcid.org/0000-0002-5143-9764
researchmap URL
https://researchmap.jp/Atsushi.Igarashi
Research Topics
(Japanese)
プログラミング言語の基礎理論、型理論
(English)
Principles of Programming Languages, Type Theory
Fields of research (key words)
Key words(Japanese) Key words(English)
プログラミング言語 Programming languages
型理論 Type Theory
プログラム検証 Program Verification
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types Tools and Algorithms for the Construction and Analysis of Systems, TACAS2021, 262-280 Tools and Algorithms for the Construction and Analysis of Systems, TACAS2021, 262-280 Tools and Algorithms for the Construction and Analysis of Systems, TACAS2021, 262-280 2021/03 Refereed English Disclose to all
Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi Space-Efficient Gradual Typing in Coercion-Passing Style. Space-Efficient Gradual Typing in Coercion-Passing Style. Space-Efficient Gradual Typing in Coercion-Passing Style. 34th European Conference on Object-Oriented Programming, ECOOP 2020, 8:1-8:29 34th European Conference on Object-Oriented Programming, ECOOP 2020, 8:1-8:29 34th European Conference on Object-Oriented Programming, ECOOP 2020, 8:1-8:29 2020/11 Refereed English Research paper(international conference proceedings) Disclose to all
脇坂 遼, 五十嵐 淳 脇坂 遼, 五十嵐 淳 量子ビット連結性制約検査のための依存型システム 量子ビット連結性制約検査のための依存型システム 日本ソフトウェア科学会第37回大会論文集 日本ソフトウェア科学会第37回大会論文集 2020/09 Japanese Research paper(research society, symposium, etc.) Disclose to all
Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi Signature restriction for polymorphic algebraic effects Signature restriction for polymorphic algebraic effects Signature restriction for polymorphic algebraic effects Proceedings of the ACM on Programming Languages, 4, ICFP, 117:1-117:30 Proceedings of the ACM on Programming Languages, 4, ICFP, 117:1-117:30 Proceedings of the ACM on Programming Languages, 4, ICFP, 117:1-117:30 2020/08/02 Refereed English Research paper(scientific journal) Disclose to all
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs Programming Languages and Systems, 684-714 Programming Languages and Systems, 684-714 Programming Languages and Systems, 684-714 2020/04 Refereed English Disclose to all
矢杉 和義, 五十嵐 淳 矢杉 和義, 五十嵐 淳 スタック領域上での時間的メモリ安全性を保証する静的解析手法 スタック領域上での時間的メモリ安全性を保証する静的解析手法 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 2020/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
齋藤 大聖, 西田 雄気, 五十嵐 淳, 末永 幸平 齋藤 大聖, 西田 雄気, 五十嵐 淳, 末永 幸平 スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 2020/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
佐藤 聡太, 古瀬 淳, 末永 幸平, 五十嵐 淳 佐藤 聡太, 古瀬 淳, 末永 幸平, 五十嵐 淳 F* を用いた Merkle Patricia Tree ライブラリの形式検証 F* を用いた Merkle Patricia Tree ライブラリの形式検証 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 2020/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi Space-Efficient Gradual Typing in Coercion-Passing Style Space-Efficient Gradual Typing in Coercion-Passing Style Space-Efficient Gradual Typing in Coercion-Passing Style Informal Proceedings of the 1st International Workshop on Gradual Typing (WGT2020) Informal Proceedings of the 1st International Workshop on Gradual Typing (WGT2020) Informal Proceedings of the 1st International Workshop on Gradual Typing (WGT2020) 2020/01 Refereed English Research paper(research society, symposium, etc.) Disclose to all
Taro Sekiyama, Atsushi Igarashi Taro Sekiyama, Atsushi Igarashi Taro Sekiyama, Atsushi Igarashi Gradual Typing for Extensibility by Rows Gradual Typing for Extensibility by Rows Gradual Typing for Extensibility by Rows Informal Proceedings of the 1st International Workshop on Gradual Typing (WGT2020) Informal Proceedings of the 1st International Workshop on Gradual Typing (WGT2020) Informal Proceedings of the 1st International Workshop on Gradual Typing (WGT2020) 2020/01 Refereed English Research paper(research society, symposium, etc.) Disclose to all
Akira Kawata, Atsushi Igarashi Akira Kawata, Atsushi Igarashi Akira Kawata, Atsushi Igarashi A Dependently Typed Multi-stage Calculus. A Dependently Typed Multi-stage Calculus. A Dependently Typed Multi-stage Calculus. Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, 53-72 Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, 53-72 Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, 53-72 2019/11 Refereed English Research paper(international conference proceedings) Disclose to all
Yuki Nishida, Atsushi Igarashi Yuki Nishida, Atsushi Igarashi Yuki Nishida, Atsushi Igarashi Manifest Contracts with Intersection Types. Manifest Contracts with Intersection Types. Manifest Contracts with Intersection Types. Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, 33-52 Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, 33-52 Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, 33-52 2019/11 Refereed English Research paper(international conference proceedings) Disclose to all
Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno Temporal Verification of Programs via First-Order Fixpoint Logic. Temporal Verification of Programs via First-Order Fixpoint Logic. Temporal Verification of Programs via First-Order Fixpoint Logic. Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, 413-436 Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, 413-436 Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, 413-436 2019/10 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping Science of Computer Programming, 179, 54-86 Science of Computer Programming, 179, 54-86 Science of Computer Programming, 179, 54-86 2019/06 Refereed English Research paper(scientific journal) Disclose to all
Taro Sekiyama, Atsushi Igarashi Taro Sekiyama, Atsushi Igarashi Taro Sekiyama, Atsushi Igarashi Handling Polymorphic Algebraic Effects Handling Polymorphic Algebraic Effects Handling Polymorphic Algebraic Effects Proceedings of European Symposium on Programming (ESOP2019), LNCS 11423, 1-28 Proceedings of European Symposium on Programming (ESOP2019), LNCS 11423, 1-28 Proceedings of European Symposium on Programming (ESOP2019), LNCS 11423, 1-28 2019/04 Refereed English Research paper(international conference proceedings) Disclose to all
津田優也, 五十嵐淳 津田優也, 五十嵐淳 空間効率の良いコアーション計算のためのコアーション渡し形式 空間効率の良いコアーション計算のためのコアーション渡し形式 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)論文集 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)論文集 2019/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
ATSUSHI IGARASHI, PETER THIEMANN, YUYA TSUDA, VASCO T. VASCONCELOS, PHILIP WADLER ATSUSHI IGARASHI, PETER THIEMANN, YUYA TSUDA, VASCO T. VASCONCELOS, PHILIP WADLER ATSUSHI IGARASHI, PETER THIEMANN, YUYA TSUDA, VASCO T. VASCONCELOS, PHILIP WADLER Gradual session types Gradual session types Gradual session types Journal of Functional Programming, 29 Journal of Functional Programming, 29 Journal of Functional Programming, 29 2019 Refereed English Research paper(scientific journal) Disclose to all
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi Dynamic Type Inference for Gradual Hindley-Milner Typing Dynamic Type Inference for Gradual Hindley-Milner Typing Dynamic Type Inference for Gradual Hindley-Milner Typing Proceedings of the ACM on Programming Languages, 3, POPL, 18:1-18:29 Proceedings of the ACM on Programming Languages, 3, POPL, 18:1-18:29 Proceedings of the ACM on Programming Languages, 3, POPL, 18:1-18:29 2019/01 Refereed English Research paper(scientific journal) Disclose to all
Yuki Nishida, Atsushi Igarashi Yuki Nishida, Atsushi Igarashi Yuki Nishida, Atsushi Igarashi Nondetermnistic Manifest Contracts Nondetermnistic Manifest Contracts Nondetermnistic Manifest Contracts Proceedings of theInternational Symposium on Principles and Practice of Declarative Programming, 16:1-16:13 Proceedings of theInternational Symposium on Principles and Practice of Declarative Programming, 16:1-16:13 Proceedings of theInternational Symposium on Principles and Practice of Declarative Programming, 16:1-16:13 2018/09 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions Proceedings of the 32nd European Conference on Object-Oriented Programming, 2:1-2:33 Proceedings of the 32nd European Conference on Object-Oriented Programming, 2:1-2:33 Proceedings of the 32nd European Conference on Object-Oriented Programming, 2:1-2:33 2018/07 Refereed English Research paper(international conference proceedings) Disclose to all
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Method Safety Mechanism for Asynchronous Layer Deactivation Method Safety Mechanism for Asynchronous Layer Deactivation Method Safety Mechanism for Asynchronous Layer Deactivation Science of Computer Programming, 156, 104-120 Science of Computer Programming, 156, 104-120 Science of Computer Programming, 156, 104-120 2018/03 Refereed English Research paper(scientific journal) Disclose to all
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs Journal of Automated Reasoning, 60, 3, 279-298 Journal of Automated Reasoning, 60, 3, 279-298 Journal of Automated Reasoning, 60, 3, 279-298 2018/03 Refereed English Research paper(scientific journal) Disclose to all
Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi A Guess-and-Assume Approach to Loop Fusion for Program Verification A Guess-and-Assume Approach to Loop Fusion for Program Verification A Guess-and-Assume Approach to Loop Fusion for Program Verification Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2-14 Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2-14 Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2-14 2018/01 Refereed English Research paper(international conference proceedings) Disclose to all
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi A Nonstandard Functional Programming Language A Nonstandard Functional Programming Language A Nonstandard Functional Programming Language Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2017), 514-533 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2017), 514-533 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2017), 514-533 2017/11 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi A DSL for Compensable and Interruptible Executions A DSL for Compensable and Interruptible Executions A DSL for Compensable and Interruptible Executions Proceedings of 4th Workshop on Reactive and Event-based Languages & Systems (REBLS) Proceedings of 4th Workshop on Reactive and Event-based Languages & Systems (REBLS) Proceedings of 4th Workshop on Reactive and Event-based Languages & Systems (REBLS) 2017/10 Refereed English Research paper(international conference proceedings) Disclose to all
矢杉 和義, 五十嵐 淳 矢杉 和義, 五十嵐 淳 C言語における無効なスタック領域へのポインタを検出する静的解析 C言語における無効なスタック領域へのポインタを検出する静的解析 日本ソフトウェア科学会第34回大会論文集 日本ソフトウェア科学会第34回大会論文集 2017/09 Japanese Research paper(research society, symposium, etc.) Disclose to all
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi On Polymorphic Gradual Typing On Polymorphic Gradual Typing On Polymorphic Gradual Typing Proceedings of the ACM on Programming Languages, 1, ICFP, 40:1-40:29 Proceedings of the ACM on Programming Languages, 1, ICFP, 40:1-40:29 Proceedings of the ACM on Programming Languages, 1, ICFP, 40:1-40:29 2017/09 Refereed English Research paper(scientific journal) Disclose to all
Atsushi Igarashi, Peter Thiemann, Vasco T, Vasconcelos, Philip Wadler Atsushi Igarashi, Peter Thiemann, Vasco T, Vasconcelos, Philip Wadler Atsushi Igarashi, Peter Thiemann, Vasco T, Vasconcelos, Philip Wadler Gradual Session Types Gradual Session Types Gradual Session Types Proceedings of the ACM on Programming Languages, 1, ICFP, 38:1-38:28 Proceedings of the ACM on Programming Languages, 1, ICFP, 38:1-38:28 Proceedings of the ACM on Programming Languages, 1, ICFP, 38:1-38:28 2017/09 Refereed English Research paper(scientific journal) Disclose to all
Yusuke Miyazaki, Atsushi Igarashi Yusuke Miyazaki, Atsushi Igarashi Yusuke Miyazaki, Atsushi Igarashi A Type Reconstruction Algorithm for Gradually Typed Delimited Continuations A Type Reconstruction Algorithm for Gradually Typed Delimited Continuations A Type Reconstruction Algorithm for Gradually Typed Delimited Continuations 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)論文集 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)論文集 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)論文集 2017/03 Refereed English Research paper(research society, symposium, etc.) Disclose to all
Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi A Hoare logic for GPU Kernels A Hoare logic for GPU Kernels A Hoare logic for GPU Kernels ACM Transactions on Computational Logic, 18, 1, 3:1-3:43 ACM Transactions on Computational Logic, 18, 1, 3:1-3:43 ACM Transactions on Computational Logic, 18, 1, 3:1-3:43 2017/02/01 Refereed English Research paper(scientific journal) Disclose to all
Taro Sekiyama, Atsushi Igarashi Taro Sekiyama, Atsushi Igarashi Taro Sekiyama, Atsushi Igarashi Stateful manifest contracts Stateful manifest contracts Stateful manifest contracts Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 52, 1, 530-544 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 52, 1, 530-544 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 52, 1, 530-544 2017/01/01 Refereed English Research paper(international conference proceedings) Disclose to all
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi Verification of Code Generators via Higher-Order Model Checking Verification of Code Generators via Higher-Order Model Checking Verification of Code Generators via Higher-Order Model Checking Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'17), 59-70 Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'17), 59-70 Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'17), 59-70 2017/01 Refereed English Research paper(international conference proceedings) Disclose to all
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg Taro Sekiyama, Atsushi Igarashi, Michael Greenberg Taro Sekiyama, Atsushi Igarashi, Michael Greenberg Polymorphic Manifest Contracts, Revised and Resolved Polymorphic Manifest Contracts, Revised and Resolved Polymorphic Manifest Contracts, Revised and Resolved ACM Transactions on Programming Languages and Systems, 39, 1, 3:1-3:36 ACM Transactions on Programming Languages and Systems, 39, 1, 3:1-3:36 ACM Transactions on Programming Languages and Systems, 39, 1, 3:1-3:36 2017/01 Refereed English Research paper(scientific journal) Disclose to all
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs Proceedings of the 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), LNCS 9971, 90-106 Proceedings of the 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), LNCS 9971, 90-106 Proceedings of the 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), LNCS 9971, 90-106 2016/11 Refereed English Research paper(international conference proceedings) Disclose to all
馬谷 誠二, 藤原 康史, 五十嵐 淳 馬谷 誠二, 藤原 康史, 五十嵐 淳 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール 日本ソフトウェア科学会第33回大会論文集 日本ソフトウェア科学会第33回大会論文集 2016/09 Japanese Research paper(research society, symposium, etc.) Disclose to all
Qi Tan, Kohei Suenaga, Atsushi Igarashi Qi Tan, Kohei Suenaga, Atsushi Igarashi Qi Tan, Kohei Suenaga, Atsushi Igarashi An Extended Behavioral Type System for Memory-Leak Freedom An Extended Behavioral Type System for Memory-Leak Freedom An Extended Behavioral Type System for Memory-Leak Freedom 日本ソフトウェア科学会第33回大会論文集 日本ソフトウェア科学会第33回大会論文集 2016/09 English Research paper(research society, symposium, etc.) Disclose to all
奥村 健太郎, 小島 健介, 五十嵐 淳 奥村 健太郎, 小島 健介, 五十嵐 淳 SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証 SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集 2016/03 Refereed Research paper(research society, symposium, etc.) Disclose to all
Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi Gradual typing for delimited continuations Gradual typing for delimited continuations Gradual typing for delimited continuations The 5th Script To Program Evolution Workshop The 5th Script To Program Evolution Workshop The 5th Script To Program Evolution Workshop 2016 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi A Library-Based Approach to Context-Dependent Computation with Reactive Values A Library-Based Approach to Context-Dependent Computation with Reactive Values A Library-Based Approach to Context-Dependent Computation with Reactive Values Proceedings of Constrained and Reactive Objects Workshop (CROW2016), 50-54 Proceedings of Constrained and Reactive Objects Workshop (CROW2016), 50-54 Proceedings of Constrained and Reactive Objects Workshop (CROW2016), 50-54 2016 Refereed English Research paper(international conference proceedings) Disclose to all
小林 恵, 五十嵐淳 小林 恵, 五十嵐淳 参照を備えた多段階計算のための多相的型システム 参照を備えた多段階計算のための多相的型システム 日本ソフトウェア科学会第32回大会論文集 日本ソフトウェア科学会第32回大会論文集 2015/09 Japanese Research paper(research society, symposium, etc.) Disclose to all
Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff Visibility of Context-oriented Behavior and State in L Visibility of Context-oriented Behavior and State in L Visibility of Context-oriented Behavior and State in L Computer Software, 32, 3, 149-158 コンピュータソフトウェア, 32, 3, 149-158 Computer Software, 32, 3, 149-158 2015/08 Refereed English Research paper(scientific journal) Disclose to all
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Method Safety Mechanism for Asynchronous Layer Deactivation Method Safety Mechanism for Asynchronous Layer Deactivation Method Safety Mechanism for Asynchronous Layer Deactivation International Workshop on Context-Oriented Programming, COP'15 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'15 International Workshop on Context-Oriented Programming, COP'15 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'15 International Workshop on Context-Oriented Programming, COP'15 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'15 2015/07 Refereed English Research paper(international conference proceedings) Disclose to all
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi Taro Sekiyama, Yuki Nishida, Atsushi Igarashi Taro Sekiyama, Yuki Nishida, Atsushi Igarashi Manifest contracts for datatypes Manifest contracts for datatypes Manifest contracts for datatypes Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2015-, 1, 195-207 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2015-, 1, 195-207 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2015-, 1, 195-207 2015/01/14 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2015), 9458, 445-462 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2015), 9458, 445-462 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2015), 9458, 445-462 2015 Refereed English Research paper(international conference proceedings) Disclose to all
Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi Shifting the Blame: A Blame Calculus with Delimited Control Shifting the Blame: A Blame Calculus with Delimited Control Shifting the Blame: A Blame Calculus with Delimited Control Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2015), 9458, 189-207 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2015), 9458, 189-207 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2015), 9458, 189-207 2015 Refereed English Research paper(international conference proceedings) Disclose to all
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi Automatic Memory Management Based on Program Transformation using Ownerships Automatic Memory Management Based on Program Transformation using Ownerships Automatic Memory Management Based on Program Transformation using Ownerships Proceedings of Asian Symposium on Programming Languages and Systems (APLAS), 8858, 58-77 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS), 8858, 58-77 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS), 8858, 58-77 2014/11 Refereed English Research paper(international conference proceedings) Disclose to all
Minoru Kinoshita, Kohei Suenaga, Atsushi Igarashi Minoru Kinoshita, Kohei Suenaga, Atsushi Igarashi Minoru Kinoshita, Kohei Suenaga, Atsushi Igarashi Automatic Synthesis of Combiners in the MapReduce Framework: An Approach with Right Inverse Automatic Synthesis of Combiners in the MapReduce Framework: An Approach with Right Inverse Automatic Synthesis of Combiners in the MapReduce Framework: An Approach with Right Inverse Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) 2014/09 Refereed English Research paper(international conference proceedings) Disclose to all
Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi On-Demand Layer Activation for Type-Safe Deactivation On-Demand Layer Activation for Type-Safe Deactivation On-Demand Layer Activation for Type-Safe Deactivation International Workshop on Context-Oriented Programming, COP'14 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 International Workshop on Context-Oriented Programming, COP'14 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 International Workshop on Context-Oriented Programming, COP'14 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 2014/07 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeldi Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeldi Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeldi Towards Type-Safe JCop: A type system for layer inheritance and first-class layers Towards Type-Safe JCop: A type system for layer inheritance and first-class layers Towards Type-Safe JCop: A type system for layer inheritance and first-class layers International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 2014/07 Refereed English Research paper(international conference proceedings) Disclose to all
Yuichiro Hanada, Atsushi Igarashi Yuichiro Hanada, Atsushi Igarashi Yuichiro Hanada, Atsushi Igarashi On Cross-Stage Persistence in Multi-Stage Programming On Cross-Stage Persistence in Multi-Stage Programming On Cross-Stage Persistence in Multi-Stage Programming Proceedings of Intl. Symposium on Functional and Logic Programming (FLOPS2014), 103-118 Proceedings of Intl. Symposium on Functional and Logic Programming (FLOPS2014), 103-118 Proceedings of Intl. Symposium on Functional and Logic Programming (FLOPS2014), 103-118 2014/06 Refereed Research paper(international conference proceedings) Disclose to all
関山 太朗, 西田 雄気, 五十嵐 淳 関山 太朗, 西田 雄気, 五十嵐 淳 顕在的契約計算のための代数的データ型 顕在的契約計算のための代数的データ型 第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集 第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集 2014 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi A Hoare Logic for SIMT Programs A Hoare Logic for SIMT Programs A Hoare Logic for SIMT Programs Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2013), 58-73 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2013), 58-73 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2013), 58-73 2013/12 Refereed Research paper(international conference proceedings) Disclose to all
花田 裕一朗, 五十嵐 淳 花田 裕一朗, 五十嵐 淳 多段階計算λ▹のための越段階埋込 多段階計算λ▹のための越段階埋込 日本ソフトウェア科学会第30回大会論文集 日本ソフトウェア科学会第30回大会論文集 2013/09 Japanese Research paper(research society, symposium, etc.) Disclose to all
Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara Layer Refinement in L Layer Refinement in L Layer Refinement in L 並列/分散/協調処理に関するサマー・ワークショップ (SWoPP) 並列/分散/協調処理に関するサマー・ワークショップ (SWoPP) 2013/08 English Research paper(research society, symposium, etc.) Disclose to all
Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Matching MyType to subtyping Matching MyType to subtyping Matching MyType to subtyping Science of Computer Programming, 78, 7, 933-952 Science of Computer Programming, 78, 7, 933-952 Science of Computer Programming, 78, 7, 933-952 2013/07 Refereed English Research paper(scientific journal) Disclose to all
Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi L: Context-oriented programming with only layers L: Context-oriented programming with only layers L: Context-oriented programming with only layers Proceedings of the 5th International Workshop on Context-Oriented Programming, COP 2013 Proceedings of the 5th International Workshop on Context-Oriented Programming, COP 2013 Proceedings of the 5th International Workshop on Context-Oriented Programming, COP 2013 2013/07 Refereed English Research paper(international conference proceedings) Disclose to all
Naoki Kobayashi, Atsushi Igarashi Naoki Kobayashi, Atsushi Igarashi Naoki Kobayashi, Atsushi Igarashi Model-Checking Higher-Order Programs with Recursive Types Model-Checking Higher-Order Programs with Recursive Types Model-Checking Higher-Order Programs with Recursive Types Proceedings of European Symposium on Programming (ESOP2013), 7792, 431-450 Proceedings of European Symposium on Programming (ESOP2013), 7792, 431-450 Proceedings of European Symposium on Programming (ESOP2013), 7792, 431-450 2013 Refereed English Research paper(international conference proceedings) Disclose to all
Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi Type-based safe resource deallocation for shared-memory concurrency Type-based safe resource deallocation for shared-memory concurrency Type-based safe resource deallocation for shared-memory concurrency Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 1-20 Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 1-20 Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 1-20 2012/10 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara A Type System for Dynamic Layer Composition A Type System for Dynamic Layer Composition A Type System for Dynamic Layer Composition Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL2012) Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL2012) Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL2012) 2012/10 Refereed English Research paper(international conference proceedings) Disclose to all
関山 太朗, 五十嵐 淳 関山 太朗, 五十嵐 淳 顕在的契約計算におけるアップキャスト除去 顕在的契約計算におけるアップキャスト除去 第14回プログラミングおよびプログラミング言語ワークショップ 第14回プログラミングおよびプログラミング言語ワークショップ 2012 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi Constructive linear-time temporal logic: Proof systems and Kripke semantics Constructive linear-time temporal logic: Proof systems and Kripke semantics Constructive linear-time temporal logic: Proof systems and Kripke semantics Information and Computation, 209, 12, 1491-1503 Information and Computation, 209, 12, 1491-1503 Information and Computation, 209, 12, 1491-1503 2011/12 Refereed English Research paper(scientific journal) Disclose to all
小山内 幸一, 五十嵐 淳 小山内 幸一, 五十嵐 淳 低水準コード生成を行うλ◯仮想機械の融合変換を使った系統的導出 低水準コード生成を行うλ◯仮想機械の融合変換を使った系統的導出 日本ソフトウェア科学会第28回大会論文集 日本ソフトウェア科学会第28回大会論文集 2011/09 Japanese Research paper(research society, symposium, etc.) Disclose to all
Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce Joao Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce Polymorphic Contracts Polymorphic Contracts Polymorphic Contracts Proceedings of European Symposium on Programming (ESOP2011), 6602, 18-37 Proceedings of European Symposium on Programming (ESOP2011), 6602, 18-37 Proceedings of European Symposium on Programming (ESOP2011), 6602, 18-37 2011/03 Refereed English Research paper(international conference proceedings) Disclose to all
D. Ancona, S. Chiba, A. Igarashi, A. Kellens D. Ancona, S. Chiba, A. Igarashi, A. Kellens D. Ancona, S. Chiba, A. Igarashi, A. Kellens Special track on object-oriented languages and systems Special track on object-oriented languages and systems Special track on object-oriented languages and systems Proceedings of the ACM Symposium on Applied Computing, 1273-1274 Proceedings of the ACM Symposium on Applied Computing, 1273-1274 Proceedings of the ACM Symposium on Applied Computing, 1273-1274 2011 Refereed English Disclose to all
Lintaro Ina, Atsushi Igarashi Lintaro Ina, Atsushi Igarashi Lintaro Ina, Atsushi Igarashi Gradual typing for generics Gradual typing for generics Gradual typing for generics Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11, 609-624 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11, 609-624 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11, 609-624 2011 Refereed English Research paper(international conference proceedings) Disclose to all
Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara ContextFJ: A minimal core calculus for context-oriented programming ContextFJ: A minimal core calculus for context-oriented programming ContextFJ: A minimal core calculus for context-oriented programming Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011, 19-23 Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011, 19-23 Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, FOAL 2011, 19-23 2011 Refereed English Research paper(international conference proceedings) Disclose to all
Takeshi Tsukada, Atsushi Igarashi Takeshi Tsukada, Atsushi Igarashi Takeshi Tsukada, Atsushi Igarashi A Logical Foundation for Environment Classifiers A Logical Foundation for Environment Classifiers A Logical Foundation for Environment Classifiers Logical Methods in Computer Science, 6, 4 Logical Methods in Computer Science, 6, 4 Logical Methods in Computer Science, 6, 4 2010/12/18 Refereed English Research paper(scientific journal) Disclose to all
Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov Mostly modular compilation of crosscutting concerns by contextual predicate dispatch Mostly modular compilation of crosscutting concerns by contextual predicate dispatch Mostly modular compilation of crosscutting concerns by contextual predicate dispatch Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 45, 10, 539-554 Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 45, 10, 539-554 Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 45, 10, 539-554 2010/10 Refereed English Research paper(international conference proceedings) Disclose to all
H. Masuhara, A. Igarashi, M. Toyama H. Masuhara, A. Igarashi, M. Toyama H. Masuhara, A. Igarashi, M. Toyama Type relaxed weaving Type relaxed weaving Type relaxed weaving AOSD.10 - 9th International Conference on Aspect-Oriented Software Development, 121-132 AOSD.10 - 9th International Conference on Aspect-Oriented Software Development, 121-132 AOSD.10 - 9th International Conference on Aspect-Oriented Software Development, 121-132 2010 Refereed English Research paper(international conference proceedings) Disclose to all
Takeshi Tsukada, Atsushi Igarashi Takeshi Tsukada, Atsushi Igarashi Takeshi Tsukada, Atsushi Igarashi A Logical Foundation for Environment Classifiers A Logical Foundation for Environment Classifiers A Logical Foundation for Environment Classifiers Proceedings of Typed Lambda Calculi and Applications (TLCA2009), 341-355 Proceedings of Typed Lambda Calculi and Applications (TLCA2009), 341-355 Proceedings of Typed Lambda Calculi and Applications (TLCA2009), 341-355 2009/06 Refereed English Research paper(international conference proceedings) Disclose to all
伊奈 林太郎, 五十嵐 淳 伊奈 林太郎, 五十嵐 淳 Gradual Typing for Featherweight Java Featherweight Java のための漸進的型付け Gradual Typing for Featherweight Java コンピュータソフトウェア, 26, 2, 18-40 コンピュータソフトウェア, 26, 2, 18-40 , 26, 2, 18-40 2009/04 Refereed Japanese Research paper(scientific journal) Disclose to all
Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Matching ThisType to subtyping Matching ThisType to subtyping Matching ThisType to subtyping Proceedings of the ACM Symposium on Applied Computing, 1851-1858 Proceedings of the ACM Symposium on Applied Computing, 1851-1858 Proceedings of the ACM Symposium on Applied Computing, 1851-1858 2009 Refereed English Research paper(international conference proceedings) Disclose to all
Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Self type constructors Self type constructors Self type constructors Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09, 263-282 Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09, 263-282 Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA 09, 263-282 2009 Refereed English Research paper(international conference proceedings) Disclose to all
Lintaro Ina, Atsushi Igarashi Lintaro Ina, Atsushi Igarashi Lintaro Ina, Atsushi Igarashi Towards gradual typing for generics Towards gradual typing for generics Towards gradual typing for generics Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09, 17-29 Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09, 17-29 Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09, 17-29 2009 Refereed English Research paper(international conference proceedings) Disclose to all
Naokata Shikuma, Atsushi Igarashi Naokata Shikuma, Atsushi Igarashi Naokata Shikuma, Atsushi Igarashi Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus Logical Methods in Computer Science, 4, 3:10, 1-31 Logical Methods in Computer Science, 4, 3:10, 1-31 Logical Methods in Computer Science, 4, 3:10, 1-31 2008/09/20 Refereed English Research paper(scientific journal) Disclose to all
Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi On Constructive Linear-Time Temporal Logic On Constructive Linear-Time Temporal Logic On Constructive Linear-Time Temporal Logic Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08) Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08) Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08) 2008/06 English Research paper(international conference proceedings) Disclose to all
Chieri Saito, Atsushi Igarashi, Mirko Viroli Chieri Saito, Atsushi Igarashi, Mirko Viroli Chieri Saito, Atsushi Igarashi, Mirko Viroli Lightweight family polymorphism Lightweight family polymorphism Lightweight family polymorphism Journal of Functional Programming, 18, 3, 285-331 Journal of Functional Programming, 18, 3, 285-331 Journal of Functional Programming, 18, 3, 285-331 2008/05 Refereed English Research paper(scientific journal) Disclose to all
伊奈 林太郎, 五十嵐 淳 伊奈 林太郎, 五十嵐 淳 Featherweight Java のための漸進的型付け Featherweight Java のための漸進的型付け 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, 17-31 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, 17-31 , 17-31 2008/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
仲井間 達也, 五十嵐 淳, 小林 直樹 仲井間 達也, 五十嵐 淳, 小林 直樹 文脈依存資源使用解析のための型システム 文脈依存資源使用解析のための型システム 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, 184-198 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, 184-198 , 184-198 2008/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
M. Sato, T. Sakurai, Y. Kameyama, A. Igarashi M. Sato, T. Sakurai, Y. Kameyama, A. Igarashi M. Sato, T. Sakurai, Y. Kameyama, A. Igarashi Calculi of meta-variables Calculi of meta-variables Calculi of meta-variables Frontiers of Computer Science in China, 2, 1, 12-21 Frontiers of Computer Science in China, 2, 1, 12-21 Frontiers of Computer Science in China, 2, 1, 12-21 2008 Refereed English Research paper(scientific journal) Disclose to all
Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi The essence of lightweight family polymorphism The essence of lightweight family polymorphism The essence of lightweight family polymorphism Journal of Object Technology, 7, 5, 67-99 Journal of Object Technology, 7, 5, 67-99 Journal of Object Technology, 7, 5, 67-99 2008 Refereed English Research paper(scientific journal) Disclose to all
Naokata Shikuma, Atsushi Igarashi Naokata Shikuma, Atsushi Igarashi Naokata Shikuma, Atsushi Igarashi Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus Proving Noninterference by a Fully Complete Translation to the Simply Typed λ-Calculus Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 301-315 Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 301-315 Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 301-315 2007/12 Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Mirko Viroli Atsushi Igarashi, Mirko Viroli Atsushi Igarashi, Mirko Viroli Variant path types for scalable extensibility Variant path types for scalable extensibility Variant path types for scalable extensibility Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA '07, 113-132 Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA '07, 113-132 Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA '07, 113-132 2007/10 Refereed English Research paper(international conference proceedings) Disclose to all
Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi The Essence of Lightweight Family Polymorphism The Essence of Lightweight Family Polymorphism The Essence of Lightweight Family Polymorphism Proceedings of 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), 27-41 Proceedings of 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), 27-41 Proceedings of 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), 27-41 2007/07 Refereed English Research paper(international conference proceedings) Disclose to all
岩間 太, 五十嵐 淳, 小林 直樹 岩間 太, 五十嵐 淳, 小林 直樹 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム 情報処理学会論文誌. プログラミング, 48, 4, 48-61 情報処理学会論文誌. プログラミング, 48, 4, 48-61 , 48, 4, 48-61 2007/03/15 Refereed Japanese Disclose to all
A. Igarashi, H. Nagira A. Igarashi, H. Nagira A. Igarashi, H. Nagira Union types for object-oriented programming Union types for object-oriented programming Union types for object-oriented programming Journal of Object Technology, 6, 2, 31-45 Journal of Object Technology, 6, 2, 31-45 Journal of Object Technology, 6, 2, 31-45 2007 Refereed English Research paper(scientific journal) Disclose to all
Atsushi Igarashi, Mirko Viroli Atsushi Igarashi, Mirko Viroli Atsushi Igarashi, Mirko Viroli Variant Path Types for Scalable Extensibility Variant Path Types for Scalable Extensibility Variant Path Types for Scalable Extensibility Proceedings of International Workshop on Foundations and Developments of Object-Oriented Languages, 38-49 Proceedings of International Workshop on Foundations and Developments of Object-Oriented Languages, 38-49 Proceedings of International Workshop on Foundations and Developments of Object-Oriented Languages, 38-49 2007/01 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Masashi Iwaki Atsushi Igarashi, Masashi Iwaki Atsushi Igarashi, Masashi Iwaki Deriving compilers and virtual machines for a multi-level language Deriving compilers and virtual machines for a multi-level language Deriving compilers and virtual machines for a multi-level language Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2007), 4807, 206-221 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2007), 4807, 206-221 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS 2007), 4807, 206-221 2007 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Mirko Viroli Atsushi Igarashi, Mirko Viroli Atsushi Igarashi, Mirko Viroli Variant parametric types: A flexible subtyping scheme for generics Variant parametric types: A flexible subtyping scheme for generics Variant parametric types: A flexible subtyping scheme for generics ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 28, 5, 795-847 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 28, 5, 795-847 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 28, 5, 795-847 2006/09 Refereed English Research paper(scientific journal) Disclose to all
四熊 尚方, 五十嵐 淳 四熊 尚方, 五十嵐 淳 様相型に基づく情報流解析における非干渉性の論理関係による一般化とその証明 様相型に基づく情報流解析における非干渉性の論理関係による一般化とその証明 第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)論文集, 134-149 第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)論文集, 134-149 , 134-149 2006/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
F. Iwama, A. Igarashi, N. Kobayashi F. Iwama, A. Igarashi, N. Kobayashi F. Iwama, A. Igarashi, N. Kobayashi Resource usage analysis for a functional language with exceptions Resource usage analysis for a functional language with exceptions Resource usage analysis for a functional language with exceptions Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 38-47 Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 38-47 Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 38-47 2006 Refereed English Research paper(international conference proceedings) Disclose to all
Y. Yuse, A. Igarashi Y. Yuse, A. Igarashi Y. Yuse, A. Igarashi A modal type system for multi-level generating extensions with persistent code A modal type system for multi-level generating extensions with persistent code A modal type system for multi-level generating extensions with persistent code PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2006, 201-212 PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2006, 201-212 PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2006, 201-212 2006 Refereed English Research paper(international conference proceedings) Disclose to all
A. Igarashi, H. Nagira A. Igarashi, H. Nagira A. Igarashi, H. Nagira Union types for object-oriented programming Union types for object-oriented programming Union types for object-oriented programming Proceedings of the ACM Symposium on Applied Computing, 2, 1435-1441 Proceedings of the ACM Symposium on Applied Computing, 2, 1435-1441 Proceedings of the ACM Symposium on Applied Computing, 2, 1435-1441 2006 Refereed English Research paper(international conference proceedings) Disclose to all
A Igarashi, N Kobayashi A Igarashi, N Kobayashi A Igarashi, N Kobayashi Resource usage analysis Resource usage analysis Resource usage analysis ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 27, 2, 264-313 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 27, 2, 264-313 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 27, 2, 264-313 2005/03 Refereed English Research paper(scientific journal) Disclose to all
岩間 太, 五十嵐 淳, 小林 直樹 岩間 太, 五十嵐 淳, 小林 直樹 例外機構を備えた言語のための資源使用法解析 例外機構を備えた言語のための資源使用法解析 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, 154-170 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, 154-170 , 154-170 2005/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
湯瀬 芳洋, 五十嵐 淳 湯瀬 芳洋, 五十嵐 淳 メタプログラミングのための時相論理に基づく型付λ計算 メタプログラミングのための時相論理に基づく型付λ計算 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, 57-73 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, 57-73 , 57-73 2005/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
A Igarashi, C Saito, M Viroli A Igarashi, C Saito, M Viroli A Igarashi, C Saito, M Viroli Lightweight family polymorphism Lightweight family polymorphism Lightweight family polymorphism Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2005), 3780, 161-177 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2005), 3780, 161-177 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2005), 3780, 161-177 2005 Refereed English Research paper(international conference proceedings) Disclose to all
柳楽 秀士, 五十嵐 淳 柳楽 秀士, 五十嵐 淳 Generics・Union 型を導入したオブジェクト指向計算体系 Generics・Union 型を導入したオブジェクト指向計算体系 第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004)論文集, 34-51 第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004)論文集, 34-51 , 34-51 2004/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
A Igarashi, N Kobayashi A Igarashi, N Kobayashi A Igarashi, N Kobayashi A generic type system for the Pi-calculus A generic type system for the Pi-calculus A generic type system for the Pi-calculus THEORETICAL COMPUTER SCIENCE, 311, 1-3, 121-163 THEORETICAL COMPUTER SCIENCE, 311, 1-3, 121-163 THEORETICAL COMPUTER SCIENCE, 311, 1-3, 121-163 2004/01 Refereed English Research paper(scientific journal) Disclose to all
Kenji Miyamoto, Atsushi Igarashi Kenji Miyamoto, Atsushi Igarashi Kenji Miyamoto, Atsushi Igarashi A modal foundation for secure information flow A modal foundation for secure information flow A modal foundation for secure information flow Proceedings of the Workshop on Foundations of Computer Security (FCS'04), number 31 in Turku Centre for Computer Science General Publication,187-203 Proceedings of the Workshop on Foundations of Computer Security (FCS'04), number 31 in Turku Centre for Computer Science General Publication,187-203 Proceedings of the Workshop on Foundations of Computer Security (FCS'04), number 31 in Turku Centre for Computer Science General Publication,187-203 2004 Refereed English Research paper(international conference proceedings) Disclose to all
柳楽 秀士, 五十嵐 淳 柳楽 秀士, 五十嵐 淳 Union 型を導入したオブジェクト指向計算体系 Union 型を導入したオブジェクト指向計算体系 日本ソフトウェア科学会第20回大会論文集 日本ソフトウェア科学会第20回大会論文集 2003/09 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
山本 和樹, 岡本 暁広, 五十嵐 淳, 佐藤 雅彦 山本 和樹, 岡本 暁広, 五十嵐 淳, 佐藤 雅彦 擬似引用を持つ型付計算体系λq 擬似引用を持つ型付計算体系λq 第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)論文集, 87-102 第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)論文集, 87-102 , 87-102 2003/03 Refereed Japanese Research paper(research society, symposium, etc.) Disclose to all
M Sato, T Sakurai, Y Kameyama, A Igarashi M Sato, T Sakurai, Y Kameyama, A Igarashi M Sato, T Sakurai, Y Kameyama, A Igarashi Calculi of meta-variables Calculi of meta-variables Calculi of meta-variables COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2803, 484-497 COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2803, 484-497 COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2803, 484-497 2003 Refereed English Research paper(scientific journal) Disclose to all
Atsushi Igarashi, Benjamin C. Pierce Atsushi Igarashi, Benjamin C. Pierce Atsushi Igarashi, Benjamin C. Pierce On Inner Classes On Inner Classes On Inner Classes Information and Computation, 177, 1, 56-89 Information and Computation, 177, 1, 56-89 Information and Computation, 177, 1, 56-89 2002/08 Refereed English Research paper(scientific journal) Disclose to all
Atsushi Igarashi, Benjamin C. Pierce Atsushi Igarashi, Benjamin C. Pierce Atsushi Igarashi, Benjamin C. Pierce Foundations for Virtual Types Foundations for Virtual Types Foundations for Virtual Types Information and Computation, 175, 1, 34-49 Information and Computation, 175, 1, 34-49 Information and Computation, 175, 1, 34-49 2002/05 Refereed English Research paper(scientific journal) Disclose to all
Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Resource usage analysis Resource usage analysis Resource usage analysis Proceedings of Principles of Programming Languages (POPL02), 331-342 Proceedings of Principles of Programming Languages (POPL02), 331-342 Proceedings of Principles of Programming Languages (POPL02), 331-342 2002/01 Refereed English Research paper(international conference proceedings) Disclose to all
A Igarashi, M Viroli A Igarashi, M Viroli A Igarashi, M Viroli On variance-based subtyping for parametric types On variance-based subtyping for parametric types On variance-based subtyping for parametric types ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2374, 441-469 ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2374, 441-469 ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2374, 441-469 2002 Refereed English Research paper(scientific journal) Disclose to all
A Igarashi, BC Pierce, P Wadler A Igarashi, BC Pierce, P Wadler A Igarashi, BC Pierce, P Wadler Featherweight Java: A minimal core calculus for Java and GJ Featherweight Java: A minimal core calculus for Java and GJ Featherweight Java: A minimal core calculus for Java and GJ ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 23, 3, 396-450 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 23, 3, 396-450 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 23, 3, 396-450 2001/05 Refereed English Research paper(scientific journal) Disclose to all
Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler A Recipe for Raw Types A Recipe for Raw Types A Recipe for Raw Types Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL8), 65-82 Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL8), 65-82 Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL8), 65-82 2001/01 Refereed English Research paper(international conference proceedings) Disclose to all
A. Igarashi, N. Kobayashi A. Igarashi, N. Kobayashi A. Igarashi, N. Kobayashi A generic type system for the Pi-calculus A generic type system for the Pi-calculus A generic type system for the Pi-calculus Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 128-141 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 128-141 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 128-141 2001/01 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Garbage Collection Based on a Linear Type System Garbage Collection Based on a Linear Type System Garbage Collection Based on a Linear Type System Proceedings of the 3rd ACM SIGPLAN Wokshop on Types in Compilation (TIC'00) Proceedings of the 3rd ACM SIGPLAN Wokshop on Types in Compilation (TIC'00) Proceedings of the 3rd ACM SIGPLAN Wokshop on Types in Compilation (TIC'00) 2000/09 Refereed English Research paper(international conference proceedings) Disclose to all
A Igarashi, N Kobayashi A. Igarashi, N. Kobayashi A Igarashi, N Kobayashi Type reconstruction for linear pi-calculus with I/O subtyping Type reconstruction for linear π-calculus with I/O subtyping Type reconstruction for linear pi-calculus with I/O subtyping INFORMATION AND COMPUTATION, 161, 1, 1-44 Information and Computation, 161, 1, 1-44 INFORMATION AND COMPUTATION, 161, 1, 1-44 2000/08 Refereed English Research paper(scientific journal) Disclose to all
A Igarashi, BC Pierce A Igarashi, BC Pierce A Igarashi, BC Pierce On inner classes On inner classes On inner classes ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, 1850, 129-153 ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, 1850, 129-153 ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, 1850, 129-153 2000/06 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Benjamin C. Pierce Atsushi Igarashi, Benjamin C. Pierce Atsushi Igarashi, Benjamin C. Pierce On Inner Classes On Inner Classes On Inner Classes Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages (FOOL7) Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages (FOOL7) Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages (FOOL7) 2000/01 Refereed English Research paper(international conference proceedings) Disclose to all
A Igarashi, B Pierce, P Wadler A Igarashi, B Pierce, P Wadler A Igarashi, B Pierce, P Wadler Featherweight Java - A minimal core calculus for Java and GJ Featherweight Java - A minimal core calculus for Java and GJ Featherweight Java - A minimal core calculus for Java and GJ Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99), 132-146 Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99), 132-146 Proceedings of ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'99), 132-146 1999/10 Refereed English Research paper(international conference proceedings) Disclose to all
A Igarashi, BC Pierce A Igarashi, BC Pierce A Igarashi, BC Pierce Foundations for virtual types Foundations for virtual types Foundations for virtual types Proceedings of European Conference on Object-Oriented Programming (ECOOP'99), 1628, 161-185 Proceedings of European Conference on Object-Oriented Programming (ECOOP'99), 1628, 161-185 Proceedings of European Conference on Object-Oriented Programming (ECOOP'99), 1628, 161-185 1999/06 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Benjamin C. Pierce Atsushi Igarashi, Benjamin C. Pierce Atsushi Igarashi, Benjamin C. Pierce Foundations for Virtual Types Foundations for Virtual Types Foundations for Virtual Types Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages (FOOL6) Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages (FOOL6) Informal Proceedings of International Workshop on Foundations of Object-Oriented Languages (FOOL6) 1999/01 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Type-based Analysis of Communication for Concurrent Programming Languages Type-based Analysis of Communication for Concurrent Programming Languages Type-based Analysis of Communication for Concurrent Programming Languages Proceedings of the Fourth International Static Analysis Symposium, 187-201 Proceedings of the Fourth International Static Analysis Symposium, 187-201 Proceedings of the Fourth International Static Analysis Symposium, 187-201 1997/09 Refereed English Research paper(international conference proceedings) Disclose to all

  • <<
  • >>
Title language:
Misc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
Taro Sekiyama, Atsushi Igarashi Taro Sekiyama, Atsushi Igarashi Taro Sekiyama, Atsushi Igarashi Reasoning about Polymorphic Manifest Contracts. Reasoning about Polymorphic Manifest Contracts. Reasoning about Polymorphic Manifest Contracts. CoRR, abs/1806.07041 CoRR, abs/1806.07041 CoRR, abs/1806.07041 2018 Disclose to all
五十嵐 雄, 関山 太朗, 五十嵐 淳 五十嵐 雄, 関山 太朗, 五十嵐 淳 漸進的型付き多相ラムダ計算 漸進的型付き多相ラムダ計算 第19回プログラミングおよびプログラミング言語ワークショップ 第19回プログラミングおよびプログラミング言語ワークショップ 2017 Japanese Other Disclose to all
宮崎 勇輔, 関山 太朗, 五十嵐 淳 宮崎 勇輔, 関山 太朗, 五十嵐 淳 限定継続演算子 shift/reset のための漸進的型付け 限定継続演算子 shift/reset のための漸進的型付け 第18回プログラミングおよびプログラミング言語ワークショップ 第18回プログラミングおよびプログラミング言語ワークショップ 2016 Japanese Other Disclose to all
五十嵐淳 五十嵐淳 日本ソフトウェア科学会第31回大会報告 日本ソフトウェア科学会第31回大会報告 コンピュータソフトウェア コンピュータソフトウェア 2015/02 Japanese Meeting report Disclose to all
五十嵐 淳, 中澤 巧爾, 馬谷 誠二, 関山 太朗, 花田 裕一朗, 大元 武, 宮本 洋平, 末永 幸平 五十嵐 淳, 中澤 巧爾, 馬谷 誠二, 関山 太朗, 花田 裕一朗, 大元 武, 宮本 洋平, 末永 幸平 京都大学 Teen Racketeer 養成コース 京都大学 Teen Racketeer 養成コース 第17回プログラミングおよびプログラミング言語ワークショップ 第17回プログラミングおよびプログラミング言語ワークショップ 2015 Japanese Other Disclose to all
五十嵐淳, Jacques Garrigue, 古瀬 淳 五十嵐淳, Jacques Garrigue, 古瀬 淳 今熱い! 快進撃のOCaml 今熱い! 快進撃のOCaml ソフトウェアデザイン ソフトウェアデザイン 2014/01 Japanese Article, review, commentary, editorial, etc.(trade magazine, newspaper, online media) Disclose to all
Taro Sekiyama, Atsushi Igarashi Taro Sekiyama, Atsushi Igarashi Logical relations for a manifest calculus, fixed Logical relations for a manifest calculus, fixed Logical relations for a manifest calculus, fixed The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects 2012 Refereed English Other Disclose to all
Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Mueller, Tobias Wrigstad Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Mueller, Tobias Wrigstad Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Mueller, Tobias Wrigstad Formal Techniques for Java-Like Programs Report on the 10th Workshop FTfJP at ECOOP 2008 Formal Techniques for Java-Like Programs Report on the 10th Workshop FTfJP at ECOOP 2008 Formal Techniques for Java-Like Programs Report on the 10th Workshop FTfJP at ECOOP 2008 OBJECT-ORIENTED TECHNOLOGY, 5475, 70-+ OBJECT-ORIENTED TECHNOLOGY, 5475, 70-+ OBJECT-ORIENTED TECHNOLOGY, 5475, 70-+ 2009 Refereed English Disclose to all
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 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 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 Editorial message: Special track on object oriented programming languages and systems Editorial message: Special track on object oriented programming languages and systems Editorial message: Special track on object oriented programming languages and systems Proceedings of the ACM Symposium on Applied Computing, 2, 1256-1257 Proceedings of the ACM Symposium on Applied Computing, 2, 1256-1257 Proceedings of the ACM Symposium on Applied Computing, 2, 1256-1257 2005 Refereed English Disclose to all
五十嵐 淳 五十嵐 淳 Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング 情報処理, 45, 6, 610-617 情報処理, 45, 6, 610-617 , 45, 6, 610-617 2004/06/15 Disclose to all
五十嵐 淳, 住井 英二郎 五十嵐 淳, 住井 英二郎 TACS 2001およびManfred Paul賞授賞式 TACS 2001およびManfred Paul賞授賞式 情報処理, 43, 2, 200-201 情報処理, 43, 2, 200-201 , 43, 2, 200-201 2002/02/05 Disclose to all
五十嵐 淳 五十嵐 淳 『正しい』ソフトウェアの構築法 - 型システムとその応用 『正しい』ソフトウェアの構築法 - 型システムとその応用 京都大学大学院情報学研究科 第5 回情報学シンポジウム 「情報社会の基盤を拓くソフトウェア研究」 平成12 年12 月10 日(火曜日) 「『正しい』ソフトウェアの構築法 - 型システムとその応用」 五十嵐 淳 氏(京都大学情報学研究科) 京都大学大学院情報学研究科 第5 回情報学シンポジウム 「情報社会の基盤を拓くソフトウェア研究」 平成12 年12 月10 日(火曜日) 「『正しい』ソフトウェアの構築法 - 型システムとその応用」 五十嵐 淳 氏(京都大学情報学研究科) 2000 Japanese Disclose to all

  • <<
  • >>
Title language:
Conference Activities & Talks
Title Title(Japanese) Title(English) Conference Conference(Japanese) Conference(English) Promotor Promotor(Japanese) Promotor(English) Date Language Assortment Disclose
Dependently-Typed Multi-Stage Programming Revisited[Invited] Dependently-Typed Multi-Stage Programming Revisited [Invited] Dependently-Typed Multi-Stage Programming Revisited [Invited] ACM SIGPLAN 2020 Workshop on Partial Evaluation and Program Manipulation (PEPM) ACM SIGPLAN 2020 Workshop on Partial Evaluation and Program Manipulation (PEPM) ACM SIGPLAN 2020 Workshop on Partial Evaluation and Program Manipulation (PEPM) 2020/01 English Oral presentation(invited, special) Disclose to all
Type Systems for Dynamic Layer Composition[Invited] Type Systems for Dynamic Layer Composition [Invited] Type Systems for Dynamic Layer Composition [Invited] International Workshop on Foundations of Aspect-Oriented Languages International Workshop on Foundations of Aspect-Oriented Languages International Workshop on Foundations of Aspect-Oriented Languages 2013/03 English Oral presentation(invited, special) Disclose to all
トップカンファレンスに論文を通す方法 トップカンファレンスに論文を通す方法 日本ソフトウェア科学会第29回大会 日本ソフトウェア科学会第29回大会 日本ソフトウェア科学会 日本ソフトウェア科学会 2012/09 Japanese Symposium workshop panel(public) Disclose to all
Featherweight Approach to FOOL Featherweight Approach to FOOL Featherweight Approach to FOOL European Conference on Object-Oriented Programming European Conference on Object-Oriented Programming European Conference on Object-Oriented Programming AITO AITO 2011/07 English Oral presentation(keynote) Disclose to all
Towards Pactical Resource Usage Analysis Towards Pactical Resource Usage Analysis Towards Pactical Resource Usage Analysis プログラム解析ワークショップ プログラム解析ワークショップ プログラム解析ワークショップ 日本IBM東京基礎研究所 日本IBM東京基礎研究所 2007/08 English Oral presentation(invited, special) Disclose to all
Processes as Types: A Generic Framework of Behavioral Type Systems Processes as Types: A Generic Framework of Behavioral Type Systems Processes as Types: A Generic Framework of Behavioral Type Systems The 4th International Workshop on Foundations of Coordination Languages and Service Architectures The 4th International Workshop on Foundations of Coordination Languages and Service Architectures The 4th International Workshop on Foundations of Coordination Languages and Service Architectures 2005/08 English Oral presentation(invited, special) Disclose to all
Title language:
Books etc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Publisher Publisher(Japanese) Publisher(English) Publication date Language Type Disclose
Manuel Hermenegildo, Atsushi Igarashi Manuel Hermenegildo, Atsushi Igarashi Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation The ACM Press The ACM Press The ACM Press 2019/01 Editor Disclose to all
Atsushi Igarashi Atsushi Igarashi Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016. Proceedings Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016. Proceedings Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016. Proceedings Springer-Verlag Springer-Verlag Springer-Verlag 2016/11 Editor Disclose to all
Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday Springer-Verlag Springer-Verlag Springer-Verlag 2014 Joint Editor Disclose to all
Ranjit Jhala, Atsushi Igarashi Ranjit Jhala, Atsushi Igarashi Programming Languages and Systems: Proceedings of the 10th Asian Symposium, APLAS 2012 Programming Languages and Systems: Proceedings of the 10th Asian Symposium, APLAS 2012 Programming Languages and Systems: Proceedings of the 10th Asian Symposium, APLAS 2012 Springer-Verlag Springer-Verlag 2012/12 English Joint Editor Disclose to all
五十嵐 淳 五十嵐 淳 プログラミング言語の基礎概念 プログラミング言語の基礎概念 サイエンス社 サイエンス社 2011/07 Japanese Disclose to all
五十嵐 淳 五十嵐 淳 プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~ プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~ 技術評論社 技術評論社 2007/11/30 Japanese Disclose to all
Title language:
Industrial Property Rights (Patent)
Inventor(s) Inventor(s) (Japanese) Inventor(s) (English) Title Title(Japanese) Title(English) Stage Patent number Date Disclose
末永 幸平, 今西 諒文, 五十嵐 淳 末永 幸平, 今西 諒文, 五十嵐 淳 プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム 特許出願 特願2017-246154 2017/12/22 Disclose to all
Title language:
Awards
Title(Japanese) Title(English) Organization name(Japanese) Organization name(English) Date
第20回日本IBM科学賞(コンピュータサイエンス分野) 日本アイ・ビー・エム 2006/11/
第1回マイクロソフトリサーチ日本情報学研究賞(基礎的情報学分野) マイクロソフト株式会社 2009/11/
科学技術分野の文部科学大臣表彰 若手科学者賞 文部科学省 2009/4
ダール・ニゴール若手賞 Dahl-Nygaard Junior Prize AITO 2011/07
日本ソフトウェア科学会高橋奨励賞 日本ソフトウェア科学会 2015/09/
日本ソフトウェア科学会基礎研究賞 日本ソフトウェア科学会 2020/09/
科学技術分野の文部科学大臣表彰 科学技術賞研究部門 文部科学省 2021/04/14
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
若手研究(B) Representative 高級並列言語の様々な安全性を保証するプログラム進 化支援つき汎用型システムの研究 2002-2002
若手研究(B) Representative 様相論理に基づいたプログラム解析手法の研究 2003/04/-2006/03/
科研費 若手(B) Representative ソフトウェア再利用性向上のための型理論に関する研究 2006/04/-2009/03/
科研費 特定研究 Representative 安全・安心な環境適応型ソフトウェアの基礎理論に関する研究 2006/04/__-2007/03/__
科研費 若手研究(A) Representative 静的・動的型付けの融合による安全かつ柔軟なプログラミング言語の理論と設計 2009/04/__-2013/03/__
科研費 基盤研究(B) Representative ソフトウェア契約に基づく高階型付プログラムの理論 Theory of Higher-order Programs Based on Software Contracts 2013/04/-
基盤研究(B) Representative ソフトウェア契約に基づく高階型付プログラムの理論 (平成26年度分) 2014/04/01-2015/03/31
基盤研究(B) Representative ソフトウェア契約に基づく高階型付プログラムの理論 (平成27年度分) 2015/04/01-2016/03/31
基盤研究(B) Representative ソフトウェア契約に基づく高階型付プログラムの理論 (平成28年度分) 2016/04/01-2017/03/31
基盤研究(B) Representative 現代的なプログラミング言語のための漸進的型システムの理論 2017/04/01-2020/03/31
基盤研究(B) Representative 現代的なプログラミング言語のための漸進的型システムの理論 (平成29年度分) 2017/04/01-2018/03/31
基盤研究(B) Representative 現代的なプログラミング言語のための漸進的型システムの理論 (平成30年度分) 2018/04/01-2019/03/31
基盤研究(B) Representative 現代的なプログラミング言語のための漸進的型システムの理論 (2019年度分) 2019/04/01-2020/03/31
基盤研究(A) Representative 高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究 (2020年度分) 2020/04/01-2021/03/31

  • <<
  • >>
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
Advanced Study in IST I 通年 情報学研究科 2011/04-2012/03
Advanced Study in IST II 通年 情報学研究科 2011/04-2012/03
ソフトウェア基礎論 後期 情報学研究科 2011/04-2012/03
知能情報学特殊研究1 通年 情報学研究科 2011/04-2012/03
知能情報学特殊研究2 通年 情報学研究科 2011/04-2012/03
計算機科学実験及演習4(計算機) 後期 工学部 2011/04-2012/03
ソフトウェア基礎論 Foundation of Software Science 後期 情報学研究科 2012/04-2013/03
知能情報学特別セミナー Advanced Seminar on Intelligence Science and Technology 通年 情報学研究科 2012/04-2013/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2012/04-2013/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2012/04-2013/03
知能情報ソフトウェア特別セミナー Advanced Seminar on Foundation of Software Science 後期 情報学研究科 2012/04-2013/03
プログラミング言語 Programming Languages 前期 工学部 2012/04-2013/03
計算機科学実験及演習4 Computer Science Laboratory and Exercise 4 後期 工学部 2012/04-2013/03
計算と論理 Logic and Computation 後期 工学部 2012/04-2013/03
プログラミング言語 Programming Languages 前期 工学部 2013/04-2014/03
計算と論理 Logic and Computation 後期 工学部 2013/04-2014/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2013/04-2014/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2013/04-2014/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2013/04-2014/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2013/04-2014/03
並列分散システム論 Parallel and Distributed Systems 後期 情報学研究科 2013/04-2014/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2013/04-2014/03
プログラミング言語 Programming Languages 前期 工学部 2014/04-2015/03
計算と論理 Logic and Computation 後期 工学部 2014/04-2015/03
情報と職業 Information and Business 前期 工学部 2014/04-2015/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2014/04-2015/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2014/04-2015/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2014/04-2015/03
並列分散システム論 Parallel and Distributed Systems 後期 情報学研究科 2014/04-2015/03
通信情報システム特別セミナー Seminar on Communications and Computer Engineering, Advanced 通年 情報学研究科 2014/04-2015/03
コンピュータ工学特別セミナー Seminar on Computer Engineering, Advanced 通年 情報学研究科 2014/04-2015/03
Advanced Study in CCE I Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2014/04-2015/03
Advanced Study in CCE II Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2014/04-2015/03
特別研究1 Graduation Thesis 1 前期集中 工学部 2014/04-2015/03
特別研究1 Graduation Thesis 1 後期集中 工学部 2014/04-2015/03
特別研究2 Graduation Thesis 2 前期集中 工学部 2014/04-2015/03
特別研究2 Graduation Thesis 2 後期集中 工学部 2014/04-2015/03
Advanced Study in CCE I Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2015/04-2016/03
Advanced Study in CCE II Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2015/04-2016/03
並列分散システム論 Parallel and Distributed Systems 後期 情報学研究科 2015/04-2016/03
プログラミング入門 Introduction to Programming 前期 工学部 2015/04-2016/03
コンピュータ工学特別セミナー Seminar on Computer Engineering, Advanced 通年 情報学研究科 2015/04-2016/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学研究科 2015/04-2016/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学部 2015/04-2016/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2015/04-2016/03
プログラミング言語 Programming Languages 前期 工学部 2015/04-2016/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2015/04-2016/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2015/04-2016/03
計算と論理 Logic and Computation 後期 工学部 2015/04-2016/03
通信情報システム特別セミナー Seminar on Communications and Computer Engineering, Advanced 通年 情報学研究科 2015/04-2016/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2015/04-2016/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 前期集中 情報学研究科 2015/04-2016/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2015/04-2016/03
Advanced Study in CCE I Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2016/04-2017/03
Advanced Study in CCE II Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2016/04-2017/03
Introduction to Algorithms and Informati Introduction to Algorithms and Informatics 前期 情報学研究科 2016/04-2017/03
Parallel and Distributed Systems Parallel and Distributed Systems 後期 情報学研究科 2016/04-2017/03
Theory of Computational Complexity Theory of Computational Complexity 後期 情報学研究科 2016/04-2017/03
プログラミング入門 Introduction to Programming 前期 工学部 2016/04-2017/03
コンピュータ工学特別セミナー Seminar on Computer Engineering, Advanced 通年 情報学研究科 2016/04-2017/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学研究科 2016/04-2017/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学部 2016/04-2017/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2016/04-2017/03
プログラミング言語 Programming Languages 後期 工学部 2016/04-2017/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2016/04-2017/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2016/04-2017/03
計算と論理 Logic and Computation 後期 工学部 2016/04-2017/03
通信情報システム特別セミナー Seminar on Communications and Computer Engineering, Advanced 通年 情報学研究科 2016/04-2017/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2016/04-2017/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 後期集中 情報学研究科 2016/04-2017/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2016/04-2017/03
Advanced Study in CCE I Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2017/04-2018/03
Advanced Study in CCE II Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2017/04-2018/03
Parallel and Distributed Systems Parallel and Distributed Systems 後期 情報学研究科 2017/04-2018/03
プログラミング入門 Introduction to Programming 前期 工学部 2017/04-2018/03
コンピュータ工学特別セミナー Seminar on Computer Engineering, Advanced 通年 情報学研究科 2017/04-2018/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学研究科 2017/04-2018/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学部 2017/04-2018/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2017/04-2018/03
プログラミング言語 Programming Languages 後期 工学部 2017/04-2018/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2017/04-2018/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2017/04-2018/03
計算と論理 Logic and Computation 後期 工学部 2017/04-2018/03
通信情報システム特別セミナー Seminar on Communications and Computer Engineering, Advanced 通年 情報学研究科 2017/04-2018/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 後期集中 情報学研究科 2017/04-2018/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2017/04-2018/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 前期集中 情報学研究科 2017/04-2018/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2017/04-2018/03
Parallel and Distributed Systems Parallel and Distributed Systems 後期 情報学研究科 2018/04-2019/03
プログラミング入門 Introduction to Programming 前期 工学部 2018/04-2019/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2018/04-2019/03
メディア文化学(特殊講義) Media and Culture Studies (Special Lectures) 前期 文学研究科 2018/04-2019/03
メディア文化学(特殊講義) Media and Culture Studies (Special Lectures) 前期 文学部 2018/04-2019/03
プログラミング言語 Programming Languages 後期 工学部 2018/04-2019/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2018/04-2019/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2018/04-2019/03
計算と論理 Logic and Computation 後期 工学部 2018/04-2019/03
並列分散システム論 Parallel and Distributed Systems 前期 情報学研究科 2019/04-2020/03
プログラミング入門 Introduction to Programming 前期 工学部 2019/04-2020/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2019/04-2020/03
プログラミング言語 Programming Languages 後期 工学部 2019/04-2020/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2019/04-2020/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2019/04-2020/03
計算と論理 Logic and Computation 後期 工学部 2019/04-2020/03
並列分散システム論 Parallel and Distributed Systems 後期 情報学研究科 2020/04-2021/03
プログラミング入門 Introduction to Programming 前期 工学部 2020/04-2021/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2020/04-2021/03
プログラミング言語(計算機) Programming Languages 後期 工学部 2020/04-2021/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2020/04-2021/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2020/04-2021/03
計算と論理 Logic and Computation 後期 工学部 2020/04-2021/03
Introduction to Formal Languages-E2 Introduction to Formal Languages-E2 前期 全学共通科目 2021/04-2022/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2021/04-2022/03
システム検証論 System Verification 後期 情報学研究科 2021/04-2022/03
プログラミング言語(計算機) Programming Languages 後期 工学部 2021/04-2022/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2021/04-2022/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2021/04-2022/03
計算と論理 Logic and Computation 後期 工学部 2021/04-2022/03

  • <<
  • >>
Participation in PhD Defense
Acquirer Title Position Date
齊藤 智恵理 A design and theory of strongly typed object-oriented programming languages for extensible recursive classes(拡張性の高い再帰的クラスのための型付オブジェクト指向言語の設計と理論) Sub 2010/03/23
小島 健介 Semantical study of intuitionistic modal logics(直観主義様相論理の意味論的研究) Sub 2012/03/26
田崎 豪 People Detection based on Points Tracked by an Omnidirectional Camera and Interaction Distance for Service Robots System(サービスロボットシステムのための全方位カメラによるトラッキング可能特徴点とインタラクション距離情報を用いた人物検出) Sub 2013/09/24
長尾 篤樹 Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems(木構造関数値評価問題と分岐プログラム充足性問題に対する計算複雑さ) Sub 2015/03/23
沓名 拓郎 Enhancing System Reliability using Abstraction and Efficient Logical Computation(抽象化技術と高速な論理演算を利用したシステムの高信頼化) Sub 2015/09/24
関山 太朗 An Integrated Theory of Type-Based Static and Dynamic Verification(型に基づく静的・動的検証の統合理論) Chief 2016/03/23
陳 晶 Studies on Approximation Algorithms for Bin-Packing and Train Delivery Problems (ビン詰め問題と列車配送問題に対する近似アルゴリズムの研究) Sub 2016/03/23
井上 裕昭 A Language-Based Approach to Robust Context-Aware Software(堅牢な文脈認識ソフトウェア開発のためのプログラミング言語の研究) Chief 2018/03/26
松本 亮介 Webサーバの高集積マルチテナントアーキテクチャに関する研究 Sub 2017/05/23
寺岡 秀敏 ネットワーク接続された組込みシステムの拡張性に関する研究 Sub 2019/03/25
坂上 晋作 Online, Submodular, and Polynomial Optimization with Discrete Structures(オンライン最適化,劣モジュラ関数最大化,および多項式関数最適化に対する離散構造に基づいたアルゴリズムの研究) Sub 2020/03/23
鐘本 楊 Webアプリケーションに対するサイバー攻撃の効率的な検知 Sub 2020/03/23
西田 雄気 Typed Software Contracts with Intersection and Nondeterminism(交差型と非決定計算を含んだ型付ソフトウェア契約) Chief 2020/05/25

  • <<
  • >>
Participation in PhD Defenses (other than KU)
Acquirer Title University Country Position Date
紙名 哲雄 A Design and Implementation of Mixin-Based Composi- tion in Strongly Typed Object-Oriented Languages 東京大学 日本 Sub 2005
樋口 智之 型理論によるJava仮想機械の形式化 北陸先端科学技術大学院大学 日本 Sub 2005
Awards received by supervised students
Student name Award title Giver Date
五十嵐 雄 2nd prize in the undergraduate category in Student Research Competition @ ACM POPL ACM 2017/01/
井上 裕昭 Distinguished Artifact Award European Conference on Object-Oriented Programming 2018/07/19
五十嵐 琢磨 最優秀発表賞 第15回 ディペンダブルシステムワークショップ (DSW 2017) 2017/12/
矢杉 和義 優秀発表賞 日本ソフトウェア科学会第34会大会プログラム委員会 2017/09/
脇坂遼 優秀発表賞 日本ソフトウェア科学会第37会大会プログラム委員会 2020/09/
Supervising student activities at clubs / circles
Club/circle name(Japanese) Club/circle name(English) Period
京都大学ギタークラブ 2017/05/-
School management (title, position)
Title Period
情報教育専門委員会 委員 2008/04/01-2010/03/31
国際教育プログラム委員会 委員 2014/04/01-2016/03/31
国際教育プログラム委員会委員 4号委員 2014/04/01-2016/03/31
図書館協議会 協議員 2016/04/01-2018/03/31
学際教育研究推進センター高大接続科学教育ユニットコーディネーション委員会委員 2016/08/19-2018/03/31
教育研究評議会 評議員 2020/04/01-2022/03/31
Faculty management (title, position)
Title Period
評価WG委員会委員 2011/04/01-2012/03/31
計算機小委員会委員 2011/04/01-2013/03/31
情報セキュリティ作業委員会委員 2012/04/01-2013/03/31
財務委員会委員 2013/04/01-2014/03/31
教務委員会委員長 2014/04/01-2015/03/31
制規委員会副委員長 2015/04/01-2016/03/31
情報セキュリティ委員会委員 2015/04/01-2016/03/31
制規委員会委員長 2016/04/01-2017/03/31
評価・広報委員会委員長 2017/04/01-2018/03/31
制規委員会副委員長 2017/04/01-2018/03/31
専攻長会議 2017/04/01-2018/03/31
情報セキュリティ委員会委員 2018/04/01-2019/03/31
専攻長 2018/04/01-2019/03/31
制規委員会委員長 2018/04/01-2019/03/31
教育用計算機専門委員会委員 2016/04/01-2020/03/31
制規委員会委員長 2019/04/01-2020/03/31
工学部教育制度委員会 委員 2019/04/01-2020/03/31
副研究科長 2020/04/01-2022/03/31
企画委員会委員長 2020/04/01-2022/03/31
財務委員会委員 2020/04/01-2022/03/31
人を対象とする研究倫理小委員会委員 2020/04/01-2022/03/31

  • <<
  • >>
Academic organizations (administrative history with title(s), position(s), etc.)
Organization name(Japanese) Organization name(English) Title(Japanese) Title(English) Period
日本ソフトウェア科学会 Japan Society of Software Science and Technology プログラミング論研究会運営委員 Steering Committee Member of SIG-PPL 2008/04/01-2013/03/31
日本ソフトウェア科学会 Japan Society of Software Science and Technology プログラミング論研究会運営委員会主査 Steering Committee Chair of SIG-PPL 2009/04/01-2012/03/31
日本ソフトウェア科学会 Japan Society of Software Science and Technology 理事 2020/06/-2022/06/
ACM SIGPLAN Executive Committee Member-at-large 2021/07/01-2024/06/30
Academic organizations (editor, editing team)
Organization name(Japanese) Organization name(English) Journal name(Japanese) Journal name(English) Title Period
日本ソフトウエア科学会 コンピュータソフトウェア ゲストエディタ 2007-2007
Academic organizaions (conference administrator)
Organization name Group name Title Period
ACM SIGPLAN Workshop on Types in Language Design andImplementation (TLDI) Program Committee Member 2003-2003/__/__
AITO European Conference on Object-Oriented Programming (ECOOP) Program Committee Member 2003-2003/__/__
ACM SIGPLAN Conference on Object-Oriented Programming SystemsLanguages and Applications (OOPSLA) Program Committee Member 2003-2003/__/__
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) Program Committee Member 2004-2004/__/__
ACM SIGPLAN Workshop on Foundations of Object-Oriented Programming (FOOL) Program Committee Member 2004-2004/__/__
ACM SIGAPP Symposium on Applied Computing Program Committee Memberof Special Track on Object-Oriented Programming Languages and Systems 2004-2004/__/__
日本ソフトウェア科学会 プログラミングおよびプログラミング言語ワークショップ プログラム委員 2004-2004/__/__
ACM SIGAPP Symposium on Applied Computing Program Committee Memberof Special Track on Object-Oriented Programming Languages and Systems 2005-2005/__/__
3rd International Conference on .NET Technologies Program Committee Member 2005-2005/__/__
International Workshop on Foundations of Coordination Languages and Service Architectures (FOCLASA) Program Committee Member 2005-2005/__/__
International Workshop on Formal Aspects of Component Software Program Committee Member 2005-2005/__/__
日本ソフトウェア科学会 プログラミングおよびプログラミング言語ワークショップ プログラム委員 2005-2005/__/__
Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management プログラム委員 2006-2006/__/__
Workshop on Formal Techniques for Java-like Programs Program Committee Member 2006-2006/__/__
2nd workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE2006) プログラム委員 2006-2006/__/__
ACM SIGAPP Special Track on Object-Oriented Programming Languages and Systems at the 21st ACM SIGAPP Symposium on Applied Computing (SAC2006) プログラム委員 2006-2006/__/__
8th workshop on Formal Techniques for Java-like Programs (FTfJP2006) プログラム委員 2006-2006/__/__
8th International Conference on Formal Engineering Methods (ICFEM2006) プログラム委員 2006-2006/__/__
3rd International Workshop on Formal Aspects of Component Software. (FACS'06) プログラム委員 2006-2006/__/__
5th International Workshop on Foundations of Coordination Languages and Service Architectures (FOCLASA2006) プログラム委員 2006-2006/__/__
ACM SIGPLAN 12th ACM SIGPLAN Workshop on Foundations of Object-Oriented Languages (FOOL 2008) プログラム委員長 2007-2007/__/__
日本ソフトウェア科学会プログラミング論研究会 日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語ワークショップ 共同プログラム委員長 2007-2007/__/__
ACM SIGPLAN the ACM SIGPLAN Workshop on Foundations and Developments of Object-Oriented Languages (FOOL2007) プログラム委員 2007-2007/__/__
ACM SIGAPP Special Track on Object-Oriented Programming Languages and Systems at the 22nd ACM SIGAPP Symposium on Applied Computing (SAC2007) プログラム委員 2007-2007/__/__
6th International Workshop on Foundations of Coordination Languages and Service Architectures (FOCLASA2007) プログラム委員 2007-2007/__/__
5th Asian Symposium on Programming Languages and Systems (APLAS2007) プログラム委員 2007-2007/__/__
4th International Workshop on Formal Aspects of Component Software (FACS'07) プログラム委員 2007-2007/__/__
ACM SIGAPP Special Track on Object-Oriented Programming Languages and Systems at the 23rd ACM SIGAPP Symposium on Applied Computing (SAC2008) プログラム委員 2008-2008/__/__
10th workshop on Formal Techniques for Java-like Programs (FTfJP2008) プログラム委員 2008-2008/__/__
Austrian-Japanese Workshop on Symbolic Computation in Software Science プログラム委員 2008-2008/__/__
7th International Workshop on Foundations of Coordination Languages and Service Architectures (FOCLASA2008) プログラム委員 2008-2008/__/__
5th International Workshop on Formal Aspects of Component Software (FACS'08) プログラム委員 2008-2008/__/__
日本ソフトウェア科学会 日本ソフトウェア科学会第25回大会 プログラム委員 2008-2008/__/__
ACM SIGPLAN, ACM SIGACT 36th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2009) プログラム委員 2009-2009/__/__
ACM SIGPLAN ACM SIGPLAN Workshop on Foundations of Object-Oriented Languages (FOOL 2009) プログラム委員 2009-2009/__/__
11th workshop on Formal Techniques for Java-like Programs (FTfJP2009) プログラム委員 2009-2009/__/__
AITO 23rd European Conference on Object-Oriented Programming (ECOOP2009) プログラム委員 2009-2009/__/__
8th International Workshop on Foundations of Coordination Languages and Service Architectures (FOCLASA2009) プログラム委員 2009-2009/__/__
6th International Workshop on Formal Aspects of Component Software (FACS2009) プログラム委員 2009-2009/__/__
ACM SIGAPP Special Track on Object-Oriented Programming Languages and Systems at the 25th ACM SIGAPP Symposium on Applied Computing 共同トラック委員長 2010-2010/__/__
ACM SIGPLAN 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI2010) プログラム委員 2010-2010/__/__
16th CATS ``Computing: The Australasian Theory Symposium'' (CATS 2010) プログラム委員 2010-2010/__/__
ACM SIGAPP Special Track on Object-Oriented Programming Languages and Systems at the 25th ACM SIGAPP Symposium on Applied Computing (SAC2010) プログラム委員 2010-2010/__/__
日本ソフトウェア科学会プログラミング論研究会 10th International Symposium on Functional and Logic Programming (FLOPS 2010) プログラム委員 2010-2010/__/__
the Intesection Types and Related Systems Workshop (ITRS2010) プログラム委員 2010-2010/__/__
Austrian-Japanese Workshop on Symbolic Computation in Software Science プログラム委員 2010-2010/__/__
IFIP 6th IFIP International Conference on Theoretical Computer Science (IFIP-TCS) プログラム委員 2010-2010/__/__
International Workshop on Self-sustaining Systems (S3-2010) プログラム委員 2010-2010/__/__
ACM SIGPLAN ACM SIGPLAN Workshop on Foundations of Object-Oriented Languages (FOOL 2010) プログラム委員 2010-2010/__/__
日本ソフトウェア科学会プログラミング論研究会 第12回プログラミングおよびプログラミング言語ワークショップ プログラム委員 2010-2010/__/__
日本ソフトウェア科学会 日本ソフトウェア科学会第27回大会 プログラム委員 2010-2010/__/__
International Workshop on Foundations of Aspect-Oriented Languages (FOAL 2011) プログラム委員 2011-2011/__/__
International Conference on Aspect-Oriented Software Development (AOSD) プログラム委員 2011-2011/__/__
ACM SIGAPP Special Track on Object-Oriented Programming Languages and Systems at the 25th ACM SIGAPP Symposium on Applied Computing (SAC2010) 共同トラック委員長 2011-2011/__/__
International Conference of Typed Lambda-Calculi and Applications (TLCA) プログラム委員 2011-2011/__/__
International Workshop on Context-Oriented Programming (COP) プログラム委員 2011-2011/__/__
ACM SIGPLAN ACM SIGPLAN Workshop on Foundations of Object-Oriented Languages (FOOL 2011) プログラム委員 2011-2011/__/__
ACM SIGPLAN/SIGSOFT Conference on Object-Oriented Programming SystemsLanguages and Applications (OOPSLA) プログラム委員 2011-2011/__/__
Conference on Compiler Construction (CC) プログラム委員 2012-2012/__/__
International Workshop on Foundations of Aspect-Oriented Languages (FOAL 2012) プログラム委員 2012-2012/__/__
ACM SIGAPP Special Track on Object-Oriented Programming Languages and Systems at the 25th ACM SIGAPP Symposium on Applied Computing (SAC2010) 共同トラック委員長 2012-2012/__/__
International Workshop on Formal Techniques for Java-like Programs (FTfJP2012) プログラム委員 2012-2012/__/__
International Workshop on Context-Oriented Programming (COP) プログラム委員 2012-2012/__/__
International Workshop on Scripts to Programs (STOP) プログラム委員 2012-2012/__/__
AITO European Conference on Object-Oriented Programming (ECOOP2012) プログラム委員 2012-2012/__/__
Asian Symposium on Programming Languages and Systems (APLAS2012) 会議委員長、プログラム委員 2012-2012/__/__
International Workshop on Foundations of Aspect-Oriented Languages (FOAL 2013) プログラム委員 2013-2013/__/__
International Symposium on Static Analysis プログラム委員 2013-2013/__/__
International Workshop on Formal Techniques for Java-like Programs (FTfJP2013) プログラム委員 2013-2013/__/__
International Workshop on Context-Oriented Programming (COP) プログラム委員長 2013-2013/__/__
International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE) プログラム委員 2013-2013/__/__
ACM SIGPLAN ACM Symposium on New Ideas in Programming and Reflections on Software (Onward!) プログラム委員 2013-2013/__/__
ACM SIGPLAN, ACM SIGACT ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) プログラム委員 2014-2014/__/__
International Conference on Compiler Construction (CC) プログラム委員 2014-2014/__/__
AITO European Conference on Object-Oriented Programming (ECOOP2014) プログラム委員 2014-2014/__/__
日本ソフトウェア科学会 日本ソフトウェア科学会第31回大会 プログラム委員長 2014-2014/__/__
ACM SIGPLAN ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM) プログラム委員 2015-2015/__/__
International Conference on Aspect-Oriented Software Development (AOSD) Student Research Competition Committee 2012-2012/__/__
International Conference on Aspect-Oriented Software Development (AOSD) Student Research Competition Committee Co-Chair 2013-2013/__/__
International Conference on Modularity (Modularity 2014): Modularity Vision Track プログラム委員 2014-2014/__/__
International Workshop on Automated Specification and Verification of Web Systems (WWV) プログラム委員 2014-2014/__/__
ACM/IEEE Symposium on Logic in Computer Science Local Organizer 2015/07/-2015/07/__
International Workshop on Higher-Order Program Analysis プログラム委員 2015/07/-2015/__/__
17th workshop on Formal Techniques for Java-like Programs (FTfJP2015) プログラム委員 2015/07/-2015/__/__
International Workshop on Foundations of Aspect-Oriented Languages (FOAL 2016) プログラム委員 2016-2016/__/__
European Symposium on Programming (ESOP2016) プログラム委員 2016-2016/__/__
ACM/IEEE Symposium on Logic in Computer Science (LICS2016) プログラム委員 2016-2016/__/__
International Symposium on Static Analysis (SAS2016) プログラム委員 2016-2016/__/__
Asian Symposium on Programming Languages and Systems (APLAS2016) プログラム委員長 2016-2016/__/__
Intl. Workshop on Higher-Order Programming with Effects (HOPE) プログラム委員 2017-2017/__/__
ACM Intl. Conference on Object-Oriented Programming, Systems, Languages, and Applications プログラム委員 2017-2017/__/__
Intl. Workshop on OCaml プログラム委員 2017-2017/__/__
ACM Symposium on Principles of Programming Languages (POPL) プログラム委員 2018-2018/__/__
AITO European Conference on Object-Oriented Programming プログラム委員 2018-2018/__/__
AAFS Asian Symposium on Programming Languages and Systems Steering Committee member 2016/11/-
ACM SIGPLAN ACM SIGPLAN International Conference on Functional Programming (ICFP) Steering Committee Member at Large 2016/09/-2020/08/
International Colloquium on Theoretical Aspects of Computing プログム委員 2018-2018/__/__
AAFS Asian Sympoisum on Programming Languages and Systems Steering Committee cochair 2018/07/01-
Scala Workshop プログラム委員 2018-2018/__/__
AAFS Asian Sympoisum on Programming Languages and Systems プログラム委員 2018-2018/__/__
International Conference on Engineering of Complex Computer Systems プログラム委員 2018-2018/__/__
3rd World Congress on Formal Methods (FM2019) プログラム委員 2019-2019
European Symposium on Programming (ESOP2019) プログラム委員 2019-2019
ACM Intl. Workshop on Partial Evaluation and Program Manipulation (PEPM2019) プログラム共同委員長 2019/__/__-2019
ML Family Workshop プログラム委員 2019-2019
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) Reviewing Committee 2020-2020
AITO European Conference on Object-Oriented Programming (ECOOP) プログラム委員 2019-2020
ACM Erlang Workshop プログラム委員 2020-2020
International Workshop on Gradual Typing (WGT) プログラム委員 2019-2020
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) Reviewing Committee 2021-2021
The miniKanren and Relational Programming Workshop プログラム委員 2021-2021
ACM Symposium on Principles of Programming Languages (POPL2022) プログラム委員 2021-2022
日本ソフトウェア科学会プログラミング論研究会 16th International Symposium on Functional and Logic Programming (FLOPS 2022) プログラム共同委員長 2021-2022

  • <<
  • >>
Other activities
Meeting Title Date
関西7大学フェスティバ​ル2019 in 東京 入門 コンピュータプログラムの科学 2019/07/07
Other activities (awards)
Award name Organization name Date
平成30年度特別研究員等審査会専門委員(書面担当)の表彰 日本学術振興会 2019/06/