過去のセミナーの記録

２００６年度後期

• ２００７年１月３０日(火)
  講演者：安藤 善多（名大・情報科学）
  題目： Scott-Montague semantics of first-order modal logic（Scott-Montague 意味論による1階様相述語論理）（修士論文解説）
• １２月１日(金)
  講演者：Ilijas Farah（ヨーク大）
  題目：Von Neumann's problem and large cardinals(アブストラクト)
• ９月２６日(火)
  講演者：Yaa'cov Peterzil（ハイファ大）
  題目：Tame complex analytic geometry

• ７月４日(火)
  講演者：千谷 慧子（中部大・名誉教授）
  題目：Quantum set theory in a quantale valued set theory(アブストラクト(HTML) (PDF))
• ６月２０日(火)
  講演者：渕野 昌（中部大・工）
  題目：mad families の逆襲(アブストラクト)
• ５月２３日(火)
  講演者：薄葉 季路（名大・情報科学）
  題目：定常集合の分割問題について(アブストラクト)

２００５年度後期

• ２００６年２月２１日(火)
  講演者：藤田 博司（愛媛大・理）
  題目：SolovayのモデルにおけるLaczkovichの問題
• ２００６年２月７日(火)
  講演者：池上 大祐（名大・情報科学）
  題目：Projective absoluteness under Sacks forcing（修士論文解説）
  講演者：稲場 健（名大・情報科学）
  題目：Boolean circuits and proof theory for LD^i（修士論文解説）

２００５年度夏季

• ８月１８日(木)
  講演者：Bernhard König（ボイジー州立大）
  題目：Reflection of stationary sets - cofinality \omega vs. cofinality \omega_1(アブストラクト)

２００５年度前期

• ７月１９日(火)
  講演者：安本 雅洋（名大・情報科学）
  題目：Bounded second order arithmetic and computational complexity(アブストラクト)

• ７月１２日(火)
  講演者：渕野 昌（中部大・工）
  題目：非可測集合は定義可能か?(アブストラクト)

• ７月５日(火)
  講演者：嘉田 勝（中部大・工）
  題目：To βω, or not to βω: that is the question(アブストラクト)

• ５月２４日(火)
  講演者：Jacques Garrigue（名大・多元）
  題目：副作用を持った型付関数型プログラミング言語における多相性の強化(アブストラクト)

２００４年度後期

• １２月６日(月)
  講演者：Stevo Todorcevic（パリ第７大学）
  題目：PERFECT-SET FORCING AND THE OPEN COLORING AXIOM

２００４年度前期

• ７月２０日(火)
  講演者：米澤 佳己（豊田高専）
  題目：BSS degrees における jump operator
• ６月２２日(火)
  講演者：久馬 栄道（愛知学院大・教養）
  題目：情報の隠蔽とＰ＝ＮＰ問題(アブストラクト)
• ６月８日(火)
  講演者：薄葉 季路（名大・情報科学）
  題目：Hamkins' new axiom(アブストラクト)
• ５月２５日(火)
  講演者：吉信 康夫（名大・情報科学）
  題目：How many miles to $\beta\omega$?(アブストラクト)
• ５月１１日(火)
  講演者：安本 雅洋（名大・情報科学）
  題目：Separations of first and second order theories in bounded arithmetic(アブストラクト)
• ４月２０日(火)
  講演者：村木 久人（名大・多元数理）
  題目：Greatest fixed points of set continuous operators and Boffa's anti-foundation(アブストラクト)

２００２年度前期

• ７月９日(火)
  講演者：築地 立家（名大・人間情報）
  題目：Constant Degree Hypothesis 予想について(アブストラクト)
• ６月２５日(火)
  講演者：米澤 佳己（豊田高専）
  題目：The Embedding of Real Line to The B.S.S. Degrees(アブストラクト)
• ６月１１日(火)
  講演者：吉信 康夫（名大・人間情報）
  題目：Some remarks on Axiom R(アブストラクト)
• ５月２８日(火)
  講演者：竹内 外史（イリノイ大）
  題目：Goedel sentence
• ５月２１日(火)
  講演者：安本 雅洋（名大・人間情報）
  題目：和と積の複雑さについて(アブストラクト)
• ５月７日(火)
  講演者：久馬 栄道（愛知学院大・教養）
  題目：並列を使わないNP問題の定義について

２００１年度後期

• ２００２年１月２９日(火)
  講演者：山本 博久（名大・多元数理）
  題目：（修士論文解説）
  講演者：南 裕明（名大・人間情報）
  題目：ダイアモンド原理を構成する強制法について（修士論文解説）
  講演者：相田 慎（名大・人間情報）
  題目：NP問題の平均時間計算量解析（博士論文解説）
• １２月１８日(火)
  講演者：戸田山 和久 (名大・情報文化)
  題目：ゲーデルによる神の存在証明について

２００１年度前期

• ９月１８日(火)
  講演者：小澤 正直 (名大・情報文化)
  題目：論理規則は物理法則と矛盾するか？(アブストラクト)
• ６月１９日(火)
  講演者：村木 久人 (名大・多元数理)
  題目：Dependent Choices and Anti Foundation

２０００年度後期

• １２月１９日(火)
  講演者：横田 雅也 (名大・人間情報)
  題目：詰将棋の指数時間完全性
• １２月１４日(木)
  講演者：渕野 昌 (北見工大・工)
  題目：選択公理と数学 (アブストラクト)
• １２月１２日(火)
  講演者：米澤 佳己 (豊田高専)
  題目：実数値計算論における Degree Theory について

最終更新：2007年1月15日

このページの作成者：吉信康夫 ()