クヌースæ°ã‚‚èªã‚ãŸã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ 「ZDDã€ã§ã‚¹ãƒžãƒ¼ãƒˆã‚°ãƒªãƒƒãƒ‰ã‚’実ç¾ã€åŒ—大・湊教授らãŒé–‹ç™ºç§‘å¦æŠ€è¡“振興機構（JST）ã€åŒ—æµ·é“大å¦ã€æ—©ç¨²ç”°å¤§å¦ã¯2012å¹´2月23æ—¥ã€åŒ—æµ·é“大å¦å¤§å¦é™¢æƒ…å ±ç§‘å¦ç ”究科ã®æ¹ŠçœŸä¸€æ•™æŽˆã‚‰ã®ã‚°ãƒ«ãƒ¼ãƒ—ãŒã€é›»åŠ›ã®é…電網ã«ãŠã‘ã‚‹é€é›»ãƒã‚¹ã‚’最å°åŒ–ã™ã‚‹æŠ€è¡“を開発ã—ãŸã¨ç™ºè¡¨ã—ãŸã€‚湊教授ãŒè€ƒæ¡ˆã—ãŸã€Œã‚¼ãƒã‚µãƒ—レス型二分決定グラフ（ZDD）ã€ã¨ã„ã†ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã‚’ã€é…電網ã®æœ€é©åŒ–計算ã«é©ç”¨ã—ãŸã€‚モデル上ã®æ¤œè¨¼ã§ã¯ã€é…電網ã«ãŠã‘る電力ãƒã‚¹ã‚’3％削減ã§ããŸã¨ã—ã¦ã„る。 湊教授ãŒ1993å¹´ã«è€ƒæ¡ˆã—ãŸZDDã¯ã€ç±³ã‚¹ã‚¿ãƒ³ãƒ•ã‚©ãƒ¼ãƒ‰å¤§å¦ã®ãƒ‰ãƒŠãƒ«ãƒ‰ãƒ»ã‚¯ãƒŒãƒ¼ã‚¹å誉教授ã®è‘—書「The Art of Computer Programmingã€ã«ãŠã„ã¦ã€æ—¥æœ¬äººãŒè€ƒæ¡ˆã—ãŸã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã¨ã—ã¦ã¯åˆã‚ã¦ã€ç‹¬ç«‹é …ç›®ã¨ã—ã¦è§£èª¬ã•ã‚ŒãŸã“ã¨ã§çŸ¥ã‚‰ã‚Œã¦ã„る。ã“ã‚Œã¾ã§ZDDã¯ã€LSIè¨è¨ˆã«ãŠã„ã¦ã€å›žè·¯ã®æ§‹æˆã‚’最é©åŒ–ã™ã‚‹è¨ˆç®—ãªã©ã«ä½¿ã‚ã‚Œã¦ã„ãŸã€‚ãã®ZDDã‚’é…電網ã®çµŒè·¯æœ€é©åŒ–ã«ç”¨ã„ãŸã®ãŒã€ä»Šå›žã®ç™ºè¡¨ã®ãƒã‚¤ãƒ³ãƒˆã§ã‚る。 電力ã®
GitHub - facebook/folly: An open-source C++ library developed and used at Facebook.
ä½è—¤ä¸€éƒŽ: Web日記 (2009å¹´) 2009å¹´11月13æ—¥
{{#tags}}- {{label}}
{{/tags}}