五十嵐 淳

最終更新日時: 2018/06/13 09:04:00

印刷する

氏名(漢字/フリガナ/アルファベット表記)
五十嵐 淳/イガラシ アツシ/Atsushi Igarashi
所属部署・職名(部局/所属/講座等/職名)
情報学研究科/通信情報システム専攻コンピュータ工学講座/教授
学部兼担
部局 所属 講座等 職名
工学部 工学部 情報学科
連絡先住所
種別 住所(日本語) 住所(英語)
職場 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.
研究テーマ
(日本語)
プログラミング言語の基礎理論、型理論
(英語)
Principles of Programming Languages, Type Theory
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
プログラミング言語 Programming languages
型理論 Type Theory
プログラム検証 Program Verification
研究分野(科研費分類コード)
科研費分類コード
ソフトウエア
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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,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 英語 研究論文(国際会議プロシーディングス) 公開
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 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
馬谷 誠二, 藤原 康史, 五十嵐 淳 馬谷 誠二, 藤原 康史, 五十嵐 淳 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール 日本ソフトウェア科学会第33回大会論文集 日本ソフトウェア科学会第33回大会論文集 2016/09 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
奥村 健太郎, 小島 健介, 五十嵐 淳 奥村 健太郎, 小島 健介, 五十嵐 淳 SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証 SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集 2016/03 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
小林 恵, 五十嵐淳 小林 恵, 五十嵐淳 参照を備えた多段階計算のための多相的型システム 参照を備えた多段階計算のための多相的型システム 日本ソフトウェア科学会第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 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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
伊奈 林太郎; 五十嵐 淳 伊奈 林太郎; 五十嵐 淳 Featherweight Java のための漸進的型付け Featherweight Java のための漸進的型付け コンピュータソフトウェア,26,2,18-40 コンピュータソフトウェア,26,2,18-40 ,26,2,18-40 2009/04 日本語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
岩間 太, 五十嵐 淳, 小林 直樹 岩間 太, 五十嵐 淳, 小林 直樹 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム 情報処理学会論文誌. プログラミング,48,4,48-61 情報処理学会論文誌. プログラミング,48,4,48-61 ,48,4,48-61 2007/03/15 日本語 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 Π-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 英語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
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
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
五十嵐淳 五十嵐淳 日本ソフトウェア科学会第31回大会報告 日本ソフトウェア科学会第31回大会報告 コンピュータソフトウェア コンピュータソフトウェア 2015/02 日本語 会議報告等 公開
五十嵐淳, Jacques Garrigue, 古瀬 淳 五十嵐淳, Jacques Garrigue, 古瀬 淳 今熱い! 快進撃のOCaml 今熱い! 快進撃のOCaml ソフトウェアデザイン ソフトウェアデザイン 2014/01 日本語 総説・解説(商業誌、新聞、ウェブメディア) 公開
五十嵐 淳 五十嵐 淳 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 日本語 公開
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 開催年月日 記述言語 会議種別 公開
トップカンファレンスに論文を通す方法 トップカンファレンスに論文を通す方法 日本ソフトウェア科学会第29回大会 日本ソフトウェア科学会第29回大会 日本ソフトウェア科学会 日本ソフトウェア科学会 2012/09 日本語 シンポジウム・ワークショップパネル(公募) 公開
Featherweight Approach to FOOL Featherweight Approach to FOOL 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 プログラム解析ワークショップ プログラム解析ワークショップ 日本IBM東京基礎研究所 日本IBM東京基礎研究所 2007/08 英語 口頭発表(招待・特別) 公開
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 英語 口頭発表(招待・特別) 公開
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
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 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 英語 共編者 公開
五十嵐 淳 五十嵐 淳 プログラミング言語の基礎概念 プログラミング言語の基礎概念 サイエンス社 サイエンス社 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/
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
若手研究(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

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

  • <<
  • >>
  • 表示
博士学位審査
学位取得者名 学位論文タイトル 役割 年月
齊藤 智恵理 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
サークルの顧問
サークル名(日本語) サークル名(英語) 期間
京都大学ギタークラブ 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
部局運営(役職等)
役職名 期間
評価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

  • <<
  • >>
  • 表示