アプリでもっと教えて！goo

アプリ版：「スタンプのみでお礼する」機能のリリースについて

λ項の束縛変数

解決済

質問者：hgam
質問日時：2011/08/10 16:41
回答数：2件

こんにちは。
λxyz.xy(yz)
の最後の(yz)は束縛変数でしょうか。
よろしくお願いします。

この質問への回答は締め切られました。

質問の本文を隠す

回答 (2件)

ベストアンサー優先
最新から表示
回答順に表示

No.2ベストアンサー

回答者： akatsuki_0
回答日時：2011/08/10 20:03

#1さんが言うように、(yz)は変数じゃないですね。

y,zのことを問題にしているのであれば、ラムダ抽象はその後に続く全ての式を束縛します。

- 0
- 件

この回答へのお礼

ありがとうございます。

お礼日時：2011/08/10 23:21

No.1

回答者： Tacosan
回答日時：2011/08/10 17:24

「(yz)」は式であって変数じゃないね.

y とか z とかなら変数だが.

- 0
- 件

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう！

質問する（無料）

似たような質問が見つかりました

数学｢ΔA = A(x+Δx, y, z(x+Δx,y)) - A(x,y,z(x,y)) z(x+Δx 1 2023/03/26 06:16
数学数学文字式の「サイクリック順」は xy yz zx として使えますが xy^2 yz zx と次数 2 2023/01/21 12:14
数学最小値を求める問題（大学数学） 3 2023/01/21 14:14
数学二次関数の難問です。 P=x^2+y^2+z^2-xy-yz-zx（0≦x≦1, 1≦y≦2, 2≦ 4 2022/12/19 18:36
その他（恋愛相談）束縛が原因で彼氏に振られました束縛自体理解できなくて嫌いな人なら分かるのですが、彼も私に束縛してい 1 2022/11/04 00:35
その他（恋愛相談）同棲中の彼の考えが分かりません。少し前、友達に束縛厳しいって言ってたのを最近知ってすごい謝りました 3 2022/04/17 09:42
その他（恋愛相談）束縛されやすい女性とは？ 23歳女です。私は人からとても執着されやすいです。この前、束縛してきた元 7 2023/03/17 22:07
物理学物理の問題 2 2022/12/22 22:11
その他（恋愛相談）同棲中の彼の考えが分かりません。少し前、友達に束縛厳しいって言ってたのを最近知ってすごい謝りました 2 2022/04/17 09:14
浮気・不倫（恋愛相談）束縛してたらうんざりされて浮気されるかも知れないけど、その場合どうせ束縛してなくても浮気してますよね 4 2022/05/18 02:57

関連するカテゴリからQ&Aを探す

ページトップ

おすすめ情報

質問する（無料）

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング

おすすめ情報