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

TAKANO Mitio  高野 道夫

ORCIDConnect your ORCID iD *help
… Alternative Names

高野 道夫  タカノ ミチオ

Less
Researcher Number 70126423
Other IDs
Affiliation (based on the past Project Information) *help 1998 – 2000: 新潟大学, 教育人間科学部, 教授
1997: 新潟大学, 教育学部, 教授
1994 – 1995: 新潟大学, 教育学部, 教授
1993: 新潟大学, 教育学部, 助教授
Review Section/Research Field
Principal Investigator
General mathematics (including Probability theory/Statistical mathematics)
Except Principal Investigator
General mathematics (including Probability theory/Statistical mathematics) / Geometry
Keywords
Principal Investigator
シークエント計算 / カット除去 / 部分式特性 / 様相論理
Except Principal Investigator
クリプキ意味論 / 部分構造論理 / 非標準論理 / 多様体 / lambda calculi / cut elimination theorem … More / game theory / Kripke semantics / epistemic logic / modal logic / substructural logic / nonstandard logic / クリプキ・フレーム / 自然演繹体系 / クリプキ完全性 / ラムダ計算 / カット除去定理 / ゲーム理論 / 認識論理 / 様相論理 / 項書換え系 / 知識の論理 / 群 / 数学基礎論 / 解析学 / 代数学 / 幾何学 / HNN分解 / Seifert膜 / 結び目 / 基本群 / 無限群 Less
  • Research Projects

    (5 results)
  • Co-Researchers

    (11 People)
  •  Advances in Nonstandard Logic

    • Principal Investigator
      ONO Hiroakira
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (B).
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  非標準論理とその情報科学への応用

    • Principal Investigator
      ONO Hiroakira
    • Project Period (FY)
      1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Japan Advanced Institute of Science and Technology
  •  様相論理の部分式特性とその応用Principal Investigator

    • Principal Investigator
      高野 道夫
    • Project Period (FY)
      1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Niigata University
  •  幾何学における代数的,解析的並びに情報論的方法

    • Principal Investigator
      垣水 修
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Geometry
    • Research Institution
      Niigata University
  •  無限群と多様体

    • Principal Investigator
      垣水 修
    • Project Period (FY)
      1993
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Geometry
    • Research Institution
      Niigata University
  • 1.  垣水 修 (80211150)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  古谷 正 (90018648)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  ONO Hiroakira (90055319)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  KANEKO Mamoru (40114061)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  SUZUKI Nobu-yuki (60216421)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  KOMORI Yuichi (10022302)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  長谷川 敬三 (00208480)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  鈴木 保高 (40007167)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  吉岡 智晃 (80018217)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  外山 芳人 (00251968)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  SHIMURA Tatsuya (90246835)
    # 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