不動点の話 - あどけない話 http://ow.ly/8VF9q .。oO( (不動点連結機 f) = f (不動点連結機 f) で再帰。 不動点連結機 f は f の不動点。)