@techreport{weko_159086_1, author = "崔,ミン誠 and 福田,隆 and 神保,潮 and 五島,正裕 and 坂井,修一", title = "集合的な帰納的シミュレーション・ポイント選出手法の提案", year = "2016", institution = "東京大学大学院情報理工学系研究科, ソフトウェア&システム開発研究所, 国立情報学研究所, 国立情報学研究所, 東京大学大学院情報理工学系研究科", number = "13", month = "may" }