メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
前のページに戻る
上江洲 忠弘
UESU Tadahiro
ORCID連携する
*注記
研究者番号
60015550
所属 (過去の研究課題情報に基づく)
*注記
1987年度 – 1991年度: 東京理科大学, 理学部, 教授
1986年度: 九大, 理学部, 助教授
審査区分/研究分野
研究代表者
数学一般
研究代表者以外
数学一般
キーワード
研究代表者
数理論理学 / 数学基礎論 / 証明論 / 集合論 / 模型論 / 構成的数学 / 帰納論 / 超準解析 / 数学史 / 超準解析数学史
…
もっと見る
/ Mathematical Logic / Foundation of Mathematics / Proof Thevy / Set Thevy / Model Thevy / Construction Mathematics / Recursin Thery
…
もっと見る
研究代表者以外
モデルの理論 / 情報と論理 / ブ-ル値モデル / 定義可能性 / ガロアの理論 / 安定性理論 / ア-ベル群 / 計算可能性 / 公理化 / 様相論理 / 超準解析 / 情報 / 論理 / 集合論 / 証明論 / 計算機構論 / 超巾 / 安定群 / Theory of Models / Information and Logic / Boolean valued model / Definability / Galois Theory / Stability Theory / Abel Group / Calculability / 算譜合成 / 定理証明 / 非古典論理 / セルオ-トマトン / グラフ算法 / セルオ-トマン / 定理証明系 / 算譜の仕様 / 算譜の検証 / 高階論理体系 / 分散OS / 算譜言語 / 算譜言語のモデル / 論理体系 / 幾何学算法 / Program Synthesis / Theorem Proving / Non-classical Logic / Cellular Automata / Graph Algorithms / Distributed Operating System / Constructive Mathematics
隠す
研究課題
(
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の連携を行いますか?
※ この処理は、研究者本人だけが実行できます。
×
×