インバリアント
【いんばりあんと】
【inbarianto】
不变式
インバリアント
【いんばりあんと】
【inbarianto】
不变量