五十嵐 淳

最終更新日時:2017/07/14 15:32:52

印刷する

氏名(漢字/フリガナ/アルファベット表記)
五十嵐 淳/イガラシ アツシ/Atsushi Igarashi
所属部署・職名(部局/所属/講座等/職名)
情報学研究科/通信情報システム専攻コンピュータ工学講座/教授
学部兼担
部局 所属 講座等 職名
工学部 工学部 情報学科
連絡先住所
種別 住所(日本語) 住所(英語)
職場 606-8501 京都府京都市左京区吉田本町 Yoshida-Honmachi, Sakyo-ku Kyoto 606-8501, Japan
所属学会(国内)
学会名(日本語) 学会名(英語)
日本ソフトウェア科学会 Japan Society for Software Science and Technology
所属学会(海外)
学会名(英語) 国名
Association for Computing Machinery USA
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(理学) 東京大学
博士(理学) 東京大学
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
東京大学 大学院理学系研究科情報科学専攻博士課程 修了
東京大学 大学院理学系研究科情報科学専攻修士課程 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
東京大学 理学部情報科学科 卒業
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
1997/04/01〜2000/03/31 日本学術振興会 特別研究員(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
プロフィール
(日本語)
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, gradual typing
研究分野(科研費分類コード)
科研費分類コード
ソフトウエア
論文 > 論文
(文系研究者の一般的な論文集への寄稿や単行本の分担執筆などは「著書等」を参照してください)
著者名 タイトル 書誌情報等 年月 査読の有無 言語
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler Gradual Session Types Proceedings of the ACM on Programming Languages,1,ICFP 2017/09 英語
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi On Polymorphic Gradual Typing Proceedings of the ACM on Programming Languages,1,ICFP 2017/09 英語
Kensuke Kojima and Atsushi Igarashi A Hoare Logic for GPU Kernels ACM Transactions on Computational Logic,18,1,3:1-3:43 2017/02 英語
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg Polymorphic Manifest Contracts, Revised and Resolved ACM Transactions on Programming Languages and Systems,39,1,3:1-3:36 2017/01 英語
Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff Visibility of Context-oriented Behavior and State in L Computer Software 2015 英語
C. Saito; A. Igarashi Matching MyType to subtyping Science of Computer Programming,78,7,933-952 2013 英語
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),7705 LNCS,vi 2012 英語
K. Kojima; A. Igarashi Constructive linear-time temporal logic: Proof systems and Kripke semantics Information and Computation,209,12,1491-1503 2011/12 英語
T. Tsukada; A. Igarashi A logical foundation for environment classifiers Logical Methods in Computer Science,6,4 2010 英語
伊奈 林太郎; 五十嵐 淳 Featherweight Java のための漸進的型付け コンピュータソフトウェア,26,2,18-40 2009/04 日本語
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),5475 LNCS,70-76 2009 英語
Chieri Saito, Atsushi Igarashi The Essence of Lightweight Family Polymorphism Journal of Object Technology,7,5,67-99 2008/06 英語
C. Saito; A. Igarashi; M. Viroli Lightweight family polymorphism Journal of Functional Programming,18,285-331 2008/05 英語
M. Sato; T. Sakurai; Y. Kameyama; A. Igarashi Calculi of meta-variables Frontiers of Computer Science in China,2,1,12-21 2008 英語
N. Shikuma; A. Igarashi Proving noninterference by a fully complete translation to the simply typed λ-calculus Logical Methods in Computer Science,4,3 2008 英語
岩間 太, 五十嵐 淳, 小林 直樹 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム 情報処理学会論文誌. プログラミング,48,4,48-61 2007/03/15 日本語
A. Igarashi; H. Nagira Union types for object-oriented programming Journal of Object Technology,6,2,31-45 2007 英語
A. Igarashi; M. Viroli Variant parametric types: A flexible subtyping scheme for generics ACM Transactions on Programming Languages and Systems,28,5,795-847 2006/09 英語
A. Igarashi; N. Kobayashi Resource usage analysis ACM Transactions on Programming Languages and Systems,27,2,264-313 2005/03 英語
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 Proceedings of the ACM Symposium on Applied Computing,2,1256-1257 2005 英語
A. Igarashi; N. Kobayashi A generic type system for the Pi-calculus Theoretical Computer Science,311,1-3,121-163 2004/01 英語
A. Igarashi; B.C. Pierce On Inner classes Information and Computation,177,1,56-89 2002/08 英語
A. Igarashi; B.C. Pierce Foundations for virtual types Information and Computation,175,1,34-49 2002/05 英語
A. Igarashi; B.C. Pierce; P. Wadler Featherweight Java: A minimal core calculus for Java and GJ ACM Transactions on Programming Languages and Systems,23,3,396-450 2001/05 英語
A. Igarashi; N. Kobayashi Type reconstruction for linear Π-calculus with I/O subtyping Information and Computation,161,1,1-44 2000/08 英語

  • <<
  • >>
  • 表示
論文 > 国際学会
(文系研究者の一般的な論文集への寄稿や単行本の分担執筆などは「著書等」を参照してください)
著者名 タイトル 書誌情報等 年月 査読の有無 言語
Taro Sekiyama and Atsushi Igarashi Stateful Manifest Contracts Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,530-544 2017/01 英語
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi Verification of Code Generators via Higher-Order Model Checking Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,59-70 2017/01 英語
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Automated Verification of Functional Correctness of Race-Free sGPU Programs Proceedings of the 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016),90-106 2016/11 英語
Hiroaki Inoue, Atsushi Igarashi A Library-Based Approach to Context-Dependent Computation with Reactive Values Proceedings of The Constrained and Reactive Objects Workshop 2016/03 英語
Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi Shifting the Blame: A Blame Calculus with Static Delimited Control Proceedings of Asian Symposium on Programming Languages and Systems,9458,189-207 2015/11 英語
Hiroaki Inoue, Atsushi Igarashi A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers Proceedings of Asian Symposium on Programming Languages and Systems,9458,445-464 2015/11 英語
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi 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 2015/07 英語
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi Manifest Contracts for Datatypes Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL),195-207 2015/01 英語
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi Automatic Memory Management Based on Program Transformation using Ownerships Proceedings of Asian Symposium on Programming Languages and Systems (APLAS),8858,58-77 2014/11 英語
Minoru Kinoshita, Kohei Suenaga, Atsushi Igarashi 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) 2014/09 英語
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 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 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 2014/07 英語
Yuichiro Hanada, Atsushi Igarashi On Cross-Stage Persistence in Multi-Stage Programming Proceedings of International Symposium on Functional and Logic Programming,8475,103-118 2014/04 英語
Kensuke Kojima,Atsushi Igarashi 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 2013/12 英語
Robert Hirschfeld, Hidehiko Masuhara, and Atsushi Igarashi L - Context-Oriented Programming Only with Layers Proceedings of International Workshop on Context-Oriented Programming (COP'13) 2013/07 英語
Naoki Kobayashi,Atsushi Igarashi 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,431-450 2013 英語
Atsushi Igarashi, Robert Hirschfeld, and Hidehiko Masuhara A Type System for Dynamic Layer Composition Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL2012) 2012/10 英語
Kohei Suenaga,Ryota Fukuda,Atsushi Igarashi 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 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 Preface International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP\\'12 2012 英語
João Filipe Belo,Michael Greenberg,Atsushi Igarashi,Benjamin C. Pierce 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,18-37 2011 英語
Robert Hirschfeld,Atsushi Igarashi,Hidehiko Masuhara 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 2011 英語
Lintaro Ina,Atsushi Igarashi 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 2011 英語
D. Ancona; S. Chiba; A. Igarashi; A. Kellens Special track on object-oriented languages and systems Proceedings of the ACM Symposium on Applied Computing,1273-1274 2011 英語
H. Masuhara; A. Igarashi; M. Toyama Type relaxed weaving AOSD.10 - 9th International Conference on Aspect-Oriented Software Development,121-132 2010 英語
S. Chiba; A. Igarashi; S. Zakirov 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 2010 英語
C. Saito; A. Igarashi Self type constructors ACM SIGPLAN Notices,44,10,263-282 2009/10 英語
T. Tsukada; A. Igarashi A logical foundation for environment classifiers Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),5608 LNCS,341-355 2009 英語
L. Ina; A. Igarashi 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 2009 英語
Chieri Saito, Atsushi Igarashi Matching ThisType with Subtyping Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009), 1851-1858 2009 英語
Kensuke Kojima, Atsushi Igarashi On Constructive Linear-Time Temporal Logic Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08) 2008/06 英語
Atsushi Igarashi, Masashi Iwaki Deriving Compilers and Virtual Machines for a Multi-Lever Language Proceedings of Asian Symposium on Programming Languages and Systems (APLAS'07),206-221 2007/11 英語
A. Igarashi; M. Viroli Variant path types for scalable extensibility ACM SIGPLAN Notices,42,10,113-131 2007 英語
A. Igarashi; M. Iwaki 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 2007 英語
A. Igarashi; M. Viroli Variant path types for scalable extensibility Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA,113-131 2007 英語
Chieri Saito, Atsushi Igarashi The Essence of Lightweight Family Polymorphism Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), 27-41 2007 英語
Naokata Shikuma, Atsushi Igarashi 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 2006/12 英語
A. Igarashi; H. Nagira Union types for object-oriented programming Proceedings of the ACM Symposium on Applied Computing,2,1435-1441 2006 英語
Y. Yuse; A. Igarashi 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 2006 英語
F. Iwama; A. Igarashi; N. Kobayashi 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 2006 英語
A. Igarashi; C. Saito; M. Viroli Lightweight family polymorphism Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),3780 LNCS,161-177 2005 英語
Kenji Miyamoto,Atsushi Igarashi 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 2004 英語
M. Sato; T. Sakurai; Y. Kameyama; A. Igarashi Calculi of meta-variables Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2803,484-497 2003 英語
A. Igarashi; N. Kobayashi Resource usage analysis Conference Record of the Annual ACM Symposium on Principles of Programming Languages,37,1,331-342 2002/01 英語
Igarashi, A; Viroli, M On variance-based sub typing for parametric types ECOOP 2002 - OBJECT-ORIENTED PROGRAMMING,2374,441-469 2002 英語
Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler A Recipe for Raw Types Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL8),65-82 2001/01 英語
A. Igarashi; N. Kobayashi A generic type system for the Pi-calculus Conference Record of the Annual ACM Symposium on Principles of Programming Languages,128-141 2001 英語
Atsushi Igarashi, Naoki Kobayashi Garbage Collection Based on a Linear Type System Proceedings of the 3rd ACM SIGPLAN Wokshop on Types in Compilation (TIC'00) 2000/09 英語
Atsushi Igarashi and Benjamin C. Pierce On Inner Classes Proceedings of the 7th In- ternational Workshop on Foundations of Object-Oriented Languages (FOOL7) 2000/01 英語
Igarashi, A; Pierce, BC On inner classes ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING,1850,129-153 2000 英語
Atsushi Igarashi and Benjamin C. Pierce Foundations for Virtual Types 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 Foundations for Virtual Types Proceedings of the 6th International Workshop on Foundations of Object-Oriented Languages (FOOL6) 1999/01 英語
Atsushi Igarashi, Naoki Kobayashi Type-based Analysis of Communication for Concurrent Programming Languages Proceedings of the Fourth International Static Analysis Symposium,187-201 1997/09 英語

  • <<
  • >>
  • 表示
論文 > 国内学会
(文系研究者の一般的な論文集への寄稿や単行本の分担執筆などは「著書等」を参照してください)
著者名 タイトル 書誌情報等 年月 査読の有無 言語
Yusuke Miyazaki, Atsushi Igarashi A Type Reconstruction Algorithm for Gradually Typed Delimited Continuations 第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)論文集 2017/03 英語
Qi Tan, Kohei Suenaga, Atsushi Igarashi An Extended Behavioral Type System for Memory-Leak Freedom 2016/09 英語
馬谷 誠二, 藤原 康史, 五十嵐 淳 階層的グループ化に基づきAndroidアプリの安全性を向上するバイトコード書換えツール 日本ソフトウェア科学会第33回大会論文集 2016/09 日本語
奥村 健太郎, 小島 健介, 五十嵐 淳 SIMT のための Hoare 論理の Coq を用いた形式化と 並列 prefix-sum アルゴリズムの検証 第18回プログラミングおよびプログラミング言語ワークショップ(PPL2016)論文集 2016/03
小林 恵, 五十嵐淳 参照を備えた多段階計算のための多相的型システム 日本ソフトウェア科学会第32回大会論文集 2015/09 日本語
Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara Layer Refinement in L 2013/08 英語
学会発表等 > 学会発表等
(文系研究者の一般的な学会報告の業績は「講演等」を参照してください)
著者名 タイトル 書誌情報等 年月 査読の有無 言語
五十嵐 淳 Generic Java : 多相的型付けによる安全かつ再利用性の高いオブジェクト指向プログラミング 情報処理,45,6,610-617 2004/06/15
五十嵐 淳, 住井 英二郎 TACS 2001およびManfred Paul賞授賞式 情報処理,43,2,200-201 2002/02/05
五十嵐 淳 『正しい』ソフトウェアの構築法 - 型システムとその応用 京都大学大学院情報学研究科 第5 回情報学シンポジウム 「情報社会の基盤を拓くソフトウェア研究」 平成12 年12 月10 日(火曜日)   「『正しい』ソフトウェアの構築法 - 型システムとその応用」 五十嵐 淳 氏(京都大学情報学研究科) 2000 日本語
学会発表等 > その他
(文系研究者の一般的な学会報告の業績は「講演等」を参照してください)
著者名 タイトル 書誌情報等 年月 査読の有無 言語
五十嵐淳 日本ソフトウェア科学会第31回大会報告 コンピュータソフトウェア 2015/02 日本語
五十嵐淳, Jacques Garrigue, 古瀬 淳 今熱い! 快進撃のOCaml ソフトウェアデザイン 2014/01 日本語
講演等 > 招待講演
(文系研究者の一般的な学会報告はこの項に収録されております)
タイトル 会合名 開催主体 年月 言語
Towards Pactical Resource Usage Analysis プログラム解析ワークショップ 日本IBM東京基礎研究所 2007/08 英語
Processes as Types: A Generic Framework of Behavioral Type Systems The 4th International Workshop on Foundations of Coordination Languages and Service Architectures 2005/08 英語
講演等 > 基調講演
(文系研究者の一般的な学会報告はこの項に収録されております)
タイトル 会合名 開催主体 年月 言語
Featherweight Approach to FOOL European Conference on Object-Oriented Programming AITO 2011/07 英語
講演等 > パネル
(文系研究者の一般的な学会報告はこの項に収録されております)
タイトル 会合名 開催主体 年月 言語
トップカンファレンスに論文を通す方法 日本ソフトウェア科学会第29回大会 日本ソフトウェア科学会 2012/09 日本語
著書等 > 著書
著者名 タイトル 出版社等 年月 言語
五十嵐 淳 プログラミング言語の基礎概念 サイエンス社 2011/07 日本語
五十嵐 淳 プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~ 技術評論社 2007/11/30 日本語
著書等 > その他
著者名 タイトル 出版社等 年月 言語
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016. Proceedings Springer-Verlag 2016/11
Ranjit Jhala and Atsushi Igarashi Programming Languages and Systems: Proceedings of the 10th Asian Symposium, APLAS 2012 Springer-Verlag 2012/12 英語
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
第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
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 期間
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

  • <<
  • >>
  • 表示
博士学位審査
学位取得者名 学位論文タイトル 役割 年月
齊藤 智恵理 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
全学運営(役職等)
役職名 期間
情報教育専門委員会 委員 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
部局運営(役職等)
役職名 期間
評価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

  • <<
  • >>
  • 表示