各々の定式化の詳細については個別記事に譲る。