1.JAVA2 の Permission 機構のモデル化と実験

作　　者：戸沢晶彦 ;萩谷昌己

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

出版社：Japan Society for Software Science and Technology

文章 ID：104502415

文章详细全文下载
2.BDDを用いた2方向CTL論理式充足可能性決定手続きの実装

作　　者：田辺良則 ;高橋孝一 ;山本光晴等

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

出版社：Japan Society for Software Science and Technology

文章 ID：104502581

文章详细全文下载
3.min-plus代数N_∞上の様相μ計算

作　　者：五十嵐大 ;田辺良則 ;西澤弘毅等

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

出版社：Japan Society for Software Science and Technology

文章 ID：104502850

文章详细全文下载
4.Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定

作　　者：今井健男 ;酒井政裕 ;萩谷昌己

出　　处：コンピュータソフトウェア. 2013 ;30(2):2_207-2_226.doi:10.11309/jssst.30.2_207

出版社：Japan Society for Software Science and Technology

文章 ID：104503065

文章详细全文下载
5.高速なMCS列挙を利用した準最弱事前条件推定の改良

作　　者：今井健男 ;酒井政裕 ;萩谷昌己

出　　处：コンピュータソフトウェア. 2015 ;32(4):4_161-4_175.doi:10.11309/jssst.32.4_161

出版社：Japan Society for Software Science and Technology

文章 ID：126627865

文章详细全文下载
6.bit があった頃の研究

作　　者：萩谷昌己

出　　处：コンピュータソフトウェア. 2020 ;37(2):19-24.doi:10.11309/jssst.37.2_19

出版社：Japan Society for Software Science and Technology

文章 ID：254523515

文章详细全文下载
7.情報教育の格差と，情報学分野の参照基準：情報教育の基盤となる学問としての情報学

作　　者：萩谷昌己

出　　处：情報管理. 2016 ;59(7):472-478.doi:10.1241/johokanri.59.472

出版社：Japan Science and Technology Agency, Department of Advanced Databases

文章 ID：231665589

文章详细全文下载

	佐藤貴洋	1篇
	山本光晴	1篇
	戸沢晶彦	1篇
	西澤弘毅	1篇
	高橋孝一	1篇

	计算技术、计算机技术	6篇
	图书馆学、图书馆事业	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("萩谷昌己")))) )) ) )"

	萩谷昌己	7篇
	今井健男	2篇
	田辺良則	2篇
	酒井政裕	2篇
	五十嵐大	1篇

	2020	1篇
	2016	1篇
	2015	1篇
	2013	1篇
	2010	1篇

	2005	1篇
	2001	1篇

	コンピュータソフトウェア	6篇
	情報管理	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("萩谷 昌己")))) )) ) )"

检索条件:"( ( 高级检索(( ((AU:(("萩谷昌己")))) )) ) )"