メニュー
Search
Search Research Projects
Search Researchers
How to Use
Japanese
English
Back to previous page
榎本 肇
エノモト ハジメ
Connect 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
情報科学 / 基礎研究 / ソフトウェアプロセス / 仕様化・設計法 / LOTOS / オブジェクト指向 / 形式的記述 / 高機能高品質ソフトウエア / 構造化ネット / ATMSを用いた項書換え系 / 構成的プログラミング / 型理論とプログラム抽出 / 証明チェッカ / 項書き換系とナローイング / ソフトウエアプロセスの記述 / 論理情報 / パターン情報 / 感性情報 / データ科学 / 知識科学 / 高次コミュニケーション / 情報学 / モデル / 知的情報処理 / 計算システム / 知識・知能
Less
Research Projects
(
6
results)
Co-Researchers
(
27
People)
Project Start Year (Newest)
Project Start Year (Oldest)
高機能高品質ソフトウエアの基礎理論に関する研究
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
# of Projects (Dsc)
# of Projects (Asc)
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
×
Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.
×
×