Fundamental Goedel number calculator KATOU Akira (turugina) <turugina@cpan.org>