抄録
CB-002
継続渡しスタイルの関数型プログラミング言語におけるアクターモデルに基づく並行処理の実装
継続渡しスタイルの関数型プログラミング言語におけるアクターモデルに基づく並行処理の実装
これまでの研究として，継続渡しスタイル（以下，CPS）のラムダ計算を簡潔に表現し，部分適用において合流性を満たす記法と，その記法に基づくプログラミング言語を提案した．
提案言語はラムダ計算に基づく関数型でありながら，CPSによって命令型に近い記述が可能である．
本稿では，提案言語におけるアクターモデルに基づく並行処理の実装について述べる．
アクターモデルはアクター間のメッセージパッシングとして並行処理をモデル化する計算モデルである．
メッセージパッシングは同期型と非同期型に分類されるが，提案言語において両方を簡潔に記述できることを示す．
提案言語はラムダ計算に基づく関数型でありながら，CPSによって命令型に近い記述が可能である．
本稿では，提案言語におけるアクターモデルに基づく並行処理の実装について述べる．
アクターモデルはアクター間のメッセージパッシングとして並行処理をモデル化する計算モデルである．
メッセージパッシングは同期型と非同期型に分類されるが，提案言語において両方を簡潔に記述できることを示す．
