タイプ一致の最適構成じゃないとラプラスに勝てない間抜けなのか?