論計舎（ろんけいしゃ）
数理「論」理学と「計」算機科学のオンライン私塾です。
個別指導について
2026年8月より、映像通話を標準とした 新しいセッション・コース （少人数定員制）として再開しました。
月1回、研究の近況と講座の先行案内をお送りします。
講義の実際を見る
教え方は、公開している講義動画でお確かめいただけます。
- エンジニアのための計算理論入門「決定不能性とは何か」 — 説明の組み立て方
- ラッセルのパラドックスとその回避法 — 有名な問題の正確な扱い方
- 論計舎 おすすめ教科書：数理論理学編 — 学習の設計の考え方
研究・発信
論計舎は、代表による数理論理学・理論計算機科学の在野研究を母体としています。
- YouTube — 講義・解説動画
- 論計舎のオートクチュール指導について
- 過去のイベント
- 教材ショップ — 無料教材（自然演繹100本ノック・反例構成100本ノック）
お問い合わせ: customer_support@ronkeisha.net