0530132人目の素数さん垢版 | 大砲2018/04/13(金) 15:23:02.23ID:2dv7UoaQ IJK(Infinity-Jumping-Kangaroo)関数 一階述語論理でn個以内の記号で表現できるいかなるFGHの階層よりも強い最弱の一変数関数にnを代入する関数である IJK(888)をカンガルー数と呼ぶ