「計算論なんかチューリングマシンで十分だし、おれはチャーチじゃなくチューリングについていくぜ！Yコンビネータくそくらえ！」 という人もいるんじゃないでしょうか。 やっぱチャーチよりチューリングですよね。 という人のために、われらがチューリング…

class Dog{ void bark(){ System.out.println("わん"); } } class Bird{ void twitter(){ System.out.println("ちゅん"); } } class Util{ static void sound(Dog d){ d.bark(); } static void sound(Bird b){ b.twitter(); } } class Main{ public static v…