>>590
操作的意味論と表示的意味論の関係を述べよ