メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
前のページに戻る
上江洲 忠弘
UESU Tadahiro
ORCID連携する
*注記
研究者番号
60015550
所属（過去の研究課題情報に基づく）
*注記
1987年度 – 1991年度 : 東京理科大学, 理学部, 教授
1986年度 : 九大, 理学部, 助教授
審査区分/研究分野
研究代表者
数学一般
研究代表者以外
数学一般
キーワード
研究代表者
数学基礎論 / 帰納論 / 集合論 / Foundation of Mathematics / Recursin Thery / Set Thevy / Construction Mathematics / 超準解析 / 数理論理学 / 模型論
…
もっと見る
/ 数学史 / Mathematical Logic / Model Thevy / 証明論 / 構成的数学 / 超準解析数学史 / Proof Thevy
…
もっと見る
研究代表者以外
計算機構論 / 論理 / セルオ-トマン / Information and Logic / Galois Theory / 様相論理 / 分散OS / 計算可能性 / Theory of Models / 定理証明系 / ブ-ル値モデル / 高階論理体系 / 算譜合成 / Program Synthesis / 論理体系 / 安定群 / 定理証明 / Graph Algorithms / 超巾 / Theorem Proving / Non-classical Logic / 算譜言語 / 情報 / Distributed Operating System / Definability / Calculability / Constructive Mathematics / Boolean valued model / 算譜言語のモデル / Cellular Automata / 幾何学算法 / 公理化 / Stability Theory / 定義可能性 / セルオ-トマトン / 集合論 / 算譜の検証 / Abel Group / 情報と論理 / ア-ベル群 / ガロアの理論 / 超準解析 / 安定性理論 / グラフ算法 / 算譜の仕様 / 非古典論理 / 証明論 / モデルの理論
隠す
研究課題
(
3
件)
共同研究者
(
17
人)
研究開始年:新しい順
研究開始年:古い順
モデルの理論とその関連分野の総合的研究
研究代表者
本橋 信義
研究期間 (年度)
1989 – 1991
研究種目
総合研究(A)
研究分野
数学一般
研究機関
筑波大学
離散的情報数学の総合的研究
研究代表者
廣瀬 健
研究期間 (年度)
1988 – 1990
研究種目
総合研究(A)
研究分野
数学一般
研究機関
早稲田大学
数理論理学の総合的研究
研究代表者
研究代表者
上江洲 忠弘
研究期間 (年度)
1986 – 1988
研究種目
総合研究(A)
研究分野
数学一般
研究機関
東京理科大学
九州大学
研究課題数：多い順
研究課題数：少ない順
1.
本橋 信義
(70015874)
共同の研究課題数 :
2件
共同の研究成果数 :
0件
2.
佐藤 雅彦
(20027387)
共同の研究課題数 :
2件
共同の研究成果数 :
0件
3.
八杉 満利子
(90022277)
共同の研究課題数 :
2件
共同の研究成果数 :
0件
4.
江田 勝哉
(90015826)
共同の研究課題数 :
2件
共同の研究成果数 :
0件
5.
坪井 明人
(30180045)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
6.
白井 古希男
(70077915)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
7.
梅沢 敏郎
(40021919)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
8.
西村 敏男
(00015471)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
9.
難波 完爾
(40015524)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
10.
廣瀬 健
(60063632)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
11.
米田 信夫
(50080487)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
12.
中島 玲二
(60109080)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
13.
藤野 精一
(20037146)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
14.
伊理 正夫
(40010722)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
15.
河原 康雄
(90091181)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
16.
小野 寛晰
(90055319)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
17.
榎本 彦衛
(00011669)
共同の研究課題数 :
1件
共同の研究成果数 :
0件
×
この研究者とORCID iDの紐付けを行いますか？
※ この処理は、研究者本人だけが実行できます。
×
