tutor_image

論計舎:セッション・コース

数理論理学と計算機科学に特化したオンライン私塾、論計舎へようこそ。

私たちのチューター講座では、Zoomを用いたリアルタイムの通話指導により、専門知識を深く理解し、実践力を身につけることができます。

論と計の科学

論理的に考えるとき、私たちは step by step でつまり一つ一つの正しい手続きを踏んで結論に至ります。
同様に簡単な計算をするときでも、私たちは一行ごとに式を変形しながらやはり正しい手続きに従って値を求めます。

実はこの論理と計算が数学的に同じものであるという原理があり、それをCurry-Howard対応というのですが、コンピュータという論理的な推論の主役とプログラミングという計算の世界の王は表裏一体であると考えられています。

このことから、論計舎は「論と計の科学」を掲げるのです。

論計祭が、そして論計舎が、提供する「論と計の科学」は、プログラミングはできているけどいっそう複雑だったり大規模だったりするプログラミング業務へ飛躍したい方や、逆にプログラミングをできるようになりたいのにどこから手をつけていいかわからない方の、ボトルネックを解消するものです。

さらに「論と計」のうち「論」のほうに着目すると、人間の思考や科学という営みを説明するために哲学であったり、ことばを話せるとはどういうことかを理解するために言語学であったり、法律にまつわる厳密な議論を数学的に扱うためだったり、学術的な世界で様々に使われています。
しかも、それらを産業や実務で応用していこうという動きも盛んになりつつあると言える現状があるでしょう。
したがって、もしあなたが「正しさ」とか「厳密さ」とかそうしたある種の絶対的な保障や理解を求めるのであれば、「論と計の科学」はあなたに多くを与えでしょう。

論計舎は「論と計の科学」を広めることをミッションとし、その普及を通して世の中を滑らかにそして明らかにすることを願っているのです。

個別ならではの数学に没頭する時間

論計舎のチューター講座では選りすぐりの四名の講師がZoomにて数学の学びをサポートします。

その特徴は通常の私塾やオンライン家庭教師におけるような一方的な講義形式でなく、 輪読やセミナーと呼ばれる大学の数学科でよく行われるような対話的な形式をオンライン上で再現する点にあります。

Zoomを用いた通話による学習指導サービスで、専門の講師があなたの学習を個別にサポートします。論計舎の講師陣は、各分野のエキスパートであり、丁寧で分かりやすい指導に定評があります。

三つの柱

論計舎には「セッション主義」、「対話の重視」、「学びのオートクチュール」という三つの柱があります。
これらは密接に関わり合っています。

セッション主義

論計舎の中心となるサービスはチューター講座です。チューター講座はZoomを用いた通話にて選りすぐりの講師たちが数学の学びをサポートします。
その中心にあるのが、セッション主義なのです。

われわれは一回の通話を「セッション」と呼びますが、これを一つないし二つのトピックについて徹底的に議論する単位と捉えています。
「対話の重視」で後述するようにわれわれは、議論することを重んじます。そして、一つの通話の中でわれわれが提供するのは、わかったつもりになれる冴えた説明でなく、正確な理解に至るための堅実な議論なのです。
一人の講師と徹底的に議論し特定のトピックについて会得していただく。このための通話のあり方をセッション主義とわれわれは呼んでいます。

セッションの中で具体的にはたとえば、講師がまず「お手本」として数学の内容を解説してから、続いてそれを生徒さんに同じ範囲について発表していただき、最後に講師が質問・コメントをします。この質問・コメントにより、生徒さんは「わからないこと」に自ら気が付きます。それを二人でさらに解決していくのです。

このやり方は大学数学科でよく行われるセミナー・輪読という形式に倣っています。このセミナー・輪読の精神が、次で述べる「対話の重視」です。

対話の重視

われわれはセミナー・輪読という形式を重んじ、その対話を重視するという精神を重んじます。

大学のセミナーないし輪読は、少人数で集まり誰かが講義を順番にするというものです。具体的には、読み進める本や論文をきめ、学生がそれについて他の学生や教官の前で説明・発表をします。発表者以外は、発表者に質問をし、双方の理解を助けます。発表者は、読んで理解したことを講義するので、あらかじめ内容を把握し相手にわからせる必要があります。他人に説明しようとすると、自身の理解は深くならざるをえません。さらに内容の把握のために自身のわからないことを自力で理解しなければなりません。
この輪読という形式の根底に、数学は対話を通して学ばれるものであるという考えがあります。

その輪読という形式の精神をオンラインでしかも一対一の形で再現するのが論計舎です。

論計舎の生徒さんは、講師との対話を通して「わからないこと」がわかるようになる、つまり疑問に気が付く能力を得ることができるようになります。
論計舎の生徒さんは、講師との対話を通して教科書を読んだだけではわかったつもりにはなれても理解に自信がなかったり使いこなせなったりする数学の知識を理解し使えるようになります。
論計舎の生徒さんは、講師とは対話を通して自身では理解したつもりになったものをいっそう深く理解できるようになり、自信をもって数学を理解したと考えられるようになります。

そうした対話の意義を深化させるのが、「学びのオートクチュール」です。

学びのオートクチュール

オートクチュールの歴史はフランス革命に遡ります。
十九世紀フランス革命によって身分制度が廃止されたフランスでは、人々が自分好みの服を着れるようになり、大衆向けにデザインや大きさが統一された衣服が登場しました。
それでも仕立て屋に頼んで特別に服を作ってもらう事はなくなりません。そんな中で生まれたのが「オートクチュール haute couture」です。
これはフランス語で「高級」を意味する「オート haut」と、「裁縫」を意味する「クチュール couture」が合わさって出来た「高級仕立服」を指す言葉です。
貴族でなく市民に高級な仕立て服を提供するのが、オートクチュールの始まりでした。

数学は往々にして、大学をはじめとする専門機関に所属する人や最初からそうした人との繋がりを持つ人しか学べなかったりしますし、その学習は時間や習熟度による制約や目標に制限されてしまいがちです。

その限定や制限を取り払った質の高い数学を学習する機会を提供するために論計舎は、生徒さん個人のご都合や習熟度、目標に沿ってカリキュラムを提案します。これを「学びのオートクチュール」と呼んでいるのです。

そして、それを可能にしているのが、セッション主義であり対話の重視なのです。

さらに論計舎の生徒さんは卒業後の論計舎と講師さんと繋がりを持ち続けます。オートクチュールの衣服をサイズ直したりメンテナンスするように、論計舎は生徒さんの卒業後も講師とパーソナルな繋がりをもっていただけ、たとえば論計舎を通してキャリアアップできたのちもセカンドオピニオンを提供者や新しい活躍の場での外での相談の相手になるのです。

対応テキスト

論計舎では、 われわれが指定するテキストに沿った講座を開いています。

というのも、 講師が実際に学習時に用いたテキストや論計舎で教材研究をしたテキストから 厳選した優れたテキストを採用することで 高品質な通話による指導をお届けできるからです。

  • 鹿島亮『数理論理学』、朝倉出版、2009
  • 小野寛晰『情報科学における論理』、日本評論社、1994
  • Benjamin C. Pierce(著)、住井英二郎(監訳)、遠藤侑介他(訳)『型システム入門』、オーム社、2013
  • 高橋正子『計算論 計算可能性とラムダ計算』、近代科学社、1991
  • 鹿島亮『C言語による計算の理論』、サイエンス社、2008 (ただいま入手困難らしいので代替の書籍を選定中です)
  • 萩谷、西崎『論理と計算のしくみ』、岩波オンデマンド
  • 新井敏康『数学基礎論 増補版』、東大出版会、2021
  • 石原哉『証明作法』、共立出版、2023年

講師紹介

川井 新

論計舎主催・講師。論理と計算の関わりに関心をもち、在野研究者として活躍中。他に哲学的論理学も専門とする。RIMS共同研究にて口頭発表2回。論理学友の会発起人。指導実績のある分野に、線形代数、微分積分学、数理論理学。ウィスキーと珈琲を好む。

市川 航士郎

東京理科大学数学科所属。数理論理学、特に形式体系の証明の構造を分析する順序数解析に興味を持ち、数学基礎論若手の会などで発表。最近はずっと不完全性定理を再考している。趣味はクラシック、ジャズなどの鑑賞とクラリネットの演奏。紅茶にこだわる。

尾崎 竜史

筑波大学で博士(工学)を取得。修士では偏微分方程式論を研究していた。 様々な解析学の命題について、その成立を予想をするときのインフォーマルな議論と実際の証明を完成させるためのテクニカルな議論に乖離があることへの不満から超準解析に興味を持つ。好きな音楽はムソルグスキー「ボリス・ゴドゥノフ」。専門分野は超準解析であり、対応可能分野には述語論理の基礎、線形代数、微分積分が含まれる。

コース・料金

ベーシックプランとアドバンスドプランに分かれます。

ベーシックプランは月2セッションで6万6千円 (税込) 、月4セッションで8万8千円 (税込) を目安としております。セッション数を変えたいとか講師を指名したいとか複数名で受講したいといったご要望も承ります。

アドバンスドプランでは、「半年で不完全性定理を理解するコース」とか「3ヶ月でカリーハワード対応を理解するコース」というようにまとまった内容にチャレンジできます。またキャリアアップのお手伝いもさせていただいております。

両プランともお見積りいたしますので、詳しくはお問い合わせください。

お支払いは銀行振込での前払いおよびクレジットカードにて承っております。クレジットカードでのお支払い期日は仲介サービスの規約に従います。銀行振込における振込手数料はお客さまの負担となります。上記価格は、予告なく変更されることがあります。

受講までの流れ

最初にZoomにて無料の相談通話を設けております。

  1. お問い合わせフォーム から無料相談をお申し込みください。
  2. 無料相談通話にてお客様の状況とご要望を詳しくお伺いします。
  3. 相談内容をもとに講師を選定し、講師と顔合わせの通話をしてただきます。
  4. 論計舎選りすぐりの講師が、刺激的な知の体験を提供します。

お問い合わせフォーム