項書き換え系のメタインタプリタE-TRS
スポンサーリンク
概要
- 論文の詳細を見る
項書き換え系は,書き換え規則の集合である.それの書き換えを実行するインタプリタ(変数を含まない項を入力として,その正規形を出力とすることから,以下0型インタプリ夕と呼ぶ)は,採用するリダクション戦略によって一意的に決まる.しかし,リダクション戦略が正規化戦略でなければ,項の正規形が存在してもインタプリタはその正規形を求められない,本論文では正規化戦略を有するインタプリタの実現法の一つとして,正規化戦略を採用したO型インタプリタの働きを模倣するメタインタプリタ(E-TRS)を提案する.E-TRSは定義が項書き換え系で与えられているが,どのような戦略をもつインクプリ夕でE-TRSを実行しても,インタプリ夕で正規形が求まる場合には,その正規形を求めることができる. また,E-TRSは書き換え規則を変化させながらリダクションさせることができるため,項書き換え系を用いた種々の応用プログラムが書きやすくなる.我々は,このメタインタプリタをLispを用いて実現した.
- 日本ソフトウェア科学会の論文
- 1988-10-14
著者
関連論文
- ユーザとの対話機能をもつメイルInterCam
- パブリック・オピニオン・チャンネル : 知識創造コミュニティの形成に向けて(近未来チャレンジ特集)
- パブリック・オピニオン・チャンネル : 実装と社会的インパクト
- パブリック・オピニオン・チャンネル (近未来チャレンジ)
- パブリック・オピニオン・チャンネル
- 動的な制御集合をもつ文法について
- コンピュータ・ネットワークにおけるNCPの設計に関する-考察
- 汎太平洋教育研究用ネットワーク : 東北大学ALOHAネットワーク (コンピュータ・ネットワーク)
- オートマトンの自己準同型写像を求めるアルゴリズム (オートマトン理論および言語理論の新展開)
- 可遷的自己準同型半群を有するオートマタ族 (情報科学の数学的理論)
- 取引履歴公開下での最適取引戦略 : 自律的エージェント社会の行動規範(1)
- 協調作業のためのアプリケーションプログラム間協調機能
- パーソナルユーザを対象にしたマルチメディアインフォメーションサーバMineSのアーキテクチャ
- パーソナルユーザを対象にしたマルチメディアインフォメーションサーバMineSのユーザインタフェースアーキテクチャ
- 衛星ネットワークにおけるフロー制御について
- G-LOTOS の仕様化環境SEGLの構成と試作
- 並列性を考慮した通信システムの相互接続度験系列生成法
- 並列性を考慮した通信システムの相互接続試験系列生成法
- TVを介した「にらめっこ」 : アイコンタクト成立のための条件
- 図的関数型言語のプログラミング環境の設計と記述
- CODASYL DMLに対する非手続的グラフ問合せ言語の設計と実現
- CODASYLデータベースシステムに対する非手続的更新インタフェース設計の基本概念
- メタファーネットワークにおけるサービス記述環境の構築
- 自律分権協調における「スコープ」と動的グルーピング
- 協調型メタプログラミング言語Faによる自己組織性記述のための枠組
- 関係データベースビュー更新問題の意味論的解決法
- オートマトンの代数的理論 (情報科学の数学的理論)
- ローカルネットワークにおける通信プロトコルと待ち行列モデル (待ち行列理論とその応用 II)
- ネットワーク環境のOODBを用いたモデリング : ネットワーク環境変化の自動登録機能
- ネットワーク環境のOODBを用いたモデリング : 知的質問機能に関する考察
- ネットワーク環境のOODBを用いたモデリング : 自律的データの取り込み
- ネットワーク環境のOODBを用いたモデリング : データとビューの統合
- 分権型の環境におけるコミュニケーションモデル
- 共同可視化解析支援システムの提案
- 分散可視化システムへのビュー概念の導入
- 科学計算分散可視化システムにおける対話機能
- データ可視化処理用部品を用いたユーザインタフェースの試作
- 分散環境に対応した数値シミュレーション可視化システム
- 自律的な協調処理を行う分権型計算モデルKemari
- 自律分散環境における協調型計算モデル : 協調スコープによる協調動作の記述
- 自律分権協調概念に基づく計算モデルKemari
- 並列処理関数に着目した関数型言語FPのベクトル処理方法
- 関数型言語FPのベクトルプロセッサ向きコンパイル手法
- 自律的なメッセージによるコミュニケーション
- メッセージ交換を用いた項書き換え系のリデューサの作成
- 表明を持つ項書き換え系(A-TRS)におけるモジュール化手法
- 戦略の表明を持つ項書き換え系のメタインタプリタによる記述
- 項書き換え系のメタインタプリタE-TRS
- マルチフェースエージェントを用いたコミュニケーションツールの記述
- コミュニケーションツール記述のためのマルチフェースエージェント(MFA)の提案
- 戦略の表明を持つ項書き換え系A-TRSの実現と評価
- 直列型待ち行列による計算機システムの効率解析
- 変換半群によるオートマトンの特性化 (オートマトン理論および言語理論の新展開)
- 多重プログラミング・システムの効率について
- 多重しきい値関数の合成 (多値論理およびその応用 II)
- 多値論理関数のカスケード合成 (多値論理およびその応用 II)
- 多値論理関数とそのカスケード合成 (多値論理およびその応用研究会報告集)
- アクチブ線路の基本的性質
- 等式によるLOTOSプロセスの記述と解釈
- Ulメタファー記述言語 : メタファーネットワークDoReMiを例にして
- ネットワーク電子本の提案
- ユーザインタフェース・メタファーの定性的評価とその考察
- 柔軟なコミュニケーションのための認知的インタフェース
- メタファーネットワークにおける都市の混雑具合のリアルタイム表示
- 協調型計算に基づくメタファーネットワーク構築モデル
- メタファーネットワークにおける郵便局の実現
- メタファーネットワーク : 都市のメタファーを用いたネットワーク上でのサービス提供
- 待ち行列モデルを用いた計算機網における通信方式の評価(待ち行列理論とその応用)
- インターネット運用作業のワークフロー化の考察とその電子化の試み
- 創発的な対話に関するコーパスの構築
- 同意・不同意表現のための談話タグに関する一考察
- 「共話」 : 創発的対話モデル
- 協調型タスクにおける非言語情報の使われ方
- 協調的戦略の強化学習 : 自律的エージェント社会の行動規範(3)
- 取引履歴公開下での最適取引戦略 : 自律的エージェント社会の行動規範
- 取引履歴公開下での最適取引戦略 : 自律的エージェント社会の行動規範(1)
- コミュニケーションツールのためのメッセンジャの構造
- 相互運用性試験アーキテクチャに関する一考察
- 有限BUFFER多重待ち行列の解析(待ち行列理論とその周辺)
- 分散環境記述のための言語系
- ネットワーク対応型ユーザインターフェースとそのLispシステムへの適用
- 実行制御機構を持つ融合型言語AMLOG
- 融合型プログラミング言語と処理系の実現について(計算アルゴリズムの基礎理論)
- SAL : LOTOS仕様の意味解析支援システム : 実現方式
- SAL : LOTOS仕様の意味解析支援システム : 目的と概要
- 並列論理型言語GHCの動作的意味論
- 並列論理型言語の動作的意味論
- 項書き換え系の関数型言語への変換による実現 (関数型プログラミング)
- 相互接続された網における輻輳制御方式FCPとその解析的評価(待ち行列理論とその周辺)
- LOTOS仕様からの効率的な試験系列の自動生成
- EXPA : パータベーション解析に基づく通信プロトコルの検証法
- 計算機システムのトータル・スループットに関する考察
- ループネットにおけるステーションバッファとパケット伝送
- リスト処理系設計のための記憶管理に関する考察
- TRSプログラムの自動合成システム
- LOTOSの状態遷移的解釈に関する一考察
- LOTOSに基づいたプロトコル論理検証支援
- NESDEL : プロトコル向き仕様記述言語とその応用
- 通信ソフトウェア向き超高級プログラミング言語IDLとその適用
- 計算機ネットワークにおける画像・文章統合型メールシステムの設計と実現