Rchr
J-GLOBAL ID:200901071854468157
Update date: Sep. 10, 2022
Miyamoto Eiichi
ミヤモト エイイチ | Miyamoto Eiichi
Research field (1):
Information theory
Research theme for competitive and other funds (7):
2000 - 特徴抽出に関する研究
1993 - 1999 並行オブジェクトの振舞いに関する研究
1990 - 1996 ソフトウェアプロトタイピングモデルに関する研究
1995 - 柔軟な計算モデルに関する研究
Study on Flexible Computation Models
Study on Behavior of Concurrent Objects
Study on Software Prototyping Model
Show all
MISC (59):
Unreachability Proofs for β Rewriting Systems by Homomorphisms (jointly worked). IEICE Trans. Of Information and Systems. 1999. E82-D. 2. 339-347
宣言的プログラムの等価変換による問題解決(共著). 人工知能学会誌. 1998. 13. 6. 944-952
論理的問題の等価変換による解法(2)、SLD導出の限界(共著). 人工知能学会誌. 1998. 13. 6. 936-943
論理的問題の等価変換による解法(1)、その理論的基礎(共著). 人工知能学会誌. 1998. 13. 6. 929-935
マルチセット領域上の等式制約の等価変換(共著). 人工知能学会誌. 1998. 13. 3. 395-403
more...
Books (5):
ソフトウェアプロセス記述用言語SPDL(共著)
ソフトウェア工学の基礎II 1996
Software Process Description Language SPDL
Foundation of Software Engineering III 1996
連携動作に基づく並行オブジェクトシステムの設計方略(共著)
ソフトウェア工学の基礎II 1995
Design Strategy for Concurrent Object Systems Based on Collaboration
Foundation of Software Engineering II 1995
Cooperative Distributed Objects Based on Arrival Order Preservation (jointly worked)
Proc. TOOLS Pacific'90 1990
Education (4):
- 1964 Hokkaido University
- 1964 Hokkaido University Graduate School, Division of Engineering
- 1962 Hokkaido University School of Engineering
- 1962 Hokkaido University Faculty of Engineering
Professional career (1):
(BLANK)
Work history (5):
1984 - 2000 Hokkaido University School of Engineering
2000 - - 公立はこだて未来大学 教授
1965 - 1984 Hokkaido University School of Engineering
1964 - 1965 Hokkaido University School of Engineering
Future University-Hakodate School of Systems Information Science, Department of Media Architecture
Committee career (1):
1989 - 日本ソフトウェア科学会 評議員
Association Membership(s) (5):
米国電気電子学会(IEEE)
, 日本人工知能学会
, 電子情報通信学会
, 情報処理学会
, 日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM