2026-04-26から1日間の記事一覧

前期授業第3回（4/28）

授業第3回目の今回は、前回扱った「システム2＝仮想計算機」という見方を出発点として、自然言語の曖昧さを排し、人間の再帰的言語能力を人工的に外部化したものとして形式言語を捉えます。そのうえで、以下の4つのキーワードの組を紹介し、論理学を学んでい…