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

時相論理型言語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年