@misc{weko_192203_1,
   author	 = "川古谷,裕平 and 岩村,誠 and 三好,潤 and 森,達哉",
   title	 = "シンボリック実行を利用したIOC変換"
}