項書換えシステムにおける自己反映計算
スポンサーリンク
概要
- 論文の詳細を見る
プログラミング言語としての項書換えシステムに自己反映計算機能を付加した言語的枠組みとしてREPS(Reflective Equational Programming System)を提案する.REPSではリデックスの引数の各項,リデックスのまわりの文脈,および現在の書換え規則の集合をメタオブジェクトとみなし,構成子項を計算対象すなわちベースレベル・オブジェクトとみなしている.そして,前者を後者に変換するreification,およびその逆変換であるdeificationという自己反映計算の基本機能を,項書換えシステムの操作的意味である簡約関係を拡張することにより可能にしている.
- 日本ソフトウェア科学会の論文
- 1995-07-17
著者
-
大内 東
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学大学院情報科学研究科複合情報学専攻
-
佐藤 崇昭
北海道大学工学部情報工学科
-
栗原 正仁
北海道大学 情報科学研究科
-
大内 東
北海道大学 大学院 情報科学研究科 複合情報学専攻 複雑系工学講座 調和系工学研究室
関連論文
- 協調フィルタリングに基づく推薦システムにおける格付け寄与度の提案(インタラクション/インタフェース応用,ソフトウェアエージェントとその応用論文)
- ユーザ間・アイテム間協調フィルタリングの適応的な融合手法 : MovieLensでの格付けデータに基づく検証(社会システムと知能)
- 小型自律飛行船シミュレーションの実装及び効果検証
- 5ZA-8 地震災害関連情報の分析に基づく風評被害対策に関する考察(防災と情報,学生セッション,コンピュータと人間社会)
- 2-S-9 新潟中越沖地震における風評被害対策と売上推移(観光とOR(2))
- 2-S-10 メディアの動向を意識した風評被害対策に関する考察(観光とOR(2))
- 2-S-11 自然災害における近隣観光地の風評被害 : モデル、被害度指標、災害ポータル(観光とOR(2))
- N-016 風評被害対策に向けた話題分析に関する基礎研究(教育・人文科学,一般論文)
- 5H-4 風評被害の抑制・防止に向けた地震災害情報の分析(危機管理情報システム,一般セッション,コンピュータと人間社会)
- 待ち行列ネットワークにおける最適成長計画問題とその解法