http://www.math.pitt.edu/~thales/flyspeck/index.html ã„ã‚ゆるçƒã®æœ€å¯†å……填率ã«é–¢ã™ã‚‹Keplerã®äºˆæƒ³(1998å¹´ã”ã‚解決)ã®formal proofを与ãˆã‚ˆã†ã¨ã„ã†ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã€‚定ç†è¨¼æ˜Žç³»HOLを使ã£ã¦ã‚‹ã‚‰ã—ã„ã®ã§ã€å‹‰å¼·ã—ã¦ã¿ã‚ˆã†ã‹ãªãƒ¼ http://www.neubert.net/FSOIntro.html オーダーNã®ã‚½ãƒ¼ãƒ†ã‚£ãƒ³ã‚°ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ 。抽象的ãªç†è«–ã°ã£ã‹å‹‰å¼·ã—ã¦ãŸã®ã§ã€ãƒªãƒãƒ“リ代ã‚ã‚Šã«Schemeã§æ›¸ã„ã¦ã¿ã‚ˆã†ã¨æ€ã£ãŸã‘ã©ã€åŽŸç†ãŒã‚ˆã分ã‹ã‚‰ãªã„・・・。論文(?)èªã¿ã¥ã‚‰ã„ã—。 ã¾ãšã€å…¨ä½“を大雑把ãªå¤§ãã•(=key value)ã§ã‚°ãƒ«ãƒ¼ãƒ—ã«åˆ†ã‘ã¦ã‚°ãƒ«ãƒ¼ãƒ—をソートã—ã¦(partial-sort)ã€æ›´ã«ã€ãã†ã‚„ã£ã¦ã€åˆ†ã‘ãŸå„グループをå†å¸°çš„ã«ã‚½ãƒ¼ãƒˆã—ã¦(è¦ç´ æ•°ãŒå分å°ã•ã„ã¨ãã¯ã€æŒ¿å…¥ã‚½ãƒ¼ãƒˆã‚’使ã†ã®ã¯å®šçŸ³é€šã‚Š)ã€æœ€å¾Œã«ãã£ã¤ã‘ã‚‹ã¨ã„
{{#tags}}- {{label}}
{{/tags}}