ELYZA DIGESTELYZA DIGEST
æ•°å¦çš„åŸºç¤Žã‚’å¾¹åº•è§£èª¬ï¼ â€•â€•è¿‘åˆŠã€Žã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã‚µã‚¤ã‚¨ãƒ³ã‚¹ã«ãŠã‘る様相論ç†ã€ã¾ãˆãŒã公開｜森北出版
2022å¹´1月下旬発行予定ã®æ–°åˆŠæ›¸ç±ã€ã€Žã‚³ãƒ³ãƒ”ュータサイエンスã«ãŠã‘る様相論ç†ã€ã®ã”紹介ã§ã™ã€‚ åŒæ›¸ã®ã€Œã¾ãˆãŒãã€ã®ä¸€éƒ¨ã‚’ã€ç™ºè¡Œã«å…ˆé§†ã‘ã¦å…¬é–‹ã—ã¾ã™ã€‚ ＊＊＊ 〈 本書ã®ç›®çš„ 〉 様相論ç†ã¨ã¯ã€ãŸã¨ãˆã°ã€ŒçœŸã®å¯èƒ½æ€§ãŒã‚ã‚‹ã€ã€Œå°†æ¥ã«ã‚ãŸã£ã¦ãšã£ã¨å½ã€ã€Œãã‚ŒãŒçœŸã§ã‚ã‚‹ã“ã¨ã‚’花åã¯çŸ¥ã£ã¦ã„ã‚‹ã€ã®ã‚ˆã†ã«ã€å˜ã«çœŸã‹å½ã‹ã ã‘ã§ãªã状æ³ã«ä¾å˜ã—ãŸçœŸå½ã‚„複雑化ã•ã‚ŒãŸçœŸå½æ¦‚念を表ç¾ã§ãã‚‹è«–ç†ã§ã™ã€‚ã•ã¾ã–ã¾ãªå‹•æ©Ÿã‹ã‚‰ç”Ÿã¾ã‚ŒãŸã•ã¾ã–ã¾ãªæ§˜ç›¸è«–ç†ãŒã‚ã‚Šã¾ã™ãŒã€ã‚³ãƒ³ãƒ”ュータサイエンスã«ãŠã„ã¦ã¯CTL(computation tree logic)ã€æ§˜ç›¸ãƒŸãƒ¥ãƒ¼è¨ˆç®—(modal μ-calculus)ã€PDL(propositional dynamic logic)ã¨ã„ã£ãŸæ§˜ç›¸è«–ç†ãŒã‚ˆãç ”ç©¶ã•ã‚Œã¦ã„ã¾ã™ã€‚CTLã¯ã€ãŸã¨ãˆã°ã€ŒAãŒèµ·ã“ã‚Œã°ãã®å¾Œã„ã¤ã‹ã¯BãŒèµ·ã“ã‚‹ã€ã®ã‚ˆã†ãªã€æ™‚é–“ã¨ã¨ã‚‚ã«å¤‰åŒ–ã™ã‚‹çœŸå½ã‚’ç´°ã‹ã記述ã§ãã‚‹ã®ã§ã€
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}