遷移系について。

コンピュータ技術者を計算機屋さんと呼ぶことがある。カタカナ語じゃなくて良いと思う。が、ハードウェアとしての計算機に興味がない僕などは計算『機』屋さんとは呼べないだろう。計算現象に興味があるのだから、計算屋さん（computing guy）とでも呼んで欲…

ダイクストラ波動を走らせるためには、グラフにサイクルがあってはダメ。正確に言えばあってもいいのだけど（つうか、ないと使い物にならない）、サイクルの原因が一箇所に集中しているようなグラフ。背景は、トレース付き圏の正規形だが、明瞭性とマッチす…