キーワード : 制約


命題論理に基づいた並行システムの制約付き仕様記述
高橋 薫 佐藤 明子 加藤 靖 白鳥 則郎 
誌名:   電子情報通信学会論文誌 D
発行日: 2002/01/01
Vol. J85-D1  No. 1 ; pp. 91-94
論文種別:  レター
専門分野: 
キーワード: 
並行システム命題論理制約仕様記述
 あらまし | 本文:PDF(104.6KB)

学習型機械翻訳手法に適用された遺伝的アルゴリズムにおける 知識による制約の有効性について
工藤 晃一 荒木 健治 桃内 佳雄 栃内 香次 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/11/25
Vol. J82-D2  No. 11 ; pp. 2035-2047
論文種別:  論文
専門分野: 自然言語処理
キーワード: 
遺伝的アルゴリズム交叉制約翻訳例
 あらまし | 本文:PDF(2MB)

意味的な異種性を有する生物分類樹データベースの統合化方式
北上 始 森 康真 有川 正俊 佐藤 聡 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/01/25
Vol. J82-D1  No. 1 ; pp. 303-314
論文種別:  特集論文 (高度データベース論文特集)
専門分野: 分散データベースと異種データの統合
キーワード: 
異種性統合無矛盾制約生物分類樹データベース
 あらまし | 本文:PDF(393.5KB)

多面的オブジェクト指向データモデルMAORI
佐藤 秀樹 池田 峰輝 舟橋 栄 林 達也 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/10/25
Vol. J79-D1  No. 10 ; pp. 781-790
論文種別:  特集論文 (オブジェクト指向技術とその応用論文特集)
専門分野: オブジェクト指向データベース:オブジェクト指向データモデル
キーワード: 
オブジェクト指向データモデル多面的オブジェクト制約ビュー
 あらまし | 本文:PDF(674.2KB)

オブジェクト進化を実現するクラスベースのオブジェクト指向データベース設計法
鬼塚 真 山室 雅司 石垣 昭一郎 
誌名:   電子情報通信学会論文誌 D
発行日: 1996/10/25
Vol. J79-D1  No. 10 ; pp. 803-810
論文種別:  特集論文 (オブジェクト指向技術とその応用論文特集)
専門分野: オブジェクト指向データベース:オブジェクト指向データベースのスキーマ設計
キーワード: 
オブジェクト指向データベース制約設計事前条件事後条件
 あらまし | 本文:PDF(538.3KB)

入出力例と説明文を生成するリスト処理プログラム理解支援システム
羽鳥 健司 永田 守男 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/06/25
Vol. J77-D1  No. 6 ; pp. 443-453
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
リスト処理ロジックプログラミングプログラム理解制約入出力例英文の説明
 あらまし | 本文:PDF(712KB)

当て推量を用いた制約推定法
清水 英弘 太原 育夫 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/05/25
Vol. J76-D2  No. 5 ; pp. 1038-1046
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
当て推量ラティス構造制約組合せ問題
 あらまし | 本文:PDF(607.7KB)