「コンパイラ・スクリプトエンジン」相談室5at TECH「コンパイラ・スクリプトエンジン」相談室5 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト150:デフォルトの名無しさん 05/01/21 00:23:43 Rubyの人が言うように仕様書で自由に決めたとき 意味関数に落とすと矛盾が発生することはないの？ 151:デフォルトの名無しさん 05/01/21 00:24:41 >>150 あるに決まってるだろ。その場合はもちろん無効だよ。 そういうバグが無いことを前提にみんな議論してるんだろ。 152:デフォルトの名無しさん 05/01/21 00:25:27 >>150 矛盾が発生しないように意味関数を定義していくんじゃないかな。 ひょっとして意味関数を「日本語->意味」みたいな関数だと思ってる？ 153:デフォルトの名無しさん 05/01/21 00:26:22 Schemeの意味関数とRubyを形式意味論を用いて意味関数に落としたものは 互いに矛盾するってことはある？ 154:デフォルトの名無しさん 05/01/21 00:27:01 >>153 意味がわからない。矛盾するもなにも、別の言語の別の定義だからなんの関係もない。 155:デフォルトの名無しさん 05/01/21 00:27:53 http://swissnet.ai.mit.edu/~jaffer/r5rs-formal.pdf の7.2節の形式の意味関数を念頭においてますよ。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch