論計舎

22/03/2026

2026年の論計舎のテーマは「計算」です。

その入口として、この春「まず学ぶ教室」を開講します。

今回の講義では、ラムダ計算の正規化を手がかりに、

・計算が停止するとはどういうことか
・なぜ停止性や正規形が重要なのか

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

2026年のテーマに入っていくための、共通の足場をつくるための講義です。
「つづけて考える教室」や「よくよむ会」に関心のある方にも、その前提をそろえる場としてご参加いただければと思っています。

【開講概要】
4月4日、11日、18日、25日（土）／全4回
オンライン（Zoom）／各回90分程度
録画あり・補助資料あり

【料金】
早割 39,600円（税込）
通常 49,500円（税込）
定員8名（最低催行4名）

詳細はこちらです。

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

10/12/2025

14時からYouTube配信の予定でしたが家庭の都合により延期いたします。開始の目処がつきましたら再度アナウンスさせていただきます。

10/12/2025

明日の「よくよむ会モックセッション」の説明ライブを本日14時から配信します。

論計舎（ろんけいしゃ）は、数理「論」理学と「計」算機科学を主軸にしたオンライン私塾です。本配信では、読書会シリーズ「よくよむ会」のコンセプトである“専門書をよく読む”とは何かについて、ゆるくお話しする...

01/12/2025

【12月のオンライン企画 3つまとめてお知らせ】

12月に論計舎は3つのオンライン企画を行います！

12/7(日) 14:00〜15:30
「証明の手触りで解くロジックパズルの会」
→ ロジックパズルを素材に、場合分けや背理法など「証明の手触り」を味わう回です。
（詳細）https://ronkeisha.net/logicpuzzle

12/11(木) 14:00〜15:30
「よくよむ会」モックセッション＆説明会
→ 数学・論理の専門書を“ゆっくり・よく読む”読書会シリーズの試運転回。
（詳細）https://ronkeisha.net/rg_mock/

12/21(日) 14:00〜15:30
年末なんでも相談オフィスアワー
→ 数学・情報系の勉強や進路、「来年どう学ぶか？」を少人数でゆるく相談できる場です。
（詳細）https://ronkeisha.net/officehours_202512/

いずれもオンライン（Zoom）・少人数制です。

年末なんでも相談オフィスアワー（オンライン） 数学・情報系の勉強や進路について、今年の振り返りと「来年どう学ぶ

10/05/2025

【Zoom連続講義シリーズのご案内】
AIの進化に驚きつつ、ふと立ち止まって考えることはありませんか？�「AIは本当に理解しているのか？」「限界はあるのか？」
そんな問いに、論理学と計算理論の視点から向き合う全3回の講座を開催します。
第1回は **「Riceの定理 ─ AIにおける限界の源泉」**�意味ある問いにすらAIは答えられない？ ハルシネーションの根底にある理論をひもときます。
6月7日（金）19:30〜21:00（Zoom開催）�通し参加・単発参加／早割・学割あり�詳細・申込はこちら → https://ronkeisha.net/events/202506ai/
講師：川井 新（論計舎代表）

15/03/2025

同値関係・同値類・商集合についてわかりやすく解説しました。
数学や論理学で頻繁に登場するこの概念をしっかり理解して、3/17からの集中講義「一階述語論理の完全性とその証明」に備えましょう。

この動画を見れば、集合論の基礎をスムーズに習得でき、論理学や数学の学びがさらに深まります。

📺 動画はこちら
https://youtu.be/KavWTZ7hIPk

📆 集中講義の詳細・お申し込みはこちら
https://ronkeisha.net/events/202503-comp/

数学の奥深さを一緒に探求しましょう。
「いいね」&「シェア」もぜひお願いします。

#数学 #論理学 #集合論 #完全性定理 #論計舎 #学び

一階述語論理の完全性とその証明 概要 本講座では、一階述語論理の健全性・完全性を体系的に学び、Henkinの方

04/03/2025

理は、**数理論理学の基礎定理の一つ**であり、証明論と意味論の対応を保証する重要な結果です。この定理を証明して初めて、数理論理学に本格的に入門したと言えます。

# # # 講座の特徴
- 完全性定理の証明を体系的に学ぶ
- 証明論と意味論の関係を深く理解する
- 少人数制で質問しやすい環境

# # # 前提知識
- **簡単な集合論**（同値関係、同値類、商集合の定義を言えること）
- **命題論理の知識があると望ましい**（必須ではありません）

# # # 集合論の補助教材動画を近日中にYouTubeで公開予定
前提知識として必要な集合論の基礎について、YouTubeにて解説動画を公開予定です。学習のサポートとして活用いただけますので、集合論に自信がない方も安心してご参加ください。公開次第、お知らせします。

# # # 開催概要
- **開催日**: 3月17日(月)～21日(金)
- **形式**: オンライン開催
- **詳細・申し込み**: https://ronkeisha.net/events/202503-comp/

数理論理学に興味がある方、数理論理学に入門したい方、独学では難しく感じている方、ぜひご参加ください。グループ割がございます。知人への紹介も大歓迎です。
定員になり次第、締め切りますので、お早めにお申し込みください。

ご質問があれば、お気軽にコメントまたはメッセージでお問い合わせください。
一緒に学べることを楽しみにしています。

一階述語論理の完全性とその証明 概要 本講座では、一階述語論理の健全性・完全性を体系的に学び、Henkinの方

01/03/2025

https://youtu.be/0LV5KxT01ko?si=7aVQ8JdbNZ4Dq0y9
集中講義の予告編動画です。ぜひご覧ください

論計舎（ろんけいしゃ）は数理「論」理学と「計」算機科学を主軸にしたオンライン私塾です。・https://ronkeisha.net/・https://ronkeisha.net/events/202503-comp/この動画では、3月に開催される #論計舎 #集中講義 「一階述語論理の完全性...

28/02/2025

数学の基礎を深く理解し、論理学の根本を体系的に学びたい方へ。 この春、論計舎では「一階述語論理の完全性定理とその証明」をテーマに5日間の集中講義を開催します。 この講義では、命題論理から一階述語論理へと進...