操作的意味論に言及した。