IIJ Research Laboratory
ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®è¨ˆæ¸¬ã¨è§£æž インターãƒãƒƒãƒˆã®ä½¿ã‚れ方やãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã®æŒ™å‹•ã‚’把æ¡ã™ã‚‹äº‹ã¯ã€ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã‚’é‹ç”¨ã—ã€ãã®æŠ€è¡“開発を行ㆠãŸã‚ã«æ¬ ã‹ã›ã¾ã›ã‚“。ã—ã‹ã—ã€è¦³æ¸¬ã§å¾—られるデータé‡ã¯è†¨å¤§ã§ã™ãŒãƒŽã‚¤ã‚ºãŒå¤šãã€ã¾ãŸã€è¦³æ¸¬ã§ãã‚‹ã®ã¯æ¥µã‚ã¦é™ã‚‰ã‚ŒãŸéƒ¨åˆ†ã§ã—ã‹ã‚ã‚Šã¾ã›ã‚“。ãã“ã§ã€è†¨å¤§ãªãƒ‡ãƒ¼ã‚¿ã‹ã‚‰æ„味ã®ã‚ã‚‹æƒ…å ±ã‚’æŠ½å‡ºã—ãŸã‚Šã€éƒ¨åˆ†çš„ãªè¦³æ¸¬ã‹ã‚‰ã‚ˆã‚Šä¸€èˆ¬çš„ãªå‚¾å‘を推測ã™ã‚‹äº‹ãŒå¿…è¦ã¨ãªã‚Šã¾ã™ã€‚... インターãƒãƒƒãƒˆåŸºç›¤æŠ€è¡“ 速ãã¦ã€å®‰å…¨ã§ã€ä¿¡é ¼æ€§ãŒé«˜ãã€ä½¿ã„ã‚„ã™ãã€ãªã©ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã‚µãƒ¼ãƒ“スã¸ã®è¦æ±‚ã¯ã¾ã™ã¾ã™é«˜ã¾ã£ã¦ã„ã¾ã™ã€‚ã“れらã®è¦æ±‚ã«å¿œãˆã‚‹ãŸã‚ã«ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã® 基盤技術も日々進æ©ã—ã¦ã„ã¾ã™ã€‚ã„ã¾ã‚„インターãƒãƒƒãƒˆã¯ã¤ãªãŒã‚‹ã ã‘ã®ã‚µãƒ¼ãƒ“スã§ã¯ãªãã€é«˜åº¦ã§è¤‡é›‘ãªæ©Ÿèƒ½ã‚’å‚™ãˆãŸç¤¾ä¼šåŸºç›¤ã¨ãªã‚Šã¾ã—ãŸã€‚IIJæŠ€è¡“ç ”ç©¶æ‰€ã¯ã€ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã®åŸºç›¤ã¨ã—ã¦å®Ÿç¾ãŒæœŸå¾…ã•ã‚Œã‚‹æ©Ÿèƒ½ã‚’æä¾›ã™ã‚‹ãŸã‚ã«ã€ã•ã¾ã–ã¾ãªæŠ€è¡“課題ã«å–り組んã§
Haskell ã«ãŠã‘ã‚‹ä¾å˜åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨è¨¼æ˜Žã®è¨˜è¿°ã‚’用ã„ãŸå®Ÿç”¨çš„ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã£ã¦ä½•
スマートコン @mr_konn Haskell ã«ãŠã‘ã‚‹ä¾å˜åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯ã€å¤§æŠµã®å ´åˆå®‰å…¨æ€§ã®"証明"ã¨ã—ã¦ä¾å˜åž‹ã‚’用ã„ã‚‹å ´åˆãŒå¤šã„ã‹ã‚‰ã€ã²ã¨ãŸã³è¨¼æ˜ŽãŒå‡ºæ¥ã¦ã—ã¾ãˆã°ã€ãã®è¨¼æ˜Žã«å¯¾å¿œã™ã‚‹å®Ÿè¡Œæ™‚計算ã¯ç„¡é§„ãªã‚“ã よãªã‚。type erasure ãªã‚‰ã¬ proof erasure ãŒå‡ºæ¥ã‚Œã°ã‚ˆã„ã®ã ㌠2014-02-23 17:10:29 スマートコン @mr_konn 帰ç´æ³•ã¯ O(n) 書ã‹ã‚‹ã—ã€äºŒé‡å¸°ç´æ³•ãªã‚‰ O(n^2) ã 。一回示ã›ãŸã‚‰ unsafeCoerce ã™ã‚Šã‚ƒã„ã„ã‹ã‚‚ã—ã‚Œãªã„ã‘ã©ã€ãã†ã„ã†ã®ã‚’自動的ã«ã‚„ã£ã¦ãれるã®ã‚’欲ã—ã„ 2014-02-23 17:12:45
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://hagi.is.s.u-tokyo.ac.jp/pub/essay/hagiya/essay/keishikika
{{#tags}}- {{label}}
{{/tags}}