令和4年度　計算理論ゼミ（Foundations of Computing）

講演

• 令和5年2月13日（月）15:00～　ピーター・コリンズ氏（蘭・マーストリヒト大）
• 令和5年1月16日（月）15:00～　ウルリヒ・ベルガー氏（英・スウォンジー大）
• 令和4年12月12日（月）15:00～　アルノ・パオリ氏（英・スウォンジー大）
• 令和4年11月1日（火）13:00～　湯山孝雄氏（東工大）

定例ゼミ

令和4年度後期

人環　数理情報論分野CAセミナーと合同

• 2月13日（月）15:00　総人棟1306　コリンズさん講演
• 1月26日（木）16:30　総人棟1401　ウェストン「Infinite sets that admit fast exhaustive search (Martín Escardó)」（論文紹介）
• 1月16日（月）15:00　総人棟1401　ベルガーさん講演
• 12月12日（月）15:00　総人棟1401　パオリさん講演
• 11月28日（月）15:00　総人棟1401　萩原「符号の周期が2以下の2階ホロノミック列」
• 11月10日（木）13:00　総人棟1401　萩原「符号が非周期的な2階ホロノミック列」
• 11月1日（火）13:00　数研本館204　湯山さん講演（離散最適化セミナー）
• 10月24日（月）15:00　総人棟1401　廣島「初等的に和近似不可能だが追跡可能な無理数」
• 10月3日（月）15:00　総人棟1401　ミュラーさん講演と研究紹介（萩原、藤井、ヘルテル、メルゲン）

令和3年度前期・後期・令和4年度前期

• 合同セミナー（→詳細はPandA共生人間学研究のページ）