本講義では，集合・関数・関係に関する諸概念，初等整数論，代数系の理論を学びます．また，演習として大量の証明問題を書き下して貰い，論述力を習得して貰います． ....

続きを読む →

この授業では、「統語と意味の接点」(syntax-semantics interface) に関する代表的な理論的枠組み (語彙概念意味論、構文文法、フレーム意味論、生成語彙論など) を比較検討します。一般に、似た意味の語は似た振る舞いを見せます。例えば、「壊す」と「切る」という動詞は、ともに「～を壊す/切る」のように他動詞として用いられます。こうした統語と意味の関係をきれいに矛盾なく捉え切るのは ....

続きを読む →