証明の手触りで解くロジックパズルの会（オンライン）
「論理的思考を鍛える」ではなく、証明の考え方の“手触り”をロジックパズルで味わう午後です。
- 日時：2025年12月7日（日）14:00〜15:30
- 形式：オンライン（Zoom）
- 定員：8〜12名程度（少人数制）
- 参加費：550円（税込）
- 主催：論計舎
講師：川井 新
このイベントについて (予定)
この回では、いわゆる「ナゾトキ」や推理パズルを素材にして、
- 場合分け
- 背理法（いったん仮定して矛盾を出す）
- 条件を整理していくプロセス
といった、数学の証明で日常的に使っている道具を数式抜きで体験してみることをねらいとしています。
「論理的思考を身につけよう！」というスローガンではなく、
「普段、証明でやっていることって、
パズルにするとこんなふうに見えるんだ」
という視点を共有する時間です。
当日の流れ（予定）
1. 導入（約10分）
- 簡単な自己紹介（お名前〈ハンドル可〉・ご所属など）
- 「パズルや証明との距離感」を軽く共有
- 今日のゴール：
- 「正解すること」ではなく
- どう考えたかを言葉にしてみること
2. ウォームアップ問題（15〜20分）
- 短めのロジックパズルを1問扱います（真偽発言パズルなど）。
- 各自で数分考えたのち、チャットで途中経過も含めて共有。
- 講師が、
- ここで暗黙に「場合分け」している
- ここは背理法の形になっている
といった形で、証明技法との対応づけを軽く解説します。
3. メインパズル（40〜50分）
-
条件の多い推理パズル（犯人当て、スケジュール決定など）を1問扱います。
-
進行イメージ：
- 問題文の読み合わせ
- 個人で考える時間
- ブレイクアウトルーム（小グループ）でのディスカッション
- 全体での解法・考え方の共有と、講師からのコメント
-
特に、
- どこで行き詰まったか
- どのタイミングで表や図を使いたくなったか
- どんなふうに可能性を絞り込んだか
といったポイントを拾い上げながら、証明を書くときの視点とつなげていきます。
4. 振り返りと今後のご案内（10〜15分）
- 今日やったことを、証明技法の言葉で簡単に整理
- 「パズルだと楽しいのに、証明だとつまらなく見える」ギャップについて雑談
- 来年予定している
- 証明技法ミニ集中講義
- 「よくよむ会」読書会シリーズ
などへのつながりも、希望者向けに軽くご案内します。
対象となる方
- ロジックパズル・ナゾトキが好きな高校生〜大学生
- 数学の証明に苦手意識はあるが、「考え方そのもの」は嫌いではない方
- 数理論理や証明論に興味があり、「入口の雰囲気だけ掴んでみたい」方
- 論計舎の雰囲気を、まずは遊び寄りの場で知ってみたい方
※前提知識としては、高校数学（集合・命題・場合の数）がなんとなく分かる程度を想定していますが、「まさにそれに向かっている途中」の方も歓迎です。
参加方法・お支払いについて
- 下記のお申し込みフォーム（または connpass イベントページ）からお申し込みください。
- 開催前日までに、Zoomの参加URLと、参加費 550円 のお支払い方法をご案内します。
- 当日、お時間になりましたらZoomにアクセスしてください。
締め切りました。
※このイベントの参加申し込み・決済は、論計舎サイト側で行います。 connpass での集金・募集は行いません。
カメラ・録画について
- カメラのON/OFFは自由です。
顔出しに抵抗のある方は、音声のみ・チャットのみの参加でも構いません。 - 進行の記録や、今後の運営改善のために主催側で録画させていただく場合があります。公開の有無・扱いについては、参加者に不利益が出ないよう配慮します。
講師プロフィール
川井 新（かわい しん）
数理論理学・理論計算機科学を専門とするオンライン家庭教師。
個人塾「論計舎」を主宰し、
- 数理論理・証明論・計算論
- 集合論・型理論による数学の基礎づけ
- 大学数学の基礎固め・学び直し
などの分野で、受験生から大学生・大学院生・社会人まで幅広く指導している。
お申し込み・お問い合わせ
お申し込みは、以下のフォームよりお願いいたします。
メールマガジンにご登録いただいている方と既存の受講生の方は、論計舎でご登録・ご使用いただいているメールアドレスにてお申し込みください。
締め切りました。
ご不明な点がありましたら、お問い合わせページから、「ロジックパズルの会」と添えてお気軽にご連絡ください。