A Very Brief Introduction to the Pi-Calculus (in Japanese)
π-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 |
サーベイに関するQ&A
すみい (sumii AT yl.is.s.u-tokyo.ac.jp) [Q] この文書はなんでQ&A形式なんですか？ 文体が不自然じゃありませんか？ [A] すみません、長い文章を書くのが苦手なんです。口調が変なのは許してください。 [Q] なんでこんな文書を書いたんですか？ [A] 最近の米澤・小林研に、普段からサーベイをする習慣が身についていない（当てられたときしかやらない）人が増えているような気がして、ものすごく気になったためです。 [Q] 単なるM2の学生のくせに、生意気＆余計なお世話じゃありませんか？ [A] はい、そうです。ごめんなさい。(_ _) でも、嘘はいっていないつもりです。 [Q] サーベイって何ですか？ [A] この文書でいうサーベイとは、一般に「人の研究について勉強すること」を指します。 [Q] どうしてサーベイが必要なんですか？ 人の研究ばかり勉強していては
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
