■

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