>>895
そのチェックをする回路のチェックはどうするんだ?
と考えると、冗長コードのままで演算が出来なければいけないわけで