逆理演算/マドロック