• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

TSUKADA Nabutaka  塚田 信高

ORCIDConnect your ORCID iD *help
… Alternative Names

塚田 信高  ツカダ ノブタカ

Less
Researcher Number 50015559
Other IDs
Affiliation (based on the past Project Information) *help 2004: 筑波大学, 大学院・数理物質科学研究科, 助手
2000 – 2002: Institute of Mathematics, University of Tsukuba, Assistant Professor, 数学系, 助手
1996 – 1998: 筑波大学, 数学系, 助手
1988: 筑波大学, 数学系, 助手
Review Section/Research Field
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / General mathematics (including Probability theory/Statistical mathematics) / 代数学・幾何学
Keywords
Except Principal Investigator
stability / structure / model / モデル理論 / Stationary set / Saturation / Filter / Forcing / Large cardinal / Infinitary combinatorics … More / Set theory / Mathematical logic / イデアル / 反映原理 / 超フィルタ / 定常集合 / 飽和イデアル / 生成超巾 / 公理的集合論 / 定常集会 / 飽和性 / フィルタ / 強制法 / 巨大基数 / 無限組合せ論 / 集合論 / 数理論理学 / Peano Arithmetic / Simple Theory / Model Theory / 単純性 / 同型写像 / 安定性 / 定義可能性 / 一階論理式 / ペアノの公理 / 可算モデル / 基本群の表現 / 結び目 / 3次元多様体 / 結合子 / 単一化 / 高階型理論 / ラムゼ-の定理 / フィルター / 順序構造 / 安定 / 単純 / モデル / 圏論 / インターフェース / 証明検証 Less
  • Research Projects

    (7 results)
  • Co-Researchers

    (14 People)
  •  Set-theoretic study of measures

    • Principal Investigator
      SHIOYA Masahiro
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  Simplicity and Amalgamation in Model Theory

    • Principal Investigator
      TSUBOI Akito
    • Project Period (FY)
      2001 – 2002
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Institute of Mathematics, University of Tsukuba
  •  Study of theories with finitely many countable models.

    • Principal Investigator
      TSUBOI Akito
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba.
  •  モデル理論における弱い同形概念の導入とその研究

    • Principal Investigator
      坪井 明人
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      University of Tsukuba
  •  結合子項を用いた高階単一化アルゴリズム

    • Principal Investigator
      坂井 公
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Exploratory Research
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  自動定理証明におけるインターフェースの研究

    • Principal Investigator
      坂井 公
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      University of Tsukuba
  •  幾何学と情報数学

    • Principal Investigator
      高橋 元男
    • Project Period (FY)
      1987 – 1988
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      代数学・幾何学
    • Research Institution
      University of Tsukuba
  • 1.  SHIOYA Masahiro (30251028)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 2.  TSUBOI Akito (30180045)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 0 results
  • 3.  MOTOHASHI Nobuyoshi (70015874)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 0 results
  • 4.  NISHIMURA Hirokazu (70135614)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  坂井 公 (20241797)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  壇 和日子 (40251029)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  杉浦 成昭 (20033805)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  高橋 元男 (30015896)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  遊上 毅 (20015879)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  江田 勝哉 (90015826)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  安本 雅洋 (10144114)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  KIKYO Hirotaka (80204824)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  ABE Yoshihiro (10159452)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  MATSUBARA Yo (30242788)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi