操作の不変量に注目