レトラクション図形的イメージは「レトラクションの起源（かな？）」に描きました。計算論（再帰関数論）よくわからんにょ。デカルト圏の等式的計算僕は絵を描いて（pictorial calculation）済ませてしまうことが多いのだけど、等式的計算（equational calcu…

サーバーお引っ越しでバタバタしているってことかな。