五十嵐 淳

Last Update: 2018/06/13 09:04:00

Print

Name(Kanji/Kana/Abecedarium Latinum)
五十嵐 淳/イガラシ アツシ/Igarashi, Atsushi
Primary Affiliation(Org1/Job title)
Graduate Schools Informatics/Professor
Faculty
Org1 Job title
工学部
Contact Address
Type Address(Japanese) Address(English)
Office 606-8501 京都府京都市左京区吉田本町 Yoshida-Honmachi, Sakyo-ku Kyoto 606-8501, Japan
Academic Organizations You are Affiliated to in Japan
Organization name(Japanese) Organization name(English)
日本ソフトウェア科学会 Japan Society for Software Science and Technology
Academic Organizations Overaseas You are Affiliated to
Organization name Country
Association for Computing Machinery USA
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
修士(理学) 東京大学 The University of Tokyo
博士(理学) 東京大学 The University of Tokyo
Graduate School
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Degree
東京大学 The University of Tokyo 大学院理学系研究科情報科学専攻博士課程 修了
東京大学 The University of Tokyo 大学院理学系研究科情報科学専攻修士課程 修了
Undergraduate School / Major(s)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(s)(Japanese) Major(s)(English) Degree
東京大学 The University of Tokyo 理学部情報科学科 卒業
Work Experience
Period Organization(Japanese) Organization(English) Job title(Japanese) Job title(English)
1997/04/01-2000/03/31 日本学術振興会 Japan Society for the Promotion of Science 特別研究員(DC1) Research Fellowship for Young Scientists (DC1)
2000/04/15-2002/03/31 東京大学大学院総合文化研究科 Graduate School of Arts and Sciences, University of Tokyo 助手 Research Associate
2002/04/01-2006/03/31 京都大学大学院情報学研究科 Graduate School of Informatics, Kyoto University 講師 Lecturer
2006/04/01-2012/09/30 京都大学 Graduate School of Informatics, Kyoto University 准教授 Associate Professor
2012/10/01- 京都大学 Graduate School of Informatics, Kyoto University 教授 Professor
Personal Profile
(Japanese)
2000年東京大学大学院理学系研究科 博士課程修了.博士(理学).2002年より京 都大学大学院情報学研究科講師,助教授(2006年),(呼称変更により2007年よ り)准教授.2012年教授.専門はプログラミング言語,特に,オブジェクト指向,静的解析, 並行プロセス計算,多段階プログラミングなど様々な型理論の応用. 日本ソフトウェア科学会,ACM 各会員
(English)
Atsushi Igarashi is a Professor at Dept. of Communication and Computer Engineering, Graduate School of Informatics, Kyoto University. He received his D.S. (PhD-equivalent) degree from Department of Information Science, University of Tokyo in 2000. His main research interests are in programming languages, especially, applications of type theory to various domains, including object-orientation, static analysis, process calculi, multi-stage programming.
researchmap URL
https://researchmap.jp/Atsushi.Igarashi
Research Topics
(Japanese)
プログラミング言語の基礎理論、型理論
(English)
Principles of Programming Languages, Type Theory
Fields of research (key words)
Key words(Japanese) Key words(English)
プログラミング言語 Programming languages
型理論 Type Theory
プログラム検証 Program Verification
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
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 Proceedings of the 32nd European Conference on Object-Oriented Programming Proceedings of the 32nd European Conference on Object-Oriented Programming 2018/07 Refereed English Research paper(international conference proceedings) Disclose to all
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Method Safety Mechanism for Asynchronous Layer Deactivation Method Safety Mechanism for Asynchronous Layer Deactivation Method Safety Mechanism for Asynchronous Layer Deactivation Science of Computer Programming, 156, 104-120 Science of Computer Programming, 156, 104-120 Science of Computer Programming, 156, 104-120 2018/03 Refereed English Research paper(scientific journal) Disclose to all
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs Journal of Automated Reasoning, 60, 3, 279-298 Journal of Automated Reasoning, 60, 3, 279-298 Journal of Automated Reasoning, 60, 3, 279-298 2018/03 Refereed English Research paper(scientific journal) Disclose to all
Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi A Guess-and-Assume Approach to Loop Fusion for Program Verification A Guess-and-Assume Approach to Loop Fusion for Program Verification A Guess-and-Assume Approach to Loop Fusion for Program Verification Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2-14 Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2-14 Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2-14 2018/01 Refereed English Research paper(international conference proceedings) Disclose to all
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi A Nonstandard Functional Programming Language A Nonstandard Functional Programming Language A Nonstandard Functional Programming Language Proceedings of Asian Symposium on Programming Languages and Systems, LNCS 10695, 514-533 Proceedings of Asian Symposium on Programming Languages and Systems, LNCS 10695, 514-533 Proceedings of Asian Symposium on Programming Languages and Systems, LNCS 10695, 514-533 2017/11 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi A DSL for Compensable and Interruptible Executions A DSL for Compensable and Interruptible Executions A DSL for Compensable and Interruptible Executions Proceedings of 4th Workshop on Reactive and Event-based Languages & Systems (REBLS) Proceedings of 4th Workshop on Reactive and Event-based Languages & Systems (REBLS) Proceedings of 4th Workshop on Reactive and Event-based Languages & Systems (REBLS) 2017/10 Refereed English Research paper(international conference proceedings) Disclose to all
矢杉 和義, 五十嵐 淳 矢杉 和義, 五十嵐 淳 C言語における無効なスタック領域へのポインタを検出する静的解析 C言語における無効なスタック領域へのポインタを検出する静的解析 日本ソフトウェア科学会第34回大会論文集 日本ソフトウェア科学会第34回大会論文集 2017/09 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler Gradual Session Types Gradual Session Types Gradual Session Types Proceedings of the ACM on Programming Languages, 1, ICFP, 38:1-38:28 Proceedings of the ACM on Programming Languages, 1, ICFP, 38:1-38:28 Proceedings of the ACM on Programming Languages, 1, ICFP, 38:1-38:28 2017/09 Refereed English Research paper(scientific journal) Disclose to all
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi On Polymorphic Gradual Typing On Polymorphic Gradual Typing On Polymorphic Gradual Typing Proceedings of the ACM on Programming Languages, 1, ICFP, 40:1-40:29 Proceedings of the ACM on Programming Languages, 1, ICFP, 40:1-40:29 Proceedings of the ACM on Programming Languages, 1, ICFP, 40:1-40:29 2017/09 Refereed English Research paper(scientific journal) Disclose to all
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 English Research paper(research society, symposium materials, etc.) Disclose to all
Kensuke Kojima and Atsushi Igarashi Kensuke Kojima and Atsushi Igarashi Kensuke Kojima and 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 Refereed English Research paper(scientific journal) Disclose to all
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg Taro Sekiyama, Atsushi Igarashi, Michael Greenberg Taro Sekiyama, Atsushi Igarashi, Michael Greenberg Polymorphic Manifest Contracts, Revised and Resolved Polymorphic Manifest Contracts, Revised and Resolved Polymorphic Manifest Contracts, Revised and Resolved ACM Transactions on Programming Languages and Systems, 39, 1, 3:1-3:36 ACM Transactions on Programming Languages and Systems, 39, 1, 3:1-3:36 ACM Transactions on Programming Languages and Systems, 39, 1, 3:1-3:36 2017/01 Refereed English Research paper(scientific journal) Disclose to all
Taro Sekiyama and Atsushi Igarashi Taro Sekiyama and Atsushi Igarashi Taro Sekiyama and Atsushi Igarashi Stateful Manifest Contracts Stateful Manifest Contracts Stateful Manifest Contracts Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 530-544 Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 530-544 Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 530-544 2017/01 Refereed English Research paper(international conference proceedings) Disclose to all
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi Verification of Code Generators via Higher-Order Model Checking Verification of Code Generators via Higher-Order Model Checking Verification of Code Generators via Higher-Order Model Checking Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 59-70 Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 59-70 Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 59-70 2017/01 Refereed English Research paper(international conference proceedings) Disclose to all
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs Proceedings of the 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), LNCS 9971, 90-106 Proceedings of the 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), LNCS 9971, 90-106 Proceedings of the 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), LNCS 9971, 90-106 2016/11 Refereed English Research paper(international conference proceedings) Disclose to all
Qi Tan, Kohei Suenaga, Atsushi Igarashi Qi Tan, Kohei Suenaga, Atsushi Igarashi Qi Tan, Kohei Suenaga, Atsushi Igarashi An Extended Behavioral Type System for Memory-Leak Freedom An Extended Behavioral Type System for Memory-Leak Freedom An Extended Behavioral Type System for Memory-Leak Freedom 日本ソフトウェア科学会第33回大会論文集 日本ソフトウェア科学会第33回大会論文集 2016/09 English Research paper(research society, symposium materials, etc.) Disclose to all
馬谷 誠二, 藤原 康史, 五十嵐 淳 馬谷 誠二, 藤原 康史, 五十嵐 淳 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール 日本ソフトウェア科学会第33回大会論文集 日本ソフトウェア科学会第33回大会論文集 2016/09 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi A Library-Based Approach to Context-Dependent Computation with Reactive Values A Library-Based Approach to Context-Dependent Computation with Reactive Values A Library-Based Approach to Context-Dependent Computation with Reactive Values Proceedings of The Constrained and Reactive Objects Workshop Proceedings of The Constrained and Reactive Objects Workshop Proceedings of The Constrained and Reactive Objects Workshop 2016/03 Refereed English Research paper(international conference proceedings) Disclose to all
奥村 健太郎, 小島 健介, 五十嵐 淳 奥村 健太郎, 小島 健介, 五十嵐 淳 SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証 SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集 2016/03 Refereed Research paper(research society, symposium materials, etc.) Disclose to all
Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi Shifting the Blame: A Blame Calculus with Static Delimited Control Shifting the Blame: A Blame Calculus with Static Delimited Control Shifting the Blame: A Blame Calculus with Static Delimited Control Proceedings of Asian Symposium on Programming Languages and Systems, 9458, 189-207 Proceedings of Asian Symposium on Programming Languages and Systems, 9458, 189-207 Proceedings of Asian Symposium on Programming Languages and Systems, 9458, 189-207 2015/11 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi Hiroaki Inoue, Atsushi Igarashi A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers Proceedings of Asian Symposium on Programming Languages and Systems, 9458, 445-462 Proceedings of Asian Symposium on Programming Languages and Systems, 9458, 445-462 Proceedings of Asian Symposium on Programming Languages and Systems, 9458, 445-462 2015/11 Refereed English Research paper(international conference proceedings) Disclose to all
小林 恵, 五十嵐淳 小林 恵, 五十嵐淳 参照を備えた多段階計算のための多相的型システム 参照を備えた多段階計算のための多相的型システム 日本ソフトウェア科学会第32回大会論文集 日本ソフトウェア科学会第32回大会論文集 2015/09 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff Visibility of Context-oriented Behavior and State in L Visibility of Context-oriented Behavior and State in L Visibility of Context-oriented Behavior and State in L Computer Software, 32, 3, 149-158 コンピュータソフトウェア, 32, 3, 149-158 Computer Software, 32, 3, 149-158 2015/08 Refereed English Research paper(scientific journal) Disclose to all
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi Method Safety Mechanism for Asynchronous Layer Deactivation Method Safety Mechanism for Asynchronous Layer Deactivation Method Safety Mechanism for Asynchronous Layer Deactivation International Workshop on Context-Oriented Programming, COP'15 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'15 International Workshop on Context-Oriented Programming, COP'15 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'15 International Workshop on Context-Oriented Programming, COP'15 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'15 2015/07 Refereed English Research paper(international conference proceedings) Disclose to all
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi Taro Sekiyama, Yuki Nishida, Atsushi Igarashi Taro Sekiyama, Yuki Nishida, Atsushi Igarashi Manifest Contracts for Datatypes Manifest Contracts for Datatypes Manifest Contracts for Datatypes Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 50, 1, 195-207 Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 50, 1, 195-207 Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 50, 1, 195-207 2015/01 Refereed English Research paper(international conference proceedings) Disclose to all
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi Automatic Memory Management Based on Program Transformation using Ownerships Automatic Memory Management Based on Program Transformation using Ownerships Automatic Memory Management Based on Program Transformation using Ownerships Proceedings of Asian Symposium on Programming Languages and Systems (APLAS), 8858, 58-77 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS), 8858, 58-77 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS), 8858, 58-77 2014/11 Refereed English Research paper(international conference proceedings) Disclose to all
Minoru Kinoshita, Kohei Suenaga, Atsushi Igarashi Minoru Kinoshita, Kohei Suenaga, Atsushi Igarashi Minoru Kinoshita, Kohei Suenaga, Atsushi Igarashi Automatic Synthesis of Combiners in the MapReduce Framework: An Approach with Right Inverse Automatic Synthesis of Combiners in the MapReduce Framework: An Approach with Right Inverse Automatic Synthesis of Combiners in the MapReduce Framework: An Approach with Right Inverse Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) 2014/09 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroaki Inoue and Atsushi Igarashi and Malte Appeltauer and Robert Hirschfeldi Hiroaki Inoue and Atsushi Igarashi and Malte Appeltauer and Robert Hirschfeldi Hiroaki Inoue and Atsushi Igarashi and Malte Appeltauer and Robert Hirschfeldi Towards Type-Safe JCop: A type system for layer inheritance and first-class layers Towards Type-Safe JCop: A type system for layer inheritance and first-class layers Towards Type-Safe JCop: A type system for layer inheritance and first-class layers International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 2014/07 Refereed English Research paper(international conference proceedings) Disclose to all
Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi On-Demand Layer Activation for Type-Safe Deactivation On-Demand Layer Activation for Type-Safe Deactivation On-Demand Layer Activation for Type-Safe Deactivation International Workshop on Context-Oriented Programming, COP'14 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 International Workshop on Context-Oriented Programming, COP'14 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 International Workshop on Context-Oriented Programming, COP'14 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14 2014/07 Refereed English Research paper(international conference proceedings) Disclose to all
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 International Symposium on Functional and Logic Programming, 8475, 103-118 Proceedings of International Symposium on Functional and Logic Programming, 8475, 103-118 Proceedings of International Symposium on Functional and Logic Programming, 8475, 103-118 2014/04 Refereed English Research paper(international conference proceedings) Disclose to all
Kensuke Kojima,Atsushi Igarashi Kensuke Kojima,Atsushi Igarashi Kensuke Kojima,Atsushi Igarashi A Hoare Logic for SIMT Programs. A Hoare Logic for SIMT Programs. A Hoare Logic for SIMT Programs. Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, 8301, 58-73 Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, 8301, 58-73 Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, 8301, 58-73 2013/12 Refereed English Research paper(international conference proceedings) Disclose to all
Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara Layer Refinement in L Layer Refinement in L Layer Refinement in L 並列/分散/協調処理に関するサマー・ワークショップ (SWoPP) 並列/分散/協調処理に関するサマー・ワークショップ (SWoPP) 2013/08 English Research paper(research society, symposium materials, etc.) Disclose to all
Robert Hirschfeld, Hidehiko Masuhara, and Atsushi Igarashi Robert Hirschfeld, Hidehiko Masuhara, and Atsushi Igarashi Robert Hirschfeld, Hidehiko Masuhara, and Atsushi Igarashi L - Context-Oriented Programming Only with Layers L - Context-Oriented Programming Only with Layers L - Context-Oriented Programming Only with Layers Proceedings of International Workshop on Context-Oriented Programming (COP'13) Proceedings of International Workshop on Context-Oriented Programming (COP'13) Proceedings of International Workshop on Context-Oriented Programming (COP'13) 2013/07 Refereed English Research paper(international conference proceedings) Disclose to all
C. Saito; A. Igarashi C. Saito; A. Igarashi C. Saito; A. 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 Refereed English Research paper(scientific journal) Disclose to all
Naoki Kobayashi,Atsushi Igarashi Naoki Kobayashi,Atsushi Igarashi Naoki Kobayashi,Atsushi Igarashi Model-Checking Higher-Order Programs with Recursive Types. Model-Checking Higher-Order Programs with Recursive Types. Model-Checking Higher-Order Programs with Recursive Types. Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, 7792, 431-450 Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, 7792, 431-450 Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, 7792, 431-450 2013 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Robert Hirschfeld, and Hidehiko Masuhara Atsushi Igarashi, Robert Hirschfeld, and Hidehiko Masuhara Atsushi Igarashi, Robert Hirschfeld, and Hidehiko Masuhara A Type System for Dynamic Layer Composition A Type System for Dynamic Layer Composition A Type System for Dynamic Layer Composition Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL2012) Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL2012) Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL2012) 2012/10 Refereed English Research paper(international conference proceedings) Disclose to all
R. Jhala; A. Igarashi R. Jhala; A. Igarashi R. Jhala; A. Igarashi Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7705 LNCS, vi Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7705 LNCS, vi Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7705 LNCS, vi 2012 Refereed English Disclose to all
Kohei Suenaga,Ryota Fukuda,Atsushi Igarashi Kohei Suenaga,Ryota Fukuda,Atsushi Igarashi Kohei Suenaga,Ryota Fukuda,Atsushi Igarashi Type-based safe resource deallocation for shared-memory concurrency. Type-based safe resource deallocation for shared-memory concurrency. Type-based safe resource deallocation for shared-memory concurrency. Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012, 1-20 Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012, 1-20 Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012, 1-20 2012 Refereed English Research paper(international conference proceedings) Disclose to all
M. Appeltauer; S. González; R. Hirschfeld; H. Masuhara; J. Vallejos; S. Chiba; D. Clarke; M. Denker; A. Igarashi; T. Kamina; T. Rho; E. Truyen M. Appeltauer; S. González; R. Hirschfeld; H. Masuhara; J. Vallejos; S. Chiba; D. Clarke; M. Denker; A. Igarashi; T. Kamina; T. Rho; E. Truyen M. Appeltauer; S. González; R. Hirschfeld; H. Masuhara; J. Vallejos; S. Chiba; D. Clarke; M. Denker; A. Igarashi; T. Kamina; T. Rho; E. Truyen Preface Preface Preface International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP\\'12 International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP\\'12 International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP\\'12 2012 Refereed English Research paper(international conference proceedings) Disclose to all
K. Kojima; A. Igarashi K. Kojima; A. Igarashi K. Kojima; A. Igarashi Constructive linear-time temporal logic: Proof systems and Kripke semantics Constructive linear-time temporal logic: Proof systems and Kripke semantics Constructive linear-time temporal logic: Proof systems and Kripke semantics Information and Computation, 209, 12, 1491-1503 Information and Computation, 209, 12, 1491-1503 Information and Computation, 209, 12, 1491-1503 2011/12 Refereed English Research paper(scientific journal) Disclose to all
João Filipe Belo,Michael Greenberg,Atsushi Igarashi,Benjamin C. Pierce João Filipe Belo,Michael Greenberg,Atsushi Igarashi,Benjamin C. Pierce João Filipe Belo,Michael Greenberg,Atsushi Igarashi,Benjamin C. Pierce Polymorphic Contracts. Polymorphic Contracts. Polymorphic Contracts. Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, 6602, 18-37 Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, 6602, 18-37 Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, 6602, 18-37 2011 Refereed English Research paper(international conference proceedings) Disclose to all
Robert Hirschfeld,Atsushi Igarashi,Hidehiko Masuhara Robert Hirschfeld,Atsushi Igarashi,Hidehiko Masuhara Robert Hirschfeld,Atsushi Igarashi,Hidehiko Masuhara ContextFJ: a minimal core calculus for context-oriented programming. ContextFJ: a minimal core calculus for context-oriented programming. ContextFJ: a minimal core calculus for context-oriented programming. Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011, 19-23 Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011, 19-23 Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011, 19-23 2011 Refereed English Research paper(international conference proceedings) Disclose to all
Lintaro Ina,Atsushi Igarashi Lintaro Ina,Atsushi Igarashi Lintaro Ina,Atsushi Igarashi Gradual typing for generics. Gradual typing for generics. Gradual typing for generics. Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, 609-624 Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, 609-624 Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, 609-624 2011 Refereed English Research paper(international conference proceedings) Disclose to all
D. Ancona; S. Chiba; A. Igarashi; A. Kellens D. Ancona; S. Chiba; A. Igarashi; A. Kellens D. Ancona; S. Chiba; A. Igarashi; A. Kellens Special track on object-oriented languages and systems Special track on object-oriented languages and systems Special track on object-oriented languages and systems Proceedings of the ACM Symposium on Applied Computing, 1273-1274 Proceedings of the ACM Symposium on Applied Computing, 1273-1274 Proceedings of the ACM Symposium on Applied Computing, 1273-1274 2011 Refereed English Research paper(international conference proceedings) Disclose to all
T. Tsukada; A. Igarashi T. Tsukada; A. Igarashi T. Tsukada; A. 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 Refereed English Research paper(scientific journal) Disclose to all
H. Masuhara; A. Igarashi; M. Toyama H. Masuhara; A. Igarashi; M. Toyama H. Masuhara; A. Igarashi; M. Toyama Type relaxed weaving Type relaxed weaving Type relaxed weaving AOSD.10 - 9th International Conference on Aspect-Oriented Software Development, 121-132 AOSD.10 - 9th International Conference on Aspect-Oriented Software Development, 121-132 AOSD.10 - 9th International Conference on Aspect-Oriented Software Development, 121-132 2010 Refereed English Research paper(international conference proceedings) Disclose to all
S. Chiba; A. Igarashi; S. Zakirov S. Chiba; A. Igarashi; S. Zakirov S. Chiba; A. Igarashi; S. 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 the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 539-554 Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 539-554 Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 539-554 2010 Refereed English Research paper(international conference proceedings) Disclose to all
C. Saito; A. Igarashi C. Saito; A. Igarashi C. Saito; A. Igarashi Self type constructors Self type constructors Self type constructors ACM SIGPLAN Notices, 44, 10, 263-282 ACM SIGPLAN Notices, 44, 10, 263-282 ACM SIGPLAN Notices, 44, 10, 263-282 2009/10 Refereed English Research paper(international conference proceedings) Disclose to all
伊奈 林太郎; 五十嵐 淳 伊奈 林太郎; 五十嵐 淳 Featherweight Java のための漸進的型付け Featherweight Java のための漸進的型付け コンピュータソフトウェア, 26, 2, 18-40 コンピュータソフトウェア, 26, 2, 18-40 , 26, 2, 18-40 2009/04 Refereed Japanese Research paper(scientific journal) Disclose to all
T. Tsukada; A. Igarashi T. Tsukada; A. Igarashi T. Tsukada; A. Igarashi A logical foundation for environment classifiers A logical foundation for environment classifiers A logical foundation for environment classifiers Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5608, 341-355 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5608, 341-355 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5608, 341-355 2009 Refereed English Research paper(international conference proceedings) Disclose to all
E. Albert; A. Banerjee; S. Drossopoulou; M. Huisman; A. Igarashi; G.T. Leavens; P. Müller; T. Wrigstad E. Albert; A. Banerjee; S. Drossopoulou; M. Huisman; A. Igarashi; G.T. Leavens; P. Müller; T. Wrigstad E. Albert; A. Banerjee; S. Drossopoulou; M. Huisman; A. Igarashi; G.T. Leavens; P. Müller; T. 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5475, 70-76 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5475, 70-76 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5475, 70-76 2009 Refereed English Disclose to all
Lintaro Ina; Atsushi Igarashi Lintaro Ina; Atsushi Igarashi Lintaro Ina; Atsushi Igarashi Towards gradual typing for generics Towards gradual typing for generics Towards gradual typing for generics Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09, 17-29 Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09, 17-29 Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09, 17-29 2009 Refereed English Research paper(international conference proceedings) Disclose to all
Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Matching ThisType with Subtyping Matching ThisType with Subtyping Matching ThisType with Subtyping Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009), 1851-1858, 1851-1858 Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009), 1851-1858, 1851-1858 Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009), 1851-1858, 1851-1858 2009 Refereed English Research paper(international conference proceedings) Disclose to all
Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi 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/06 English Disclose to all
Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi Kensuke Kojima, Atsushi Igarashi On Constructive Linear-Time Temporal Logic On Constructive Linear-Time Temporal Logic On Constructive Linear-Time Temporal Logic Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08) Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08) Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08) 2008/06 English Research paper(international conference proceedings) Disclose to all
C. Saito; A. Igarashi; M. Viroli C. Saito; A. Igarashi; M. Viroli C. Saito; A. Igarashi; M. Viroli Lightweight family polymorphism Lightweight family polymorphism Lightweight family polymorphism Journal of Functional Programming, 18, 3, 285-331 Journal of Functional Programming, 18, 3, 285-331 Journal of Functional Programming, 18, 3, 285-331 2008/05 Refereed English Research paper(scientific journal) Disclose to all
M. Sato; T. Sakurai; Y. Kameyama; A. Igarashi M. Sato; T. Sakurai; Y. Kameyama; A. Igarashi M. Sato; T. Sakurai; Y. Kameyama; A. Igarashi Calculi of meta-variables Calculi of meta-variables Calculi of meta-variables Frontiers of Computer Science in China, 2, 1, 12-21 Frontiers of Computer Science in China, 2, 1, 12-21 Frontiers of Computer Science in China, 2, 1, 12-21 2008 Refereed English Research paper(scientific journal) Disclose to all
N. Shikuma; A. Igarashi N. Shikuma; A. Igarashi N. Shikuma; A. 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 Logical Methods in Computer Science, 4, 3 Logical Methods in Computer Science, 4, 3 Logical Methods in Computer Science, 4, 3 2008 Refereed English Research paper(scientific journal) Disclose to all
Atsushi Igarashi, Masashi Iwaki Atsushi Igarashi, Masashi Iwaki Atsushi Igarashi, Masashi Iwaki Deriving Compilers and Virtual Machines for a Multi-Lever Language Deriving Compilers and Virtual Machines for a Multi-Lever Language Deriving Compilers and Virtual Machines for a Multi-Lever Language Proceedings of Asian Symposium on Programming Languages and Systems (APLAS'07), 206-221 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS'07), 206-221 Proceedings of Asian Symposium on Programming Languages and Systems (APLAS'07), 206-221 2007/11 English Research paper(international conference proceedings) Disclose to all
岩間 太, 五十嵐 淳, 小林 直樹 岩間 太, 五十嵐 淳, 小林 直樹 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム 情報処理学会論文誌. プログラミング, 48, 4, 48-61 情報処理学会論文誌. プログラミング, 48, 4, 48-61 , 48, 4, 48-61 2007/03/15 Refereed Japanese Disclose to all
A. Igarashi; M. Viroli A. Igarashi; M. Viroli A. Igarashi; M. Viroli Variant path types for scalable extensibility Variant path types for scalable extensibility Variant path types for scalable extensibility ACM SIGPLAN Notices, 42, 10, 113-131 ACM SIGPLAN Notices, 42, 10, 113-131 ACM SIGPLAN Notices, 42, 10, 113-131 2007 Refereed English Research paper(international conference proceedings) Disclose to all
A. Igarashi; H. Nagira A. Igarashi; H. Nagira A. Igarashi; H. Nagira Union types for object-oriented programming Union types for object-oriented programming Union types for object-oriented programming Journal of Object Technology, 6, 2, 31-45 Journal of Object Technology, 6, 2, 31-45 Journal of Object Technology, 6, 2, 31-45 2007 Refereed English Research paper(scientific journal) Disclose to all
A. Igarashi; M. Iwaki A. Igarashi; M. Iwaki A. Igarashi; M. 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4807 LNCS, 206-221 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4807 LNCS, 206-221 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 4807 LNCS, 206-221 2007 Refereed English Research paper(international conference proceedings) Disclose to all
A. Igarashi; M. Viroli A. Igarashi; M. Viroli A. Igarashi; M. Viroli Variant path types for scalable extensibility Variant path types for scalable extensibility Variant path types for scalable extensibility Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 113-131 Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 113-131 Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 113-131 2007 Refereed English Research paper(international conference proceedings) Disclose to all
Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi Chieri Saito, Atsushi Igarashi The Essence of Lightweight Family Polymorphism The Essence of Lightweight Family Polymorphism The Essence of Lightweight Family Polymorphism Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), 27-41 Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), 27-41 Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), 27-41 2007 Refereed English Research paper(international conference proceedings) Disclose to all
Naokata Shikuma, Atsushi Igarashi Naokata Shikuma, Atsushi Igarashi Naokata Shikuma, Atsushi Igarashi Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus Proceedings of the 11th Annual Asian Computing Science Conference (ASIAN'06), 302-316 Proceedings of the 11th Annual Asian Computing Science Conference (ASIAN'06), 302-316 Proceedings of the 11th Annual Asian Computing Science Conference (ASIAN'06), 302-316 2006/12 English Research paper(international conference proceedings) Disclose to all
A. Igarashi; M. Viroli A. Igarashi; M. Viroli A. Igarashi; M. Viroli Variant parametric types: A flexible subtyping scheme for generics Variant parametric types: A flexible subtyping scheme for generics Variant parametric types: A flexible subtyping scheme for generics ACM Transactions on Programming Languages and Systems, 28, 5, 795-847 ACM Transactions on Programming Languages and Systems, 28, 5, 795-847 ACM Transactions on Programming Languages and Systems, 28, 5, 795-847 2006/09 Refereed English Research paper(scientific journal) Disclose to all
A. Igarashi; H. Nagira A. Igarashi; H. Nagira A. Igarashi; H. Nagira Union types for object-oriented programming Union types for object-oriented programming Union types for object-oriented programming Proceedings of the ACM Symposium on Applied Computing, 2, 1435-1441 Proceedings of the ACM Symposium on Applied Computing, 2, 1435-1441 Proceedings of the ACM Symposium on Applied Computing, 2, 1435-1441 2006 Refereed English Research paper(international conference proceedings) Disclose to all
Y. Yuse; A. Igarashi Y. Yuse; A. Igarashi Y. Yuse; A. Igarashi A modal type system for multi-level generating extensions with persistent code A modal type system for multi-level generating extensions with persistent code A modal type system for multi-level generating extensions with persistent code PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2006, 201-212 PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2006, 201-212 PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 2006, 201-212 2006 Refereed English Research paper(international conference proceedings) Disclose to all
F. Iwama; A. Igarashi; N. Kobayashi F. Iwama; A. Igarashi; N. Kobayashi F. Iwama; A. Igarashi; N. Kobayashi Resource usage analysis for a functional language with exceptions Resource usage analysis for a functional language with exceptions Resource usage analysis for a functional language with exceptions Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 38-47 Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 38-47 Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 38-47 2006 Refereed English Research paper(international conference proceedings) Disclose to all
A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi Resource usage analysis Resource usage analysis Resource usage analysis ACM Transactions on Programming Languages and Systems, 27, 2, 264-313 ACM Transactions on Programming Languages and Systems, 27, 2, 264-313 ACM Transactions on Programming Languages and Systems, 27, 2, 264-313 2005/03 Refereed English Research paper(scientific journal) Disclose to all
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 161-177 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 161-177 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 161-177 2005 Refereed English Research paper(international conference proceedings) Disclose to all
D. Ancona; R. Raje; M. Viroli; U. Bellur; V. Bono; J. Boyland; G. Castagna; A. Coglio; P. Cointe; P. Costanza; S. Drossopoulou; E. Ernst; G. Fox; J. Gray; A. Igarashi; R. Klefstad; D. Lea; M. Parashar; G. Rimassa; V. Sassone; Y. Smaragdakis; D. Syme; B. Tekinerdogan; J. Vitek; E. Zucca D. Ancona; R. Raje; M. Viroli; U. Bellur; V. Bono; J. Boyland; G. Castagna; A. Coglio; P. Cointe; P. Costanza; S. Drossopoulou; E. Ernst; G. Fox; J. Gray; A. Igarashi; R. Klefstad; D. Lea; M. Parashar; G. Rimassa; V. Sassone; Y. Smaragdakis; D. Syme; B. Tekinerdogan; J. Vitek; E. Zucca D. Ancona; R. Raje; M. Viroli; U. Bellur; V. Bono; J. Boyland; G. Castagna; A. Coglio; P. Cointe; P. Costanza; S. Drossopoulou; E. Ernst; G. Fox; J. Gray; A. Igarashi; R. Klefstad; D. Lea; M. Parashar; G. Rimassa; V. Sassone; Y. Smaragdakis; D. Syme; B. Tekinerdogan; J. Vitek; E. Zucca Editorial message: Special track on object oriented programming languages and systems Editorial message: Special track on object oriented programming languages and systems Editorial message: Special track on object oriented programming languages and systems Proceedings of the ACM Symposium on Applied Computing, 2, 1256-1257 Proceedings of the ACM Symposium on Applied Computing, 2, 1256-1257 Proceedings of the ACM Symposium on Applied Computing, 2, 1256-1257 2005 Refereed English Disclose to all
A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi A generic type system for the Pi-calculus A generic type system for the Pi-calculus A generic type system for the Pi-calculus Theoretical Computer Science, 311, 1-3, 121-163 Theoretical Computer Science, 311, 1-3, 121-163 Theoretical Computer Science, 311, 1-3, 121-163 2004/01 Refereed English Research paper(scientific journal) Disclose to all
Kenji Miyamoto,Atsushi Igarashi Kenji Miyamoto,Atsushi Igarashi Kenji Miyamoto,Atsushi Igarashi A modal foundation for secure information flow A modal foundation for secure information flow A modal foundation for secure information flow Proceedings of the Workshop on Foundations of Computer Security (FCS'04), number 31 in Turku Centre for Computer Science General Publication,187-203 Proceedings of the Workshop on Foundations of Computer Security (FCS'04), number 31 in Turku Centre for Computer Science General Publication,187-203 Proceedings of the Workshop on Foundations of Computer Security (FCS'04), number 31 in Turku Centre for Computer Science General Publication,187-203 2004 Refereed English Research paper(international conference proceedings) Disclose to all
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2803, 484-497 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2803, 484-497 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2803, 484-497 2003 Refereed English Research paper(international conference proceedings) Disclose to all
A. Igarashi; B.C. Pierce A. Igarashi; B.C. Pierce A. Igarashi; B.C. Pierce On Inner classes On Inner classes On Inner classes Information and Computation, 177, 1, 56-89 Information and Computation, 177, 1, 56-89 Information and Computation, 177, 1, 56-89 2002/08 Refereed English Research paper(scientific journal) Disclose to all
A. Igarashi; B.C. Pierce A. Igarashi; B.C. Pierce A. Igarashi; B.C. Pierce Foundations for virtual types Foundations for virtual types Foundations for virtual types Information and Computation, 175, 1, 34-49 Information and Computation, 175, 1, 34-49 Information and Computation, 175, 1, 34-49 2002/05 Refereed English Research paper(scientific journal) Disclose to all
A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi Resource usage analysis Resource usage analysis Resource usage analysis Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 37, 1, 331-342 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 37, 1, 331-342 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 37, 1, 331-342 2002/01 Refereed English Research paper(international conference proceedings) Disclose to all
Igarashi, A; Viroli, M Igarashi, A; Viroli, M Igarashi, A; Viroli, M On variance-based sub typing for parametric types On variance-based sub typing for parametric types On variance-based sub typing for parametric types ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2374, 441-469 ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2374, 441-469 ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING, 2374, 441-469 2002 Refereed English Research paper(international conference proceedings) Disclose to all
A. Igarashi; B.C. Pierce; P. Wadler A. Igarashi; B.C. Pierce; P. Wadler A. Igarashi; B.C. Pierce; P. Wadler Featherweight Java: A minimal core calculus for Java and GJ Featherweight Java: A minimal core calculus for Java and GJ Featherweight Java: A minimal core calculus for Java and GJ ACM Transactions on Programming Languages and Systems, 23, 3, 396-450 ACM Transactions on Programming Languages and Systems, 23, 3, 396-450 ACM Transactions on Programming Languages and Systems, 23, 3, 396-450 2001/05 Refereed English Research paper(scientific journal) Disclose to all
Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler A Recipe for Raw Types A Recipe for Raw Types A Recipe for Raw Types Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL8), 65-82 Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL8), 65-82 Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL8), 65-82 2001/01 Refereed English Research paper(international conference proceedings) Disclose to all
A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi A generic type system for the Pi-calculus A generic type system for the Pi-calculus A generic type system for the Pi-calculus Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 128-141 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 128-141 Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 128-141 2001 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Garbage Collection Based on a Linear Type System Garbage Collection Based on a Linear Type System Garbage Collection Based on a Linear Type System Proceedings of the 3rd ACM SIGPLAN Wokshop on Types in Compilation (TIC'00) Proceedings of the 3rd ACM SIGPLAN Wokshop on Types in Compilation (TIC'00) Proceedings of the 3rd ACM SIGPLAN Wokshop on Types in Compilation (TIC'00) 2000/09 Refereed English Research paper(international conference proceedings) Disclose to all
A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi A. Igarashi; N. Kobayashi Type reconstruction for linear Π-calculus with I/O subtyping Type reconstruction for linear Π-calculus with I/O subtyping Type reconstruction for linear Π-calculus with I/O subtyping Information and Computation, 161, 1, 1-44 Information and Computation, 161, 1, 1-44 Information and Computation, 161, 1, 1-44 2000/08 Refereed English Research paper(scientific journal) Disclose to all
Atsushi Igarashi and Benjamin C. Pierce Atsushi Igarashi and Benjamin C. Pierce Atsushi Igarashi and Benjamin C. Pierce On Inner Classes On Inner Classes On Inner Classes Proceedings of the 7th In- ternational Workshop on Foundations of Object-Oriented Languages (FOOL7) Proceedings of the 7th In- ternational Workshop on Foundations of Object-Oriented Languages (FOOL7) Proceedings of the 7th In- ternational Workshop on Foundations of Object-Oriented Languages (FOOL7) 2000/01 Refereed English Research paper(international conference proceedings) Disclose to all
Igarashi, A; Pierce, BC Igarashi, A; Pierce, BC Igarashi, A; Pierce, BC 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 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi and Benjamin C. Pierce Atsushi Igarashi and Benjamin C. Pierce Atsushi Igarashi and Benjamin C. Pierce Foundations for Virtual Types Foundations for Virtual Types Foundations for Virtual Types Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP'99), Springer LNCS 1628, pp. 161-185 Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP'99), Springer LNCS 1628, pp. 161-185 Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP'99), Springer LNCS 1628, pp. 161-185 1999/07 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi and Benjamin C. Pierce Atsushi Igarashi and Benjamin C. Pierce Atsushi Igarashi and Benjamin C. Pierce Foundations for Virtual Types Foundations for Virtual Types Foundations for Virtual Types Proceedings of the 6th International Workshop on Foundations of Object-Oriented Languages (FOOL6) Proceedings of the 6th International Workshop on Foundations of Object-Oriented Languages (FOOL6) Proceedings of the 6th International Workshop on Foundations of Object-Oriented Languages (FOOL6) 1999/01 Refereed English Research paper(international conference proceedings) Disclose to all
Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Atsushi Igarashi, Naoki Kobayashi Type-based Analysis of Communication for Concurrent Programming Languages Type-based Analysis of Communication for Concurrent Programming Languages Type-based Analysis of Communication for Concurrent Programming Languages Proceedings of the Fourth International Static Analysis Symposium, 187-201 Proceedings of the Fourth International Static Analysis Symposium, 187-201 Proceedings of the Fourth International Static Analysis Symposium, 187-201 1997/09 Refereed English Research paper(international conference proceedings) Disclose to all

  • <<
  • >>
Title language:
Misc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
五十嵐淳 五十嵐淳 日本ソフトウェア科学会第31回大会報告 日本ソフトウェア科学会第31回大会報告 コンピュータソフトウェア コンピュータソフトウェア 2015/02 Japanese Meeting report etc. Disclose to all
五十嵐淳, Jacques Garrigue, 古瀬 淳 五十嵐淳, Jacques Garrigue, 古瀬 淳 今熱い! 快進撃のOCaml 今熱い! 快進撃のOCaml ソフトウェアデザイン ソフトウェアデザイン 2014/01 Japanese Introduction and explanation (commerce magazine) Disclose to all
五十嵐 淳 五十嵐 淳 Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング 情報処理, 45, 6, 610-617 情報処理, 45, 6, 610-617 , 45, 6, 610-617 2004/06/15 Disclose to all
五十嵐 淳, 住井 英二郎 五十嵐 淳, 住井 英二郎 TACS 2001およびManfred Paul賞授賞式 TACS 2001およびManfred Paul賞授賞式 情報処理, 43, 2, 200-201 情報処理, 43, 2, 200-201 , 43, 2, 200-201 2002/02/05 Disclose to all
五十嵐 淳 五十嵐 淳 『正しい』ソフトウェアの構築法 - 型システムとその応用 『正しい』ソフトウェアの構築法 - 型システムとその応用 京都大学大学院情報学研究科 第5 回情報学シンポジウム 「情報社会の基盤を拓くソフトウェア研究」 平成12 年12 月10 日(火曜日)   「『正しい』ソフトウェアの構築法 - 型システムとその応用」 五十嵐 淳 氏(京都大学情報学研究科) 京都大学大学院情報学研究科 第5 回情報学シンポジウム 「情報社会の基盤を拓くソフトウェア研究」 平成12 年12 月10 日(火曜日)   「『正しい』ソフトウェアの構築法 - 型システムとその応用」 五十嵐 淳 氏(京都大学情報学研究科) 2000 Refereed Japanese Disclose to all
Title language:
Conference Activities & Talks
Title Title(Japanese) Title(English) Conference Conference(Japanese) Conference(English) Promotor Promotor(Japanese) Promotor(English) Date Language Assortment Disclose
トップカンファレンスに論文を通す方法 トップカンファレンスに論文を通す方法 日本ソフトウェア科学会第29回大会 日本ソフトウェア科学会第29回大会 日本ソフトウェア科学会 日本ソフトウェア科学会 2012/09 Japanese Symposium workshop panel(public) Disclose to all
Featherweight Approach to FOOL Featherweight Approach to FOOL European Conference on Object-Oriented Programming European Conference on Object-Oriented Programming AITO AITO 2011/07 English Oral presentation(keynote) Disclose to all
Towards Pactical Resource Usage Analysis Towards Pactical Resource Usage Analysis プログラム解析ワークショップ プログラム解析ワークショップ 日本IBM東京基礎研究所 日本IBM東京基礎研究所 2007/08 English Oral presentation(invited, special) Disclose to all
Processes as Types: A Generic Framework of Behavioral Type Systems Processes as Types: A Generic Framework of Behavioral Type Systems The 4th International Workshop on Foundations of Coordination Languages and Service Architectures The 4th International Workshop on Foundations of Coordination Languages and Service Architectures 2005/08 English Oral presentation(invited, special) Disclose to all
Title language:
Books etc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Publisher Publisher(Japanese) Publisher(English) Publication date Language Type Disclose
Atsushi Igarashi Atsushi Igarashi Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016. Proceedings Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016. Proceedings Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016. Proceedings Springer-Verlag Springer-Verlag Springer-Verlag 2016/11 Editor Disclose to all
Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday Springer-Verlag Springer-Verlag Springer-Verlag 2014 Joint Editor Disclose to all
Ranjit Jhala and Atsushi Igarashi Ranjit Jhala and Atsushi Igarashi Programming Languages and Systems: Proceedings of the 10th Asian Symposium, APLAS 2012 Programming Languages and Systems: Proceedings of the 10th Asian Symposium, APLAS 2012 Programming Languages and Systems: Proceedings of the 10th Asian Symposium, APLAS 2012 Springer-Verlag Springer-Verlag 2012/12 English Joint Editor Disclose to all
五十嵐 淳 五十嵐 淳 プログラミング言語の基礎概念 プログラミング言語の基礎概念 サイエンス社 サイエンス社 2011/07 Japanese Disclose to all
五十嵐 淳 五十嵐 淳 プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~ プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~ 技術評論社 技術評論社 2007/11/30 Japanese Disclose to all
Title language:
Patents
Inventor(s) Inventor(s) (Japanese) Inventor(s) (English) Title Title(Japanese) Title(English) Stage Patent number Date Disclose
末永 幸平, 今西 諒文, 五十嵐 淳 末永 幸平, 今西 諒文, 五十嵐 淳 プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム プログラム検証装置、プログラム検証方法、プログラム検証のためのコンピュータプログラム、プログラム変換器、プログラム変換方法、プログラム変換のためのコンピュータプログラム、プログラム製造方法、及び検証用プログラム 特許出願 特願2017-246154 2017/12/22 Disclose to all
Title language:
Awards
Title(Japanese) Title(English) Organization name(Japanese) Organization name(English) Date
第20回日本IBM科学賞(コンピュータサイエンス分野) 日本アイ・ビー・エム 2006/11/
第1回マイクロソフトリサーチ日本情報学研究賞(基礎的情報学分野) マイクロソフト株式会社 2009/11/
科学技術分野の文部科学大臣表彰 若手科学者賞 文部科学省 2009/4
ダール・ニゴール若手賞 Dahl-Nygaard Junior Prize AITO 2011/07
日本ソフトウェア科学会高橋奨励賞 日本ソフトウェア科学会 2015/09/
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
若手研究(B) Representative 高級並列言語の様々な安全性を保証するプログラム進 化支援つき汎用型システムの研究 2002-2002
若手研究(B) Representative 様相論理に基づいたプログラム解析手法の研究 2003/04/-2006/03/
科研費 若手(B) Representative ソフトウェア再利用性向上のための型理論に関する研究 2006/04/-2009/03/
科研費 特定研究 Representative 安全・安心な環境適応型ソフトウェアの基礎理論に関する研究 2006/04/__-2007/03/__
科研費 若手研究(A) Representative 静的・動的型付けの融合による安全かつ柔軟なプログラミング言語の理論と設計 2009/04/__-2013/03/__
科研費 基盤研究(B) Representative ソフトウェア契約に基づく高階型付プログラムの理論 Theory of Higher-order Programs Based on Software Contracts 2013/04/-
基盤研究(B) Representative ソフトウェア契約に基づく高階型付プログラムの理論 (平成26年度分) 2014/04/01-2015/03/31
基盤研究(B) Representative ソフトウェア契約に基づく高階型付プログラムの理論 (平成27年度分) 2015/04/01-2016/03/31
基盤研究(B) Representative ソフトウェア契約に基づく高階型付プログラムの理論 (平成28年度分) 2016/04/01-2017/03/31
基盤研究(B) Representative 現代的なプログラミング言語のための漸進的型システムの理論 2017/04/01-2020/03/31
基盤研究(B) Representative 現代的なプログラミング言語のための漸進的型システムの理論 (平成29年度分) 2017/04/01-2018/03/31

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

  • <<
  • >>
Participation in PhD Defense
Acquirer Title Position Date
齊藤 智恵理 A design and theory of strongly typed object-oriented programming languages for extensible recursive classes(拡張性の高い再帰的クラスのための型付オブジェクト指向言語の設計と理論) Sub 2010/03/23
小島 健介 Semantical study of intuitionistic modal logics(直観主義様相論理の意味論的研究) Sub 2012/03/26
田崎 豪 People Detection based on Points Tracked by an Omnidirectional Camera and Interaction Distance for Service Robots System(サービスロボットシステムのための全方位カメラによるトラッキング可能特徴点とインタラクション距離情報を用いた人物検出) Sub 2013/09/24
長尾 篤樹 Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems(木構造関数値評価問題と分岐プログラム充足性問題に対する計算複雑さ) Sub 2015/03/23
沓名 拓郎 Enhancing System Reliability using Abstraction and Efficient Logical Computation(抽象化技術と高速な論理演算を利用したシステムの高信頼化) Sub 2015/09/24
関山 太朗 An Integrated Theory of Type-Based Static and Dynamic Verification(型に基づく静的・動的検証の統合理論) Chief 2016/03/23
陳 晶 Studies on Approximation Algorithms for Bin-Packing and Train Delivery Problems (ビン詰め問題と列車配送問題に対する近似アルゴリズムの研究) Sub 2016/03/23
井上 裕昭 A Language-Based Approach to Robust Context-Aware Software(堅牢な文脈認識ソフトウェア開発のためのプログラミング言語の研究) Chief 2018/03/26
松本 亮介 Webサーバの高集積マルチテナントアーキテクチャに関する研究 Sub 2017/05/23
寺岡 秀敏 ネットワーク接続された組込みシステムの拡張性に関する研究 Sub 2019/03/25
Supervising student activities at clubs / circles
Club/circle name(Japanese) Club/circle name(English) Period
京都大学ギタークラブ 2017/05/-
School management (title, position)
Title Period
情報教育専門委員会 委員 2008/04/01-2010/03/31
国際教育プログラム委員会 委員 2014/04/01-2016/03/31
国際教育プログラム委員会委員 4号委員 2014/04/01-2016/03/31
図書館協議会 協議員 2016/04/01-2018/03/31
学際教育研究推進センター高大接続科学教育ユニットコーディネーション委員会委員 2016/08/19-2018/03/31
Faculty management (title, position)
Title Period
評価WG委員会委員 2011/04/01-2012/03/31
計算機小委員会委員 2011/04/01-2013/03/31
情報セキュリティ作業委員会委員 2012/04/01-2013/03/31
財務委員会委員 2013/04/01-2014/03/31
教務委員会委員長 2014/04/01-2015/03/31
制規委員会副委員長 2015/04/01-2016/03/31
情報セキュリティ委員会委員 2015/04/01-2016/03/31
制規委員会委員長 2016/04/01-2017/03/31
評価・広報委員会委員長 2017/04/01-2018/03/31
制規委員会副委員長 2017/04/01-2018/03/31
専攻長会議 2017/04/01-2018/03/31
情報セキュリティ委員会委員 2018/04/01-2019/03/31
専攻長 2018/04/01-2019/03/31
制規委員会委員長 2018/04/01-2019/03/31

  • <<
  • >>