含意演算
【がんいえんざん】
【ganienzan】
蕴含操作