2016-04-30から1日間の記事一覧
※このエントリの内容は古くなっています。より簡明な証明が 関数の超限再帰的定義・改の改 - y_bonten's blog にあります。前エントリの\(\psi_\alpha(f)\)における\(f\)の定義域を「\(\alpha\)未満」から「\(\alpha\)以下」に変更し、証明を簡素化したもの…
※このエントリの内容は古くなっています。より簡明な証明が 関数の超限再帰的定義・改の改 - y_bonten's blog にあります。前エントリの\(\psi_\alpha(f)\)における\(f\)の定義域を「\(\alpha\)未満」から「\(\alpha\)以下」に変更し、証明を簡素化したもの…