生成AIが話題になる今、あえて「理論」からAIを考えてみませんか？

この講義シリーズは、ChatGPTなどのAIが本質的に何をしていて、何ができないのかを
論理学と計算理論の視点からひもとく、知的好奇心のための連続講義です。

👤 こんな方におすすめ

🧠 講座概要

🗓 2025年6月6日（金）19:30〜21:00
AIは「すべてを判断できる」と思っていませんか？
この回では、プログラムの「意味的性質」が理論的に判定できないことを示すRiceの定理を通して、AIの本質的な限界を考察します。

🗓 2025年7月25日（金）19:30〜21:00
理論的には難しい問題（NP完全）を、実用上は高速に解く──
この矛盾を可能にするのがSATソルバです。
AIにおける「論理アルゴリズム」の勝利を、制約・最適化・検証の視点から読み解きます。

🗓 2025年9月5日（金）19:30〜21:00
論理的推論と機械学習の融合に注目！
LLM（大規模言語モデル）と論理ツール（SMT・形式検証）を比較・実演しながら、
**AIの「思考する力」**の最前線を探ります。

受講に加えて「講義で学んだことを深める個別相談」もセットにできます。

▶ 個別の疑問を整理したい方におすすめです。

参加形式	通常価格	早割価格（5/23まで）	学生価格（※学籍確認要）
単発参加	3,300円	2,750円	2,200円
通し参加	7,700円	6,600円	5,500円

🔗 申込フォーム：
https://ronkeisha.net/events/202506ai/

Q：予備知識がなくても大丈夫ですか？
A：はい、一般教養レベルからご案内します。専門用語は丁寧に解説します。

Q：録画視聴のみもできますか？
A：可能です。リアルタイム参加が難しい方もご安心ください。

川井新（かわい・しん）
論計舎主催。在野研究者として数理論理学・哲学的論理学・計算理論を中心に活動。
RIMS共同研究にて発表経験多数。論理学友の会発起人。
教育・研究両面において、論理の「知的対話」を重視する姿勢で知られる。

AIに「できること・できないこと」を、
感覚でなく理論で捉えてみませんか？

ご参加を心よりお待ちしています。