論計舎について
論計舎（ろんけいしゃ）は、 数理論理学と計算機科学を主軸とした オンライン私塾です。
論計舎の特徴
論計舎では、選りすぐりの四人の講師がメンター講座とチューター講座というふたつの仕方で オンラインで数学の学びをサポートします。
お知らせ
開講講座とイベントのお知らせです。
近日開催イベント
9月から毎月一回一年かけて 「ゲーデルの不完全性定理への12講」という連続講座 を開講します。 数理論理学とは何かという話から始めて第一不完全性定理をお伝えし、第二不完全性定理を紹介します。
なお途中参加も容易となるように講座の録画の有料販売をいたします。
開催イベント
外部講師をお招きし、「幾何学的群論のためのボルノロジー」というレクチャを2022年6月26日20時より YouTubeの論計舎チャンネルにて行いました。これは論計舎 代表川井の研究プロジェクトの一環です。
外部講師：T. Imamura, Senior Research Fellow, AaaS Bridge, inc.
数理論理学スターターマニュアル
論と計の門を叩こうとする人に少しでも適切な門を紹介しようとテキストを書きました。 詳細は 販売ページをご覧ください。
自然演繹100題ノック
自然演繹の証明図をひたすら書く教材を作成・公開しました(2022/02/27)。
ダウンロードは論計舎web shop内ページより可能です。無料です。
論理学友の会
論計舎は、 論理学友の会を支援しております。