古典線形論理の計算的解釈Linear CHAMに基づく関数型言語とその並列実行モデル
スポンサーリンク
概要
著者
関連論文
- 日常言語コンピューティング(プロジェクト総括) : 近未来チャレンジへの取組みと日常言語コンピューティングプロジェクトの軌跡(近未来チャレンジ卒業記念解説)
- 日常言語コンピューティング(第2報) : 日常言語に基づく計算機資源の管理・実行環境を目指して
- 自然言語をコンピュータの通信プロトコルにする研究
- ユーザと秘書エージェントの対話におけるクライアントモデルの利用
- インタラクションネット抽象機械の軽量化
- インタラクションネット抽象機械の軽量化
- 古典線形論理の計算的解釈Linear CHAMに基づく関数型言語とその並列実行モデル
- Linear CHAMを用いた型付きλ項の評価
- 古典線形論理の計算的解釈に基づく関数型言語の並列実行モデル
- 型付きλ計算の古典線形論理の計算的解釈への埋め込み
- インタラクションネット上のλ評価器における再帰演算の実装 (木村滋教授戸田宏教授宮垣盛男教授倉橋浩一郎教授退職記念号)
- インタラクションネット抽象機械の軽量化
- 古典線形論理の計算的解釈 Linear CHAM に基づく関数型言語とその並列実行モデル
- 高記録値個数を用いた乱数列の検定
- インタラクションネット上のλ評価器YALEにおける再帰演算の実装