ポジティビティ仮定の違反を診断し対処する | Synapse