研究発表等の成果普及活動 - 河野　真治

Cassandraを使ったスケーラビリティのあるCMSの設計

玉城将士,谷成雄,河野真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2011年04月  -  2011年04月   

ゲームフレームワークCerium TaskManagerの改良

金城裕,河野真治,多賀野海人,小林佑亮

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2011年04月  -  2011年04月   

動的なコード生成を用いた正規表現マッチャの実装,

新屋良磨,河野真治,

第52回プログラミング・シンポジウム  2011年01月  -  2011年01月   

動的なコード生成を用いた正規表現評価器の実装,

新屋良磨,河野 真治 ,

日本ソフトウェア科学会第 27 回大会(2010 年度)論文集  2010年09月  -  2010年09月   

Cassandra を使ったCMSのPCクラスタを使ったスケーラビリティの検証,

玉城 将士,河野 真治

日本ソフトウェア科学会第 27 回大会(2010 年度)論文集  2010年09月  -  2010年09月   

Meta Engine を用いた Federated Linda の実験,

赤嶺 一樹,河野 真治

日本ソフトウェア科学会第 27 回大会(2010 年度)論文集  2010年09月  -  2010年09月   

Fine grain Task Manager Cerium のチューニング,

金城 裕,河野 真治

日本ソフトウェア科学会第 27 回大会(2010 年度)論文集  2010年09月  -  2010年09月   

連邦型Lindaによる分散アルゴリズムをデバッグするためのメタプロトコル

赤嶺悠太, 小野雅俊, 河野真治(琉球大)

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2009年04月  -  2009年04月   

Cell Task Manager Cerium のSPU内データ管理

多賀野海人, 小林佑亮, 宮國渡, 河野真治(琉球大)

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2009年04月  -  2009年04月   

Remote Editing Protocol の実装と検証

与儀健人, 宮城健太, 河野真治(琉球大)

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2009年04月  -  2009年04月   

ソフトウェア開発における協調作業のためのアプリケーション間通信プロトコル

宮城健太、河野真治(琉球大学)

第71回グループウェアとネットワークサービス研究会  2009年03月  -  2009年03月   

Cell 用の Fine-grain Task Manager の実装

宮國 渡, 河野 真治, 神里 晃, 杉山 千秋 (琉球大学)

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2008年04月  -  2008年04月   

Implementing Continuation based language in GCC

Shinji Kono

Continuation Festa 2008  2008年04月  -  2008年04月   

Continuation based CコンパイラのGCC-4.2による実装

与儀 健人, 河野 真治 (琉球大学)

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2008年04月  -  2008年04月   

検証を自身で表現できるハードウェア、ソフトウェア記述言語 Continuation based C と

河野　真治

電子通信学会VLD研究会  2008年03月  -  2008年03月   

CからCell Architectureを利用したCbCへの変換

神里　晃 , 宮國　渡 , 杉山　千秋, , 河野 真治

電子通信学会VLD研究会  2008年03月  -  2008年03月   

連邦型タプルスペースを使ったコンパクトルーティングの実験

淵田 良彦, 河野 真治

第62回情報処理学会・プログラミング研究会  2008年01月  -  2008年01月   

Continuation based Cプログラムの検証

下地 篤樹, 河野 真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2007年04月  -  2007年04月   

Continuation based C 言語による OS システムコールの意味記述

宮國 渡, 河野 真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2007年04月  -  2007年04月   

リモートエディタのEclipseへの実装

宮城健太, 河野真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2007年04月  -  2007年04月   

継続を基本とする言語 CbC による分散プログラミング

河野 真治,渕田 良彦,宮國 渡

日本ソフトウェア科学会第21回大会論文集  2006年09月  -  2006年09月   

ユーザーレベル通信ライブラリにおけるpacketベース通信API

渕田 良彦 , 河野　真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2006年05月  -  2006年05月   

タブロー法を用いた Continuation based C プログラムの検証

下地 篤樹, 河野　真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2006年05月  -  2006年05月   

Continuation based CによるPS3 Cell のシミュレーション

神里 晃, 河野　真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2006年05月  -  2006年05月   

ゲームプログラムからの一部の仕様の抽出に関する考察

金城 拓実,河野 真治

日本ソフトウェア科学会第22回大会論文集  2005年09月  -  2005年09月   

Javaを用いたネットワークプログラミングスタイルの比較

屋比久 友秀,河野 真治

日本ソフトウェア科学会第22回大会論文集  2005年09月  -  2005年09月   

動的ルーティングによりタプル配信を行なう分散タプルスペース Federated Linda

安村 恭一 and河野 真治

日本ソフトウェア科学会第22回大会論文集  2005年09月  -  2005年09月   

Global Unique ID Framework for Copyright Material

LATE Florence,Shinji KONO,Akira KAMIZATO

日本ソフトウェア科学会第22回大会論文集  2005年09月  -  2005年09月   

JAVAのソケットとJXTAを用いた大規模ネットワークゲームAgentSystemの比較と評価

小杉　隆二, 河野　真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2005年05月  -  2005年05月   

Semantic Web: Global Unique ID for all Copyright Material

LATE Abran Kra Florence, 河野真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2005年05月  -  2005年05月   

大域IDを持たない連邦型タプルスペース Federated Linda

安村恭一, 河野真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2005年05月  -  2005年05月   

Continuation based C を使った ソースコードのリファクタリング手法

河野 真治

日本ソフトウェア科学会第21回大会論文集  2004年09月  -  2004年09月   

ゲームプログラムの シナリオに基づいた状態遷移系を生成するシステムの提案

金城 拓実,河野 真治

日本ソフトウェア科学会第21回大会論文集  2004年09月  -  2004年09月   

Tree構造とMesh構造に対応した大規模ネットワークゲームAgentSystemを用いたシミュレーション

小杉 隆二,河野 真治

日本ソフトウェア科学会第21回大会論文集  2004年09月  -  2004年09月   

Implementation and Evaluation of Front-End Protocol of Network Game Infrastructure

ラテ アブラン クラ フローレンス,河野 真治

日本ソフトウェア科学会第21回大会論文集  2004年09月  -  2004年09月   

通信ライブラリSuci for Javaの性能改善と評価

山城 潤,河野 真治

日本ソフトウェア科学会第21回大会論文集  2004年09月  -  2004年09月   

Tree構造とMesh構造に対応した大規模ネットワークゲームAgent

小杉 隆二,河野 真治(琉球大)

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2004年06月  -  2004年06月   

巡回トークンを用いた複数人テキスト編集とセッション管理

安村 恭一,河野 真治(琉球大)

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2004年06月  -  2004年06月   

継続を基本とするプログラム単位を用いた組込みシステム開発

河野 真治

組み込みソフトウェア工学シンポジウム2003  2003年10月  -  2003年10月   

アプリケーション間協調のための遠隔双方向編集プロトコル

宮里 忍,河野 真治

日本ソフトウェア科学会第20回大会論文集  2003年09月  -  2003年09月   

SuciライブラリのスナップショットAPIを利用した並列デバッグツールの設計

上里 献一,河野 真治

日本ソフトウェア科学会第20回大会論文集  2003年09月  -  2003年09月   

大規模ネットワークゲームのインフラを自律的に構築するシステムに関する考察

佐渡山 陽,河野 真治,小杉 隆二

日本ソフトウェア科学会第20回大会論文集  2003年09月  -  2003年09月   

Javaによるユーザトランスポート層の実現と評価

山城 潤(琉球大)，河野 真治(琉球大，科学技術振興事業団さきがけ研究21(機能と構成))

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2003年05月  -  2003年05月   

スナップショットを用いたPC Cluster用デバッグツール

上里 献一(琉球大)，河野 真治(琉球大，科学技術振興事業団さきがけ研究21(機能と構成))

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2003年05月  -  2003年05月   

PlayStation 2 Linuxにおけるネットワークゲーム用フレームワークの実装

佐渡山 陽(琉球大)，河野 真治(琉球大，科学技術振興事業団さきがけ研究21(機能と構成))

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2003年05月  -  2003年05月   

Suci を用いた高レベル通信ライブラリの設計

屋比久 友秀(琉球大)，河野 真治(琉球大，科学技術振興事業団さきがけ研究21(機能と構成))

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2003年05月  -  2003年05月   

継続を基本とする言語CbCによる分散計算

楊 挺, 河野 真治

沖縄情報通信ワークショップ  2002年11月  -  2002年11月   

継続を基本とした言語CbCのgcc上の実装

河野 真治

日本ソフトウェア科学会第19回大会論文集  2002年09月  -  2002年09月   

トランスポート層を考慮したスナップショット・アルゴリズムの考察

屋比久 友秀,河野 真治,山城 潤

日本ソフトウェア科学会第19回大会論文集  2002年09月  -  2002年09月   

PS2Linux上のネットワークゲーム・フレームワークの提案

河野 真治,佐渡山 陽

日本ソフトウェア科学会第19回大会論文集  2002年09月  -  2002年09月   

リモートエディタのSVGへの応用

宮里 忍,河野 真治

日本ソフトウェア科学会第19回大会論文集  2002年09月  -  2002年09月   

Continuation Based C による Tchnology Mapping のサポート,

{河野 真治, 佐渡山 陽},

FIT 2002  2002年08月  -  2002年08月   

ユーザレベル通信ライブラリ Suci のスナップショット・アルゴリズムへの応用

屋比久 友秀，河野 真治(琉球大)

FIT 2002  2002年08月  -  2002年08月   

並列分散ライブラリ Suci の実装と評価

屋比久 友秀，河野 真治(琉球大)

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2002年06月  -  2002年06月   

リモートエディタの日本語ターミナルへの応用

宮里 忍,河野 真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2002年06月  -  2002年06月   

Continuation Based C によるPS2 Vector unitのシミュレーション

佐渡山 陽, 河野 真治(琉球大)

情報処理学会システムソフトウェアとオペレーティング・システム研究会  2002年06月  -  2002年06月   

データグラムを用いたマルチポイントDVビデオ配信

玉城圭健(沖縄富士通エンジニアリング),神里健司,天野嘉登(琉球大),河野真治(琉球大/科学技術振興事業団)

日本ソフトウェア科学会第18回大会論文集  2001年09月  -  2001年09月   

並列タブロー法の負荷分散について

比嘉 薫,河野 真治

日本ソフトウェア科学会第18回大会論文集  2001年09月  -  2001年09月   

PlayStation によるプログラミング教育について

河野真治(琉球大/科学技術振興事業団)

夏のプログラミング・シンポジウム  2001年08月  -  2001年08月   

PS2 向きの並列ゲームオブジェクトシステムの提案

河野真治(琉球大／科学技術振興事業団),村吉政登(琉球大)

SwoPP 2001  2001年08月  -  2001年08月   

User Level Flow Control API をもつ並列ライブラリの実装

河野真治(琉球大/科学技術振興事業団) 神里健司(琉球大)

SwoPP 2001  2001年07月  -  2001年07月   

C言語のContinuation based C への変換

{河野真治(琉球大/科学技術振興事業団), 揚 挺(琉球大)},

SwoPP 2001  2001年07月  -  2001年07月   

リモートエディティングプロトコルのMac OS X のエディタへの応用

河野真治（琉球大/科学技術振興事業団）宮里忍(琉球大)

SwoPP 2001  2001年07月  -  2001年07月   

継続と決定的スケジューリングを用いたリアルタイム・システム

河野 真治,揚 挺

情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)  2001年06月  -  2001年06月   

PS3上でのゲームプログラミング

河野 真治

プログラミング・シンポジウム  2001年01月  -  2001年01月   

A Continuation based Programming Language for Embedded Systems

Shinji Kono

IPSJ Computer System Symposium  2000年11月  -  2000年11月   

継続を持つCの下位言語によるシステム記述

河野 真治

日本ソフトウェア科学会第17回大会論文集  2000年09月  -  2000年09月   

VRMLと他言語を使用したPlayStationのゲーム開発システムの提案

村吉 政登,河野真治

日本ソフトウェア科学会第17回大会論文集  2000年09月  -  2000年09月   

Remote Editing Protocolを用いた複数ユーザ編集システム

新垣将史,河野真治

日本ソフトウェア科学会第17回大会論文集  2000年09月  -  2000年09月   

フラクタル圧縮の音声データへの応用と音声データに有利なアフィン変換

謝花 蔵,河野 真治

日本ソフトウェア科学会第17回大会論文集  2000年09月  -  2000年09月   

Mobile Agent based Web Cache Proxy System

Katsumi Kishimoto,Tomokazu Nagata,Yuji Taniguchi,Shinji KONO,Shiro Tamaki

THE FIRST IEEE ELECTRO/INFORMATION TECHNOLOGY CONFERENCE  2000年06月  -  2000年06月   

C with Continuation と、そのPlayStationへの応用

河野 真治,島袋仁

IPSJ OS, CPSY  2000年05月  -  2000年05月   

中断をサポートするモバイル用ネットワークライブラリの実装

神里健司,河野真治,

情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)  2000年05月  -  2000年05月   

Remote Editor on Emacs

新垣将史,河野真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)  2000年05月  -  2000年05月   

Design of Persistent Process with a Log-Structured File System

叶萌,河野真治

日本ソフトウェア科学会第16回大会論文集  1999年09月  -  1999年09月   

UDPを使った分散計算環境とその応用

河野真治,神里健司

日本ソフトウェア科学会第16回大会論文集  1999年09月  -  1999年09月   

モーバイル・エージェントを使ったスケーラブルなWWWサービス

岸本克巳,谷口祐治,河野真治,玉城史朗

日本ソフトウェア科学会第16回大会論文集  1999年09月  -  1999年09月   

リモートエディタの実装と、そのXMLへの応用

新垣将史,河野真治

日本ソフトウェア科学会第16回大会論文集  1999年09月  -  1999年09月   

リモート・エディタのプロトコルとその有効性

新垣将史,河野真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)  1999年05月  -  1999年05月   

エージェント機能を用いた分散Webキャッシングの有効性とその実証

岸本克己,谷口 祐 治,河野真治

情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)  1999年05月  -  1999年05月   

Parallelization of Temporal Logic Verification by Dividing State Set

Shiji Kono

1st International Workshop on Specification and Verification of Timed Systems  1999年03月  -  1999年03月   

マルチポイント・ニュースリーダの実装と評価

島袋 政辰,河野 真治

日本ソフトウェア科学会第15回大会論文集  1998年09月  -  1998年09月   

命題時相論理の決定手続きの比較

比嘉 薫,河野 真治

日本ソフトウェア科学会第15回大会論文集  1998年09月  -  1998年09月   

マルチポイント・ニュースリーダの実装と評価

島袋 政辰,河野 真治

IPSJ OS, CPSY  1998年05月  -  1998年05月   

同期型タプル通信を用いたマルチユーザ Playstation ゲームシステム

仲宗根 雅臣,河野 真治

IPSJ OS, CPSY  1998年05月  -  1998年05月   

状態集合の分割による時相論理検証の並列化

河野 真治,池村 正之

電気学会・電子情報通信学会合同講演会  1998年  -  1998年   

デバイスとそのドライバを記述するための言語

河野 真治,安里 朋之

日本ソフトウェア科学会第14回大会論文集  1997年09月  -  1997年09月   

2ITL: Logic which has a Process as a value of a variable

Shinji Kono

Int. Tech. Conf. on Circuits/Systems, Computers adn Communications ITCCSCC 97  1997年07月  -  1997年07月   

2階の論理によるプログラミング手法

河野 真治

電子情報通信学会SS研  1996年11月  -  1996年11月   

プロセスを値として持つ論理 2ITL

河野 真治

日本ソフトウェア科学会第13回大会論文集  1996年09月  -  1996年09月   

2ITL: Logic which has process as a value of a variable

Shinji Kono

In 13th Conference Proceedings of Japan Society for Software Science and Technology (in Japanese)  1996年09月  -  1996年09月   

Execution and verification of 2nd order interval temporal logic

Shinji Kono

RIMS Workshops in Computing Concurrency Theory and Applications '96  1996年07月  -  1996年07月   

時相論理によるプログラム生成は実用的か?

河野真治

時相論理によるプログラム生成は実用的か?  1994年07月  -  1994年07月   

Is Temporal Logic based Program Systemsis Practical?

Shinji Kono

Is Temporal Logic based Program Systemsis Practical?  1994年07月  -  1994年07月   

A Combination of Clausal and Non Clausal Temporal Logic Program

Shinji Kono

Executable Modal and Temporal Logics  1994年  -  1994年   

Perl Introducation

Shinji Kono

Perl Introducation  1994年  -  1994年   

Perl入門

河野 真治

Perl入門  1994年  -  1994年   

Synthesis of Contrllers from Interval Temporal Loigc Specification

Masahiro Fujita,Shinji Kono

International Conference on Computer Design  1993年10月  -  1993年10月   

A Combination of Clasual and Non Clausal Temporal Logic Program

Shinji Kono

A Combination of Clasual and Non Clausal Temporal Logic Program  1993年08月  -  1993年08月   

Synthesis of Contrllers from Interval Temporal Loigc Specification

Masahiro Fujita,Shinji Kono

Synthesis of Contrllers from Interval Temporal Loigc Specification  1993年05月  -  1993年05月   

Automatic Verification of Interval Temporal Logic

Shinji Kono

8th British Colloquium For Theoretical Computer Science  1992年03月  -  1992年03月   

Automatic verification of interval temporal logicg

S. Kono

Proc. 8th British Colloquium for theoretical computer science  1992年  -  1992年   

Object Oriented Load Distribution in DinnerBell

S. Kono,T. Aoyagi,K. Tatsukawa,H. Tanaka

TOOLS Pacific 90  1990年  -  1990年   

Object Oriented Load Distribution in DinnerBell

S. Kono,T. Aoyagi,K. Tatsukawa,H. Tanaka

Object Oriented Load Distribution in DinnerBell  1989年  -  1989年   

時相論理型言語Tokioにおける非決定的実行

河野真治,中村宏,田中英彦

情報処理学会第38回(昭和64年前期)全国大会  1989年  -  1989年   

RTL-Tokioに基づくパイプライン化支援

中村宏,河野真治,藤田昌宏,田中英彦

情報処理学会第38回(昭和64年前期)全国大会  1989年  -  1989年   

並列オブジェクト指向言語DinnerBellの並列実装 -共有メモリ上の実装-

河野真治,田中英彦

情報処理学会第36回(昭和63年前期)全国大会  1988年  -  1988年   

Tokio に基づくパイプライン化支援ツールの実装

中村宏,河野真治,藤田昌宏,田中英彦

情報処理学会第36回(昭和63年前期)全国大会  1988年  -  1988年   

時相論理型言語 Tokio - ITL における Unification の考察

河野真治,中村宏,藤田昌宏,田中英彦

情報処理学会第36回(昭和63年前期)全国大会  1988年  -  1988年   

並列オブジェクト指向言語DinnerBellのデバック環境

渡部眞幸,河野真治,田中英彦

情報処理学会第36回(昭和63年前期)全国大会  1988年  -  1988年   

Temporal Logic Based Fast Verification System Using Cover Expressions

H. Nakamura,M. Fujita,S. Kono

VLSI '87  1987年  -  1987年   

オブジェクト指向言語におけるブラウジングの方法について

明石孝祐,青柳龍也,河野真治,田中英彦

情報処理学会第35回(昭和62年後期)全国大会  1987年  -  1987年   

並列オブジェクト指向言語DinnerBell -- 非決定的な部分のデバッキング

渡部眞幸,河野真治,田中英彦

情報処理学会第35回(昭和62年後期)全国大会  1987年  -  1987年   

並列オブジェクト指向言語DinnerBellの領域管理

河野真治,田中英彦

情報処理学会第35回(昭和62年後期)全国大会  1987年  -  1987年   

並列オブジェクト指向言語DinnerBell 並列実行処理方式の評価

立川江介,河野真治,田中英彦

情報処理学会第34回(昭和62年前期)全国大会  1987年  -  1987年   

並列オブジェクト指向言語DinnerBell データフロー実装向きの分散インヘリタンスとその記述

三尾晴彦,河野真治,田中英彦

情報処理学会第34回(昭和62年前期)全国大会  1987年  -  1987年   

並列オブジェクト指向言語DinnerBell 並列計算機上のDebuggerの考察

渡部眞幸,河野真治,田中英彦

情報処理学会第34回(昭和62年前期)全国大会  1987年  -  1987年   

並列オブジェクト指向言語DinnerBell データフロー実装向きの最適化

河野真治,明石孝祐,田中英彦

情報処理学会第34回(昭和62年前期)全国大会  1987年  -  1987年   

A Dataflow based Object Oriented Language:DinnerBell - Cooperation of Object Orientation and Fine-grained Execution

S. Kono,H. Tanaka

A Dataflow based Object Oriented Language:DinnerBell - Cooperation of Object Orientation and Fine-grained Execution  1987年  -  1987年   

オブジェクト指向言語における名前づけとタイプ

青柳龍也,河野真治,田中英彦

情報処理学会第35回(昭和62年後期)全国大会  1987年  -  1987年   

Tokio によるレジスタトランスファレベル記述の動作解析ツール

中村宏,藤田昌宏,河野真治,田中英彦

情報処理学会第35回(昭和62年期)全国大会  1987年  -  1987年   

時相論理型言語 Tokio の処理系に関する考察

河野真治,中村宏,藤田昌宏,田中英彦

情報処理学会第35回(昭和62年後期)全国大会  1987年  -  1987年   

Tokio によるレジスタトランスファレベル記述からの論理回路の自動合成

中村宏,河野真治,藤田昌宏,田中英彦

情報処理学会第34回(昭和62年前期)全国大会  1987年  -  1987年   

Tokio による機能記述開発支援ツール

河野真治,中村宏,藤田昌宏,田中英彦

情報処理学会第34回(昭和62年前期)全国大会  1987年  -  1987年   

Aid to hierarchical and structured logic design using temporal logic and Prolog

M. Fujita,S. Kono,H. Tanaka

Prodeedings.Pt.E  1986年  -  1986年   

並列オブジェクト指向システム ORAGA -並列実行のシミュレーション-

立川江介,渡部眞幸,河野真治,田中英彦

情報処理学会第33回(昭和61年後期)全国大会  1986年  -  1986年   

並列オブジェクト指向システム ORAGA -単一代入則に基づくオブジェクト指向プログラミング-

河野真治,立川江介,渡部眞幸,田中英彦

情報処理学会第33回(昭和61年後期)全国大会  1986年  -  1986年   

並列オブジェクト指向システム ORAGA -OragaItSelf のハードウェアシミュレータ

河野真治,神田陽治,田中英彦

情報処理学会第32回(昭和61年前期)全国大会  1986年  -  1986年   

並列オブジェクト指向システム ORAGA -DinnerBellのコンパイラ

立川江介,河野真治,神田陽治,田中英彦

情報処理学会第32回(昭和61年前期)全国大会  1986年  -  1986年   

Verification of Temporal Logic Programming Language Tokio

S. Kono,T. Aoyagi,M. Fujita,H. Tanaka

Logic Programming Conference '86  1986年  -  1986年   

時相論理型言語Tokioの検証

河野真治,青柳龍也,藤田昌宏,田中英彦

Logic Programming Conference '86  1986年  -  1986年   

Tokio による論理回路の検証 2 -述語論理検証系の構想-

河野真治,藤田昌宏,田中英彦,元岡達

情報処理学会第32回(昭和61年前期)全国大会  1986年  -  1986年   

時相論理型言語 Tokio によるハードウェア記述 - 時間に依存する fact による同期

河野真治,中村宏,藤田昌宏,田中英彦

情報処理学会第33回(昭和61年後期)全国大会  1986年  -  1986年   

Implementation of temporal logic programming language Tokio

S. Kono,T. Aoyagi,M. Fujita,H. Tanaka

Logic Programming Conference '85  1985年  -  1985年   

Unified Programming Environment ORAGA (IV) Parallel Object Oriented Architecture OragaItSelf

S. Kono,Y. Kohda,H. Tanaka,T. Motooka

IPSJ No. 31  1985年  -  1985年   

統合プログラミング環境 ORAGA (IV) 並列オブジェクト指向アーキテクチャ OragaItSelf

河野真治,神田陽治,田中英彦,元岡達

情報処理学会第31回(昭和60年後期)全国大会  1985年  -  1985年   

並列オブジェクト指向言語DinerBell - その設計

河野真治,金子誠司,神田陽治,田中英彦,元岡達

情報処理学会第30回(昭和60年前期)全国大会  1985年  -  1985年   

並列オブジェクト指向言語DinnerBellの実装

河野真治,立川江介,渡部眞幸,神田陽治,田中英彦

並列オブジェクト指向言語DinnerBellの実装  1985年  -  1985年   

An implementation of Parallel Object Oriented Language DinnerBell

S. Kono,K. Tatsukawa,M. Watanabe,Y. Kohda,H. Tanaka

An implementation of Parallel Object Oriented Language DinnerBell  1985年  -  1985年   

An implementation of Temporal Logic Programming Language Tokio

S. Kono,T. Aoyagi,M. Fujita,H. Tanaka

Logic Programming Conference '85  1985年  -  1985年   

時相論理型言語Tokioの実装

河野真治,青柳龍也,藤田昌宏,田中英彦

Logic Programming Conference '85  1985年  -  1985年   

Implementation of Temporal Logic Programming Language Tokio

S. Kono,T. Aoyagi,M. Fujita,H. Tanaka

Logic Programming '85  1985年  -  1985年   

A Tempura Interpreter

M. Fujita,S. Kono,H. Tanaka

情報処理学会第30回(昭和60年前期)全国大会  1985年  -  1985年   

Implementation of temporal logic programming language Tokiog

S. Kono,T. Aoyagi,M. Fujita,H. Tanaka

Proc. Logic Programming Conference, LNCS-221, Springer-Verlag  1985年  -  1985年   

時相論理型言語Tokioのコンパイラ

青柳龍也,河野真治,田中英彦,元岡達

情報処理学会第31回(昭和60年後期)全国大会  1985年  -  1985年   

時相論理型言語Tokioのインタプリタ

S. Kono,M. Fujita,H. Tanaka,T. Motooka

情報処理学会第31回(昭和60年後期)全国大会  1985年  -  1985年   

時相論理基づくプログラミング言語 Tempura のインタプリタ

藤田昌宏,河野真治,田中英彦,元岡達

時相論理基づくプログラミング言語 Tempura のインタプリタ  1984年  -  1984年   

An Overview of Parallel Object Oriented Language DinnerBell

Y. Kohda,S. Kaneko,H. Tanaka,T. Moto-oka

An Overview of Parallel Object Oriented Language {DinnerBell}  1984年  -  1984年   

並列オブジェクト指向言語DinnerBellの概要

神田陽治,金子誠司,田中英彦,元岡達

並列オブジェクト指向言語DinnerBellの概要  1984年  -  1984年   

An Interpreter for Temporal Logic Programming Language: Tempura

M. Fujita,S. Kono,H. Tanaka,T. Motooka

An Interpreter for Temporal Logic Programming Language: Tempura  1984年  -  1984年   

Tokio: Logic Programming Language based on Temporal Logic and its compilation to Prolog

M. Fujita,S. Kono,H. Tanaka

Tokio: Logic Programming Language based on Temporal Logic and its compilation to Prolog  1900年  -  1900年