フタ　ユウイチ   Futa Yuichi   布田　裕一    所属   コンピュータサイエンス学部 コンピュータサイエンス学科    職種   教授
言語種別	英語
発行・発表の年月	2013/08
形態種別	学術論文
査読	査読あり
標題	Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar
執筆形態	共著
掲載誌名	Artificial Intelligence Research
掲載区分	国外
出版社・発行元	Sciedu Press
巻・号・頁	2(4),pp.37-48
著者・共著者	Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama