メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
TAKANO Mitio
高野 道夫
Connect 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
Geometry
/
General mathematics (including Probability theory/Statistical mathematics)
Keywords
Principal Investigator
様相論理 / 部分式特性 / カット除去 / シークエント計算
Except Principal Investigator
多様体 / 非標準論理 / 部分構造論理 / クリプキ意味論 / 無限群 / 基本群
…
More
/ 結び目 / Seifert膜 / HNN分解 / 幾何学 / 代数学 / 解析学 / 数学基礎論 / 群 / 知識の論理 / 項書換え系 / 様相論理 / 認識論理 / ゲーム理論 / カット除去定理 / ラムダ計算 / クリプキ完全性 / 自然演繹体系 / クリプキ・フレーム / nonstandard logic / substructural logic / modal logic / epistemic logic / Kripke semantics / game theory / cut elimination theorem / lambda calculi
Less
Research Projects
(
5
results)
Co-Researchers
(
11
People)
Project Start Year (Newest)
Project Start Year (Oldest)
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
# of Projects (Dsc)
# of Projects (Asc)
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
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
この研究者とORCID iDの連携を行いますか？
※ この処理は、研究者本人だけが実行できます。
×
×
