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/3） ― ï¼ IT
IoT（モノã®ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆï¼‰å¸‚å ´ãŒæ‹¡å¤§ã™ã‚‹ä¸ã§ã€ã‚¨ãƒƒã‚¸å´ã®æ©Ÿå™¨åˆ¶å¾¡ã§é‡è¦ãªå½¹å‰²ã‚’æžœãŸã™ã“ã¨ãŒæœŸå¾…ã•ã‚Œã¦ã„るリアルタイムOS（RTOS）ã«ã¤ã„ã¦è§£èª¬ã™ã‚‹æœ¬é€£è¼‰ã€‚第50回ã¯ã€ã‚¤ã‚¿ãƒªã‚¢ç™ºã®RTOS「BeRTOSã€ã‚’紹介ã™ã‚‹ã€‚
JSIAM-FAIS Home Page: 2nd FAIS Meeting Program
日本応用数ç†å¦ä¼š (JSIAM) 「数ç†çš„技法ã«ã‚ˆã‚‹æƒ…å ±ã‚»ã‚ュリティã€ç ”究部会 (FAIS) ç¬¬äºŒå›žç ”ç©¶é›†ä¼š 日本応用数ç†å¦ä¼š (JSIAM) 「数ç†çš„技法ã«ã‚ˆã‚‹æƒ…å ±ã‚»ã‚ュリティã€ç ”究部会 (FAIS) http://fais.jsiam.org/ ç¬¬äºŒå›žç ”ç©¶é›†ä¼šã®ã”案内 æš—å·ç ”究者ã¨æ•°ç†çš„技法(フォーマルメソッド)ç ”ç©¶è€…ã®äº¤æµã‚’目的ã¨ã—ã¦, 日本応用数ç†å¦ä¼šã€Œæ•°ç†çš„技法ã«ã‚ˆã‚‹æƒ…å ±ã‚»ã‚ュリティã€ç ”究部会ãŒæœ¬å¹´ 5月ã«ç™ºè¶³ã—ã¾ã—ãŸ. 詳ã—ãã¯ä¸Šè¨˜ãƒ›ãƒ¼ãƒ ページã«è¨˜è¼‰ã®è¨ç«‹è¶£æ—¨ã‚’ã”覧ã ã ã•ã„. ãã®ç¬¬äºŒå›žç ”究集会を次ã®ã‚ˆã†ã«é–‹å‚¬ã—ã¾ã™ã®ã§, ã”案内申ã—上ã’ã¾ã™. æœ¬ç ”ç©¶é›†ä¼šã¯ã€Œç¬¬7回代数幾何・数論åŠã³ç¬¦å·ãƒ»æš—å·ç ”究集会〠(12/20(æ°´)〜12/22(金), プãƒã‚°ãƒ©ãƒ (PDF))ã«å”è³›ã™ã‚‹ã¨ã„ã†å½¢ã§è¡Œã„ã¾ã™. æš—å·ç†è«–ã¨æ•°ç†çš„技法ã®å¢ƒç•Œé ˜åŸŸã‚’テーマã«, ãã®å…¨ä½“åƒãŒåˆ†ã‹ã‚‹ã‚ˆã†ãª プãƒã‚°ãƒ©ãƒ
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Cryptology ePrint Archive 2007/289 - M. Backes, M. Maffei, D. Unruh "Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol"
Cryptology ePrint Archive 2006/068 - M. Backes, B. Pfitzmann, M. Waidner "Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes"
{{#tags}}- {{label}}
{{/tags}}