• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

榎本 肇  エノモト ハジメ

ORCIDORCID連携する *注記
研究者番号 60016227
外部サイト
所属 (過去の研究課題情報に基づく) *注記 1990年度 – 1992年度: 芝浦工業大学, 工学部, 教授
1988年度: 東京工業大学, 名誉教授
1986年度: 東京工業大学, 名誉教授
審査区分/研究分野
研究代表者以外
情報学 / プラズマ理工学 / 情報工学
キーワード
研究代表者
ウインド表記型言語 / 動詞オブジェクト / 名詞オブジェクト / オブジェクト・ネットワ-ク / 参照モデル / 感性モデル / ソフトウァア記述プロセス / ウィンド間インタ-フェイス / オブジェクト指向 / ウィンド表記言語 … もっと見る / 内包的テンプレ-ト / ソフトウェアの段階的定義 / ソフトウェア記述プロセス / ソフトウェア プロセス … もっと見る
研究代表者以外
基礎研究 / 情報科学 / 知識・知能 / 計算システム / 知的情報処理 / モデル / 情報学 / 高次コミュニケーション / 知識科学 / データ科学 / 感性情報 / パターン情報 / 論理情報 / ソフトウエアプロセスの記述 / 項書き換系とナローイング / 証明チェッカ / 型理論とプログラム抽出 / 構成的プログラミング / ATMSを用いた項書換え系 / 構造化ネット / 高機能高品質ソフトウエア / 形式的記述 / オブジェクト指向 / LOTOS / 仕様化・設計法 / ソフトウェアプロセス 隠す
  • 研究課題

    (6件)
  • 共同研究者

    (27人)
  •  高機能高品質ソフトウエアの基礎理論に関する研究

    • 研究代表者
      伊藤 貴康
    • 研究期間 (年度)
      1992
    • 研究種目
      重点領域研究
    • 研究機関
      東北大学
  •  ソフトウェア記述プロセスと内包的テンプレ-ト利用法の研究研究代表者

    • 研究代表者
      榎本 肇
    • 研究期間 (年度)
      1991
    • 研究種目
      重点領域研究
    • 研究機関
      芝浦工業大学
  •  ソフトウェア記述プロセスと内包的テンプレ-ト利用法の研究研究代表者

    • 研究代表者
      榎本 肇
    • 研究期間 (年度)
      1990
    • 研究種目
      重点領域研究
    • 研究機関
      芝浦工業大学
  •  プロセス代数によるソフトウェア設計過程の形式化の研究

    • 研究代表者
      佐伯 元司
    • 研究期間 (年度)
      1990
    • 研究種目
      一般研究(C)
    • 研究分野
      情報工学
    • 研究機関
      東京工業大学
  •  日本における情報科学基礎研究のあり方についての総括的研究

    • 研究代表者
      坂井 利之
    • 研究期間 (年度)
      1987 – 1988
    • 研究種目
      総合研究(B)
    • 研究分野
      情報学
    • 研究機関
      龍谷大学
  •  日本における情報科学基礎研究の在り方についての総合的研究

    • 研究代表者
      坂井・利之 トシユキ
    • 研究期間 (年度)
      1986
    • 研究種目
      総合研究(A)
    • 研究分野
      プラズマ理工学
    • 研究機関
      京都大学
  • 1.  坂井・利之 トシユキ (70025790)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 2.  村尾 洋 (90157735)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 3.  辻 三郎 (60029527)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 4.  大須賀 節雄 (10013640)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 5.  藤原 譲 (40110473)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  野口 正一 (80006220)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  佐伯 元司 (80162254)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  伊藤 貴康 (80124551)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  井田 哲雄 (70100047)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  林 晋 (40156443)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  萩谷 昌己 (30156252)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  佐藤 雅彦 (20027387)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  甘利 俊一 (80010726)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  有川 節夫 (40037221)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  藤崎 博也 (80010776)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  長尾 真 (30025960)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  相磯 秀夫 (90051250)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  富永 英義 (20063688)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  鳥居 宏次 (10172222)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  米崎 直樹 (00126286)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  西田 豊明 (70135531)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  堂下 修司 (00025925)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  和田 英一 (50010723)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  福村 晃夫 (60022985)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  志村 正道 (30029409)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  田中 英彦 (60011102)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 27.  池田 克夫 (30026009)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi