2009年 プログラム運算のためのCoqライブラリ 日本ソフトウエア科学会大会講演論文集(CD-ROM) 橋本英樹, HU Zhenjiang, TESSON Julien, LOULERGUE Frederic, 武市正人 記述言語 日本語 会議種別 リンク情報 URLhttp://jglobal.jst.go.jp/detail.php?from=API&JGLOBAL_ID=200902287656234945