1.テスト付きクリーニ代数の準代数構造

作　　者：木下佳樹 ;古澤仁

出　　处：コンピュータソフトウェア. 2003 ;20(2):163-169.doi:10.11309/jssst.20.163

出版社：Japan Society for Software Science and Technology

文章 ID：104502476

文章详细全文下载

2.産総研システム検証研究センター紹介

作　　者：木下佳樹

出　　处：コンピュータソフトウェア. 2004 ;21(4):307-310.doi:10.11309/jssst.21.307

出版社：Japan Society for Software Science and Technology

文章 ID：104502538

文章详细全文下载

3.特集「システム検証の科学技術」の編集にあたって

作　　者：木下佳樹

出　　处：コンピュータソフトウェア. 2005 ;22(1):1_1.doi:10.11309/jssst.22.1_1

出版社：Japan Society for Software Science and Technology

文章 ID：104502556

文章详细全文下载

4.特集「続・システム検証の科学技術」の編集にあたって

作　　者：木下佳樹

出　　处：コンピュータソフトウェア. 2005 ;22(3):3_36.doi:10.11309/jssst.22.3_36

出版社：Japan Society for Software Science and Technology

文章 ID：104502574

文章详细全文下载

5.特集「システム検証の科学技術」の編集にあたって

作　　者：木下佳樹 ;高橋孝一

出　　处：コンピュータソフトウェア. 2006 ;23(3):3_1-3_2.doi:10.11309/jssst.23.3_1

出版社：Japan Society for Software Science and Technology

文章 ID：104502627

文章详细全文下载

6.PMLのための述語抽象化の代数意味論

作　　者：木下佳樹 ;西澤弘毅

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

出版社：Japan Society for Software Science and Technology

文章 ID：104502784

文章详细全文下载

7.Agate(アガテ)–AgdaからHaskellへのコンパイラ

作　　者：尾崎弘幸 ;武山誠 ;木下佳樹

出　　处：コンピュータソフトウェア. 2009 ;26(4):4_107-4_119.doi:10.11309/jssst.26.4_107

出版社：Japan Society for Software Science and Technology

文章 ID：104502808

文章详细全文下载

8.『ソフトウェアサイエンスの基本』シリーズ第2回帰納と再帰 —表示的意味論の第一歩—

作　　者：木下佳樹

出　　处：コンピュータソフトウェア. 2012 ;29(1):1_30-1_46.doi:10.11309/jssst.29.1_30

出版社：Japan Society for Software Science and Technology

文章 ID：104502966

文章详细全文下载

9.Do the right things

作　　者：木下佳樹

出　　处：コンピュータソフトウェア. 2012 ;29(2):2_89.doi:10.11309/jssst.29.2_89

出版社：Japan Society for Software Science and Technology

文章 ID：104502990

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("木下佳樹")))) )) ) )"

	木下佳樹	9篇
	古澤仁	1篇
	尾崎弘幸	1篇
	武山誠	1篇
	西澤弘毅	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("木下 佳樹")))) )) ) )"

检索条件:"( ( 高级检索(( ((AU:(("木下佳樹")))) )) ) )"