2003-10-09 計算モデル論 生活 今日もまた英語で板書。しかも、読みにくい。さらには期末テストにはここの部分からも出るらしい。はぁ〜。minimization(μ-operator)さえ知っていれば簡単に解けるらしいけど、それ以前にPR(primitiverecursive)と言いながら導き出した式の意味すら分かりません。