• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

塚田 信高  TSUKADA Nabutaka

ORCIDORCID連携する *注記
研究者番号 50015559
その他のID
所属 (過去の研究課題情報に基づく) *注記 2004年度: 筑波大学, 大学院・数理物質科学研究科, 助手
2000年度 – 2002年度: 筑波大学, 数学系, 助手
1996年度 – 1998年度: 筑波大学, 数学系, 助手
1988年度: 筑波大学, 数学系, 助手
審査区分/研究分野
研究代表者以外
数学一般(含確率論・統計数学) / 計算機科学 / 数学一般(含確率論・統計数学) / 代数学・幾何学
キーワード
研究代表者以外
stability / structure / model / モデル理論 / Stationary set / Saturation / Filter / Forcing / Large cardinal / Infinitary combinatorics … もっと見る / Set theory / Mathematical logic / イデアル / 反映原理 / 超フィルタ / 定常集合 / 飽和イデアル / 生成超巾 / 公理的集合論 / 定常集会 / 飽和性 / フィルタ / 強制法 / 巨大基数 / 無限組合せ論 / 集合論 / 数理論理学 / Peano Arithmetic / Simple Theory / Model Theory / 単純性 / 同型写像 / 安定性 / 定義可能性 / 一階論理式 / ペアノの公理 / 可算モデル / 基本群の表現 / 結び目 / 3次元多様体 / 結合子 / 単一化 / 高階型理論 / ラムゼ-の定理 / フィルター / 順序構造 / 安定 / 単純 / モデル / 圏論 / インターフェース / 証明検証 隠す
  • 研究課題

    (7件)
  • 共同研究者

    (14人)
  •  測度の集合論的研究

    • 研究代表者
      塩谷 真弘
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  モデル理論における単純性と融合可能性に関する研究

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      2001 – 2002
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  可算モデルの個数が有限となる理論の研究

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      1999 – 2000
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  モデル理論における弱い同形概念の導入とその研究

    • 研究代表者
      坪井 明人
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      萌芽的研究
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      筑波大学
  •  結合子項を用いた高階単一化アルゴリズム

    • 研究代表者
      坂井 公
    • 研究期間 (年度)
      1997
    • 研究種目
      萌芽的研究
    • 研究分野
      計算機科学
    • 研究機関
      筑波大学
  •  自動定理証明におけるインターフェースの研究

    • 研究代表者
      坂井 公
    • 研究期間 (年度)
      1996
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      筑波大学
  •  幾何学と情報数学

    • 研究代表者
      高橋 元男
    • 研究期間 (年度)
      1987 – 1988
    • 研究種目
      一般研究(C)
    • 研究分野
      代数学・幾何学
    • 研究機関
      筑波大学
  • 1.  塩谷 真弘 (30251028)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 2.  坪井 明人 (30180045)
    共同の研究課題数: 6件
    共同の研究成果数: 0件
  • 3.  本橋 信義 (70015874)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 4.  西村 泰一 (70135614)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 5.  坂井 公 (20241797)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  壇 和日子 (40251029)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  杉浦 成昭 (20033805)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  高橋 元男 (30015896)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  遊上 毅 (20015879)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  江田 勝哉 (90015826)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  安本 雅洋 (10144114)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  桔梗 宏孝 (80204824)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  阿部 吉弘 (10159452)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  松原 洋 (30242788)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi