■

授業第二十六回目、今回が最終回です。本日はランベック計算と範疇文法の話をします。範疇文法は、言語学において、証明論（ランベック計算）の技法を応用し文の統辞論的な構成を表現する、文の意味とは何かという問題への広く使われる形式意味論とは別の側面からのアプローチです。