結局、手計算可能な解法あるの?