コンピュータによるソファー問題の近似解法