07/10/17 23:21:29
個人的にまとめたものです。
アッカーマン関数の２重リストへの拡張、
多変数C1の収束列の定義、
などを含みます。
そのうち計算可能でないものも足します。
URLﾘﾝｸ(1rg.org)
07/10/17 23:21:29
個人的にまとめたものです。
アッカーマン関数の２重リストへの拡張、
多変数C1の収束列の定義、
などを含みます。
そのうち計算可能でないものも足します。
URLﾘﾝｸ(1rg.org)
07/10/17 23:21:29
個人的にまとめたものです。
アッカーマン関数の２重リストへの拡張、
多変数C1の収束列の定義、
などを含みます。
そのうち計算可能でないものも足します。
URLﾘﾝｸ(1rg.org)