- 633 名前：１３２人目の素数さん [2011/12/07(水) 10:27:38.77 ]
- >>631
>コーディング上の爽快感と意味論は無関係だと思いますよ。
あそこの「爽快感」とは，表示的意味論によってどのような「目からウロコ
感」があるかというような意味でした．
>逐次から並列や分散へ進んだ体系では操作的であるほうが見通しても良くなるでしょうね。
その方がやりやすいだけ（あるいは単なる退却）なのではないですか？
むしろ並列＆分散体系に対してこそ表示的意味論の意義が鮮明になると思います．
なお「操作的」や「公理的」に「意味論」は似合わないです．
（最後の３行は分かりにくいでしょうか？）
