ahiromasa

<ul>
<li>形式的意味論
<ul>
<li>操作的意味論
<ul>
<li>プログラムの意味を抽象機械の内部状態の遷移（ステップ）として記述する方法</li>
</ul>
</li>
<li>表示的意味論
<ul>
<li>プログラムの意味を数学的な関数として記述する方法</li>
</ul>
</li>
<li>公理的意味論
<ul>
<li>抽象機械の内部状態に対する表明（アサーション）として記述する方法</li>
</ul>
</li>
</ul>
</li>
</ul>


<ul>
<li>操作的意味論
<ul>
<li>スモールステップ意味論
<ul>
<li>簡約できない値になるまで簡約を繰り返す</li>
<li>反復（iterative）</li>
</ul>
</li>
<li>ビッグステップ意味論
<ul>
<li>式や文から直接結果を得る</li>
<li>再帰（recursive）</li>
</ul>
</li>
</ul>
</li>
</ul>
<div class="code-block-container"><pre><code># スモールステップ意味論

x = x + 1, { x = 2 }
x = 2 + 1, { x = 2 }
x = 3, { x = 2 }
do-nothing, { x = 3 }

x = 1 + 1; y = x + 3, {}
x = 2; y = x + 3, {}
do-nothing; y = x + 3, { x = 2 }
y = 2 + 3, { x = 2 }
y = 5, { x = 2 }
do-nothing, { x = 2, y = 5 }
</code></pre></div><div class="code-block-container"><pre><code># ビッグステップ意味論

TODO
</code></pre></div>