Focusing nLab 日本語の記事・感想 焦点化した証明と極性の謎（線形論理など） Chris Martens Chris martens がFocusingの講義や資料がとても参考になる 動画 A Guided Tour of Polarity and Focusing Paper Focusing in logic programming 論文 Structural focalization 関連リンク Sequent calculus