@misc{weko_16174_1,
   author	 = "笹島,和幸 and 天谷,賢治 and 福田,光浩 and 山下,真",
   title	 = "計算機支援数理",
   howpublished	 = "application/pdf"
}