• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

榎本 肇  エノモト ハジメ

ORCIDConnect your ORCID iD *help
Researcher Number 60016227
External Links
Affiliation (based on the past Project Information) *help 1990 – 1992: 芝浦工業大学, 工学部, 教授
1988: 東京工業大学, 名誉教授
1986: 東京工業大学, 名誉教授
Review Section/Research Field
Except Principal Investigator
Informatics / プラズマ理工学 / 情報工学
Keywords
Principal Investigator
ウインド表記型言語 / 動詞オブジェクト / 名詞オブジェクト / オブジェクト・ネットワ-ク / 参照モデル / 感性モデル / ソフトウァア記述プロセス / ウィンド間インタ-フェイス / オブジェクト指向 / ウィンド表記言語 … More / 内包的テンプレ-ト / ソフトウェアの段階的定義 / ソフトウェア記述プロセス / ソフトウェア プロセス … More
Except Principal Investigator
基礎研究 / 情報科学 / 知識・知能 / 計算システム / 知的情報処理 / モデル / 情報学 / 高次コミュニケーション / 知識科学 / データ科学 / 感性情報 / パターン情報 / 論理情報 / ソフトウエアプロセスの記述 / 項書き換系とナローイング / 証明チェッカ / 型理論とプログラム抽出 / 構成的プログラミング / ATMSを用いた項書換え系 / 構造化ネット / 高機能高品質ソフトウエア / 形式的記述 / オブジェクト指向 / LOTOS / 仕様化・設計法 / ソフトウェアプロセス Less
  • Research Projects

    (6 results)
  • Co-Researchers

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

    • Principal Investigator
      伊藤 貴康
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Tohoku University
  •  ソフトウェア記述プロセスと内包的テンプレ-ト利用法の研究Principal Investigator

    • Principal Investigator
      榎本 肇
    • Project Period (FY)
      1991
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Shibaura Institute of Technology
  •  ソフトウェア記述プロセスと内包的テンプレ-ト利用法の研究Principal Investigator

    • Principal Investigator
      榎本 肇
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for Scientific Research on Priority Areas
    • Research Institution
      Shibaura Institute of Technology
  •  プロセス代数によるソフトウェア設計過程の形式化の研究

    • Principal Investigator
      佐伯 元司
    • Project Period (FY)
      1990
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      情報工学
    • Research Institution
      Tokyo Institute of Technology
  •  日本における情報科学基礎研究のあり方についての総括的研究

    • Principal Investigator
      坂井 利之
    • Project Period (FY)
      1987 – 1988
    • Research Category
      Grant-in-Aid for Co-operative Research (B)
    • Research Field
      Informatics
    • Research Institution
      Ryukoku University
  •  日本における情報科学基礎研究の在り方についての総合的研究

    • Principal Investigator
      坂井・利之 トシユキ
    • Project Period (FY)
      1986
    • Research Category
      Grant-in-Aid for Co-operative Research (A)
    • Research Field
      プラズマ理工学
    • Research Institution
      Kyoto University
  • 1.  坂井・利之 トシユキ (70025790)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 2.  村尾 洋 (90157735)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 3.  辻 三郎 (60029527)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 4.  大須賀 節雄 (10013640)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  藤原 譲 (40110473)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  野口 正一 (80006220)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  佐伯 元司 (80162254)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  伊藤 貴康 (80124551)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  井田 哲雄 (70100047)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  林 晋 (40156443)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  萩谷 昌己 (30156252)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  佐藤 雅彦 (20027387)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  甘利 俊一 (80010726)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  有川 節夫 (40037221)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  藤崎 博也 (80010776)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  長尾 真 (30025960)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  相磯 秀夫 (90051250)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  富永 英義 (20063688)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  鳥居 宏次 (10172222)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  米崎 直樹 (00126286)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  西田 豊明 (70135531)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  堂下 修司 (00025925)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  和田 英一 (50010723)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  福村 晃夫 (60022985)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  志村 正道 (30029409)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  田中 英彦 (60011102)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 27.  池田 克夫 (30026009)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

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?

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi