ベキク〈bekic〉の公式
まず、Bekicの発音、
ベキクでいいようだ。
関連する記事は、
- http://d.hatena.ne.jp/m-hiyama-memo/20131001/1380609526 双コンウェイ圏の構造を探る
- http://d.hatena.ne.jp/m-hiyama-memo/20080527/1211875554 注目すべき等式やら命題やら
不動点に関して論じるなら、具体的実際的計算方法を与えるベキクの公式が重要。ベキクの公式を利用した計算練習が必要。次の2つがテキスト。
- http://www.cs.cornell.edu/courses/cs6110/2015sp/docs/ch10.pdf
- ローカル ~/archive/FixedPointTheory_9783642014918-c2.pdf
- http://homepages.inf.ed.ac.uk/gdp/publications/fixpoints.pdf