2009年度高専体験実習: 整数計画法によるパズル解法