研究課題
若手研究(A)
コンピュータプログラムやネットワークにおける暗号化や抽象化など、さまざまな形の情報保護の統一的基礎理論を研究した。特に、ループないし再帰関数、再帰型(リストや木など)、多相型ないしジェネリックス、抽象データ型ないしオブジェクトなど、幅広い現実的機能を有する計算体系における情報保護の数理論理学的証明手法を世界で初めて確立し、Journal of the ACMやIEEE LICSなど最高水準の国際論文誌・国際学会に採録・発表された。
すべて 2009 2008 2007 2006 その他
すべて 雑誌論文 (7件) (うち査読あり 6件) 学会発表 (3件) 備考 (1件)
Proceedings of 18th European Symposium on Programming, (Lecture Notes in Computer Science, Springer-Verlag, Germany) vol. 550
ページ: 237-251
コンピュータソフトウェア, (岩波書店) 25巻2号
ページ: 28-38
応用数理, (岩波書店) 17巻4号
ページ: 16-26
Journal of the ACM, (issue 5, article 26) vol. 54
ページ: 1-43
Proceedings of Twenty-Second Annual IEEE Symposium on Logic in Computer Science
ページ: 293-302
Elsevier Science, (issues 1-3) vol. 375
ページ: 169-192
Post-Proceedings of IPM International Symposium on Fundamentals of Software Engineering, (Lecture Notes in Computer Science, Springer-Verlag, Germany) vol. 4767
ページ: 364-379
http://www.kb.ecei.tohoku.ac.jp/~sumii/
