コンパイルã¯(テストã§ã¯ãªã)証明ã§ã‚ã‚‹ - ã‚ã©ã‘ãªã„話「プãƒã‚°ãƒ©ãƒ ã®ãƒ†ã‚¹ãƒˆã¯ãƒã‚°ã®å˜åœ¨ã‚’示ã™ã“ã¨ã«ã‹ã‘ã¦ã¯ã¨ã¦ã‚‚効率的ãªæ–¹æ³•ã§ã™ãŒã€ãƒã‚°ã®ä¸åœ¨ã‚’示ã™ã“ã¨ã«ã‹ã‘ã¦ã¯çµ¶æœ›çš„ãªã»ã©ã«ä¸é©åˆ‡ã§ã™ã€‚プãƒã‚°ãƒ©ãƒ ã®ä¿¡é ¼æ€§ã‚’é¡•è‘—ã«å‘上ã•ã›ã‚‹å”¯ä¸€ã®æ–¹æ³•ã¯ã€ãã®æ£å½“性ã«å¯¾ã—ã¦èª¬å¾—力ã®ã‚る証明を与ãˆã‚‹ã“ã¨ã§ã™ã€ -- Edsger W. Dijkstra é™çš„型付ã言語ã§ã¯ã€ã‚³ãƒ³ãƒ‘イル時ã«åž‹ãŒæ¤œæŸ»ã•ã‚Œã‚‹ã€‚ã“ã®åž‹æ¤œæŸ»ã«é–¢é€£ã—ã¦åž‹æŽ¨è«–ã¨ã„ã†æ©Ÿèƒ½ã‚’æŒã¤è¨€èªžãŒã‚る。型推論ã¯ã€å¤§ãã分ã‘ã¦2ã¤ã®æ„味ã§ä½¿ã‚ã‚Œã¦ã„るよã†ã 。 命令型言語ã®å¤šãã«è¦‹ã‚‰ã‚Œã‚‹åž‹æŽ¨è«–：型検査ã®éŽç¨‹ã§ã€çœç•¥ã•ã‚ŒãŸåž‹ã‚’補ã†ã“㨠関数型言語ã®å¤šãã«è¦‹ã‚‰ã‚Œã‚‹åž‹æŽ¨è«–：未知ã®åž‹ã‚’変数ã¨ã—ã¦æ–¹ç¨‹å¼ã‚’ç«‹ã¦ã€æ–¹ç¨‹å¼ã‚’解ã„ã¦æœªçŸ¥ã®åž‹ã‚’求ã‚ã‚‹ã“ã¨ã€‚型推論自体ãŒåž‹æ¤œæŸ»ã®å½¹å‰²ã‚’æžœãŸã™ ã“ã®è¨˜äº‹ã§ã¯ã€å¾Œè€…ã®åž‹æŽ¨è«–を話題ã«ã™ã‚‹ã€‚ é™çš„型付ã関数型言語ã®åˆ©ç‚¹ã¨ã—ã¦ã€ã‚ˆã「コンパイルã¯ãƒ†ã‚¹ãƒˆã§ã‚ã‚‹ã€ã¨ã„ã†èª¬æ˜ŽãŒãªã•ã‚Œã‚‹ã€‚プãƒã‚°ãƒ©ãƒ ã¯å¼ã§
ゆーã™ã‘ã¹ãƒ¼æ—¥è¨˜
サーãƒã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãŒã€Œé–‹ç™ºåŠ›ã€ã‚’æŒã¤æ„味 - Gosuke Miyashita
: _
“é éš”æ“作ウイルスâ€äº‹ä»¶ã€å°‚門家らã¯å®Ÿè¡Œãƒ•ã‚¡ã‚¤ãƒ«ã®æ‰±ã„ã§ã‚®ãƒ£ãƒƒãƒ—痛感？　
自動改æœæ©Ÿã®é‹è³ƒè¨ˆç®—プãƒã‚°ãƒ©ãƒ ã¯ã„ã‹ã«ãƒ‡ãƒãƒƒã‚°ã•ã‚Œã¦ã„ã‚‹ã®ã‹ï¼Ÿ 10ã®40ä¹—ã¨ã„ã†é‹è³ƒãƒ‘ターンã®ãƒ†ã‚¹ãƒˆæ–¹æ³•ã‚’開発者ãŒè§£èª¬ï¼ˆå‰ç·¨ï¼‰
ドットインストール - 3分動画ã§ãƒžã‚¹ã‚¿ãƒ¼ã™ã‚‹åˆå¿ƒè€…å‘ã‘プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å¦ç¿’サイト
プãƒã‚·ãƒ¼ã‚¸ãƒ£ - Wikipedia
詳細è¨è¨ˆï¼ˆãƒ—ãƒã‚°ãƒ©ãƒ è¨è¨ˆï¼‰ã¨ã¯ä½•ã‹ - システム開発ã®ãƒŽã‚¦ãƒã‚¦ -
Javaã®é“：JavaBeans（１．ã¯ã˜ã‚ã¦ã®JavaBeans）
http://www.cpa-lab.com/tech/0143
Webデザインやプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãªã©ã®å‹‰å¼·ã«è‰¯ã•ãã†ãªå›½å†…ã®ãƒ–ãƒã‚°è¨˜äº‹ã‚„Webサイトã„ã‚ã„ã‚ - ã‹ã¡ã³ã¨.net
ã„ã„æ„Ÿã˜ãªUIã®PHPã®æŠ•ç¥¨ãƒ—ãƒã‚°ãƒ©ãƒ ã®ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ï¼†ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«:phpspot開発日誌
åˆå¿ƒè€…ã®ä½œã£ãŸãƒ—ãƒã‚°ãƒ©ãƒ ã«ã‚ã‚ŠãŒã¡ãªã“ã¨ï¼šã‚¢ãƒ«ãƒ•ã‚¡ãƒ«ãƒ•ã‚¡ãƒ¢ã‚¶ã‚¤ã‚¯
404 Error - File Not Found
YouTube - GrandVJ+Quartzã‚’iPhoneã§å‹•ã‹ã™
http://freeek.jp/blog/video/1777/
{{#tags}}- {{label}}
{{/tags}}