制約付き関数・論理型言語の計算モデルと,それに基づく言語処理系の試作
スポンサーリンク
概要
著者
関連論文
- 年表データのXML構造と年表表示ソフトの複数プラットホームへの対応についての考察
- BIND9のビュー機能利用を支援するゾーンファイル自動生成ツール
- 歴史年表ソフトとXMLによる年表データ閲覧検索システムの検討
- 多角的視点による比較を可能とする歴史年表ソフトの試作
- 情報科学入門IIの運営について
- www文書の移送,ミラーリング,キャッシングを可能とする情報資源取得プロトコルの提案
- 制約付き関数・論理型言語の計算モデルと,それに基づく言語処理系の試作
- 遅延ナローイング計算系と分散制約解消系の融合
- 遅延ナローイング計算系と制約解消系の融合
- 制約解消系を備えた関数・論理型言語の処理系とその実装
- 制約・関数・論理型言語のための抽象機械の設計
- 野外調査における情報技術の利用方法に関する検討-秋田市内の石敢當の調査を例にして-