Lisp Scheme Part19
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
350:デフォルトの名無しさん 08/01/29 12:58:28 >>342 BoehmってXScaleできちんとした実績あるのかなあ 351:デフォルトの名無しさん 08/01/29 15:24:15 >>349 余分な括弧を許してsimplを使うのがまわりくどい。 括弧の代わりにXMLみたいなタグをイメージしてみたら？ タグは<variable><application><abstraction>の３種類とする。 余分なタグをつけると意味が変わってしまうから、 余分なタグのない状態を保つことになり、simplなんていらなくなる。 それ以前にβ正規形の定義がおかしい。 β基は一番上とcadr以外の場所にもあるから全部探さないと 352:デフォルトの名無しさん 08/01/29 17:17:23 >>351 >β基は一番上とcadr以外の場所にもあるから全部探さないと 具体的にどういう場合なのか教えてくれないか。考えてみたいんで。 353:デフォルトの名無しさん 08/01/29 17:59:52 >>352 バックトラッキングみたいなことかな？ 354:デフォルトの名無しさん 08/01/29 19:01:44 λx.λy.x((λz.z)y)とかかな？
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5387日前に更新/210 KB
担当:undef