Polymorphic Recursion (「面倒くさい」あの話に触れてみようと思う：日経ビジネスオンライン)