しかしとくさんのパラドクスと>>371はどう解くのが良いんだろうなあ
解法が思い浮かばない