塚田信高 TSUKADA Nabutaka

研究者番号	50015559
その他のID
所属 (過去の研究課題情報に基づく) *注記	2004年度: 筑波大学, 大学院・数理物質科学研究科, 助手 2000年度 – 2002年度: 筑波大学, 数学系, 助手 1996年度 – 1998年度: 筑波大学, 数学系, 助手 1988年度: 筑波大学, 数学系, 助手
審査区分/研究分野	研究代表者以外数学一般(含確率論・統計数学) / 計算機科学 / 代数学・幾何学 / 数学一般(含確率論・統計数学)
キーワード	研究代表者以外モデル理論 / model / structure / stability / 証明検証 / インターフェース / 圏論 / モデル / 単純 / 安定 … もっと見る

研究課題
(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件

塚田 信高 TSUKADA Nabutaka

研究課題

共同研究者

測度の集合論的研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

モデル理論における単純性と融合可能性に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

可算モデルの個数が有限となる理論の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

モデル理論における弱い同形概念の導入とその研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

結合子項を用いた高階単一化アルゴリズム

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

自動定理証明におけるインターフェースの研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

幾何学と情報数学

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

塚田信高 TSUKADA Nabutaka