スケッチ - ラムダ算法でのブーリアン