Linear CHAMを用いた型付きλ項の評価
スポンサーリンク
概要
- 論文の詳細を見る
古典線形論理は並列計算の新しい理論的基礎を与えるとして期待されている.Abramskyは並行計算のモデルの一種であるCHAMの枠組みを用いて古典線形論理の計算的解釈を与えた.Linear CHAMと名付けられたこの計算体系において, 古典線形論理の証明図に対応する項表現はproof expressionと呼ばれ, cut除去手続きに相当する書き換え規則によって簡約が行われる.本発表では, 型付きλ項からproof expressionへの変換とその逆変換を定義し, それらの変換とLinear CHAMの簡約を通して, 与えられた型付きλ項の正規形が求められることを示す.
- 一般社団法人情報処理学会の論文
- 2001-11-15
著者
-
佐藤 伸也
東大院工
-
杉本 徹
理化学研究所脳科学総合研究センター
-
佐藤 伸也
姫路獨協大学経済情報学部
-
佐藤 伸也
東京理科大学大学院理工学研究科
-
杉本 徹
東京理科大学理工学部
-
山田 眞市
東京理科大学理工学部
-
杉本 徹
理化学研究所
-
杉本 徹
独立行政法人理化学研究所脳科学総合研究センター
関連論文
- RE系超伝導体における金属不定比性と超伝導特性
- 日常言語コンピューティング(プロジェクト総括) : 近未来チャレンジへの取組みと日常言語コンピューティングプロジェクトの軌跡(近未来チャレンジ卒業記念解説)
- 日常言語コンピューティング(第2報) : 日常言語に基づく計算機資源の管理・実行環境を目指して
- 自然言語をコンピュータの通信プロトコルにする研究
- ユーザと秘書エージェントの対話におけるクライアントモデルの利用
- インタラクションネット抽象機械の軽量化
- インタラクションネット抽象機械の軽量化
- 古典線形論理の計算的解釈Linear CHAMに基づく関数型言語とその並列実行モデル
- Linear CHAMを用いた型付きλ項の評価
- 古典線形論理の計算的解釈に基づく関数型言語の並列実行モデル
- 型付きλ計算の古典線形論理の計算的解釈への埋め込み
- 24pWH-7 Sr_2(Mg,Ti)FeAsO_3の^As-NMR測定(24pWH 鉄砒素系超伝導(NMR),領域8(強相関系:高温超伝導,強相関f電子系など))
- 26pEJ-10 ペロブスカイトブロック層を持つ鉄系超伝導体のNMR/NQR(26pEJ 鉄砒素系(企画講演・111系・その他),領域8(強相関係:高温超伝導,強相関f電子系など))
- 20pPSB-11 NMRによる鉄系超伝導体Sr_4(Mg_Ti_)_2O_6Fe_2As_2の反強磁性状態(20pPSB 領域8ポスターセッション(低温2:銅酸化物・鉄系超伝導他),領域8(強相関系:高温超伝導強相関f電子系など))
- インタラクションネット上のλ評価器における再帰演算の実装 (木村滋教授戸田宏教授宮垣盛男教授倉橋浩一郎教授退職記念号)
- インタラクションネット抽象機械の軽量化
- 古典線形論理の計算的解釈 Linear CHAM に基づく関数型言語とその並列実行モデル
- 高記録値個数を用いた乱数列の検定
- インタラクションネット上のλ評価器YALEにおける再帰演算の実装