お気に入りに登録ならここをクリック！
まとめ
メニューを開く-
ued氏松葉杖ついてまで来てくれてるというのにこの人の少なさよ。 #言語モデル論 -
Content from Twitter
-
ラムダ計算
-
ラムダ式の話は夏学期に応用数学XCを履修していたので余裕だ。 #言語モデル論 -
演習題ムズそうだ。 #言語モデル論
-
Content from Twitter
-
η簡約とη展開
-
3.5.4.η-簡約とη-展開 #言語モデル論 -
(η-reduction) (λx.Mx) → M #言語モデル論
-
if x ∉ FV(M) #言語モデル論
-
関数の外延的な等しさを表現 #言語モデル論
-
実行らしくはない #言語モデル論
-
計算が進むイメージがあまりないものは「変換」って言ったりする #言語モデル論
-
η変換の有無はλ計算の本質部分には影響しない #言語モデル論
-
Content from Twitter
-
代入の定義とα同値
-
3.6.代入の定義 #言語モデル論
-
λ計算の汚いところ #言語モデル論
-
M[x:=N]（仮引数xにNを代入したもの）の定義は自明ではない． #言語モデル論
-
代入は意外と難しい。定義を間違えて教えている講義も珍しくない。 #言語モデル論
-
この定義が間違ってるなんてことはザラ #言語モデル論
-
例：(λx.yx)[y:=z] = (λx.zx) #言語モデル論
-
次の例：(λz.yz)[y:=z] = (λz.zz) 自由変数の捕捉(capture) #言語モデル論
-
自由変数と束縛変数の周りが面倒なんだよねえ。ラムダ式に関する帰納的証明もこれを引きずってかなり長くなってたような。 #言語モデル論
-
自由変数の捕捉 #言語モデル論
-
(λz.yz)のzと[y:=z]のzは同じではない #言語モデル論
-
ここはスライドか #言語モデル論
-
Content from Twitter
コメント