のメモ。昨日の不動点の話を広げると、〔(λ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個現れて…

のっぴきならない理由で？まんだらけに行って探し物とか。買取と販売のタイムラグとかワカンネ。でもまあ、結局還ってきたらのっぴきならない事態は避けられていたようで、胸を撫で下ろす。弘史左衛門が可愛くてやばいデス。 そんなこんなで一日に２つもまん…