令和6年度 計算理論ゼミ（Foundations of Computing）
講演
定例ゼミ
通常ゼミと大学院生の文献講読ゼミをほぼ隔週で行っています。
令和6年度後期
- 2月19日（水）～21日（金）数研111で「半群・代数・言語と計算機科学の周辺領域」が開催されます。
- 1月27日（月）～29日（水）数研420でLAシンポジウムが開催されます。
- 1月20日（月）13:15 数研本館301 藤田「Skolem ProblemのNP困難性について」
- 1月15日（水）（学年暦では月曜扱いだが）休講
- 1月6日（月）中止
- 12月23日（月）13:15 数研本館301 草野「PCP定理の近似困難性への応用」
- 12月16日（月）13:15 数研本館301 研究課題検討会（3）
- 12月9日（月）〜12日（木）総合研究2号館478号室で集中講義「代数的言語理論と古典類体論」（浦本武雄氏）があります
- 12月2日（月）13:15 数研本館301 廣島「Cauchy 表現と等価な, 全域的又は単射な表現の非存在性」
- 11月25日（月）13:15 数研本館301 研究課題検討会（2）
- 11月18日（月）13:15 数研本館301 萩原「ユークリッド空間の開・閉集合に定義される計算可能性・c.e.性」
- 11月11日（月）13:15 数研本館301 藤田（続）
- 10月28日（月）13:15 数研本館301 藤田「充足可能性問題がNP完全であること」
- 10月21日（月）13:15 数研本館301 研究課題検討会（1）
- 10月15日（火）15:00 総人棟1401 立木「あるセル・オートマトンの作るきれいな模様についてお話しします」
- 10月7日（月）13:15 数研本館301 廣島「計算可能関数の連続性」
※この他の月曜3・4限の時間帯は進捗連絡会を行っています（詳細は各自教員と相談）。
令和6年度前期
- 7月29日（月）8:45 数研本館301 萩原「2階ホロノミック列が初期値の微小変化に対して安定な定常符号をもつための十分条件」
- 7月22日（月）研究計画検討会（各学生）
- 7月18日（木）ゴンシェニェツさん講演
- 7月9日（火）〜12日（金）数研110室で「数理論理学の最近の進展（SAML）」が行われます
- 7月1日（月）休講
- 6月24日（月）8:45 数研本館301 藤田（続）
- 6月17日（月）8:45 数研本館301 藤田（続）
- 6月10日（月）8:45 数研本館301 藤田「高々3個しかdominantな根を持たないようなLRS Xのなす集合において、Skolem Problemは決定可能である」（論文紹介）
- 6月3日（月）研究計画検討会（各学生）
- 5月27日（月）8:45 数研本館301 廣島「和近似が初等的であるような無理数」
- 5月20日（月）8:45 数研本館301 萩原「超幾何級数Σt(k)をΣを使わない簡単な式で表すためのアルゴリズム」
- 5月13日（月）10:30 総人棟1401 立木（続）
- 5月2日（木）10:30 総人棟1401 立木（続）
- 4月24日（水）16:45 数研本館110 談話会（河村）
- 4月22日（月）10:30 総人棟1401 立木「Projected images of the Sierpinski tetrahedron and other layered fractal imaginary cubes」
- 4月15日（月）10:30 数研本館301 藤田「7次以下のreversibleなZ-Linear Recurrence SequencesにおいてSkolem Problemは判定可能」
- 4月8日（月）10:30 数研本館301 研究室生活とゼミの進め方について
※この他の月曜1・2限の時間帯は進捗連絡会を行っています（詳細は各自教員と相談）。
以前の講演・定例ゼミ