集 中 講 義

11月17日（火）〜11月20日（金） 15：00〜17:00 講義室未定

黒 田　覚　講師 (群馬県立女子大学　准教授)

講義題目 証明論と計算量理論 簡単な内容 計算量理論への応用としての，算術体系の理論の概説 談話会講演題目【11月16日（月）】 計算量クラスの限定算術体系による特徴づけについて[概要] ＊11月16日（月）の談話会のみ川井ホールで行う。 数学教室のトップへ 今週のセミナーへ 来週以降のセミナーへ 談話会情報へ 集中講義情報へ