授業の進め方

セッション・コースは、数理論理学と理論計算機科学の個別指導です。題材は、あなたが気になっていることから選びます。「何を学べばいいか分からない」「面白いと思ったことをどう掘ればいいか分からない」という段階から始められます。

セッションですること

映像通話で、カメラと画面共有を使って、90分のセッションを月2回行います。日時が決まっているので、独学のように後回しにしにくくなります。

問い探し

あなたが引っかかったことや面白いと思ったことが、数学のどんな問いになるかを一緒に言葉にします。教科書を読み進めるときも、引っかかった箇所から問いを拾います。問いが決まったら、既知の結果を調べたり、自分で証明を試みたりします。

その場での確認

考えている最中のノートや書きかけの証明、問題への解答も共有していただきます。手が止まったところで、何に詰まっているのかを一緒に確かめます。

口頭での説明

学んだ内容を、その場で説明してもらう時間を取ります。読んで分かったと思った箇所でも、説明しようとすると詰まることがあります。詰まった箇所が、次に取り組むところです。

答案の記録

課題はセッションの中で出します。答案は MEGA のチャットでいつでも提出でき、講師はできるだけ提出の当日中に、遅くとも3日以内に読みます。必要に応じて、セッションの中で一緒に読みます。

答案は、毎回、それまでの指摘の記録と照らして読みます。同じような誤りが減っているか、新しい種類の誤りに進んでいるかを見て、次の課題を決めます。

生成AIとセッション

基礎的な質問への答えや解説は、いまは生成AIでも得られます。ただ、質問できるようになるには、まず数学の基本を理解している必要があります。何が分かっていないのかが分からなければ、質問としてまとめられないからです。

セッションでは、その基本を固めるために、生成AIでは代われないことに時間を使います。考えている最中のノートや書きかけの証明をその場で一緒に見ることと、口頭で説明してもらって、分かっていないところを見つけることです。生成AIもあなたの説明に付き合ってくれますが、それを見逃さずに指摘し、その指摘に責任を持つのは講師の役目だと、私たちは考えています。

講義の動画

講師の説明の仕方は、公開している動画で確かめられます。セッションは動画と違い、やりとりしながら進みます。

到達点

新しい定理を得ることは求めません。既知の定理を自分の言葉で解釈し直すことや、理解したことを学部のレポートのような文章にまとめることも、到達点にできます。希望する方には、自分の問いを考えた記録を文章にまとめ、公開するところまで一緒に進めます。

形式と料金

項目内容
形式映像通話（カメラ＋画面共有）90分 × 月2回
料金月額 44,000円（税込）
一括4ヶ月 160,000円（税込）
定員3名
教材・課題受講者の目標に合わせて個別に用意
答案の提出MEGA のチャットでいつでも。講師はできるだけ当日中、遅くとも3日以内に読みます
題材の変更途中で変えられます

4ヶ月一括は、月額で4ヶ月受講するより16,000円安くなります。途中で解約したときの扱いは、月額と一括で異なります（特定商取引法に基づく表示）。

定員を3名としているのは、受講者一人ひとりについて、その人の考え方と書き方を講師が覚えていられる人数だからです。

向いている方

  • 気になったことを自分の問いとして考えてみたい方
  • 趣味として数学を研究してみたいが、何から手をつければよいか分からない方
  • 数理論理学や理論計算機科学、またはその周辺（高校数学や線形代数など）を題材にしたい方
  • 自分で書いた証明や解答を、ほかの人に読んで確かめてほしい方
  • 数理論理学や理論計算機科学を体系的に学びたい学生や研究者の方
  • 日々のコーディングの背後にある理論（プログラミング言語の意味論や計算理論）を知りたいエンジニアの方
  • 型理論や形式検証を学んで、正しさを確かめられるコードを書きたいエンジニアの方
  • 研究や形式化の進め方を継続して相談したい方

問いを一から立てられなくても大丈夫です。答えがすでに知られているかどうかも、条件にしていません。

申込みの流れ

  1. 無料相談（30分・Zoom）で、目標と進め方の相性を確認します
  2. ご契約（利用規約・特定商取引法に基づく表示をご確認ください）
  3. 初回セッション

セッションで使う Zoom と MEGA については、オンラインでの受け方にまとめています。