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

高野 道夫  TAKANO Mitio

ORCIDORCID連携する *注記
研究者番号 70126423
その他のID
所属 (過去の研究課題情報に基づく) *注記 1998年度 – 2000年度: 新潟大学, 教育人間科学部, 教授
1997年度: 新潟大学, 教育学部, 教授
1994年度 – 1995年度: 新潟大学, 教育学部, 教授
1993年度: 新潟大学, 教育学部, 助教授
審査区分/研究分野
研究代表者
数学一般(含確率論・統計数学)
研究代表者以外
数学一般(含確率論・統計数学) / 幾何学
キーワード
研究代表者
シークエント計算 / カット除去 / 部分式特性 / 様相論理
研究代表者以外
クリプキ意味論 / 部分構造論理 / 非標準論理 / 多様体 / lambda calculi / cut elimination theorem … もっと見る / game theory / Kripke semantics / epistemic logic / modal logic / substructural logic / nonstandard logic / クリプキ・フレーム / 自然演繹体系 / クリプキ完全性 / ラムダ計算 / カット除去定理 / ゲーム理論 / 認識論理 / 様相論理 / 項書換え系 / 知識の論理 / 群 / 数学基礎論 / 解析学 / 代数学 / 幾何学 / HNN分解 / Seifert膜 / 結び目 / 基本群 / 無限群 隠す
  • 研究課題

    (5件)
  • 共同研究者

    (11人)
  •  非標準論理研究の新しい展開

    • 研究代表者
      小野 寛晰
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      北陸先端科学技術大学院大学
  •  非標準論理とその情報科学への応用

    • 研究代表者
      小野 寛晰
    • 研究期間 (年度)
      1997
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      北陸先端科学技術大学院大学
  •  様相論理の部分式特性とその応用研究代表者

    • 研究代表者
      高野 道夫
    • 研究期間 (年度)
      1995
    • 研究種目
      一般研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      新潟大学
  •  幾何学における代数的,解析的並びに情報論的方法

    • 研究代表者
      垣水 修
    • 研究期間 (年度)
      1994
    • 研究種目
      一般研究(C)
    • 研究分野
      幾何学
    • 研究機関
      新潟大学
  •  無限群と多様体

    • 研究代表者
      垣水 修
    • 研究期間 (年度)
      1993
    • 研究種目
      一般研究(C)
    • 研究分野
      幾何学
    • 研究機関
      新潟大学
  • 1.  垣水 修 (80211150)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 2.  古谷 正 (90018648)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 3.  小野 寛晰 (90055319)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 4.  金子 守 (40114061)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  鈴木 信行 (60216421)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  古森 雄一 (10022302)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  長谷川 敬三 (00208480)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  鈴木 保高 (40007167)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  吉岡 智晃 (80018217)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  外山 芳人 (00251968)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  志村 立矢 (90246835)
    共同の研究課題数: 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