「繰り返しx*と強い繰り返しx+、長谷川の不動点補題」で言及した定理をトレース分解定理と呼ぶことにする。かなり一般的／周知の事実なので、個人名を冠するのはふさわしくない、と思い直した。さて、このトレース分解定理によれば、デカルト圏のトレースは…

6月に書いていた以下のようなエントリー。 6月14日 絵算でゴー 6月16日 トレースの再現 6月20日 Kozen圏のスターとトレース なんらかの形にまとめておいたほうがいいと思う。

トゥラエフ移動は、細かく分類すれば1ダースある。が、特有な移動は次の図で示すものだ。 これをトゥラエフ主移動と呼ぶことにする。極大点＋二重（交差）点という特異点の解消に対応する。※ トゥラエフ→http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?wo…

「まとめ」を入れよう。 出典を明らかに、特に非オンラインな文献。 参照（リンク）には著者とコメント、印刷ページ数、印刷したかどうか、を入れる。 過去の関連エントリーにはできるだけリンク。 ダイアリーブックでは画像が落ちることを意識したほうがい…