関数型言語Part IVat TECH関数型言語Part IV - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト8:デフォルトの名無しさん 04/05/04 15:12 【操作的意味論】http://kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2004/operationalsemantics.html プログラムの実行結果を判定できるような仕組みを与える事で意味を定義する。 すなわちプログラムを解釈実行できるようなオートマトン(自動機械)を定義する事にな る。 しかしながら何らかの意味では、実行すると言う事で、実装等の関わりが強くな りすぎるという欠点を持つ。 ┌──────┐ ┌──────┐ │ プログラム. │ │ 入力 │ └───┬──┘ └───┬──┘ └───────┬───────┘ │操作的仕様に基づく解釈実行 ↓ ┌──────┐ │ 実行結果 │ └──────┘ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch