計算理論ゼミ（Foundations of Computing）
講演
定例ゼミ
通常ゼミと大学院生の文献紹介ゼミをほぼ隔週で行っています。
令和5年度後期
- 3月13日（水）13:00 総人棟1401 長谷川「3山 Blocking Nim のセルオートマトン的解析」（発表練習）
- 2月5日（月）15:00 総人棟1401 藤井「Neural Bradley-Terry Rating: Quantifying Properties from Comparisons」（発表練習）
- （補講）1月29日（月）13:15 数研本館301 萩原「正則超幾何項の和はホロノミック（続）」
- 1月22日（月）15:00 数研本館301 成果発表検討会（修士課程学生）
- 12月18日（月）15:00 総人棟1401 萩原「二階ホロノミック列の定常符号」（発表練習）
- 12月11日（月）13:15 数研本館301 修士論文最終検討会
- 12月4日（月）15:00 総人棟1401 ティース「Computable Analysis and Coq」TPP報告
- 11月27日（月）15:00 数研本館301 萩原「正則超幾何項の和はホロノミック」
- 11月20日（月）15:00 総人棟1401 藤井「Quantifying Feature Importance of Games and Strategies via Shapley Values」（発表練習）
- 11月15日（水）9:45 数研本館301 研究公正・研究倫理（2）
- 11月6日（月）15:00 廣島「初等的に追跡される無理数」
- 10月30日（月）13:15 数研本館301 修士論文中間検討会
- 10月23日（月）13:15 数研本館301 研究公正・研究倫理（1）
- 10月16日（月）15:00 数研本館301 廣島「Stern-Brocotの木と連分数」
- 10月5日（木）17:00 寺町ラボ カプロンさん講演
- 9月25日（月）〜29日（金）はCCCが開催されます
※この他の月曜3・4限の時間帯は進捗連絡会を行っています（詳細は各自教員と相談）。参加者の都合を相談の上3・4限ではなく4・5限に行うこともあります。
令和5年度前期
- （補講）7月18日（火） 数研本館111 廣島
- 7月10日（月）8:45 数研本館301 廣島「超越数の分類」
- 7月3日（月）8:45 数研本館301 修士論文中間検討会
- 6月26日（月）11:00 寺町ラボ ゴンシェニェツさん講演
- 6月19日（月）10:30 総人棟1401 萩原（日韓ワークショップ発表練習）
- （中止）6月12日（月）8:45 数研本館301
- 6月5日（月）10:30 総人棟1401 ディブレクト「Completeness in logic and topology」
- 5月29日（月）16:00 数研本館111 神山さん講演（離散最適化セミナー）
- 5月22日（月）8:45 数研本館301 廣島「超越数論におけるLiouvilleの定理」
- 5月16日（火）15:00 数研本館204 横井さん講演（離散最適化セミナー）
- 5月8日（月）10:30 総人棟1401 湯山「群の語の問題とG-オートマトン」
- 5月1日（月）8:45 数研本館301 萩原「実数の様々な計算論的複雑性」
- 4月24日（月）10:30 総人棟1401 中田「直観主義算術における準古典的公理とトポス理論における局所作用素」
- 4月17日（月）8:45 数研本館301 廣島「連分数に関する文献の発表をします」
- 4月13日（木）14:00 寺町ラボ ポタポフさん講演
※この他の月曜1・2限の時間帯は進捗連絡会を行っています（詳細は各自教員と相談）。
以前の講演・定例ゼミ