ã€æ¯Žæœˆæ›´æ–°ãƒ»æ—¥æœ¬ã® AWS エンジニアãŒã‚¯ãƒ©ã‚¦ãƒ‰è§£èª¬ã€‘ åˆå¿ƒè€…å‘ã‘解説ã€æœ€æ–°ã®ã‚¯ãƒ©ã‚¦ãƒ‰ãƒã‚¤ãƒ†ã‚£ãƒ–ãªé–‹ç™ºæ‰‹æ³•ãƒ»åˆ©ç”¨ã‚·ãƒ¼ãƒ³åˆ¥ãƒãƒ³ã‚ºã‚ªãƒ³ã‚’å¦ã¶ »
The Amazon Builders' Library
ã€æ¯Žæœˆæ›´æ–°ãƒ»æ—¥æœ¬ã® AWS エンジニアãŒã‚¯ãƒ©ã‚¦ãƒ‰è§£èª¬ã€‘ åˆå¿ƒè€…å‘ã‘解説ã€æœ€æ–°ã®ã‚¯ãƒ©ã‚¦ãƒ‰ãƒã‚¤ãƒ†ã‚£ãƒ–ãªé–‹ç™ºæ‰‹æ³•ãƒ»åˆ©ç”¨ã‚·ãƒ¼ãƒ³åˆ¥ãƒãƒ³ã‚ºã‚ªãƒ³ã‚’å¦ã¶ »
AWSã«ãŠã‘ã‚‹å½¢å¼æ‰‹æ³• - masateruk’s blog
AWSã«ãŠã‘ã‚‹å½¢å¼æ‰‹æ³•ã®è¨˜äº‹ï¼ˆhttps://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）をèªã‚“ã 。特ã«é‡è¦ã ã¨æ€ã‚れる示唆を3ã¤ã‚ã’ã‚‹ã¨ä»¥ä¸‹ã®é€šã‚Šã€‚ 産æ¥ç•Œã§ã¯é•·å¹´å½¢å¼æ‰‹æ³•ã¯å¤šå¤§ãªå·¥æ•°ã‚’ã‹ã‘ã¦æ¯”較的容易ãªã‚³ãƒ¼ãƒ‰ã®æ–片を検証ã™ã‚‹ã¨ã„ã†ã‚¤ãƒ¡ãƒ¼ã‚¸ãŒã‚ã£ãŸãŒã€ã“ã‚Œã¯ã¾ã£ãŸãã®èª¤ã‚Šã€‚ç¾å®Ÿã®å•é¡Œã«é©ç”¨å¯èƒ½ã§ã‚ã‚‹ アマゾンã§ã¯10ã®ç¾å®Ÿã®ã‚·ã‚¹ãƒ†ãƒ ã«é©ç”¨ã—ã¦ã€ã™ã¹ã¦ã§åŠ¹æžœãŒå¾—られãŸã€‚難解ãªãƒã‚°ã®ç™ºè¦‹ã—ãŸã‚Šã€æ£å½“æ€§ã‚’çŠ ç‰²ã«ã™ã‚‹ã“ã¨ãªã確信をæŒã£ã¦æœ€é©åŒ–ã‚’æ–½ã›ãŸ 7ã¤ã®ãƒãƒ¼ãƒ ã§TLA+を使用。エンジニアã¯2−3週間ã§å¦ç¿’ã™ã‚‹ã“ã¨ãŒã§ãã‚‹ 以下ã¯ã€èªã‚“ã§ã„る途ä¸ã§æ›¸ãã ã—ãŸè¦ç‚¹ã€‚ AWSã§ã¯2011年以é™å½¢å¼ä»•æ§˜ã¨ãƒ¢ãƒ‡ãƒ«æ¤œæŸ»ã‚’使用ã—ã¦ã„ã‚‹ 複雑ãªåˆ†æ•£ã‚·ã‚¹ãƒ†ãƒ を検証ã™ã‚‹ã«ã‚ãŸã£ã¦ã€å¾“æ¥ã®æ‰‹æ³• ― è¨è¨ˆãƒ¬ãƒ“ューã€ã‚³ãƒ¼ãƒ‰ãƒ¬ãƒ“ューã€é™çš„解æžã€ã‚¹ãƒˆãƒ¬ã‚¹
アマゾンã€åº—内ã§ä»–社ã®ä¾¡æ ¼ã‚’ãƒã‚§ãƒƒã‚¯ã—ã¥ã‚‰ãã™ã‚‹ç‰¹è¨±ã‚’å–å¾—
Amazonã¯ãƒãƒƒãƒˆã‚·ãƒ§ãƒƒãƒ”ングã ã‘ã§ãªãã€å®Ÿåº—舗ã§ã®è²·ã„物ã«åŠ›ã‚’入れã¤ã¤ã‚る。ãã®ãŸã‚ã€è²·ã„物客ãŒæ¥åº—ä¸ã«ç«¶åˆä»–社ã‹ã‚‰è³¼å…¥ã™ã‚‹è¡Œç‚ºã‚’è¦åˆ¶ã—ãŸã„よã†ã 。 Amazonã¯ã€Œå®Ÿåº—舗ã¾ãŸã¯å°å£²åº—舗内ã§ã®ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ã‚·ãƒ§ãƒƒãƒ”ングを管ç†ã€ã™ã‚‹æŠ€è¡“ã®ç‰¹è¨±ã‚’å–å¾—ã—ãŸã€‚ã“ã®ç‰¹è¨±ã§ã¯ã€è²·ã„物客ãŒAmazonã®æ‰€æœ‰ã™ã‚‹åº—舗（ç¾æ®µéšŽã§ã¯Amazon Booksã€ä»Šå¾Œã¯Whole Foodsも対象ã¨ãªã‚‹è¦‹è¾¼ã¿ï¼‰ã‚’訪れã¦AmazonãŒæä¾›ã™ã‚‹Wi-Fiを利用ã™ã‚‹ã¨ã€é–²è¦§ã¯Amazonã«ã‚ˆã£ã¦ç›£è¦–ã•ã‚Œã€ç«¶åˆä»–社ã®ã‚¦ã‚§ãƒ–サイトã¸ã®ã‚¢ã‚¯ã‚»ã‚¹ãŒãƒ–ãƒãƒƒã‚¯ã•ã‚Œã‚‹ã¨ã„ã†ã€‚ ã—ã‹ã—ã€çš®è‚‰ã«ã‚‚ã€Amazonã¯ä½•å¹´ã‚‚å‰ã‹ã‚‰ãƒ¦ãƒ¼ã‚¶ãƒ¼ãŒä»–ã®åº—ã‚’ç°¡å˜ã«å®Ÿè³ªçš„ãªã‚·ãƒ§ãƒ¼ãƒ«ãƒ¼ãƒ ã«å¤‰ãˆã‚‰ã‚Œã‚‹ã‚ˆã†ã«ã—ã¦ã„る。2010å¹´ã«ã¯åŒç¤¾ã®è²·ã„物アプリã«ãƒãƒ¼ã‚³ãƒ¼ãƒ‰ã‚¹ã‚ャン機能を導入ã—ã€ãれ以æ¥ã‚¹ã‚ャン技術を改善ã—ã¦ã€ã‚«ãƒ¡ãƒ©ã‚’å‘ã‘ã‚‹ã ã‘ã§å•†å“を特定ã§ãるよã†ã«ã—ãŸã€‚
Steve Yegge ã® Google ã¨ãƒ—ラットフォームã«é–¢ã™ã‚‹ã¶ã£ã¡ã‚ƒã‘話を訳ã—ãŸï¼ˆå‰ç·¨ï¼‰
Google エンジニア㮠Steve Yegge æ°ã€Google+ ã¸ã®æ‡¸å¿µã‚’æ¼ã‚‰ã™ http://japan.internet.com/busnews/20111013/8.html ã§è¨˜äº‹ã«ãªã£ã¦ãŸã‘ã©ã€åŽŸæ–‡ã¨ã¡ã‚‡ã£ã¨è¦æ—¨ãŒå¤‰ã‚ã£ã¡ã‚ƒã£ã¦ã‚µãƒ¼ãƒ“スã¸ã®è¦é˜ã¿ãŸã„ã«ãªã£ã¦ã—ã¾ã£ã¦ãŸã®ã§ã€å…¨æ–‡è¨³ã—ã¦ã¿ãŸã€‚ããé•·ã„。ãŠæš‡ãªæ–¹ã©ã†ãžã€‚ （2011/10/19 08:14）ã‚ã‚ŠãŒãŸã„誤訳ã®æŒ‡æ‘˜ã‚’ã„ãŸã ã„ãŸã®ã§3カ所修æ£ã€‚ Stevey ã® Google プラットフォームã¶ã£ã¡ã‚ƒã‘話 僕ã¯6å¹´åŠã°ã‹ã‚Š Amazon ã«ã„ã¦ã€ä»Šã¯ãã‚Œã¨åŒã˜ãらㄠGoogle ã«ã„る。ã“ã®äºŒã¤ã®ä¼šç¤¾ã«ã¤ã„ã¦å¼·ãæ„Ÿã˜ã‚‹ã“ã¨ã¯ï¼ˆã—ã‹ã‚‚ãã®å°è±¡ã¯æ—¥ã€…å¼·ã¾ã‚‹ã®ã ã‘ã‚Œã©ï¼‰ã€ Amazon ã¯å…¨ã¦ã«ãŠã„ã¦é–“é•ã£ã¦ã„ã¦ã€ Google ã¯å…¨ã¦ã«ãŠã„ã¦æ£ã—ã„ã¨ã„ã†ã“ã¨ã 。ãã†ã€ã‚„ã‚Šã™ãŽãªä¸€èˆ¬åŒ–ã ã‘ã©ã€é©šãã»ã©æ£ç¢ºã ã¨æ€ã†ã€‚ã„ã‚„ã‚‚
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Use of Formal Methods at Amazon Web Services
{{#tags}}- {{label}}
{{/tags}}