相談会について

論計舎のサービスはなかなか分かりにくいというお声をいただきます。 確かにわれわれにも新しくニッチなことをやっている自負と自責がございます。

そこで普段行っているお問い合わせを受けての無料相談通話でなく、 広く皆様に論計舎を知っていただく機会として相談会を設けます。

普段の「無料相談通話」では、数理論理学とは何か知りたい、数理論理学をどう学べばいいのかわからない、論計舎のスタイルを知りたい、講師について知りたいなどのご相談を承っております。

今回の無料相談会でもそうしたご質問やご相談を募集します。

開催はZoomにて行い、参加のための情報はconnpass内「参加者への情報」からご覧になれます。

タイムテーブル

21:00 開会と論計舎の説明

21:30 質疑応答A

22:00 質疑応答B

22:30 質疑応答C

論計舎について

論計舎では、選りすぐりの四人の講師がメンター講座とチューター講座というふたつの仕方でオンラインで数学の学びをサポートします。

メンター講座について

メンター講座は、選りすぐりの四名の講師による質問への応答、ノート添削・学習指導のサービスです。 クラウドファイル共有サービス mega　のファイル共有機能とチャット機能を用いて行います。

対応テキスト

• 鹿島亮『数理論理学』、朝倉出版、2009
• 小野寛晰『情報科学における論理』、日本評論社、1994
• Benjamin C. Pierce(著)、住井英二郎(監訳)、遠藤侑介他(訳)『型システム入門』、オーム社、2013
• 高橋正子『計算論 計算可能性とラムダ計算』、近代科学社、1991
• 鹿島亮『C言語による計算の理論』、サイエンス社、2008
• 萩谷、西崎『論理と計算のしくみ』、岩波オンデマンド
• 新井敏康『数学基礎論 増補版』、東大出版会、2021

チューター講座について

チューター講座では、選りすぐりの四名の講師がZoomにて数学の学びをサポートします。 その特徴は、 通常の私塾やオンライン家庭教師におけるような一方的な講義形式でなく、 輪読やセミナーと呼ばれる大学の数学科でよく行われるような対話的な形式をオンライン上で提供する点にあります。

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

対応テキスト

• 鹿島亮『数理論理学』、朝倉出版、2009
• 小野寛晰『情報科学における論理』、日本評論社、1994
• Benjamin C. Pierce(著)、住井英二郎(監訳)、遠藤侑介他(訳)『型システム入門』、オーム社、2013
• 高橋正子『計算論 計算可能性とラムダ計算』、近代科学社、1991
• 鹿島亮『C言語による計算の理論』、サイエンス社、2008
• 萩谷、西崎『論理と計算のしくみ』、岩波オンデマンド
• 新井敏康『数学基礎論 増補版』、東大出版会、2021