まず学ぶ教室
まず学ぶ教室は、
その年のテーマについて、共通の足場を作るための講義です。
2026年のテーマは 「計算」。
この教室では、ラムダ計算の正規化を中心に、
- 計算が「終わる」とはどういうことか
- なぜ停止性や正規形が重要なのか
といった基礎的な問いを、入門的に扱います。
相互的な議論よりも、
前提をそろえることを重視した講義形式です。
この教室でテーマの入口を確認したあと、
発展的な内容は「つづけて考える教室」で扱います。
また、より相互的な形で関わりたい方には「よくよむ会」もあります。
開講概要
- 開講時期：2026年4月4, 11, 18, 25日 (土) 14時から
- 回数：全4回
- 形式：オンライン講義（Zoom）
- 各回：90分程度
- 録画：あり（欠席時・復習用に視聴可能）
- 補助資料：あり
この講座が向いている方
- 2026年の論計舎のテーマ「計算」を追っていきたい方
- よくよむ会やつづけて考える教室に入る前に、共通の前提をそろえたい方
この講座で得られるもの
- β簡約・正規形・停止性の基本イメージ
- 「計算が終わる」とは何かの見取り図
- ラムダ計算から型理論・意味論・検証へ進むための足場
- 発展講座に入るための共通前提
料金・定員
- 早割価格：39,600円（税込）
- 通常価格：49,500円（税込）
- 定員：8名
最低催行人数：4名- 開催決定！
※ 2026年3月31日（火）までのお申し込み・ご決済で、早割価格が適用されます。
※ 定員に達し次第、募集を締め切ります。
お申し込みの流れ
- 下記フォームよりお申し込み、またはお問い合わせください。
- 開講時期・日程の詳細をご案内します。
- ご決済確認後、お席を確保いたします。
- 開講前に、参加方法と初回案内をお送りします。
こんな方に特におすすめです
この講義は、テーマの入口をそろえるための講義です。
「発展的な話題に進む前に、まず前提を固めたい」
「2026年の論計舎の動きを追うために、基礎を共有しておきたい」
という方に、特に向いています。
お申し込み方法
2026年の論計舎が扱う「計算」の入口を、ここから一緒に確かめてみませんか。
皆さまのご参加をお待ちしております。