学ぶ
論計舎の個別指導は、映像通話を標準としたセッション・コースの1本です。以前ご提供していたチューター講座・メンター講座・ハイブリッド講座は、セッション・コースに統合しました。
セッション・コース
数理論理学・理論計算機科学の1対1指導です。映像通話(カメラ+画面共有)90分×月2回、定員3名。
生成AIで代替できる学習支援はAIに任せ、映像通話でしか成立しないこと——書いている途中の詰まりをその場で見る、口頭で理解を検定する、記述の癖の履歴を踏まえて添削する——に絞っています。
独学で進める方へ
コースを取らなくても、独学に使える教材と動画を公開しています。
- 【無料】数理論理学スターターマニュアル — 何から読むかの地図
- 【無料】自然演繹100本ノック/【無料】反例構成100本ノック — 手を動かす練習
- YouTube — 講義動画
月1回、研究の近況と講座の先行案内をメールでお送りしています。コースの空きが出た際のご案内もこちらが最初です。
