キーワード : 抽象データ型


オブジェクトリンクを有する構造化文書を管理するデータベースの モデルと問合せ
加藤 弘之 吉川 正俊 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/01/25
Vol. J82-D1  No. 1 ; pp. 150-164
論文種別:  特集論文 (高度データベース論文特集)
専門分野: 文書データベース
キーワード: 
構造化文書データベース抽象データ型問合せ
 あらまし | 本文:PDF(291.7KB)

最汎E単一化子を用いたマイクロプログラム合成手続き
木下 貴史 直井 徹 恩田 雅隆 今井 正治 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/06/25
Vol. J77-D1  No. 6 ; pp. 424-432
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
抽象データ型最汎E単一化子ユニタリ単一化理論マイクロプログラム逐次化問題
 あらまし | 本文:PDF(609.2KB)

サブゴールの生成に基づくマイクロプログラム合成手続きの拡張
木下 貴史 直井 徹 恩田 雅隆 今井 正治 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/04/25
Vol. J77-D1  No. 4 ; pp. 338-340
論文種別:  レター
専門分野: 
キーワード: 
抽象データ型等式理論E単一化E単一化子の完全集合逐次化問題
 あらまし | 本文:PDF(176.8KB)

E同一化を用いたマイクロプログラム自動合成手続き
木下 貴史 直井 徹 今井 正治 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/11/25
Vol. J76-D1  No. 11 ; pp. 566-574
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
抽象データ型E同一化マイクロプログラムナローイング逐次化問題
 あらまし | 本文:PDF(610.4KB)