MacBookAir欲ã—ã„日記改ã‚Spinを使ã£ãŸãƒ¢ãƒ‡ãƒ«æ¤œæŸ»å…¥é–€ - nyanp::blog明ã‘ã¾ã—ã¦ãŠã‚ã§ã¨ã†ã”ã–ã„ã¾ã™ï¼Žä»Šæ—¥ã¯MacBookãŒæ¬²ã—ã„ã®ã§æ—¥æœ¬èªžã®æƒ…å ±ãŒã¡ã‚‡ã£ã¨å°‘ãªã„ã®ã§ï¼Œä¿®è«–関係ã§è§¦ã£ã¦ã„るモデル検査ツール，Spinã«ã¤ã„ã¦è»½ãã¾ã¨ã‚ã¦ã¿ã¾ã™ï¼Ž モデル検査ã¨ã¯ 厳密ã•ã«æ¬ ã‘る言ã„回ã—ã§ã‚¢ãƒ¬ã§ã™ãŒï¼Œã€Œé–“é•ã„ãªãæ£ã—ãå‹•ãソフトウェアã€ãŒæ¬²ã—ã„ã¨ãã«ã©ã†ã™ã‚‹ã‹ï¼Žãƒ†ã‚¹ãƒˆã¯ãƒã‚°ã®æ—©æœŸæ¤œå‡ºã«æœ‰åŠ¹ã§ã™ãŒï¼Œãƒ†ã‚¹ãƒˆã§å¾—られるã®ã¯ 「テストã§æ¤œæŸ»ã—ãŸç¯„囲ã«ãŠã„ã¦ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãŒä»•æ§˜ã‚’満ãŸã™ã€ ã¨ã„ã†çµè«–ã§ã‚ã£ã¦ï¼Œå½“然 「ã™ã¹ã¦ã®ç¯„囲ã«ãŠã„ã¦ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãŒä»•æ§˜ã‚’満ãŸã™ã€ ã“ã¨ã§ã¯ã‚ã‚Šã¾ã›ã‚“．ãŸã¨ãˆã°äººå·¥è¡›æ˜Ÿã¿ãŸã„ãªã‚¯ãƒªãƒ†ã‚£ã‚«ãƒ«ãªçµ„ã¿è¾¼ã¿åˆ†é‡Žã ã¨ï¼Œã€Œãã®ã‚³ãƒ¼ãƒ‰ã§ã€Žäººå·¥è¡›æ˜Ÿã®è§’速度ãŒç™ºæ•£ã—ãªã„ã€ã“ã¨ã‚’証明ã§ãã‚‹ã®ã‹ãã‚ミ？衛星ã¯ãƒ¡ãƒ³ãƒ†ãƒŠãƒ³ã‚¹ã§ããªã„ã£ã¦ã“ã¨ä½åˆ†ã‹ã£ã¦ã‚‹ã‚ˆã？ã€ã¨ã‹è¨€ã‚ã‚ŒãŸæ—¥ã«ã¯ï¼Œãƒ†ã‚¹ãƒˆã‚±ãƒ¼ã‚¹ã‚’書ã„ãŸæˆ‘ãŒè„³å‘³å™Œã®å®Œç’§ã•ã«å…¨ã¦ã‚’è³ã‘ã‚‹ã‹ï¼Œæ³£ããªãŒã‚‰å®‡å®™æœã®èª¿é”を開始ã™ã‚‹ã‹ã®
0.PROMELAã®åŸºæœ¬æ–‡æ³•ã€€
Ubuntu9.04ã«Spinã¨Xspinをインストールã™ã‚‹æ–¹æ³• - 綺麗ãªã‚³ãƒ¼ãƒ‰ãŒè‰¯ã„
{{#tags}}- {{label}}
{{/tags}}