関数山手線ゲーム

1.関数を１つ決めます
2.既存の関数の集合からは定義できない関数を１つ挙げます
3. 2.で挙げられた関数を、既存の関数の集合に加えます

2.と3.を繰り返します

2.で挙げた関数が以下のいずれかの条件を満たすと負けです
・既存の関数から定義可能
・既存の関数の集合にその関数を加えるとチューリング完全にる（λxy.xとλxyz.xz(yz) が定義可能になる）

他の人が挙げた関数がいずれかに該当していると思ったら、指摘して証明しましょう 証明できたらその人の負け 証明できなければあなたの負けです！

※関数の型に、「関数型」を除く具体的な型や型制約があってはいけません つまり、関数の型は、Haskell表記で、小文字英数字と()と->だけで表されなくてはいけません
数値関数や文字列関数、リスト関数等は不可ということです


家族と、友達と、恋人と、大いに盛り上がること間違いなしですね！！！