@techreport{weko_27190_1, author = "土井,伸洋 and 堀山,貴志 and 中西,正樹 and 木村,晋二", title = "非線形方程式と整数解の探索に基づく高位合成向けビット長最適化", year = "2005", institution = "早稲田大学大学院情報生産システム研究科, 京都大学大学院情報学研究科, 奈良先端科学技術大学院大学情報科学研究科, 早稲田大学大学院情報生産システム研究科", number = "27(2004-SLDM-119)", month = "mar" }