まず学ぶ教室

まず学ぶ教室は、
その年のテーマについて、共通の足場を作るための講義です。

2026年のテーマは 「計算」。
この教室では、ラムダ計算の正規化を中心に、

• 計算が「終わる」とはどういうことか
• なぜ停止性や正規形が重要なのか

といった基礎的な問いを、入門的に扱います。

相互的な議論よりも、
前提をそろえることを重視した講義形式です。

この教室でテーマの入口を確認したあと、
発展的な内容は「つづけて考える教室」で扱います。
また、より相互的な形で関わりたい方には「よくよむ会」もあります。