π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |
Javaアプリケーション組み込み用のLispドライバ 湯淺 太一 作 English このシステムは,Javaで記述されたSchemeのインタープリタです. Javaアプリケーションに組み込む目的で開発されましたが, 単独でScheme処理系としても利用可能です. 本処理系の開発目標は次のとおりです. Lisp処理系の実装ノウハウを持たないJavaプログラマにも 機能の追加・削除・変更が容易に行えること. Javaで開発したソフトウェア部品を扱うための機能を容易に組み込めること. コンパクトな実装であること. 高度なLispプログラム開発支援ツールを備える必要はないが, デバッグのために最低限必要な機能は備えること. 高性能である必要はないが,性能が極端に悪くないこと. 本処理系は,Mozilla Public License(MPL)の下で, 自由にダウンロードできます. 以下のものが提
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く