関数型言語Part IV ..
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
2:デフォルトの名無しさん 04/05/04 14:54 ２げっと 3:デフォルトの名無しさん 04/05/04 14:55 前スレ 関数型言語Part3 http://pc5.2ch.net/test/read.cgi/tech/1037527388/ 4:デフォルトの名無しさん 04/05/04 14:58 前スレの最後では、「表示的意味論の定義は、何か。」という基本質問がなされ、 それに対する有効な回答がないままｗ、スレが終了してしまいました。 このスレでは、煽り厳禁で、学部生に理解できる関数型言語の初歩を、扱っていきましょう。 5:デフォルトの名無しさん 04/05/04 15:02 仕切り厨うざい。 6:デフォルトの名無しさん 04/05/04 15:03 >>4 > 前スレの最後では、「表示的意味論の定義は、何か。」という基本質問がなされ、 せからしか話はよか。 プログラムなんてのは見た目で何とのう解った気になればそれで良か、 ちうのが表示的意味論たい。どーせコマか話はわからんっちゃろ？ 7:デフォルトの名無しさん 04/05/04 15:04 【表示的意味論】 http://kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2004/denotationalsemantics.html 表示的意味論ではプログラムに対して、既定義の数学オブジェクトを対応付ける (プログラムオブジェクトから数学オブジェクトへの変換を定義する) 事により意味を定義する。 具体的にはここのプログラムオブジェクトに対して意味関数を対応付ける。 ┌──────┐ │ プログラム. │ └───┬──┘ │ │ 意味関数 │ ↓ ┌──────┐ │数学的な表示│ └──────┘ 具体的には構文要素に対応付けられる意味関数の集合として定義する。 Ｍ ： Ｔ → Ｄ Ｔは構文要素であり、Ｄは表示の集合であり、意味ドメインと呼ばれる。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5505日前に更新/172 KB
担当:undef