過去のイベント

これまでに開催したイベントの記録です。次回の論計祭・講義のお知らせは、Connpassとメルマガでお送りします。

2026年

  • 論計舎 講義ロードマップ説明会（2026年テーマ「計算」）: 2026年1月31日、オンライン（connpass）
  • 論計祭#5: 2026年1月24日（connpass）

2025年

  • 年末なんでも相談オフィスアワー: 2025年12月21日、オンライン
  • よくよむ会 モックセッション＆説明会: 2025年12月11日、オンライン
  • 証明の手触りで解くロジックパズルの会: 2025年12月7日、オンライン
  • AIを「論理と計算」を通してみる II: 2025年11月22日〜24日、全3回、オンライン
  • 夏の100本ノック 演習添削会 2025: 2025年9月19日〜22日、全4回。『自然演繹100本ノック』と『反例構成100本ノック』の答案を添削
  • AIを「論理と計算」の眼で見る ─ 理論からひもとく3回講義シリーズ: 2025年6月〜9月、全3回、オンライン。Riceの定理・SATソルバ・シンボリックAIとディープラーニングの融合を扱った
  • 集中講義「一階述語論理の完全性定理とその証明」: 2025年3月17日〜21日、全5回、オンライン

2024年

  • 論計祭#4: 2024年4月13日（connpass）

2023年

  • 論計祭#2: 2023年3月18日（connpass）
  • 論計祭#1: 2023年2月4日（connpass）
  • 論計祭#0: 2023年1月13日（connpass）

2022年

  • 連続講義「ゲーデルの不完全性定理への12講」: 2022年9月から2023年まで、毎月1回。数理論理学とは何かという話から始めて第一不完全性定理を伝え、第二不完全性定理を紹介した
  • 論計舎webレクチャー「幾何学的群論のためのボルノロジー」: 2022年6月26日、YouTube の論計舎チャンネル。外部講師 T. Imamura（AaaS Bridge, inc.）
  • webシンポジウム「情報産業における数学・論理・計算」（RMCII 2022）: 2022年5月27日・28日（シンポジウムのページ）