朝Logic研，原始再帰的関数．たしかにVan Dalenの教科書はここの箇所の書き方の順序があんまり良くない． あーあ。結局，例の活動が忙しすぎて，応募したかった論文が滞ってしまった．両立は難しいなー． 新しく考察した部分と，博論の一部を併せて書こうと…