ホワット・ア・ワンダフル・ワールド セマンティクスsoutaroにっき 2008-05-30 ■セマンティクス ひげぽん OSとか作っちゃうかMona- 2008/05/30 セマンティクスって？ セマンティクスを議論するためには，計算モデルを決めないといけません． 計算モデルが決まれば，状態の表現方法が決まり，「計算」という概念が決まります． 計算というのは，状態変化の列のことです． 計算が決まれば，計算とプログラムの対応関係を決定することができます． その，対応関係のことが 「意味論 (semantics)」だと思います． 任意のプログラム空間 P 内のプログラム p ∈ P と，任意の計算空間 C 内の計算（状態の変化列） c ∈ C の組 ＜p, c＞ が意味論という気がします （いや，メチャクチャテキトーで，個人的なイメージですけど） ここらへんを真面目に考えているのは，たぶん等価変換計算モデル(Equivalent Trans
