ラムダ計算

のメモ。昨日の不動点の話を広げると、〔(λf．{k})/x〕{n} = {kn}　（ {n}=f(f(…(fx)…）と略記）
(λfy．fy)(・)の不動点は(λy．xy) このxは自由変項。exp 1 n　の検算で分かった。
あと【{n}/x〕{n}/x〕{n}/x〕{n}/x〕…/x〕{n} = {kn}　とか。（ {n}がk個現れてる）

追記：桂明日香って、これの主催者だった。参加メンバーの殆どが同人誌初めてって、こわいっすね。でもまあタノシミ。