カットオペレータを排除し明示的に制御を行う論理型言語 : ALEX
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,Prologの宣言的なプログラム記述性の利点を生かしつつ,手続き的側面を強化したプログラミング言語"ALEX"を提案する.ALEXでは,バックトラックを,条件分岐に相当する範ちゅうと,本質的な試行錯誤に相当する範ちゅうの2つに分類し,後者が特定の場合にのみ使用され,そう頻繁には用いられない点に着目して,後者を制限することにした.これにより,Prologの問題点といわれているカットオペレータを排除し,バックトラックの制御を改善した.またコントロールを明示化し,リーダビリティの向上を図った.しかもこれらの実行制御は,述語のプレフィクスとして記述されるため,プレフィクスを無視することにより,Prologと同様プログラムの宣言的な解釈が可能である. 本論文では,まず,Prologのバックトラック制御における問題点を検討し,ALEXの背景になった考えとALEXの言語仕様について述べ,Prologのカットオペレータとの比較を行うことにより,ALEXにおいて,どのようにバックトラック制御が改善されたかを示す.
- 一般社団法人日本ソフトウェア科学会の論文
- 1990-01-16
著者
-
所 真理雄
慶応義塾大学理工学部院
-
所 真理雄
慶應義塾大学
-
所 真理雄
慶應義塾大学電気工学科
-
所 真理雄
慶應義塾大学大学院理工学研究科:(株)ソニーコンピュータサイエンス研究所
-
所 真理雄
ソニーコンピュータサイエンス研究所
-
星田 昌紀
(財)新世代コンピュータ技術開発機構
-
所 真理雄
慶応義塾大学理工学部
関連論文
- 8.コンピュータサイエンスはいかにして人類の未来に貢献するか : オープンシステムサイエンスにおけるコンピュータサイエンスの役割(情報処理技術の未来地図,50周年記念特集号)
- オブジェクト指向計算特集の編集にあたって
- 明日のイメージコミュニケーションを考える
- 健診システムにおける「曖昧さ」の取り扱いに関するアプローチ
- マルチメディアと研究・教育
- ApertosオペレーティングシステムによるIPv6ルータの構築
- 超高精細画像マルチメディアと超高速コンピュータネットワーク実験
- SOSP-14:オペレーティングシステムに関する国際会議に参加して
- 原子オブジェクトにおける協調原子性の実現方式
- マルチバージョン原子オブジェクト
- 並行オブジェクト指向言語 : Concurrent Smalltalk
- スロット仮想空間によるオブジェクト間通信の高速化
- エージェント指向言語MALS
- パネル討論会 : オブジェクト指向の展望 : 昭和63年度後期第37回 全国大会報告
- 進化する学習エージェント集団の動的環境への適応
- PIMOSの評価
- フローを考慮した経路制御機構
- マルチキャスト通信のための鍵交換プロトコルの拡張
- マルチキャスト通信のための鍵交換プロトコロルの拡張
- マルチキャスト通信のための鍵交換プロトコルの拡張
- 3次元メモリを用いた立体図形表示機構--SCOPE (画像処理特集) -- (画像の生成)
- 視線を伴った表情とのインタラクション
- 行動シミュレーションに基づいたアニメーションシステムParadise
- 「専用プロセッサの方式とシステム構成特集号」を編集するにあたって
- マルチバージョン並行オブジェクト
- トランザクション管理オブジェクトによる一貫性保証方式
- 情報学にパラダイムシフトを起こすオープンシステムサイエンス！ 情報担当者はどう理解し，どう行動すればいいのか (株)ソニーコンピュータサイエンス研究所代表取締役社長 所眞理雄氏に聞く
- 10. 技術成熟期における研究開発(1000号記念「夢・創・想・感」)
- Special Talk 特別対談 ソニー所 眞理雄氏 対 松下電器産業 櫛木好明氏--CE Linuxに託す僕らの想い (特別編集版 GLP最前線)
- ボーダレス社会と二十一世紀の教育研究
- 再会を考慮した協調方式
- イメージネットワーク
- 非均一環境における分散GAの個体移動に関する考察
- 動的環境下における学習と遺伝・進化 : ダーウィニズムとラマルキズムの比較(複雑系5)
- 進化的エージェント集団の動的環境への適応 ( マルチエージェント)
- 25年後の技術を語る
- 自己反映的分散プログラミングシステムAL-1/Dにおけるオブジェクトの動的再配置 (自己反映計算(リフレクション))
- オブジェクト指向並行プログラミング言語 (オブジェクト指向プログラミング)
- 並行オブジェクト指向知識表現言語Orient 84/K
- 並列シミュレーテッドアニーリングとタンパク質配列解析
- 計算場における分散プロセスの準最適配置
- リアルタイム通信プロトコルRtPの設計
- 分散実時間システム記述言語DROLにおける最小被害戦略の実現
- 並行オブジェクト計算のための形式系 (オブジェクト指向研究会から)
- 並列反復改善法によるタンパク質配列のアライメント
- 知識を用いた蛋白質配列解析システムの試み
- 分散人工知能とプログラミング言語 (「分散人工知能」)
- 分散計算のための局所時間性に基づく形式系
- 離散系シミュレーションの分散時刻管理
- マルチエージェントシステム研究の目指すもの : コメントに対するコメント
- 高度情報化社会のためのソフトウェア構築方法論
- マルチエージェントシステム研究の目指すもの
- マルチエージェントシステムにおける競合回避のためのネゴシエーション手法 ( マルチエージェントと協調計算)
- 地図を用いた協調探索 : 複数エージェントの集結問題を例として ( マルチエージェントと協調計算)
- プロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味論
- 時間的特性を考慮した並列プロセスの形式的記述 (並列処理)
- ソフトウェア産業の健全な発展に向けて
- 適応化コンポジション : 開放型システムにおけるコンポジションに基づいた新しいソフトウェア構築手法 (オブジェクト指向研究会から)
- オペレーティングシステムの観点から (超並列処理)
- 自律的エージェントからなる組織の計算モデルと分散協調問題解決への応用
- カットオペレータを排除し明示的に制御を行う論理型言語 : ALEX
- データ駆動型計算機における準動的並列実行制御
- 分散型知識処理に適したオブジェクト指向ルールベース・プログラミング
- On the Working Set Concept for Data-flow Machines : Consideration on List Processing on a Hierarchical Structured Memory
- 4. 並列処理システムの展望 (並列処理技術)
- Tenth ACM Symposium on Operating Systems Principles
- Evaluation of Working Set Algorithms for Data-flow Machines(Software Science and Engineering)
- 可変構造計算機とソフトウェア・エンジニアリング
- IVERSON言語(A Programming Language)
- 診療支援システムにおける" あいまいさ" の研究