[行事案内] 「論理とAI」オンラインWS 1/10 UNESCO世界論理デー記念ロジックフェスタ内WS
Mitsu Okada
「論理とAI」Online ワークショップ：UNESCO世界論理デー記念行事
2026年1月10日13:30-16:30（ZOOM遠隔形式）
最新情報 URL: https://abelard.flet.keio.ac.jp/2026/01_Logic_and_AI
UNESCO世界論理デー記念登録行事
要事前登録：定員300名になり次第締め切り
事前登録は次の科学基礎論学会公式ウェブサイトから行ってください。
科学基礎論学会 https://phsc.jp/
ロジックフェスタ当日午前の部の情報及び主催学会連絡先もこの学会サイトをご覧ください。
「論理とAI」ワークショップ
会合趣旨：「論理とＡＩ(論理や論理的手法と機械学習・言語モデル・生成AIなど)との融合や協調」、「AIによるリーズニング」などについて討論を行います。
事前登録及びロジックフェスタ当日午前の部の情報については上の科学基礎論学会公式ウェブサイトをご覧ください。ZOOM遠隔形式、定員300人、非会員の方は学会参加料千円。 事前登録にあたっては、万一不測の事態により遠隔配信に一部支障が生じました時は、登録者には後日主催学会よりビデオ録画配信をさせていただくことになりますことをご了解ください。
プログラム (最新情報 URL: https://abelard.flet.keio.ac.jp/2026/01_Logic_and_AI )
13:30 第1aa部 開会にあたって：岡田光弘・峯島宏次(慶應義塾大学）
13:35-14:10 （招待講演１）末永幸平（京都大学）トピック「論理的形式手法と機械学習」：題目：TBA
14:10-14:45 （招待講演２）横井祥（国立国語研究所） トピック「自然言語処理的観点から」題目:TBA
14:45-15:00 （報告１）岡田光弘・峯島宏次（慶應義塾大学）「形式論理推論と言語モデル推論」（仮題）
15:00-15:15 （報告２）大塚淳（ZEN 大学） トピック「科学哲学・機械学習の哲学の観点から」題目:TBA
15:15-15:45 パネル討論 コーディネータ 岡田光弘・峯島宏次(慶應義塾大学)
パネリスト 末永幸平（京都大学） 横井 祥（国立国語研究所） 大塚淳（ZEN 大学）
15:45-15:50 休憩
第２部 15:50-16:10 討論
指定コメンテータ１：細川雄一郎（群馬県立女子大学）「AI の反事実的公平性研究の視点から」
指定コメンテータ２：村上祐子（立教大学）「AI研究・教育と論理学研究・教育」
指定コメンテータ３：TBA
登壇者返答
16:10-16:30 フロアとの質疑応答
16:30 終了（予定） 状況によっては質疑応答終了時刻が多少遅れる可能性があります。
質疑応答時間では、AIと論理の融合研究・組み合わせ研究を進めていらっしゃるグループからのZOOM Chat機能を通じた文献紹介を歓迎いたします。よろしくお願い申し上げます。
――――
「論理とAI」セッションに関する問い合わせ先：
慶應義塾大学文学部哲学専攻内「論理とAI」事務局
logic[AT]abelard.flet.keio.ac.jp
1月10日のロジックフェスタ全体については上記主催学会URLに記載している学会事務局が問い合わせ先となります。
――――