研究者紹介
写真



著書論文等全件
氏名
住井 英二郎
SUMII Eijiro
所属
大学院情報科学研究科
情報基礎科学専攻
ソフトウェア科学講座
ソフトウェア基礎科学分野
職名
教授
学位
博士(情報理工学)
研究分野
  • 情報学基礎
  • ソフトウエア
全件表示
研究キーワード
プログラミング言語理論, ソフトウェア基礎科学, 関数型プログラミング, セキュリティ, 型システム, λ計算, π計算
所属学会
  • Association for Computing Machinery
  • 日本ソフトウェア科学会
  • 情報処理学会
全件表示
学会活動・学会役員
  • The 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)・プログラム委員長(2014-2016)
  • Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014)・プログラム共同委員長および実行委員長(2014)
  • 日本ソフトウェア科学会 プログラミング論研究会・運営委員長(2014-)
全件表示
主要著書

型システム入門 プログラミング言語と型の理論.[(2013)]Benjamin C. Pierce 著, 住井英二郎 監訳, 遠藤侑介・酒井政裕・今井敬吾・黒木裕介・今井宜洋・才川隆文・今井健男 共訳


数理的技法による情報セキュリティ.[共立出版,(2010)]萩谷昌巳, 塚田恭章 編, 住井英二郎 他 著


全件表示
主要論文

A Bisimulation for Type Abstraction and Recursion.[Journal of the ACM,54(5-26),(2007),1-43]Eijiro Sumii and Benjamin C. Pierce
10.1145/1284320.1284325


A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation.[Theoretical Computer Science,411(51-52),(2010),4358-4378]Eijiro Sumii
10.1016/j.tcs.2010.09.009


A Bisimulation for Dynamic Sealing.[Theoretical Computer Science,375(1-3),(2007),169-192]Eijiro Sumii and Benjamin C. Pierce
10.1016/j.tcs.2006.12.032


Logical Relations for Encryption.[Journal of Computer Security,11(4),(2003),521-554]Eijiro Sumii and Benjamin C. Pierce


MinCamlコンパイラ.[コンピュータソフトウェア,25(2),(2008),28-38]住井英二郎


全件表示
主要総説・解説記事

いまさら聞けない! コンピュータの数学:1. プログラミング言語の数学.[情報処理学会 情報処理,56(5), (2015), 434-437]住井英二郎


全件表示
学術関係受賞
  • ソフトウエアジャパンアワード(2014)
  • 日本学術振興会賞(2013)
  • 船井学術賞(2012)
  • 日本IBM科学賞(2011)
  • MSR日本情報学研究賞(2010)
全件表示
報道
  • 震災後「どう貢献」 若手研究者が自問自答(その他 新聞 日本経済新聞)(2011)
全件表示
学外の社会活動
  • Lightweight Language Futureセッション「LLで未来を発明する」(講演会・セミナー)(2008)
全件表示
外部機関における活動
    全件表示
    行政機関・企業・NPO等参加
    • Global Young Academy(その他) Member(2015-2020)
    • 内閣府 日本学術会議(国) 若手アカデミー 構成員(2015年2月24日~継続中 幹事)(2014-)
    • 内閣府 日本学術会議(国) 連携会員(2014-2020)
    全件表示
    オープンキャンパス・研究所公開等
      全件表示
      ホームページ
      http://www.kb.ecei.tohoku.ac.jp/~sumii/
      データ更新日
      2016.02.12
      Englishこのページのトップへ
      copyright(c)2005 Tohoku University