研究発表等の成果普及活動 - 河野 真治
-
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年