Bellantoni and Cook (1992) characterized the polynomial-time functions by the primitive recursion schemes, with a semicolon separating the variables into two kinds. The first ``normal'' ones control the length of recursions, and the second…

肌寒い日、湿度も高い。午前中に銀行に行き、国際会議の参加費を払おうとしたが、チェコの銀行へチェコ・コルナだてで送金が出来ないことが判明…金融のグローバル化ってやっぱり嘘だったのか。 午後は出張、講演を聴き、文学部とメディアセンターに寄ってか…