数学ナビゲーター掲示板
(現在 過去ログ3 を表示中)
HOME
HELP
新規作成
新着記事
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
[
最新記事及び返信フォームをトピックトップへ
]
[ トピック内全10記事(1-10 表示) ] <<
0
>>
■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
数学ナビゲーター