2011-01-01から1年間の記事一覧

帰納法と余帰納法の何がどう双対なのか(初等的に)

(高校で習うはずの)数学的帰納法をはじめとする帰納法(induction)と、(π計算など並行プロセス計算に出てくる)双模倣(bisimulation)をはじめとする余帰納法(coinduction)は、双対(dual)であると言われます(例)。双対というのは、大雑把に言うと、論理式…