意味論の話にもどるけど、
計算機科学固有の意味論は操作的なものだろ？

表示的意味は、
数学（つまり集合と写像）による、解釈だから。