数学ナビゲーター掲示板
(現在 過去ログ3 を表示中)

HOME HELP 新規作成 新着記事 トピック表示 発言ランク ファイル一覧 検索 過去ログ

[ 最新記事及び返信フォームをトピックトップへ ]

■31357 / inTopicNo.1)  ラムダ計算について 熟練者求む
  
□投稿者/ 早稲田志望 一般人(21回)-(2008/02/10(Sun) 17:19:26)
    ラムダ計算において疑問を持ったので質問させてください。
    詳しくは貼り付け画像を参照してください
1024×768 => 250×187

1202631566.jpg
/64KB
引用返信/返信 [メール受信/OFF] 削除キー/
■31358 / inTopicNo.2)  Re[1]: ラムダ計算について 熟練者求む
□投稿者/ X 付き人(86回)-(2008/02/10(Sun) 18:24:21)
    展開しても構いません。
引用返信/返信 [メール受信/OFF] 削除キー/
■31359 / inTopicNo.3)  Re[1]: ラムダ計算について 熟練者求む
□投稿者/ miyup 大御所(282回)-(2008/02/10(Sun) 19:15:11)
    ラムダ計算ではなくてシグマ計算ですね。

    展開OKですが、因数分解を利用した方が計算量も少なく、間違いも少なくなります。
引用返信/返信 [メール受信/OFF] 削除キー/
■31360 / inTopicNo.4)  Re[2]: ラムダ計算について 熟練者求む
□投稿者/ 早稲田志望 一般人(22回)-(2008/02/10(Sun) 19:40:00)
    因数分解とはどういうことでしょうか?

    どの段階でするのかわかりません
引用返信/返信 [メール受信/OFF] 削除キー/
■31361 / inTopicNo.5)  Re[3]: ラムダ計算について 熟練者求む
□投稿者/ miyup 大御所(283回)-(2008/02/10(Sun) 20:20:40)
    2008/02/10(Sun) 20:22:11 編集(投稿者)

    次のように計算できます。






引用返信/返信 [メール受信/OFF] 削除キー/
■31362 / inTopicNo.6)  Re[4]: ラムダ計算について 熟練者求む
□投稿者/ 早稲田志望 一般人(23回)-(2008/02/10(Sun) 20:23:03)
    n+1でくくればもっとスマートな解答になると思います

    ありがとうございます
解決済み!
引用返信/返信 [メール受信/OFF] 削除キー/
■31363 / inTopicNo.7)  Re[5]: ラムダ計算について 熟練者求む
□投稿者/ miyup 大御所(284回)-(2008/02/10(Sun) 20:24:51)
    No31362に返信(早稲田志望さんの記事)
    > n+1でくくればもっとスマートな解答になると思います

    n+1 ではくくれませんが…
引用返信/返信 [メール受信/OFF] 削除キー/
■31364 / inTopicNo.8)  Re[6]: ラムダ計算について 熟練者求む
□投稿者/ 早稲田志望 一般人(24回)-(2008/02/10(Sun) 20:34:36)

1024×768 => 250×187

aaa.jpg
/24KB
引用返信/返信 [メール受信/OFF] 削除キー/
■31366 / inTopicNo.9)  Re[7]: ラムダ計算について 熟練者求む
□投稿者/ miyup 大御所(285回)-(2008/02/10(Sun) 20:42:18)
    計算上間違いでなければ完全に×とはいえませんが
    一部を残すような因数分解では、減点の対象に(場合によっては完全な×に)なると思います。
    完全に因数分解してしまうか、全て展開するかのどちらかでしょう。
引用返信/返信 [メール受信/OFF] 削除キー/
■31367 / inTopicNo.10)  Re[8]: ラムダ計算について 熟練者求む
□投稿者/ 早稲田志望 一般人(25回)-(2008/02/10(Sun) 20:44:45)
    なるほど。
    中途半端はいけないのですね。


    ありがとうございます。
解決済み!
引用返信/返信 [メール受信/OFF] 削除キー/



トピック内ページ移動 / << 0 >>

このトピックに書きこむ

過去ログには書き込み不可

Mode/  Pass/

HOME HELP 新規作成 新着記事 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター