μx.f(x,y) は y |-> Min{ x | f(x, y) == 0 } の意味．そのようなxが存在しなければ値はボトムとなる（解なし，停止しない）．Schemeでそれっぽいものを実装してみた． 使用例： gosh> (define-M (sqrt-int (mu x) x2) ; μx を (- (* x x) x2) に作用させた …

15時過ぎに「ピンポーン」とドアホンが鳴って，なんか知らんが電話帳が来た．久しぶりだ．考えてみれば電話帳ってNTTが作って，加入者に対して配ってるのかな？