研究者
J-GLOBAL ID:200901071854468157
更新日: 2022年09月10日
宮本 衛市
ミヤモト エイイチ | Miyamoto Eiichi
研究分野 (1件):
情報学基礎論
競争的資金等の研究課題 (7件):
2000 - 特徴抽出に関する研究
1993 - 1999 並行オブジェクトの振舞いに関する研究
1990 - 1996 ソフトウェアプロトタイピングモデルに関する研究
1995 - 柔軟な計算モデルに関する研究
Study on Flexible Computation Models
Study on Behavior of Concurrent Objects
Study on Software Prototyping Model
全件表示
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
もっと見る
書籍 (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
学歴 (4件):
- 1964 北海道大学 工学研究科 電気工学専攻
- 1964 北海道大学
- 1962 北海道大学 工学部 電気工学科
- 1962 北海道大学
学位 (1件):
工学博士
経歴 (5件):
1984 - 2000 北海道大学工学部 教授
2000 - - 公立はこだて未来大学 教授
1965 - 1984 北海道大学工学部 助教授
1964 - 1965 北海道大学工学部 講師
公立はこだて未来大学 システム情報科学部 情報アーキテクチャ学科 教授
委員歴 (1件):
1989 - 日本ソフトウェア科学会 評議員
所属学会 (5件):
米国電気電子学会(IEEE)
, 日本人工知能学会
, 電子情報通信学会
, 情報処理学会
, 日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM