まず学ぶ教室
まず学ぶ教室は、
その年のテーマについて、共通の足場を作るための講義です。
2026年のテーマは 「計算」。
この教室では、ラムダ計算の正規化を中心に、
- 計算が「終わる」とはどういうことか
- なぜ停止性や正規形が重要なのか
といった基礎的な問いを、入門的に扱います。
相互的な議論よりも、
前提をそろえることを重視した講義形式です。
この教室でテーマの入口を確認したあと、
発展的な内容は「つづけて考える教室」で扱います。
また、より相互的な形で関わりたい方には「よくよむ会」もあります。
開講概要
- 開講時期：2026年4月4, 11, 18, 25日 (土) 14時から
- 回数：全4回
- 形式：オンライン講義（Zoom）
- 各回：90分程度
- 録画：あり（欠席時・復習用に視聴可能）
- 補助資料：あり
この講座が向いている方
- 2026年の論計舎のテーマ「計算」を追っていきたい方
- よくよむ会やつづけて考える教室に入る前に、共通の前提をそろえたい方
この講座で得られるもの
- β簡約・正規形・停止性の基本イメージ
- 「計算が終わる」とは何かの見取り図
- ラムダ計算から型理論・意味論・検証へ進むための足場
- 発展講座に入るための共通前提
2026年度「まず学ぶ教室」は終了しました
2026年テーマ「計算」の入口をそろえる講義として、2026年4月に全4回で開講し、終了いたしました。ご参加いただいた皆様、ありがとうございました。
講義の続きにあたる発展的な内容は「つづけて考える教室」（https://ronkeisha.net/think-further/）で扱っています。また、テキストをその場で読みながら進める「よくよむ会」（https://ronkeisha.net/reading_group/）もあわせてご覧ください。
本講義のアーカイブ教材化については、決まり次第教材ページおよびメルマガでご案内します。
こんな方に特におすすめです
この講義は、テーマの入口をそろえるための講義です。
「発展的な話題に進む前に、まず前提を固めたい」
「2026年の論計舎の動きを追うために、基礎を共有しておきたい」
という方に、特に向いています。
2026年の論計舎が扱う「計算」の入口を、ここから一緒に確かめてみませんか。
皆さまのご参加をお待ちしております。