五十嵐 淳

最終更新日時: 2021/06/26 12:01:57

印刷する

氏名(漢字/フリガナ/アルファベット表記)
五十嵐 淳/イガラシ アツシ/Igarashi, Atsushi
所属部署・職名(部局/所属/講座等/職名)
情報学研究科/通信情報システム専攻コンピュータ工学講座/教授
学部兼担
部局 所属 講座等 職名
工学部 工学部 情報学科
連絡先住所
種別 住所(日本語) 住所(英語)
職場 606-8501 京都府京都市左京区吉田本町 Yoshida-Honmachi, Sakyo-ku Kyoto 606-8501, Japan
所属学会(国内)
学会名(日本語) 学会名(英語)
日本ソフトウェア科学会 Japan Society for Software Science and Technology
所属学会(海外)
学会名(英語) 国名
Association for Computing Machinery USA
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(理学) 東京大学 The University of Tokyo
博士(理学) 東京大学 The University of Tokyo
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
東京大学 The University of Tokyo 大学院理学系研究科情報科学専攻博士課程 修了
東京大学 The University of Tokyo 大学院理学系研究科情報科学専攻修士課程 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
東京大学 The University of Tokyo 理学部情報科学科 卒業
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
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
プロフィール
(日本語)
2000年東京大学大学院理学系研究科 博士課程修了.博士(理学).2002年より京 都大学大学院情報学研究科講師,助教授(2006年),(呼称変更により2007年よ り)准教授.2012年教授.専門はプログラミング言語,特に,オブジェクト指向,静的解析, 並行プロセス計算,多段階プログラミングなど様々な型理論の応用. 日本ソフトウェア科学会,ACM 各会員
(英語)
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.
使用言語
言語名(japanese) 言語名(english) コード
英語 English eng
個人ホームページ
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
研究テーマ
(日本語)
プログラミング言語の基礎理論、型理論
(英語)
Principles of Programming Languages, Type Theory
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
プログラミング言語 Programming languages
型理論 Type Theory
プログラム検証 Program Verification
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
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 英語 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
脇坂 遼, 五十嵐 淳 脇坂 遼, 五十嵐 淳 量子ビット連結性制約検査のための依存型システム 量子ビット連結性制約検査のための依存型システム 日本ソフトウェア科学会第37回大会論文集 日本ソフトウェア科学会第37回大会論文集 2020/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 公開
矢杉 和義, 五十嵐 淳 矢杉 和義, 五十嵐 淳 スタック領域上での時間的メモリ安全性を保証する静的解析手法 スタック領域上での時間的メモリ安全性を保証する静的解析手法 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 2020/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
齋藤 大聖, 西田 雄気, 五十嵐 淳, 末永 幸平 齋藤 大聖, 西田 雄気, 五十嵐 淳, 末永 幸平 スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 スマートコントラクトのための Effectively Callback-Free 性の型に基づく静的検証 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 2020/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
佐藤 聡太, 古瀬 淳, 末永 幸平, 五十嵐 淳 佐藤 聡太, 古瀬 淳, 末永 幸平, 五十嵐 淳 F* を用いた Merkle Patricia Tree ライブラリの形式検証 F* を用いた Merkle Patricia Tree ライブラリの形式検証 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)論文集 2020/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
津田優也, 五十嵐淳 津田優也, 五十嵐淳 空間効率の良いコアーション計算のためのコアーション渡し形式 空間効率の良いコアーション計算のためのコアーション渡し形式 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)論文集 第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019)論文集 2019/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
矢杉 和義, 五十嵐 淳 矢杉 和義, 五十嵐 淳 C言語における無効なスタック領域へのポインタを検出する静的解析 C言語における無効なスタック領域へのポインタを検出する静的解析 日本ソフトウェア科学会第34回大会論文集 日本ソフトウェア科学会第34回大会論文集 2017/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
馬谷 誠二, 藤原 康史, 五十嵐 淳 馬谷 誠二, 藤原 康史, 五十嵐 淳 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール 日本ソフトウェア科学会第33回大会論文集 日本ソフトウェア科学会第33回大会論文集 2016/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
奥村 健太郎, 小島 健介, 五十嵐 淳 奥村 健太郎, 小島 健介, 五十嵐 淳 SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証 SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集 2016/03 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
小林 恵, 五十嵐淳 小林 恵, 五十嵐淳 参照を備えた多段階計算のための多相的型システム 参照を備えた多段階計算のための多相的型システム 日本ソフトウェア科学会第32回大会論文集 日本ソフトウェア科学会第32回大会論文集 2015/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 コンピュータソフトウェア, 32, 3, 149-158 コンピュータソフトウェア, 32, 3, 149-158 Computer Software, 32, 3, 149-158 2015/08 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 研究論文(国際会議プロシーディングス) 公開
関山 太朗, 西田 雄気, 五十嵐 淳 関山 太朗, 西田 雄気, 五十嵐 淳 顕在的契約計算のための代数的データ型 顕在的契約計算のための代数的データ型 第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集 第16回プログラミングおよびプログラミング言語ワークショップ(PPL2014)論文集 2014 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 研究論文(国際会議プロシーディングス) 公開
花田 裕一朗, 五十嵐 淳 花田 裕一朗, 五十嵐 淳 多段階計算λ▹のための越段階埋込 多段階計算λ▹のための越段階埋込 日本ソフトウェア科学会第30回大会論文集 日本ソフトウェア科学会第30回大会論文集 2013/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
関山 太朗, 五十嵐 淳 関山 太朗, 五十嵐 淳 顕在的契約計算におけるアップキャスト除去 顕在的契約計算におけるアップキャスト除去 第14回プログラミングおよびプログラミング言語ワークショップ 第14回プログラミングおよびプログラミング言語ワークショップ 2012 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
小山内 幸一, 五十嵐 淳 小山内 幸一, 五十嵐 淳 低水準コード生成を行うλ◯仮想機械の融合変換を使った系統的導出 低水準コード生成を行うλ◯仮想機械の融合変換を使った系統的導出 日本ソフトウェア科学会第28回大会論文集 日本ソフトウェア科学会第28回大会論文集 2011/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
伊奈 林太郎, 五十嵐 淳 伊奈 林太郎, 五十嵐 淳 Featherweight Java のための漸進的型付け Featherweight Java のための漸進的型付け Gradual Typing for Featherweight Java コンピュータソフトウェア, 26, 2, 18-40 コンピュータソフトウェア, 26, 2, 18-40 , 26, 2, 18-40 2009/04 日本語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
伊奈 林太郎, 五十嵐 淳 伊奈 林太郎, 五十嵐 淳 Featherweight Java のための漸進的型付け Featherweight Java のための漸進的型付け 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, 17-31 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, 17-31 , 17-31 2008/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
仲井間 達也, 五十嵐 淳, 小林 直樹 仲井間 達也, 五十嵐 淳, 小林 直樹 文脈依存資源使用解析のための型システム 文脈依存資源使用解析のための型システム 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, 184-198 第10回プログラミングおよびプログラミング言語ワークショップ(PPL2008)論文集, 184-198 , 184-198 2008/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
岩間 太, 五十嵐 淳, 小林 直樹 岩間 太, 五十嵐 淳, 小林 直樹 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム 情報処理学会論文誌. プログラミング, 48, 4, 48-61 情報処理学会論文誌. プログラミング, 48, 4, 48-61 , 48, 4, 48-61 2007/03/15 日本語 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
四熊 尚方, 五十嵐 淳 四熊 尚方, 五十嵐 淳 様相型に基づく情報流解析における非干渉性の論理関係による一般化とその証明 様相型に基づく情報流解析における非干渉性の論理関係による一般化とその証明 第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)論文集, 134-149 第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)論文集, 134-149 , 134-149 2006/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
岩間 太, 五十嵐 淳, 小林 直樹 岩間 太, 五十嵐 淳, 小林 直樹 例外機構を備えた言語のための資源使用法解析 例外機構を備えた言語のための資源使用法解析 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, 154-170 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, 154-170 , 154-170 2005/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
湯瀬 芳洋, 五十嵐 淳 湯瀬 芳洋, 五十嵐 淳 メタプログラミングのための時相論理に基づく型付λ計算 メタプログラミングのための時相論理に基づく型付λ計算 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, 57-73 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集, 57-73 , 57-73 2005/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
柳楽 秀士, 五十嵐 淳 柳楽 秀士, 五十嵐 淳 Generics・Union 型を導入したオブジェクト指向計算体系 Generics・Union 型を導入したオブジェクト指向計算体系 第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004)論文集, 34-51 第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004)論文集, 34-51 , 34-51 2004/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
柳楽 秀士, 五十嵐 淳 柳楽 秀士, 五十嵐 淳 Union 型を導入したオブジェクト指向計算体系 Union 型を導入したオブジェクト指向計算体系 日本ソフトウェア科学会第20回大会論文集 日本ソフトウェア科学会第20回大会論文集 2003/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
山本 和樹, 岡本 暁広, 五十嵐 淳, 佐藤 雅彦 山本 和樹, 岡本 暁広, 五十嵐 淳, 佐藤 雅彦 擬似引用を持つ型付計算体系λq 擬似引用を持つ型付計算体系λq 第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)論文集, 87-102 第5回プログラミングおよびプログラミング言語ワークショップ(PPL2003)論文集, 87-102 , 87-102 2003/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
A. Igarashi, N. Kobayashi A. Igarashi, N. Kobayashi A Igarashi, N Kobayashi Type reconstruction for linear π-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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開

  • <<
  • >>
  • 表示
タイトル言語:
Misc
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
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 公開
五十嵐 雄, 関山 太朗, 五十嵐 淳 五十嵐 雄, 関山 太朗, 五十嵐 淳 漸進的型付き多相ラムダ計算 漸進的型付き多相ラムダ計算 第19回プログラミングおよびプログラミング言語ワークショップ 第19回プログラミングおよびプログラミング言語ワークショップ 2017 日本語 その他記事 公開
宮崎 勇輔, 関山 太朗, 五十嵐 淳 宮崎 勇輔, 関山 太朗, 五十嵐 淳 限定継続演算子 shift/reset のための漸進的型付け 限定継続演算子 shift/reset のための漸進的型付け 第18回プログラミングおよびプログラミング言語ワークショップ 第18回プログラミングおよびプログラミング言語ワークショップ 2016 日本語 その他記事 公開
五十嵐淳 五十嵐淳 日本ソフトウェア科学会第31回大会報告 日本ソフトウェア科学会第31回大会報告 コンピュータソフトウェア コンピュータソフトウェア 2015/02 日本語 会議報告等 公開
五十嵐 淳, 中澤 巧爾, 馬谷 誠二, 関山 太朗, 花田 裕一朗, 大元 武, 宮本 洋平, 末永 幸平 五十嵐 淳, 中澤 巧爾, 馬谷 誠二, 関山 太朗, 花田 裕一朗, 大元 武, 宮本 洋平, 末永 幸平 京都大学 Teen Racketeer 養成コース 京都大学 Teen Racketeer 養成コース 第17回プログラミングおよびプログラミング言語ワークショップ 第17回プログラミングおよびプログラミング言語ワークショップ 2015 日本語 その他記事 公開
五十嵐淳, Jacques Garrigue, 古瀬 淳 五十嵐淳, Jacques Garrigue, 古瀬 淳 今熱い! 快進撃のOCaml 今熱い! 快進撃のOCaml ソフトウェアデザイン ソフトウェアデザイン 2014/01 日本語 記事・総説・解説・論説等(商業誌、新聞、ウェブメディア) 公開
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 英語 その他記事 公開
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 英語 公開
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 英語 公開
五十嵐 淳 五十嵐 淳 Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング 情報処理, 45, 6, 610-617 情報処理, 45, 6, 610-617 , 45, 6, 610-617 2004/06/15 公開
五十嵐 淳, 住井 英二郎 五十嵐 淳, 住井 英二郎 TACS 2001およびManfred Paul賞授賞式 TACS 2001およびManfred Paul賞授賞式 情報処理, 43, 2, 200-201 情報処理, 43, 2, 200-201 , 43, 2, 200-201 2002/02/05 公開
五十嵐 淳 五十嵐 淳 『正しい』ソフトウェアの構築法 - 型システムとその応用 『正しい』ソフトウェアの構築法 - 型システムとその応用 京都大学大学院情報学研究科 第5 回情報学シンポジウム 「情報社会の基盤を拓くソフトウェア研究」 平成12 年12 月10 日(火曜日) 「『正しい』ソフトウェアの構築法 - 型システムとその応用」 五十嵐 淳 氏(京都大学情報学研究科) 京都大学大学院情報学研究科 第5 回情報学シンポジウム 「情報社会の基盤を拓くソフトウェア研究」 平成12 年12 月10 日(火曜日) 「『正しい』ソフトウェアの構築法 - 型システムとその応用」 五十嵐 淳 氏(京都大学情報学研究科) 2000 日本語 公開

  • <<
  • >>
  • 表示
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 発表年月日 記述言語 会議種別 公開
Dependently-Typed Multi-Stage Programming Revisited[招待あり] Dependently-Typed Multi-Stage Programming Revisited [招待あり] Dependently-Typed Multi-Stage Programming Revisited [招待あり] 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 英語 口頭発表(招待・特別) 公開
Type Systems for Dynamic Layer Composition[招待あり] Type Systems for Dynamic Layer Composition [招待あり] Type Systems for Dynamic Layer Composition [招待あり] 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 英語 口頭発表(招待・特別) 公開
トップカンファレンスに論文を通す方法 トップカンファレンスに論文を通す方法 日本ソフトウェア科学会第29回大会 日本ソフトウェア科学会第29回大会 日本ソフトウェア科学会 日本ソフトウェア科学会 2012/09 日本語 シンポジウム・ワークショップパネル(公募) 公開
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 英語 口頭発表(基調) 公開
Towards Pactical Resource Usage Analysis Towards Pactical Resource Usage Analysis Towards Pactical Resource Usage Analysis プログラム解析ワークショップ プログラム解析ワークショップ プログラム解析ワークショップ 日本IBM東京基礎研究所 日本IBM東京基礎研究所 2007/08 英語 口頭発表(招待・特別) 公開
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 英語 口頭発表(招待・特別) 公開
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
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 編者 公開
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 編者 公開
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 共編者 公開
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 英語 共編者 公開
五十嵐 淳 五十嵐 淳 プログラミング言語の基礎概念 プログラミング言語の基礎概念 サイエンス社 サイエンス社 2011/07 日本語 公開
五十嵐 淳 五十嵐 淳 プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~ プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~ 技術評論社 技術評論社 2007/11/30 日本語 公開
タイトル言語:
産業財産権 (特許)
発明者 発明者(日本語) 発明者(英語) 発明の名称 発明の名称(日本語) 発明の名称(英語) 審査の段階 番号 年月 公開
末永 幸平, 今西 諒文, 五十嵐 淳 末永 幸平, 今西 諒文, 五十嵐 淳 プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム 特許出願 特願2017-246154 2017/12/22 公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
第20回日本IBM科学賞(コンピュータサイエンス分野) 日本アイ・ビー・エム 2006/11/
第1回マイクロソフトリサーチ日本情報学研究賞(基礎的情報学分野) マイクロソフト株式会社 2009/11/
科学技術分野の文部科学大臣表彰 若手科学者賞 文部科学省 2009/4
ダール・ニゴール若手賞 Dahl-Nygaard Junior Prize AITO 2011/07
日本ソフトウェア科学会高橋奨励賞 日本ソフトウェア科学会 2015/09/
日本ソフトウェア科学会基礎研究賞 日本ソフトウェア科学会 2020/09/
科学技術分野の文部科学大臣表彰 科学技術賞研究部門 文部科学省 2021/04/14
外部資金:競争的資金 (科学研究費補助金)
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
若手研究(B) 代表 高級並列言語の様々な安全性を保証するプログラム進 化支援つき汎用型システムの研究 2002〜2002
若手研究(B) 代表 様相論理に基づいたプログラム解析手法の研究 2003/04/〜2006/03/
科研費 若手(B) 代表 ソフトウェア再利用性向上のための型理論に関する研究 2006/04/〜2009/03/
科研費 特定研究 代表 安全・安心な環境適応型ソフトウェアの基礎理論に関する研究 2006/04/__〜2007/03/__
科研費 若手研究(A) 代表 静的・動的型付けの融合による安全かつ柔軟なプログラミング言語の理論と設計 2009/04/__〜2013/03/__
科研費 基盤研究(B) 代表 ソフトウェア契約に基づく高階型付プログラムの理論 Theory of Higher-order Programs Based on Software Contracts 2013/04/〜
基盤研究(B) 代表 ソフトウェア契約に基づく高階型付プログラムの理論 (平成26年度分) 2014/04/01〜2015/03/31
基盤研究(B) 代表 ソフトウェア契約に基づく高階型付プログラムの理論 (平成27年度分) 2015/04/01〜2016/03/31
基盤研究(B) 代表 ソフトウェア契約に基づく高階型付プログラムの理論 (平成28年度分) 2016/04/01〜2017/03/31
基盤研究(B) 代表 現代的なプログラミング言語のための漸進的型システムの理論 2017/04/01〜2020/03/31
基盤研究(B) 代表 現代的なプログラミング言語のための漸進的型システムの理論 (平成29年度分) 2017/04/01〜2018/03/31
基盤研究(B) 代表 現代的なプログラミング言語のための漸進的型システムの理論 (平成30年度分) 2018/04/01〜2019/03/31
基盤研究(B) 代表 現代的なプログラミング言語のための漸進的型システムの理論 (2019年度分) 2019/04/01〜2020/03/31
基盤研究(A) 代表 高相互運用性を持つソフトウェアモジュールのためのソフトウェア契約の研究 (2020年度分) 2020/04/01〜2021/03/31

  • <<
  • >>
  • 表示
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
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

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

  • <<
  • >>
  • 表示
学外学位論文審査
学位取得者名 学位論文タイトル 大学名 国名 役割 年月
紙名 哲雄 A Design and Implementation of Mixin-Based Composi- tion in Strongly Typed Object-Oriented Languages 東京大学 日本 副査 2005
樋口 智之 型理論によるJava仮想機械の形式化 北陸先端科学技術大学院大学 日本 副査 2005
指導学生の受賞
受賞した学生名 賞の名称 授与組織名 年月
五十嵐 雄 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/
サークルの顧問
サークル名(日本語) サークル名(英語) 期間
京都大学ギタークラブ 2017/05/〜
全学運営(役職等)
役職名 期間
情報教育専門委員会 委員 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
部局運営(役職等)
役職名 期間
評価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

  • <<
  • >>
  • 表示
学会活動:学会役員歴
学会名(日本語) 学会名(英語) 役職名(日本語) 役職名(英語) 期間
日本ソフトウェア科学会 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
学会活動:編集委員歴
学会名(日本語) 学会名(英語) ジャーナル名(日本語) ジャーナル名(英語) 役職名 期間
日本ソフトウエア科学会 コンピュータソフトウェア ゲストエディタ 2007〜2007
学会活動:研究集会委員歴
学会名 研究集会名 役職名 期間
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

  • <<
  • >>
  • 表示
その他活動:講演歴
会合名 講演タイトル 年月
関西7大学フェスティバ​ル2019 in 東京 入門 コンピュータプログラムの科学 2019/07/07
その他活動:各種受賞歴
賞の名称 授与組織名 年月
平成30年度特別研究員等審査会専門委員(書面担当)の表彰 日本学術振興会 2019/06/