１．計算可能な関数 定義 primitive recursive function (PRF) は PRF． (substitution) PRF に対し， は PRF． (primitive recursion) PRF に対し，は PRF． に対し， を， をみたす最小の の値とする．これは の部分集合上の関数 を与える．これを の mini…

講演した．マツオさん，カワヒガシさん，カトウさん，カワズミ先生からコメントや質問．鋭くて勉強になる．