メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
前のページに戻る
中島 玲二
NAKAJIMA Reiji
ORCID連携する
*注記
研究者番号
60109080
外部サイト
所属 (過去の研究課題情報に基づく)
*注記
1989年度 – 1992年度: 京都大学, 数理解析研究所, 教授
1989年度: 京都大学, 数理解折研究所, 教授
1988年度: 京都大学, 数理解析研究所, 助教授
1986年度: 京大, 数理解析研究所, 助教授
審査区分/研究分野
研究代表者
情報学
研究代表者以外
数学一般
キーワード
研究代表者
実行可能仕様言語 / 様相論理 / 実時間プロセス制御 / モジュラー・プログラミング / 時制論理 / 形式的プログラム仕様 / 実時間制御システム / 知識表現 / 分散システム / 論理プログラミング
…
もっと見る
/ 実時間システム / プロセス制御 / 実行可能仕様 / 形式的仕様 / 分散オペレ-ティング・システム / ハイパ-テキスト / ソフトウェアの仕様 / 人工知能 / ユーザ・インターフェース / Modal Logic / Tense Logic / Formal Program Specification / Real-time Process-control / Knowledge-representation / Distributed System / Executable Specification / Langnagl
…
もっと見る
研究代表者以外
リフレクション / 並列オブジェクト / 属性文法 / 項書き換えシステム / 分散オペレ-ティングシステム / 項書き換システム / グラフィカルユーザインターフェース / 算譜合成 / 定理証明 / 非古典論理 / セルオ-トマトン / グラフ算法 / セルオ-トマン / 定理証明系 / 算譜の仕様 / 算譜の検証 / 高階論理体系 / 分散OS / 算譜言語 / 算譜言語のモデル / 論理体系 / 幾何学算法 / Program Synthesis / Theorem Proving / Non-classical Logic / Cellular Automata / Graph Algorithms / Distributed Operating System / Constructive Mathematics
隠す
研究課題
(
6
件)
共同研究者
(
17
人)
研究開始年: 新しい順
研究開始年: 古い順
リフレクティブ構成モデルの研究
研究代表者
米澤 明憲
研究期間 (年度)
1991
研究種目
重点領域研究
研究機関
東京大学
リフレクティブ構成モデルの研究
研究代表者
米澤 明憲
研究期間 (年度)
1990
研究種目
重点領域研究
研究機関
東京大学
リフレクティブ構成モデルの研究
研究代表者
米澤 明憲
研究期間 (年度)
1990 – 1992
研究種目
重点領域研究
研究機関
東京大学
様相論理とその実時間制御及び人工知能への応用
研究代表者
研究代表者
中島 玲二
研究期間 (年度)
1989 – 1990
研究種目
一般研究(C)
研究分野
情報学
研究機関
京都大学
離散的情報数学の総合的研究
研究代表者
廣瀬 健
研究期間 (年度)
1988 – 1990
研究種目
総合研究(A)
研究分野
数学一般
研究機関
早稲田大学
実時間制御システム・ソフトウェアの開発環境
研究代表者
研究代表者
中島 玲二
研究期間 (年度)
1986
研究種目
一般研究(C)
研究分野
情報学
研究機関
京都大学
研究課題数: 降順
研究課題数: 昇順
1.
米澤 明憲
(00133116)
共同の研究課題数:
3件
共同の研究成果数:
0件
2.
佐々 政孝
(20016182)
共同の研究課題数:
3件
共同の研究成果数:
0件
3.
大内 東
(50002308)
共同の研究課題数:
3件
共同の研究成果数:
0件
4.
萩谷 昌巳
(30156252)
共同の研究課題数:
2件
共同の研究成果数:
0件
5.
廣瀬 健
(60063632)
共同の研究課題数:
1件
共同の研究成果数:
0件
6.
上江洲 忠弘
(60015550)
共同の研究課題数:
1件
共同の研究成果数:
0件
7.
米田 信夫
(50080487)
共同の研究課題数:
1件
共同の研究成果数:
0件
8.
藤野 精一
(20037146)
共同の研究課題数:
1件
共同の研究成果数:
0件
9.
伊理 正夫
(40010722)
共同の研究課題数:
1件
共同の研究成果数:
0件
10.
桜川 貴司
(60196136)
共同の研究課題数:
1件
共同の研究成果数:
0件
11.
湯浅 太一
(60158326)
共同の研究課題数:
1件
共同の研究成果数:
0件
12.
河原 康雄
(90091181)
共同の研究課題数:
1件
共同の研究成果数:
0件
13.
小野 寛晰
(90055319)
共同の研究課題数:
1件
共同の研究成果数:
0件
14.
佐藤 雅彦
(20027387)
共同の研究課題数:
1件
共同の研究成果数:
0件
15.
榎本 彦衛
(00011669)
共同の研究課題数:
1件
共同の研究成果数:
0件
16.
立木 秀樹
(10211377)
共同の研究課題数:
1件
共同の研究成果数:
0件
17.
服部 隆志
共同の研究課題数:
1件
共同の研究成果数:
0件
×
この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。
×
×