逆理演算/ディアマンテ