関数型言語Part IVat TECH関数型言語Part IV - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞの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 表示的意味論ではプログラムに対して、既定義の数学オブジェクトを対応付ける (プログラムオブジェクトから数学オブジェクトへの変換を定義する) 事により意味を定義する。 具体的にはここのプログラムオブジェクトに対して意味関数を対応付ける。 ┌──────┐ │ プログラム. │ └───┬──┘ │ │ 意味関数 │ ↓ ┌──────┐ │数学的な表示│ └──────┘ 具体的には構文要素に対応付けられる意味関数の集合として定義する。 Ｍ ： Ｔ → Ｄ Ｔは構文要素であり、Ｄは表示の集合であり、意味ドメインと呼ばれる。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch