>>760
完全なライブラリで検証可能な形にしたIutは検証可能じゃない？
12の目的が完了したら決着がつく
できなきゃ１２の目的のどちらかが不完全
12いずれにせよIutはだめになりそうだが