skiコンビネータ計算は型無しラムダ計算を単純化した、ひとつの計算モデルである。