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 |
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/jssst2001/hagiya.pdf
{{#tags}}- {{label}}
{{/tags}}