
̃NX͌^Ȃ_vZs. \ȓ͎͂̂Ƃ.
    _, }N`, R}h

_
  _͐wI\g. ϐ͉pPƂ. }N͗O.
  Ƃxy͂P̕ϐxył͂Ȃ֐xyɓKp邱Ƃ\.
  _͔pobNXbV(\)܂͑Sp_()ŕ\.
  s͂lRނ̏IL("{0}", "{1}", "{2}")ŌvZJn.
   [1] (\x.xx)e{0}
           ̏ILw肷ƐK`o͂.
           ̏ꍇɂ͊Ȗ񐔂ƏvԂv.
   [2] (\y.y((\a.xa)(\a.a)))(\b.b){1}
           ̏ILw肷ƂׂĂ̂PXebvȖ񌋉ʂo͂.
           Ƃ΍mFꍇɂ͕Kvȋ@\ł. ɊȖ@
           ɂ~ꍇƂȂꍇ邱Ƃ̊mFɂg.
   [3] (\y.y((\a.xa)(\a.a)))(\b.b){2}
           ̏ILw肷ƍōȖ̂PXebvȖ񌋉ʂo͂.
           vZJnOɑΘbIɐi߂邩ǂ₢킹. ΘbIȓ
           Ƃ͌vZߒׂďo͂Ă܂ł.
           ̏𐳋K`܂܂ŌJԂčŏIʂo͂̂
           [1]ł.
   [4] \sz.s(nsz)[n:=\xy.x(xy)]{0} ܂ [\xy.x(xy)/n]\sz.s(nsz){0}
           ̓_ł͂ȂZ̈Ӗł. 
           M[x:=N] ܂ [N/x]M ɂM,N̓_łx͕ϐł.
 <>
    vZʂ̓ϊĂ\. ƂΎvZʂ  \y.y 
    Ȃ̂ \x.x Əo͂邱Ƃ蓾.

}N`
  Gȃ_̓͂eՂɂ邽߃}N`\ł.
   (}NƌĂԗR͒PȂ镶uł邽.)
   [] true {3} \tf.t{0}
  s͂lIL({0})ŏJn.
  }N̎QƂ̓_̒ {4}true{5} ̂悤ɋLq.
  ̕\̗pĂ邽ߕϐ̂悤ȉpPƂ͂Ȃ.

R}hꗗ
  R}h̓_}N`Ƃ͈قȂs͂ŎsJn.
  R}h͋ʉ\ȕłF\ł.
{6}
     [1] ̉񐔂𒴂ĂvZ~Ȃꍇ͌vZł؂.
     [2] \Ȉ (ʂłΕ)
{7}

