nishiohirokazu https://blog.hatena.ne.jp/nishiohirokazu/ 西尾泰和のはてなダイアリー https://nishiohirokazu.hatenadiary.org/ 昨日はベッドの上で昼間わからなかった Vx = V の導出を考えていたらわかった Ax = xとなるxはM(BAM)であることが割と簡単に証明できる。M(BAM) = (BAM)(BAM) = A(M(BAM))。Kx = xたるxはVであることは簡単に示せる。Kxy = x, Kxy = (Kx)y = xy. thus xy = x. で、あとはM = SIIとI = SKKまでは理解していたのでBをSから導出するだけ。 Sってとても便利で、いらない引数をくくりだすことができる。 1: xX = (I x)(KX x) = SI(KX)x 2: X(Yx) = (KX x)(Y x) = … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnishiohirokazu.hatenadiary.org%2Fentry%2F20090410%2F1239342704" title="Vコンビネータの導出 - 西尾泰和のはてなダイアリー" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-04-10 14:51:44 rich https://nishiohirokazu.hatenadiary.org/entry/20090410/1239342704 1.0 100%