>>225
論理学の観点から言ってる？それとも計算機科学の観点？
計算機科学で操作的意味論なんて呼ばれているものは
論理学の観点からすれば証明論でしかない。