Details of a Researcher - Hattori, Takashi

Papers - Hattori, Takashi

Division display 41 - 57 of about 57 ／ All the affair displays >>

動的領域管理を行う共有文書編集システムの設計

西村俊介, 服部隆志

インタラクティブシステムとソフトウェアIII (近代科学社) 201-210 1995.12

Research paper (conference, symposium, etc.), Joint Work

半順序優先度を用いた例と制約による編集

服部隆志

インタラクティブシステムとソフトウェアI (近代科学社) 233-240 1994.09

Research paper (conference, symposium, etc.), Single Work

Keio-MMPにおけるUI開発環境の設計

服部隆志

情報処理学会全国大会講演論文集 (情報処理学会) 49 ( 2 ) 401-402 1994.09

Research paper (conference, symposium, etc.), Single Work

Time-Extraction for　Temporal Logic --- Logic Programming and　Local Process Time

Takashi Hattori

Journal of Computer Systems and Sciences (Elsevier) 49 ( 1 ) 40-56 1994.08

Research paper (scientific journal), Single Work, Accepted

A sequence of states at each point in time is called a time stream. In distributed environments, it can allow simple descriptions of processes to deal each process as if it had its own proper time stream , called extracted time stream, which consists of the events essential to the process. It is proved that, for given formulas which are interpreted in one of the extracted time streams, there exist certain formulas such that they are interpreted in the universal time stream and are equivalent to the given formulas. This time-extraction is applied to the Temporal Prolog in order to decompose a program into pieces, each of which works in its own time stream. A program with time-extraction can be transformed to an equivalent program without time-extraction. It is also proved that the transformations preserve equivalence in the sense of model-theoretic semantics.

優先度付き制約論理型プログラミング

服部隆志

コンピュータソフトウェア (日本ソフトウェア科学会) 9 ( 6 ) 506-515 1992.11

Research paper (scientific journal), Single Work, Accepted

MUMINシステムにおけるユーザインターフェース管理

服部隆志

日本ソフトウェア科学会第９回大会論文集 365-368 1992.09

Research paper (conference, symposium, etc.), Single Work

RACCO : a Modal-Logic Programming Language for Writing Models of Real-time Process-Control Systems --- Toward Computer-Aided Generation of Real-Time System Software ---

Takashi Hattori, Reiji Nakajima, Takashi Sakuragawa, Naoyuki Nide, and Kazuki Takenaka

Advances in Software Science and Technology (Iwanami Shoten) 3 53-70 1991.12

Research paper (scientific journal), Joint Work, Accepted

矛盾を含む制約の部分的解決

服部隆志

ソフトウェア科学会第７回大会論文集 (ソフトウェア科学会) 165-168 1990.10

Research paper (conference, symposium, etc.), Single Work

分散OS ToM におけるファイル・システム

立木秀樹, 服部隆志, 針間正紀

情報処理学会研究報告 (情報処理学会) 90 ( 67 ) 59-66 1990.09

Research paper (conference, symposium, etc.), Joint Work

GMWウィンドウ・システム上のアプリケーション構築について

大谷浩司, 角野宏司, 児島彰, 萩谷昌己, 服部隆志, 劉樹苓

コンピュータソフトウェア (日本ソフトウェア科学会) 7 ( 1 ) 45-60 1990.01

Research paper (scientific journal), Joint Work, Accepted, ISSN 02896540

並列オブジェクト指向パラダイムに従って実現されたウィンドウ・システムであるGMWと,GMW上でのアプリケーション構築法について述べる.UIMSの一般論に基づいて,ウィンドウ・システム上のアプリケーション構築における並列オブジェクト指向パラダイムの重要性,仮想機械サーバ方式の利点等について議論した後,GMWウィンドウ・システムとそのツールキットについて概観する.GMWは,次のような特徴を持った仮想機械サーバ型のウィンドウ・システムである.アプリケーションのユーザ・インターフェース部を実現するために,新たに設計された並列オブジェクト指向言語Gのコンパイラと仮想機械をサーバ内に持っていること.アプリケーション本体とユーザ・インターフェース部の通信を支援するために,並列オブジェクト指向パラダイムに従ったスタブ生成系を提供していること.G言語によって実現されたユーザ・インターフェース開発環境によって,アプリケーション実行時にもユーザ・インターフェースの編集が可能であること.

Overview of GMW+Wnn System

Masami Hagiya, Takashi Hattori, Akitoshi Morishima, Reiji Nakajima, Naoyuki Niide, Takashi Sakuragawa, Takashi Suzuki, Hideki Tsuiki, and Taichi Yuasa

Advances in Software Science and Technology 1 133-156 1989.12

Research paper (scientific journal), Joint Work, Accepted

分散OS ToM - 新しいプログラミングモデルとセキュリティ機構について -

新井潤, 桜川貴司, 立木秀樹, 萩野達也, 服部隆志, 森島晃年

京都大学数理解析研究所テクニカルレポート ( RIMS-675 ) 1989.12

Research paper (other academic), Joint Work

高速ネットワークで接続された計算機群を利用するための分散OS ToM (Threads on Modules) の概要を説明する．ToM は，プログラムを抽象化したモジュールと，処理の流れを抽象化したスレッドを独立したものとして扱い，通信として RPC (Remote Procedure Call) を用いることにより，分散環境にふさわしい計算モデルを提供している．ToM の RPCは従来のものとは異なり，スレッドとモジュールの組合わせを変更することにより行われる．また，ケーパビリティとアクセス・コントロール・リストを組み合わせたセキュリティ機構についても述べる．

分散OS ToMの構想 - 新しいプログラミング・モデルとセキュリティ機構について -

新井潤, 桜川貴司, 立木秀樹, 萩野達也, 服部隆志, 森島晃年

日本ソフトウェア科学会第6回大会論文集 345-348 1989.10

Research paper (conference, symposium, etc.), Joint Work

時制論理における時間軸の抽出 --- 論理プログラミングとプロセス固有時間

服部隆志

コンピュータソフトウェア 6 ( 2 ) 37-45 1989.03

Research paper (scientific journal), Single Work, Accepted, ISSN 0289-6540

時制論理は，オペレーティング・システムやリアルタイム制御システムなど，時間の取り扱いが本質的であるような分野において有用である. 時間軸は連続ではなく，離散的な時刻における状態の列として表わされる. ある処理内容に対して本質的な事象が起こった時刻だけを取り出して新しい時間軸を作れば，それはその処理を行うプロセス固有の時間軸であると考えることができる. この抽出された時間軸に基づけば，プロセスをより簡潔に記述できる. 抽出された時間軸上で解釈される論理式が与えられた時，元の時間軸上で解釈される同値な論理式が存在する. また，この時間軸の抽出をTemporal Prologに適用すると，プログラムを各々固有の時間軸上で動作するいくつかの部分に分解することができる. 論理式の場合と同様，抽出された時間軸上のプログラムを，元の時間軸上のプログラムへ変換することが出来，この変換はモデル論的意味を保存する.

2nd IEEE Conference on Computer Workstations

服部隆志

コンピュータソフトウェア 5 ( 4 ) 378-380 1988.10

Research paper (conference, symposium, etc.), Single Work

RACCO：実時間プロセス制御システムのモデル記述のための様相論理プログラミング言語

桜川貴司, 竹中一起, 中島玲二, 新出尚之, 服部隆志

コンピュータソフトウェア 5 ( 3 ) 238-249 1988.07

Research paper (scientific journal), Joint Work, Accepted, ISSN 02896540

RACCOは,実時間プロセス制御システムのソフトウェアを迅速かつ正確に開発し,保守するために,システムをモデル化して記述するための言語である.その意図するものは,動的で複雑なシステムの様々な構成要素とそれらの相互作用を自然にかつ簡潔に記述することである.記述したモデルのシミュレーション,低レベルコードへの等価変換・コンパイル等が可能なように考慮されている.本論文ではRACCOの文法および意味を具体的な例を用いて解説し,その形式的意味と実現について述べる.加えてRACCOの設計思想についても議論を行う.

RACCOによる工場制御の記述例

桜川貴司, 中島玲二, 服部隆志, 新出尚之, 竹中一起

京都大学数理解析研究所テクニカルレポート ( RIMS-561(J) ) 1986.12

Research paper (other academic), Joint Work

　 Previous page - Next page 　