id:isgk

投稿一覧(最新100件)

まつもとゆきひろ "国際的ソフトウェアへの道"
まつもとゆきひろ "国際的ソフトウェアへの道"
IT好き放題:最近の大学の研究事情:盆栽研究のススメ
IT好き放題:最近の大学の研究事情:盆栽研究のススメ
アフェルト レナルド:定理証明支援系に基づく形式検証 -近年の実例の紹介とCoq入門-,情報処理,Vol.55,No.5,pp.482-491(2014).
アフェルト レナルド:定理証明支援系に基づく形式検証 -近年の実例の紹介とCoq入門-,情報処理,Vol.55,No.5,pp.482-491(2014).
オープンアクセス: 私たちはほぼ何でもつくれるようになる(田中浩也) 情報処理学会誌「情報処理」 Vol.52 No.8 (2011.7)
オープンアクセス: 私たちはほぼ何でもつくれるようになる(田中浩也) 情報処理学会誌「情報処理」 Vol.52 No.8 (2011.7)