つか、そのαとか意味あんのか?
f:N→Nでいいじゃん。