論計舎相談会

2023/09/18(月)14:30 〜 18:00 開催
ブックマーク

イベント内容

相談会について

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

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

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

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

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

タイムテーブル

14:00 開場

14:30 開会と論計舎の説明

15:00 質疑応答A

16:00 質疑応答B

17:00 質疑応答C

論計舎について

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

メンター講座について

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

対応テキスト

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

チューター講座について

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

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

対応テキスト

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

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ(connpass)へ

新規会員登録

このイベントに申し込むには会員登録が必要です。
アカウント登録済みの方はログインしてください。



※ ソーシャルアカウントで登録するとログインが簡単に行えます。

※ 連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。

関連するイベント