キーワード : 帰納推論


プロセスの枚挙に基づいた代数的プロセスの合成
木村 成伴 富樫 敦 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/12/25
Vol. J75-D1  No. 12 ; pp. 1132-1143
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
プロセス代数的CCS様相論理帰納推論
 あらまし | 本文:PDF(816.5KB)

様相論理式による基本プロセスの合成アルゴリズム
木村 成伴 富樫 敦 野口 正一 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/11/25
Vol. J75-D1  No. 11 ; pp. 1048-1061
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
プロセス代数的CCS様相論理帰納推論
 あらまし | 本文:PDF(882.3KB)

ITSのための汎用フレームワークFITSの開発
池田 満 溝口 理一郎 
誌名:   電子情報通信学会論文誌 A
発行日: 1992/02/25
Vol. J75-A  No. 2 ; pp. 314-322
論文種別:  特集論文 (電子情報通信技術と教育論文特集)
専門分野: 人工知能応用
キーワード: 
ITS帰納推論学習者モデル教育戦略
 あらまし | 本文:PDF(661.3KB)