堅実バイナリー

矛盾点をどう処理するか