@techreport{weko_31383_1, author = "水上達就", title = "最小化アルゴリズムの定式化についての一考察", year = "1984", institution = "釧路高専", number = "41(1984-PRO-029)", month = "oct" }