古典線形論理の計算的解釈に基づく関数型言語の並列実行モデル
スポンサーリンク
概要
- 論文の詳細を見る
古典線形論理は並列計算の新しい理論的基盤を与えるとして期待されている.Abramskyは並行計算のモデルの一種であるCHAMの枠組みを用いて古典線形論理の計算的解釈を与えた.Linear CHAMと名付けられたこの計算体系において, 古典線形論理の証明図に対応する項表現はproof expressionと呼ばれ, cut除去手続きに相当する書き換え規則によって簡約が行われる.本稿ではこのLinear CHAMに基づく関数型言語の並列実行モデルを提案する.まず, 直観主義論理の線形論理への埋め込みを用いて型付きλ計算がLinear CHAMに埋め込めることを示す.この埋め込みは型付きλ計算に定数を加えて得られる単純な関数型言語へ拡張することができる.次に, Linear CHAMの簡約を並列に実行するモデルを与える.いくつかの具体的なプログラムをLinear CHAMに変換し並列に実行した場合の台数効果を調べ, このモデルの有効性を検証する.
- 一般社団法人情報処理学会の論文
- 2000-11-15
著者
-
佐藤 伸也
東大院工
-
杉本 徹
理化学研究所脳科学総合研究センター
-
佐藤 伸也
姫路獨協大学経済情報学部
-
佐藤 伸也
東京理科大学大学院理工学研究科
-
杉本 徹
東京理科大学理工学部
-
杉本 徹
理化学研究所
-
杉本 徹
独立行政法人理化学研究所脳科学総合研究センター
関連論文
- RE系超伝導体における金属不定比性と超伝導特性
- 日常言語コンピューティング(プロジェクト総括) : 近未来チャレンジへの取組みと日常言語コンピューティングプロジェクトの軌跡(近未来チャレンジ卒業記念解説)
- 日常言語コンピューティング(第2報) : 日常言語に基づく計算機資源の管理・実行環境を目指して
- 自然言語をコンピュータの通信プロトコルにする研究
- ユーザと秘書エージェントの対話におけるクライアントモデルの利用
- インタラクションネット抽象機械の軽量化
- インタラクションネット抽象機械の軽量化
- 古典線形論理の計算的解釈Linear CHAMに基づく関数型言語とその並列実行モデル
- Linear CHAMを用いた型付きλ項の評価
- 古典線形論理の計算的解釈に基づく関数型言語の並列実行モデル