>>30
この推論が妥当であることをここで確定とする