1.CSFW-14報告

作　　者：住井英二郎

出　　处：コンピュータソフトウェア. 2001 ;18(6):637-641.doi:10.11309/jssst.18.637

出版社：Japan Society for Software Science and Technology

文章 ID：104502418

文章详细全文下载
2.安全性を保証する ANSI-C 実行系の実装手法

作　　者：大岩寛 ;住井英二郎 ;米澤明憲

出　　处：コンピュータソフトウェア. 2002 ;19(3):195-200.doi:10.11309/jssst.19.195

出版社：Japan Society for Software Science and Technology

文章 ID：104502438

文章详细全文下载
3.暗号化通信のspi計算による形式的検証

作　　者：住井英二郎

出　　处：コンピュータソフトウェア. 2003 ;20(6):607-616.doi:10.11309/jssst.20.607

出版社：Japan Society for Software Science and Technology

文章 ID：104502509

文章详细全文下载
4.MinCamlコンパイラ

作　　者：住井英二郎

出　　处：コンピュータソフトウェア. 2008 ;25(2):2_28-2_38.doi:10.11309/jssst.25.2_28

出版社：Japan Society for Software Science and Technology

文章 ID：104502716

文章详细全文下载
5.Java言語への変換によるポインタ演算の安全な実装方式

作　　者：上嶋祐紀 ;住井英二郎

出　　处：コンピュータソフトウェア. 2009 ;26(1):1_139-1_154.doi:10.11309/jssst.26.1_139

出版社：Japan Society for Software Science and Technology

文章 ID：104502774

文章详细全文下载
6.特集「プログラミングおよびプログラミング言語」の編集にあたって

作　　者：住井英二郎 ;首藤一幸

出　　处：コンピュータソフトウェア. 2009 ;26(2):2_1-2_2.doi:10.11309/jssst.26.2_1

出版社：Japan Society for Software Science and Technology

文章 ID：104502775

文章详细全文下载
7.無限の入出力を行う関数型プログラムの K正規化の形式的検証

作　　者：水野雅之 ;住井英二郎

出　　处：コンピュータソフトウェア. 2017 ;34(2):2_114-2_119.doi:10.11309/jssst.34.2_114

出版社：Japan Society for Software Science and Technology

文章 ID：197752095

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("住井英二郎")))) )) ) )"

	住井英二郎	7篇
	上嶋祐紀	1篇
	大岩寛	1篇
	水野雅之	1篇
	米澤明憲	1篇

	2017	1篇
	2009	2篇
	2008	1篇
	2003	1篇
	2002	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("住井 英二郎")))) )) ) )"

检索条件:"( ( 高级检索(( ((AU:(("住井英二郎")))) )) ) )"