hideokiã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ / 2006å¹´2æœˆ22æ—¥ - ã¯ã¦ãªãƒ

2006-02-22 - æ•°å¦çŒ«ã®ç”Ÿæ´»ã¨æ„è¦‹

â– è›¾ã¯å”¯è›¾ã®ä¸€åŒ¹ã«ç”Ÿã¾ã‚ŒãŸç‚ºã«è‹ç‡ã®ç«ã«ç„¼ã‹ã‚Œã‚‹ã®ã§ã‚ã‚‹*1 http://d.hatena.ne.jp/m-hiyama/20060221 å¼•ç”¨ã•ã‚Œã¦ã„ã‚‹åƒ•ã®æ–‡ç« ã«æ¬¡ãŒå«ã¾ã‚Œã¾ã™ï¼ˆå°‘ã—ç°¡ç•¥åŒ–ã—ãŸï¼‰ã€‚ canProveã¯ã€å‘½é¡ŒãŒã€ã‚ã‚‹æ©Ÿæ¢°çš„å®šç†è¨¼æ˜Žç³»ã§è¨¼æ˜Žå¯èƒ½ã§ã‚ã‚Œã°trueã€åè¨¼å¯èƒ½ï¼ˆå¦å®šãŒè¨¼æ˜Žå¯èƒ½ï¼‰ã§ã‚ã‚Œã°falseã‚’è¿”ã™ã€‚ ã“ã®æ–‡ã«ã‚ã‚‹ã¨ãŠã‚Šã€ã€ŒcanProveãŒfalseã‚’è¿”ã™ã®ã¯å¦å®šãŒè¨¼æ˜Žã§ãã‚‹ã¨ãã€ã§ã™ã€‚ã€ŒcanProveãŒfalseã‚’è¿”ã™ã®ã¯è‚¯å®šãŒè¨¼æ˜Žã§ããªã„ã¨ãã€ã¨åƒ•ã¯è¨€ã£ã¦ã¾ã›ã‚“ã€‚ ã¯ã„ã€ã“ã®ä¸€æ–‡ã¯(å¼•ç”¨ã—ã¦ã„ãªãŒã‚‰)å…¨ç„¶æ°—ã¥ã„ã¦ã„ã¾ã›ã‚“ã§ã—ãŸã€‚ã“ã‚Œãªã‚‰ã°ã€ã“ã“ã‹ã‚‰ä¸å®Œå…¨æ€§å®šç†ãŒå°Žã‘ã‚‹ã“ã¨ã‚‚æ£ã—ã„ã¨æ€ã„ã¾ã™ã€‚å¤§å¤‰å¤±ç¤¼ã—ã¾ã—ãŸã€‚ ä»¥ä¸‹ã¯ç§ãŒã©ã“ã§æ··ä¹±ã—ãŸã‹ã®ã¾ã¨ã‚ã§ã™ã€‚ä¸€ç•ªè‡´å‘½çš„ãªã®ã¯ä¸Šã®ä¸€æ–‡ã‚’è¦‹é€ƒã—ãŸç‚¹ã§ã™ãŒã€ã“ã“ã«è‡³ã‚‹ã¾ã§ã«ã„ã‚ã„ã‚ã¨ã“ã‚“ãŒã‚‰ãŒã£ã¦ã—ã¾ã„ã¾ã—ãŸã€‚ ã¾

hideoki 2006/02/22

math

ãƒªãƒ³ã‚¯

ï¼´ï½…ï½ƒï½ˆç·ç ”ï¼šThinkpadåŠ é€Ÿåº¦ã‚»ãƒ³ã‚µã‚’ä½¿ã£ãŸã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãƒ»ãƒªãƒ³ã‚¯é›†

Lenovoç¤¾ã®ãƒŽãƒ¼ãƒˆPCThinkpadã‚·ãƒªãƒ¼ã‚ºã§ã¯ã€ãƒãƒ¼ãƒ‰ãƒ‡ã‚£ã‚¹ã‚¯ã®ç ´æé˜²æ¢ã®ãŸã‚ã«ã€ãƒŽãƒ¼ãƒˆPCã®ä¸ã«2è»¸ã®åŠ é€Ÿåº¦ã‚»ãƒ³ã‚µãŒæè¼‰ã•ã‚Œã¦ã„ã¾ã™ã€‚çä½“å†…ã«è¨ç½®ã•ã‚ŒãŸåŠ é€Ÿåº¦ã‚»ãƒ³ã‚µã§ã€çä½“ã¸ã®æŒ¯å‹•ãƒ»æºã‚Œãªã©ã‚’æ¤œçŸ¥ã—ã¦ã€è¡æ’ƒã‚’æ¤œçŸ¥ã—ãŸã‚‰ãƒãƒ¼ãƒ‰ãƒ‡ã‚£ã‚¹ã‚¯ã®ç£æ°—ãƒ˜ãƒƒãƒ‰ã‚’ãƒ‡ã‚£ã‚¹ã‚¯å¤–ã®å®‰å…¨ãªé ˜åŸŸã¸ã¨å¾…é¿ã•ã›ã‚‹ã“ã¨ã§ã€ã€Œãƒ‡ã‚£ã‚¹ã‚¯é¢ã¨ç£æ°—ãƒ˜ãƒƒãƒ‰ã®æŽ¥è§¦ã«ã‚ˆã‚‹ãƒ‡ã‚£ã‚¹ã‚¯é¢ã®ç ´æã€ã‚’é˜²ãã€ã¨ã„ã†ã€Œãƒãƒ¼ãƒ‰ãƒ‡ã‚£ã‚¹ã‚¯ãƒ»ã‚¢ã‚¯ãƒ†ã‚£ãƒ–ãƒ—ãƒãƒ†ã‚¯ã‚·ãƒ§ãƒ³ãƒ»ã‚·ã‚¹ãƒ†ãƒ ã€ãŒæè¼‰ã•ã‚Œã¦ã„ã‚‹ã®ã§ã™ã€‚ã“ã‚Œã‚‰ã®2è»¸åŠ é€Ÿåº¦ã‚»ãƒ³ã‚µã¯æœ¬æ¥ã€Œãƒãƒ¼ãƒ‰ãƒ‡ã‚£ã‚¹ã‚¯ä¿è·ã€ã®ãŸã‚ã«æè¼‰ã•ã‚Œã¦ã„ã‚‹ã‚ã‘ã§ã™ãŒã€ã“ã®ã‚»ãƒ³ã‚µã®å‡ºåŠ›å€¤ã‚’ä½¿ã£ãŸã‚¢ãƒ—ãƒªã‚±ãƒ¼ã‚·ãƒ§ãƒ³ãƒ»ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã¨ã„ã†ã‚‚ã®ãŒã‚ã‚Šã¾ã™ã€‚ åŠ é€Ÿåº¦ã‚»ãƒ³ã‚µã®å€¤ã‚’ä½¿ã†ã¨ä½•ãŒã§ãã‚‹ã‹ã¨è¨€ã†ã¨ã€åœ°è¡¨ä¸Šã§ã¯ã€Œé‰›ç›´æ–¹å‘ã«åƒãé‡åŠ›åŠ é€Ÿåº¦ã€ã¨ã„ã†ã‚‚ã®ãŒã‚ã‚‹ã‚ã‘ã§ã™ã€‚ã¨ã„ã†ã“ã¨ã¯ã€åŠ é€Ÿåº¦ã‚»ãƒ³ã‚µã®å€¤ã‚’èªã¿å–ã‚Œã°ã€Thinkpad çä½“ã«å¯¾ã—ã¦ã®

hideoki 2006/02/22

science

ãƒªãƒ³ã‚¯

prototype.js v1.5.0 ã®ä½¿ã„æ–¹

ãã‚Œã¯ä½•ï¼Ÿ prototype.js ã¯ Sam Stephenson ã«ã‚ˆã£ã¦æ›¸ã‹ã‚ŒãŸ JavaScript ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã§ã™ã€‚ ã“ã®ç†Ÿè€ƒã®ä¸Šè¨˜è¿°ã•ã‚ŒãŸæ¨™æº–ã«æº–æ‹ ã—ãŸã‚³ãƒ¼ãƒ‰ã¯ã€Web 2.0 ã«ãŠã„ã¦ç‰¹å¾´ã¨ãªã‚‹ãƒªãƒƒãƒã§ã‚¤ãƒ³ã‚¿ãƒ©ã‚¯ãƒ†ã‚£ãƒ–ãªã‚¦ã‚§ãƒ–ãƒšãƒ¼ã‚¸ã‚’åˆ¶ä½œã™ã‚‹éš›ã®é‡è·ã‚’ã€ã‚ãªãŸã®è‚©ã‹ã‚‰å–ã‚ŠåŽ»ã£ã¦ãã‚Œã‚‹ã§ã—ã‚‡ã†ã€‚ ã‚‚ã—ã“ã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’ä½¿ã£ãŸã“ã¨ãŒã‚ã‚‹ãªã‚‰ã€å……å®Ÿã—ãŸãƒ‰ã‚ãƒ¥ãƒ¡ãƒ³ãƒˆãŒã“ã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®å£²ã‚Šã§ã¯ãªã„ã“ã¨ã«æ°—ãŒã¤ã„ãŸã¯ãšã§ã™ã€‚ ç§ã¯ä»–ã®é–‹ç™ºè€…ã¨åŒæ§˜ã«ã€ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’èªã¿ã€è©¦è¡ŒéŒ¯èª¤ã—ãªãŒã‚‰ prototype.js ã‚’ç†è§£ã—ã¾ã—ãŸã€‚ è‡ªåˆ†ãŒå¦ã‚“ã§ã„ã‚‹é–“ã«ãƒ¡ãƒ¢ã‚’å–ã‚Šã€ãã‚Œã‚’ä»–ã®äººãŸã¡ã¨å…±æœ‰ã™ã‚‹ã“ã¨ã¯ä¾¡å€¤ãŒã‚ã‚‹ã®ã§ã¯ã€ã¨è€ƒãˆãŸã®ã§ã™ã€‚ åŠ ãˆã¦ã€ã“ã®ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã«ã‚ˆã£ã¦æä¾›ã•ã‚Œã¦ã„ã‚‹ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆã€ã‚¯ãƒ©ã‚¹ã€é–¢æ•°ã€æ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã® éžå…¬å¼ãƒªãƒ•ã‚¡ãƒ¬ãƒ³ã‚¹ ã‚‚æä¾›ã—ã¦ã„ã¾ã™ã€‚ ã“ã“ã§æä¾›ã™ã‚‹ä¾‹ã¨ãƒªãƒ•ã‚¡ãƒ¬ãƒ³ã‚¹

hideoki 2006/02/22

ãƒªãƒ³ã‚¯

ã¯ã¦ãªWordLink

å¹³ç´ ã‚ˆã‚Šã€Œã¯ã¦ãªWordLinkã€ã‚’ã”åˆ©ç”¨ã„ãŸã ãã€ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ ã€Œã¯ã¦ãªWordLinkã€ã¯ã€2012å¹´10æœˆ1æ—¥ã‚’ã‚‚ã¡ã¾ã—ã¦ã€ã‚µãƒ¼ãƒ“ã‚¹ã®æä¾›ã‚’çµ‚äº†ã•ã›ã¦ã„ãŸã ãã¾ã—ãŸã€‚ ã“ã‚Œã¾ã§ã”åˆ©ç”¨ã„ãŸã ãã¾ã—ãŸãƒ¦ãƒ¼ã‚¶ãƒ¼ã®çš†ã•ã¾ã«æ·±ãæ„Ÿè¬ã„ãŸã—ã¾ã™ã€‚ èª ã«ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã—ãŸã€‚ è©³ã—ãã¯ä¸‹è¨˜ã‚’ã”è¦§ãã ã•ã„ã€‚ http://hatena.g.hatena.ne.jp/hatena/20120831/1346389642 æ ªå¼ä¼šç¤¾ã¯ã¦ãª

hideoki 2006/02/22

wordlinkã®ãƒ˜ãƒ«ãƒ—

wordlink

ãƒªãƒ³ã‚¯

ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®å¤–ã«å…¬é–‹ã™ã‚‹ã‚·ãƒ³ãƒœãƒ«ã‚’åˆ¶é™ã™ã‚‹ Cè¨€èªžã«ã¯ãƒ•ã‚¡ã‚¤ãƒ«å†… (ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«å˜ä½) ã‹ã‚‰ã—ã‹ã‚¢ã‚¯ã‚»ã‚¹ã§ããªã„ static é–¢æ•°ã¨ã€åˆ¥ã®ãƒ•ã‚¡ã‚¤ãƒ«ã‹ã‚‰ã‚‚ã‚¢ã‚¯ã‚»ã‚¹ã§ãã‚‹éžstatic é–¢æ•°ãŒã‚ã‚Šã¾ã™ã€‚ã—ã‹ã—ã€ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã‚’ä½œæˆã™ã‚‹ä¸Šã§ã¯ã€ã“ã®2ã¤ã®ã‚¹ã‚³ãƒ¼ãƒ—ã ã‘ã§ã¯ä¸ååˆ†ãªã¨ããŒã‚ã‚Šã¾ã™ã€‚ æœ¬è¨˜äº‹ã§ã¯ GNUã®é–‹ç™ºç’°å¢ƒã«ãŠã„ã¦ã€ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®å¤–ã«å…¬é–‹ã™ã‚‹ã‚·ãƒ³ãƒœãƒ«ã‚’åˆ¶é™ã™ã‚‹æ–¹æ³•ã‚’ç´¹ä»‹ã—ã¾ã™ã€‚ æ¬¡ã®ã‚ˆã†ãªä¾‹ã‚’è€ƒãˆã¦ã¿ã¾ã™ã€‚ % cat a.c // foo() ã¯ libfoo ã®ä¸»å½¹ã®é–¢æ•°ãªã®ã§å…¬é–‹ã—ãŸã„ void foo() { bar(); } % cat b.c // bar() ã¯ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®ä¸ã ã‘ã§ä½¿ã‚ã‚Œã‚‹ã¹ããªã®ã§æœ¬å½“ã¯å…¬é–‹ // ã—ãŸããªã„ã€‚ã—ã‹ã—åˆ¥ã®ãƒ•ã‚¡ã‚¤ãƒ«ã«å«ã¾ã‚Œã‚‹ foo() ã‹ã‚‰ä½¿ã‚ã‚Œ // ã¦ã„ã‚‹ã®ã§ã€éžstaticã«ã›ã–ã‚‹ã‚’ãˆãªã„ void bar() { } ã“ã®ã‚ˆã†ãªã‚³

hideoki 2006/02/22

c

ãƒªãƒ³ã‚¯

ã¯ã¦ãƒ©ãƒœ ã¯ã¦ãƒ©ãƒœ å„ã‚µãƒ¼ãƒ“ã‚¹ã«ã¯æ‹…å½“é–‹ç™ºè€…ãŒãŠã‚Šã€å…¨ã¦ã¯ã¦ãªç¤¾å“¡ã§ã™ã€‚ä¸»ã«å€‹äººçš„ãªå‹•æ©Ÿã«ã‚ˆã‚Šé–‹ç™ºã‚’è¡Œã£ã¦ã„ã¾ã™ã€‚ ã¯ã¦ãªç¤¾å“¡ã˜ã‚ƒãªã„äººãŒé–‹ç™ºã§ãã‚‹å ´ã ã£ãŸã‚‰é¢ç™½ã„ã®ã«ã€ã¨ã‹æ€ã„ã¾ã—ãŸã€‚ Alexa Web Search Platform, Ning, Google Homepage API ... Architecture of Participationã€‚

hideoki 2006/02/22

ãƒªãƒ³ã‚¯

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

ã‚¿ã‚°

2006å¹´2æœˆ22æ—¥ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (6ä»¶)

2006-02-22 - æ•°å¦çŒ«ã®ç”Ÿæ´»ã¨æ„è¦‹

ï¼´ï½…ï½ƒï½ˆç·ç ”ï¼šThinkpadåŠ é€Ÿåº¦ã‚»ãƒ³ã‚µã‚’ä½¿ã£ãŸã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãƒ»ãƒªãƒ³ã‚¯é›†

prototype.js v1.5.0 ã®ä½¿ã„æ–¹

ã¯ã¦ãªWordLink

ãƒ©ã‚¤ãƒ–ãƒ©ãƒªã®å¤–ã«å…¬é–‹ã™ã‚‹ã‚·ãƒ³ãƒœãƒ«ã‚’åˆ¶é™ã™ã‚‹ - bkãƒ–ãƒã‚°

ã¯ã¦ãƒ©ãƒœ: blog.bulknews.net

ãŠçŸ¥ã‚‰ã›

æ—§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®Chromeæ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã®ãŠçŸ¥ã‚‰ã›ã¨æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã”åˆ©ç”¨ã®ãŠé¡˜ã„

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´3æœˆç¬¬1é€±ï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´2æœˆç¬¬4é€±ï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

ã‚¿ã‚°

2006å¹´2æœˆ22æ—¥ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (6ä»¶)

ãŠçŸ¥ã‚‰ã›

æ—§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®Chromeæ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã®ãŠçŸ¥ã‚‰ã›ã¨æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã”åˆ©ç”¨ã®ãŠé¡˜ã„

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2025å¹´3æœˆç¬¬1é€±ï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2025å¹´2æœˆç¬¬4é€±ï¼‰

å…¬å¼Twitter

ã‚­ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

2006å¹´2æœˆ22æ—¥ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (6ä»¶)

ãŠçŸ¥ã‚‰ã›

æ—§ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã®Chromeæ‹¡å¼µæ©Ÿèƒ½ã«ã¤ã„ã¦ã®ãŠçŸ¥ã‚‰ã›ã¨æ–°ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã”åˆ©ç”¨ã®ãŠé¡˜ã„

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´3æœˆç¬¬1é€±ï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2025å¹´2æœˆç¬¬4é€±ï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹