Review Papers- SUMII Eijiro -
number of results to view: what to display: sort:
total:14
[2017]
1.パネルディスカッション「若手科学者と研究費」 (特集 若手科学者の現在と課題 : 若手科学者サミット).[学術の動向 = Trends in the sciences,22(12), (2017), 62-64]住井, 英二郎
[2016]
2.Preface for special section from FLOPS 2014.[J. Funct. Program.,26(e14), (2016), 1-2]Michael Codish, Eijiro Sumii
10.1017/S0956796816000149
3.若手アカデミーの発足.[学術の動向,21(3), (2016), 3_118-3_120]住井, 英二郎
10.5363/tits.21.3_118
4.私の非研究.[コンピュータ ソフトウェア,33(2), (2016), 2_92-2_93]住井, 英二郎
10.11309/jssst.33.2_92
[2015]
5.いまさら聞けない! コンピュータの数学:1. プログラミング言語の数学.[情報処理,56(5), (2015), 434-437]住井, 英二郎
[2014]
6.OCaml入門:“O”が示すもの.[日経BP社 日経ソフトウエア, (2014), 39-44]住井 英二郎
[2009]
7.特集「プログラミングおよびプログラミング言語」の編集にあたって.[コンピュータソフトウェア,26(2), (2009), 1-2]住井, 英二郎, 首藤, 一幸
10.11309/jssst.26.2_1
[2007]
8.spi計算における暗号プロトコルの形式的検証(<特集>数理的技法による情報セキュリティ).[応用数理,17(4), (2007), 280-290]住井, 英二郎
[2006]
9.安全なC言語~プログラミング言語研究の前線から.[ソフトバンク クリエイティブ オープンソースマガジン, (2006), 67-73]住井 英二郎
10.数理科学的バグ撲滅方法論のすすめ.[日経BP社 日経ITPro, (2006)]住井 英二郎
[2003]
11.暗号化通信のspi計算による形式的検証.[コンピュータ ソフトウェア,20(6), (2003), 607-616]住井, 英二郎
10.11309/jssst.20.607
[2002]
12.TACS2001およびManfred Paul賞授賞式.[情報処理,43(2), (2002), 200-201]五十嵐淳, 住井英二郎
[2001]
13.CSFW-14報告.[コンピュータ ソフトウェア,18(6), (2001), 637-641]住井, 英二郎
10.11309/jssst.18.637
[1999]
14.POPL/PEPM'99会議報告.[コンピュータソフトウェア,16(4), (1999), 372-377]住井, 英二郎, 小林, 直樹
Page: [1]
BackTop
copyright(c)2005 Tohoku University