絵算のコツ（ダミーワイヤー） - 檜山正幸のキマイラ飼育記 メモ編の件：まず、余デカルト圏のElgot反復と、デカルト圏のConway不動点から、トレース・オペレータをもう一度作り出す絵。 律儀に、θ、σ、+（または、!、σ、×）を組み合わせて準備をしている。…