プãƒã‚°ãƒ©ãƒ ä¸ã®æ–‡å—列ãƒã‚§ãƒƒã‚¯æ©Ÿèƒ½ã®è„†å¼±æ€§ã‚’自動修æ£ã™ã‚‹æŠ€è¡“を世界ã«å…ˆé§†ã‘ã¦å®Ÿç¾ï½žå°‚門知è˜ã‚’ã‚‚ãŸãªã„開発者ã§ã‚‚ReDoS脆弱性ã®ä¿®æ£ãŒå®¹æ˜“ã«ï½ž | ニュースリリース | NTTæ—¥æœ¬é›»ä¿¡é›»è©±æ ªå¼ä¼šç¤¾ï¼ˆæœ¬ç¤¾ï¼šæ±äº¬éƒ½åƒä»£ç”°åŒºã€ä»£è¡¨å–ç· å½¹ç¤¾é•·ï¼šæ¾¤ç”°ã€€ç´”ã€ä»¥ä¸‹ã€ŒNTTã€ï¼‰ã¨å¦æ ¡æ³•äººæ—©ç¨²ç”°å¤§å¦ï¼ˆæœ¬éƒ¨ï¼šæ±äº¬éƒ½æ–°å®¿åŒºã€€ç†äº‹é•·ï¼šç”°ä¸æ„›æ²»ã€€ä»¥ä¸‹ã€ã€Œæ—©ç¨²ç”°å¤§å¦ã€ï¼‰ã¯ã€æ–‡å—列ã®ãƒã‚§ãƒƒã‚¯æ©Ÿèƒ½ã®å‡¦ç†æ™‚間を長期化ã•ã›ã‚³ãƒ³ãƒ”ュータã®è² è·ã‚’大幅ã«å¢—大ã•ã›ã‚‹æ”»æ’ƒã‚’引ãèµ·ã“ã™è„†å¼±æ€§ã«å¯¾ã™ã‚‹å®Ÿç”¨çš„ãªè‡ªå‹•ä¿®æ£æŠ€è¡“を世界ã«å…ˆé§†ã‘ã¦å®Ÿç¾ã„ãŸã—ã¾ã—ãŸã€‚æ–‡å—列ã®ãƒ‘ターンマッãƒã«ç”¨ã„られるæ£è¦è¡¨ç¾ï¼ˆâ€»1）ã¨ã¯ã€ç‰¹å®šã®æ–‡å—ã®ä¸¦ã³ï¼ˆæ–‡å—列）をルールã«åŸºã¥ã簡略化ã—ã¦è¡¨ç¾ã™ã‚‹æ–¹æ³•ã§ã€Webサービスãªã©ã«ãŠã„ã¦ãƒ¦ãƒ¼ã‚¶ã®å…¥åŠ›å€¤ãŒæœŸå¾…ã—ãŸã‚‚ã®ã§ã‚ã‚‹ã‹ã®æ¤œè¨¼ãªã©å¹…広ã„å ´é¢ã§åˆ©ç”¨ã•ã‚Œã¦ã„ã¾ã™ã€‚難解ãªæ£è¦è¡¨ç¾ã®ä»•çµ„ã¿ã‚„ルールを深ãç†è§£ã—ã€æ¤œè¨¼ã™ã¹ãæ–‡å—列を厳密ã«å®šç¾©ã§ãã¦ã„ãªã„ã¨è„†å¼±æ€§ã«ãªã£ã¦ã—ã¾ã†ãŸã‚ã€è¿‘å¹´ã‚°ãƒãƒ¼ãƒãƒ«ã§å¤§ããªè„…å¨ã¨ãªã£ã¦ã„ã¾ã™ã€‚ã“ã®æŠ€è¡“ã«ã‚ˆã£ã¦ã€å°‚門知è˜ã‚’ã‚‚ãŸãªã„開発者ã§ã‚‚ã“ã†ã—ãŸæ£è¦è¡¨ç¾ã®è„†å¼±æ€§ã®ä¿®æ£ãŒå¯èƒ½ã¨ãª
CockroachDB ã‹ã‚‰è¦—ãå½¢å¼æ‰‹æ³•ã®ä¸–ç•Œ #JTF2021w / July Tech Festa 2021 winter
AWS ã¯å½¢å¼æ‰‹æ³•ã®å¤¢ã‚’見るã‹ï¼Ÿ - モデル検査器 Alloy ã«ã‚ˆã‚‹ã‚¤ãƒ³ãƒ•ãƒ©è¨è¨ˆ
ã‚るソフトウェア工å¦è€…ã®å¤±æ•— 日本ã®ITã¯ä½•æ•…å¼±ã„ã‹
Basic Spin Manual
Use of Formal Methods at Amazon Web Services | the morning paper
{{#tags}}- {{label}}
{{/tags}}