Published papers
Hattori, Takashi
41-58 items (total 58)
編集操作におけるマクロと制約の統合
- Author
- 服部 隆志
- Publication Title
- Start Page 41-49 (Publication Date）1996/12）
- Authorship Category
- Single Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
動的領域管理を行う共有文書編集システムの設計
- Author
- 西村 俊介, 服部 隆志
- Publication Title
- Start Page 201-210 (Publication Date）1995/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
半順序優先度を用いた例と制約による編集
- Author
- 服部 隆志
- Publication Title
- Start Page 233-240 (Publication Date）1994/09）
- Authorship Category
- Single Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
Keio-MMPにおけるUI開発環境の設計
- Author
- 服部 隆志
- Publication Title
- Volume 49(Issue 2) Start Page 401-402 (Publication Date）1994/09）
- Authorship Category
- Single Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
Time-Extraction for Temporal Logic --- Logic Programming and Local Process Time
- Author
- Takashi Hattori
- Publication Title
- Magazine name Journal of Computer Systems and Sciences Publisher Elsevier Volume 49(Issue 1) Start Page 40-56 (Publication Date）1994/08）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
優先度付き制約論理型プログラミング
- Author
- 服部 隆志
- Publication Title
- Volume 9(Issue 6) Start Page 506-515 (Publication Date）1992/11）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
MUMINシステムにおけるユーザインターフェース管理
- Author
- 服部 隆志
- Publication Title
- Start Page 365-368 (Publication Date）1992/09）
- Authorship Category
- Single Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
RACCO : a Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems --- Toward Computer-Aided Generation of Real-Time System Software ---
- Author
- Takashi Hattori, Reiji Nakajima, Takashi Sakuragawa, Naoyuki Nide, and Kazuki Takenaka
- Publication Title
- Magazine name Advances in Software Science and Technology Publisher Iwanami Shoten Start Page 53-70 (Publication Date）1991/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
矛盾を含む制約の部分的解決
- Author
- 服部 隆志
- Publication Title
- Start Page 165-168 (Publication Date）1990/10）
- Authorship Category
- Single Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
分散OS ToM におけるファイル・システム
- Author
- 立木 秀樹, 服部 隆志, 針間 正紀
- Publication Title
- Volume 90(Issue 67) Start Page 59-66 (Publication Date）1990/09）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
GMWウィンドウ・システム上のアプリケーション構築について
- Author
- 大谷 浩司, 角野 宏司, 児島 彰, 萩谷 昌己, 服部 隆志, 劉 樹苓
- Publication Title
- Volume 7(Issue 1) Start Page 45-60 (Publication Date）1990/01）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
- ISSN
- 02896540
分散OS ToM - 新しいプログラミングモデルとセキュリティ機構について -
- Author
- 新井 潤, 桜川 貴司, 立木 秀樹, 萩野 達也, 服部 隆志, 森島 晃年
- Publication Title
- (Publication Date）1989/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
- Peer-review Status
- Without
Overview of GMW+Wnn System
- Author
- Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, and Taichi Yuasa
- Publication Title
- Magazine name Advances in Software Science and Technology Start Page 133-156 (Publication Date）1989/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
分散OS ToMの構想 - 新しいプログラミング・モデルとセキュリティ機構について -
- Author
- 新井 潤, 桜川 貴司, 立木 秀樹, 萩野 達也, 服部 隆志, 森島 晃年
- Publication Title
- Start Page 345-348 (Publication Date）1989/10）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
時制論理における時間軸の抽出 --- 論理プログラミングとプロセス固有時間
- Author
- 服部 隆志
- Publication Title
- Volume 6(Issue 2) Start Page 37-45 (Publication Date）1989/03）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
- ISSN
- 0289-6540
2nd IEEE Conference on Computer Workstations
- Author
- 服部 隆志
- Publication Title
- Volume 5(Issue 4) Start Page 378-380 (Publication Date）1988/10）
- Authorship Category
- Single Work
- Publication Category
- Research paper (conference, symposium, etc.)
- Peer-review Status
- Without
RACCO：実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語
- Author
- 桜川 貴司, 竹中 一起, 中島 玲二, 新出 尚之, 服部 隆志
- Publication Title
- Volume 5(Issue 3) Start Page 238-249 (Publication Date）1988/07）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
- ISSN
- 02896540
RACCOによる工場制御の記述例
- Author
- 桜川貴司, 中島玲二, 服部隆志, 新出尚之, 竹中一起
- Publication Title
- (Publication Date）1986/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
- Peer-review Status
- Without