計算理論ゼミ（Foundations of Computing）

通常ゼミと大学院生の文献講読ゼミをほぼ隔週で行っています。

12月15日（月）
12月8日（月）
12月1日（月）10:30　数研本館204　藤田「Schanuel 予想と Skolem 問題」
11月17日（月）研究計画検討会
11月10日（月）9:00　数研本館204　萩原「計算量クラス同士の基本的な関係」
10月27日（月）10:30　数研本館204　ディブレクト「Effective subcategories of quasi-Polish spaces」
10月20日（月）9:00　数研本館204　川島「解析的階層入門」
10月16日（木）17:00　草野「所要時間付き輪番割当問題に対する定数密度限界の困難性及び発見的手法」（発表練習）
10月6日（月）10:30　数研本館204　藤田「Dominant 根が 3 個であるような Linear Recurrence Sequence の複素絶対値の下界評価について」

9月24日（水）〜26日（金）には国際会議CCAが行われます
7月14日（月）9:00　数研本館204　廣島「ある無理数の連分数表示について」
6月30日（月）10:30　総人棟1206　萩原（発表練習）
6月23日（月）9:00　数研本館204　川島「脱乱択化と回路」
6月2日（月）15:00～6日（金）には清水伸高氏（科学大）による集中講義（数理解析特別講義Ⅰ）「PCP定理の証明と応用」があります
6月5日（木）17:00　清水伸高氏講演「行列積アルゴリズムに対する誤り訂正」
5月26日（月）10:30　総人棟1206　草野「Pinwheel Covering」（発表練習）
5月12日（月）9:00　数研本館204　藤田「P進dominant根が3個であるようなLinear Recurrence Sequenceで特定の条件を満たすものにおけるSkolem問題の決定可能性について」
5月8日（木）17:00　廣島「中間値の定理の計算論的類似」
4月28日（月）9:00　数研本館204　草野「暗号理論における計算複雑性入門」
4月21日（月）9:00　数研本館204　川島「選択と一意選択（Weihrauch束）」
4月14日（月）9:00　数研本館204　萩原「2階ホロノミック列の符号周期」
4月7日（月）11:00　数研本館204　研究室生活とゼミの進め方について

※この他の月曜1・2限の時間帯は進捗連絡会を行っています（詳細は各自教員と相談）。