2013年1月 Cコンパイラの算術最適化のランダムテストにおける式生成の強化 電子情報通信学会技術研究報告, VLD2012-117 永井絵里子, 橋本淳史, 石浦菜岐佐 記述言語 日本語 会議種別 口頭発表(一般) 開催地 慶応義塾大学日吉キャンパス