1.PPL 2011開催報告

作　　者：河内谷清久仁 ;浅井健一

出　　处：コンピュータソフトウェア. 2011 ;28(4):4_63-4_68.

出版社：Japan Society for Software Science and Technology

文章 ID：103961185

文章详细全文下载
2.対称λ計算の基礎理論

作　　者：阪上紗里 ;浅井健一

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

出版社：Japan Society for Software Science and Technology

文章 ID：104502776

文章详细全文下载
3.限定継続処理の抽象機械導出のためのプログラム変換

作　　者：木谷有沙 ;浅井健一

出　　处：コンピュータソフトウェア. 2010 ;27(3):3_51-3_66.doi:10.11309/jssst.27.3_51

出版社：Japan Society for Software Science and Technology

文章 ID：104502848

文章详细全文下载
4.コンパイラの型推論を使用した型デバッガの提案

作　　者：対馬かなえ ;浅井健一

出　　处：コンピュータソフトウェア. 2013 ;30(1):1_180-1_186.doi:10.11309/jssst.30.1_180

出版社：Japan Society for Software Science and Technology

文章 ID：104503043

文章详细全文下载
5.重み付き型エラースライスの提案

作　　者：対馬かなえ ;浅井健一

出　　处：コンピュータソフトウェア. 2014 ;31(4):4_131-4_148.doi:10.11309/jssst.31.4_131

出版社：Japan Society for Software Science and Technology

文章 ID：108524828

文章详细全文下载
6.限定継続命令をもつ依存型付き言語の設計

作　　者：叢悠悠 ;浅井健一

出　　处：コンピュータソフトウェア. 2019 ;36(2):47-60.doi:10.11309/jssst.36.2_47

出版社：Japan Society for Software Science and Technology

文章 ID：239043371

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("浅井健一")))) )) ) )"

	浅井健一	6篇
	対馬かなえ	2篇
	叢悠悠	1篇
	木谷有沙	1篇
	河内谷清久仁	1篇

	2019	1篇
	2014	1篇
	2013	1篇
	2011	1篇
	2010	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("浅井 健一")))) )) ) )"

检索条件:"( ( 高级检索(( ((AU:(("浅井健一")))) )) ) )"