メニュー
検索
研究課題をさがす
研究者をさがす
KAKENの使い方
日本語
英語
前のページに戻る
野崎 昭弘
ノサキ アキヒロ
ORCID連携する
*注記
研究者番号
90012343
所属 (過去の研究課題情報に基づく)
*注記
1987年度 – 1989年度: 国際基督教大学, 教養学部, 教授
1986年度: 国際基督教大学, 教養部, 教授
審査区分/研究分野
研究代表者以外
数学一般
キーワード
研究代表者以外
圏論と計算理論 / 符号理論 / 3ー連結グラフ / 可約辺 / Vー理論 / CSP / ソリッドモデラ / ウィンドウシステム / GMW / 日本語入力
…
もっと見る
/ Wnn / プログラム合成系 / LPS / Smalltalk80 / 関係演算 / 音釆処理系 / PSYCHE / 圏論と計算機科学 / トポス / 関数型言語の処理機構 / Modula-2 / プログラムの自動合成 / 定理の自動証明 / 計算幾何学 / V-論理 / 類推の理論 / ペアノ算術系 / グラフの結合度と可約辺 / 計算機の基礎数理 / 計算機応用数理 / プログラミング / プログラムの仕様記述
隠す
研究課題
(
2
件)
共同研究者
(
9
人)
研究開始年: 新しい順
研究開始年: 古い順
プログラム数理の総合的研究
研究代表者
五十嵐 滋
研究期間 (年度)
1987 – 1989
研究種目
総合研究(A)
研究分野
数学一般
研究機関
筑波大学
離散的計算機数学の総合的研究
研究代表者
米田 信夫
研究期間 (年度)
1985 – 1987
研究種目
総合研究(A)
研究分野
数学一般
研究機関
東京大学
研究課題数: 降順
研究課題数: 昇順
1.
米田 信夫
(50080487)
共同の研究課題数:
2件
共同の研究成果数:
0件
2.
難波 完爾
(40015524)
共同の研究課題数:
2件
共同の研究成果数:
0件
3.
五十嵐 滋
(80027367)
共同の研究課題数:
2件
共同の研究成果数:
0件
4.
謝 章文
(20065866)
共同の研究課題数:
1件
共同の研究成果数:
0件
5.
伊理 正夫
(40010722)
共同の研究課題数:
1件
共同の研究成果数:
0件
6.
榎本 彦衛
(00011669)
共同の研究課題数:
1件
共同の研究成果数:
0件
7.
廣瀬 健
(60063632)
共同の研究課題数:
1件
共同の研究成果数:
0件
8.
伊藤 貴康
(80124551)
共同の研究課題数:
1件
共同の研究成果数:
0件
9.
西村 敏男
(00015471)
共同の研究課題数:
1件
共同の研究成果数:
0件
×
この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。
×
×