[B! ç†è«–] TakashiHattoriã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

TakashiHattori id:TakashiHattori

ç†è«–ã«é–¢ã™ã‚‹TakashiHattoriã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (12)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

ãƒ•ãƒãƒ¼ãƒãƒ£ãƒ¼ãƒˆã‚’ã‚ãã‚‹è¿·ä¿¡ã¨å¦„è¨€ã¨æ„šæ˜§ - æªœå±±æ£å¹¸ã®ã‚ãƒžã‚¤ãƒ©é£¼è‚²è¨˜ (ã¯ã¦ãªBlog)
2011å¹´12æœˆ20æ—¥ã®è¨˜äº‹ã§ï¼š [ãƒ•ãƒãƒ¼ãƒãƒ£ãƒ¼ãƒˆã«ã¤ã„ã¦æ›¸ãã®ã¯] åƒ•ã«ã¨ã£ã¦ã¯å®šæœŸãƒã‚¹ãƒˆã¿ãŸã„ãªã‚‚ã®ã§ã™ã€‚å¹´ã«ä¸€,äºŒåº¦ã¯ã“ã®ã“ã¨ã‚’è¨€ã£ã¦ãŠããŸã„ã€ã¿ãŸã„ãªã€‚ ã¨æ›¸ãã¾ã—ãŸã€‚ãã‚Œã‹ã‚‰åŠå¹´ãŸã£ã¦ãªã„ã®ã§ã™ãŒã€ãªã‚“ã‹ã¾ãŸãƒ•ãƒãƒ¼ãƒãƒ£ãƒ¼ãƒˆãƒ»ãƒã‚¿ã‚’ã‚„ã‚ŠãŸããªã‚Šã¾ã—ãŸãã€‚ ãã†æ€ã„ç«‹ã£ãŸã®ã¯ï¼› ã€Œãƒ•ãƒãƒ¼ãƒãƒ£ãƒ¼ãƒˆã‚’å¾©æ¨©ã•ã›ã‚ˆã† -- 2020å¹´ä»£ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¸ã€ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ã«ã€ç¾½ç”Ÿç« æ´‹(id:habuakihiro)ã•ã‚“ãŒæ¬¡ã®ã‚³ãƒ¡ãƒ³ãƒˆã‚’æ®‹ã—ã¦ãŠã‚Šã¾ã—ã¦ã€ æ˜”ãƒ•ãƒãƒ¼ãƒãƒ£ãƒ¼ãƒˆã«ã¤ã„ã¦è¬›æ¼”ã—ãŸã‚Šãƒã‚¸ãƒ†ã‚£ãƒ–ãªã“ã¨ã‚’æ›¸ã„ãŸã‚Šã—ãŸã‚‰å‰ã„å©ã‹ã‚ŒãŸãªã‚ã€‚ä¼¼ãŸã‚±ãƒ¼ã‚¹ã«JavaScriptã®è¨˜äº‹æ›¸ã„ãŸã¨ãã‚‚å©ã‹ã‚Œã¦ãã®å¾Œgmail+ajaxãƒ–ãƒ¼ãƒ ãŒæ¥ãŸã‚‰ä¸€è»¢ã—ãŸã‚Šã€‚ã¿ã‚“ãªåŽŸç†åŽŸå‰‡ã‚ˆã‚Šæµè¡ŒãŒå¥½ãã€‚ ã„ã¾ã•ã‚‰ãªãŒã‚‰å½“æ™‚ã®æƒ…å ±ã‚’æŽ¢ã—ã¦èªã‚“ã§ã¿ãŸã®ã§ã™ã‚ˆã€‚2006å¹´å¤ã€ç¾½ç”Ÿã•ã‚“ã®è¬›æ¼”ã«ã¤ã„ã¦å¤§æ£®æ•è¡Œè¨˜è€…ãŒæ›¸ã„ãŸè¨˜äº‹ãŒæ®‹ã£ã¦
TakashiHattori 2012/07/01
programming

ç†è«–
ãƒªãƒ³ã‚¯
æ–‡å—åˆ—ãƒ‡ãƒ¼ã‚¿åœ§ç¸®ã“ã¨ã¯ã˜ã‚ | SlideShare
2. ã‚¢ã‚¸ã‚§ãƒ³ãƒ€ lï¬â€¯ åœ§ç¸®ã®åŸºç¤Ž lï¬â€¯ ãªãœåœ§ç¸®ã§ãã‚‹ã®ã‹ lï¬â€¯ ãƒ¢ãƒ‡ãƒ«åŒ– lï¬â€¯ ç¬¦å· lï¬â€¯ åŸºæœ¬çš„ãªãƒ‡ãƒ¼ã‚¿åœ§ç¸® lï¬â€¯ é€£â»‘â¾§é•·åœ§ç¸® lï¬â€¯ RePair lï¬â€¯ â½‚æ–‡æ³•ãƒ‡ãƒ¼ã‚¿åœ§ç¸® lï¬â€¯ LZ77, LZ78 lï¬â€¯ Burrows Wheelerå¤‰æ› lï¬â€¯ æœ€è¿‘ã®ãƒ‡ãƒ¼ã‚¿åœ§ç¸® 2 3. ãƒ‡ãƒ¼ã‚¿åœ§ç¸®ã¨ç§ã®é–¢ä¿‚ 1992 ãƒ‡ãƒ¼ã‚¿åœ§ç¸® å°5ã€œ nifty serve, DO++ ä»Šã®èˆˆå‘³åˆ†é‡Žã® 2004 èµ·æºã¯ãƒ‡ãƒ¼ã‚¿åœ§ç¸® ï¼ˆçµ±è¨ˆçš„ï¼‰â¾ƒè‡ªç„¶â¾”è¨€èªžå‡¦ç†ï§¤ å¤§3ã€œ æœªè¸ & è¾»äº•ç ” M1ã€œ æœªè¸ & OSS åœ§ç¸®å…¨â½‚æ–‡ç´¢ï¥ªå¼• å®šå…¼å…ˆç”Ÿ æ©Ÿæ¢°å¦ç¿’/ãƒ‡ãƒ¼ã‚¿ãƒžã‚¤ãƒ‹ãƒ³ã‚° ç°¡æ½”ãƒ‡ãƒ¼ã‚¿æ§‹é€ M1ã€œ OSS, T-Primalâ€¨ OSS ãƒã‚¤ã‚ªã‚¤ãƒ³ãƒ•ã‚©ãƒžãƒ†ã‚£ã‚¯ã‚¹ 2011ã€œ Jubatus å¤§å¦4å¹´ã€œ ãƒã‚¤ã‚ªãƒ™ãƒ³ãƒãƒ£ãƒ¼ 2011ã€œ æ¬¡ä¸–ä»£ã‚·ãƒ¼ã‚±ãƒ³ã‚µ
TakashiHattori 2012/06/22
algorithm

ç†è«–
ãƒªãƒ³ã‚¯
sicpstudygroup @ ã‚¦ã‚£ã‚ - iwk
ç¾åœ¨ä½¿ã£ã¦ã„ã‚‹å‡¦ç†ç³» Dr.Scheme ç·´ç¿’å•é¡Œ ï¼‘ç« ã®ç·´ç¿’å•é¡Œ ï¼’ç« ã®ç·´ç¿’å•é¡Œï¼ˆå‰åŠï¼‰ ï¼’ç« ã®ç·´ç¿’å•é¡Œï¼ˆå¾ŒåŠï¼‰ ï¼“ç« ã®ç·´ç¿’å•é¡Œï¼ˆå‰åŠï¼‰ ï¼“ç« ã®ç·´ç¿’å•é¡Œï¼ˆå¾ŒåŠï¼‰ ï¼”ç« ã®ç·´ç¿’å•é¡Œ iwkã®.emacs MEMO 3.2 The Environment Model of Evaluation 3.5.3 Exploiting the Stream Paradigm ç¬¬äº”ä¸–ä»£ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ã®è³‡ç”£ã‚’æŽ˜ã‚Šèµ·ã“ã™ ç¬¬äº”ä¸–ä»£ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã‚’èªã¿è§£ã Schemeã«ã¤ã„ã¦ æŠ½è±¡ãƒ‡ãƒ¼ã‚¿åž‹ï¼ˆADTï¼‰ã¨ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ï¼ˆæ‰‹ç¶šãã«ã‚ˆã‚‹ãƒ‡ãƒ¼ã‚¿æŠ½è±¡ï¼ˆPDAï¼‰ï¼‰ ãƒ¢ãƒ³ã‚¿ã‚®ãƒ¥ãƒ¼æ„å‘³è«–å…¥é–€ Constructive Mechanics ã‚¨ãƒ¼ã‚³ã¨ç™¾ç§‘è¾žå…¸ åž‹ç†è«– FSharp å¾®åˆ†å¹¾ä½•å¦å†å…¥é–€ æœ¬æ£š ãƒ•ãƒ¬ãƒ¼ã‚²å“²å¦ã®æœ€æ–°åƒæ–‡è„ˆåŽŸç†ã«é–¢ã™ã‚‹ä¸€å†Š èªã¿å–ã‚ŒãŸçµè«–ã¨ã—ã¦ã¯ã€â€Peter Aczelã®å½¢å¼ç³»FS
TakashiHattori 2012/01/06
ç†è«–
ãƒªãƒ³ã‚¯
è‡ªå‹•å®šç†è¨¼æ˜Žã®ç´¹ä»‹ - ãƒ’ãƒ“ãƒ«ãƒ†(2011-09-25)
TakashiHattori 2011/09/28
theorem prover

ç†è«–
ãƒªãƒ³ã‚¯
Practical Foundations for Programming Languages
Practical Foundations for Programming Languages Robert Harper Carnegie Mellon University Spring, 2011 [Version 1.8 of 07.22.2011.] Copyright c 2010 by Robert Harper. All Rights Reserved. The electronic version of this work is licensed under the Cre- ative Commons Attribution-Noncommercial-No Derivative Works 3.0 United States License. To view a copy of this license, visit http://creativecommons.o
TakashiHattori 2011/07/24
language

ç†è«–
ãƒªãƒ³ã‚¯
John Harrison: Slides from recent talks
TakashiHattori 2010/10/12
å®šç†è¨¼æ˜Žã€æ¤œè¨¼ãªã©

ç†è«–
ãƒªãƒ³ã‚¯
Tetsuya Hattori; moved
Tetsuya HATTORI å¼•ã£è¶Šã—ã¾ã—ãŸï¼Žã‚¯ãƒªãƒƒã‚¯ã—ã¦ãã ã•ã„ï¼Ž ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ã¨ãƒªãƒ³ã‚¯ã®å¤‰æ›´ã‚’ãŠé¡˜ã„ã—ã¾ã™ï¼Ž
TakashiHattori 2010/04/10
amazonã®ãƒ©ãƒ³ã‚ãƒ³ã‚°ã‚’ç¢ºçŽ‡éŽç¨‹ã§èª¬æ˜Ž

æ•°å¦

ç†è«–

algorithm
ãƒªãƒ³ã‚¯
è±ªç ”ç©¶æ‰€ã€ã‚«ãƒ¼ãƒãƒ«ã®å®‰å…¨æ€§ã‚’æ•°å¦çš„ã«æ¤œè¨¼ã™ã‚‹æ‰‹æ³•ã‚’é–‹ç™º
ã‚ªãƒ¼ã‚¹ãƒˆãƒ©ãƒªã‚¢ã®æ°‘é–“ç ”ç©¶æ©Ÿé–¢Information and Communications Techno logy Centre of Excellenceï¼ˆNICTAï¼‰ã®ç ”ç©¶è€…ã‚‰ã¯ç¾åœ°æ™‚é–“8æœˆ12æ—¥ã€ãƒŸãƒƒã‚·ãƒ§ãƒ³ã‚¯ãƒªãƒ†ã‚£ã‚«ãƒ«ãªã‚·ã‚¹ãƒ†ãƒ å‘ã‘ã®ä¸æ ¸ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãŒå®‰å…¨ã§ã‚ã‚‹ã“ã¨ã‚’æ¤œè¨¼ã™ã‚‹æ–¹æ³•ã‚’ç™ºè¡¨ã—ãŸã€‚ ç ”ç©¶è€…ã‚‰ã«ã‚ˆã‚‹ã¨ã€ã“ã®æ–¹æ³•ã«ã‚ˆã‚Šã€é£›è¡Œæ©Ÿã‚„è‡ªå‹•è»Šã«ãŠã‘ã‚‹ã‚·ã‚¹ãƒ†ãƒ ã®å®‰å…¨æ€§ã¨ã‚»ã‚ãƒ¥ãƒªãƒ†ã‚£ã‚’ç®¡ç†ã™ã‚‹ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ãŒã€ã‚¨ãƒ©ãƒ¼ã‚’å«ã‚€å¤§åž‹ã‚¯ãƒ©ã‚¹ã‚’æŒãŸãªã„ã“ã¨ã‚’æ•°å¦çš„ã«æ¤œè¨¼ã§ãã‚‹ã¨ã„ã†ã€‚ NICTAã¯ã€æ±Žç”¨OSã‚«ãƒ¼ãƒãƒ«ã«å¯¾ã™ã‚‹ã€ãƒžã‚·ãƒ³ãƒã‚§ãƒƒã‚¯ã«ã‚ˆã‚‹åˆã®ãƒ•ã‚©ãƒ¼ãƒžãƒ«æ¤œè¨¼ãŒå®Œäº†ã—ãŸã¨ç™ºè¡¨ã—ãŸã€‚ã“ã®ã‚«ãƒ¼ãƒãƒ«ã¯ã€ã€ŒSecure Embedded L4ã€ï¼ˆseL4ï¼‰ãƒžã‚¤ã‚¯ãƒã‚«ãƒ¼ãƒãƒ«ã¨å‘¼ã°ã‚Œã‚‹ã€‚ ã‚±ãƒ³ãƒ–ãƒªãƒƒã‚¸å¤§å¦ã®ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ç ”ç©¶æ‰€ã§æ¼”ç®—è«–ç†å¦ã®æ•™æŽˆã‚’å‹™ã‚ã‚‹Lawrence Paulsonæ°ã¯ã€è‹±å›½æ™‚é–“8æœˆ13æ—¥ã«ZDNe
TakashiHattori 2009/09/15
ç†è«–

verification
ãƒªãƒ³ã‚¯
A Very Brief Introduction to the Pi-Calculus (in Japanese)
Ï€-calculus è¶…å…¥é–€ Ï€-calculus ã¯ã€80 å¹´ä»£ã®çµ‚ã‚ã‚Šã”ã‚ã« Milner ã‚‰ã«ã‚ˆã£ã¦ææ¡ˆã•ã‚ŒãŸä¸¦è¡Œè¨ˆç®—ã®ãƒ¢ãƒ‡ãƒ«ã®ä¸€ã¤ã§ã™ã€‚ãã“ã§ã¯ã€ãƒ—ãƒã‚»ã‚¹ã¨å‘¼ã°ã‚Œã‚‹è¤‡æ•°ã®ç‹¬ç«‹ã—ãŸä¸»ä½“ãŒã€é€šä¿¡ãƒãƒ£ãƒãƒ«ã¨å‘¼ã°ã‚Œã‚‹ãƒ‡ãƒ¼ã‚¿ã®é€šã‚Šé“ã‚’ä»‹ã—ã¦å€¤ã‚’ã‚„ã‚Šã¨ã‚Šã—ãªãŒã‚‰ã€è¨ˆç®—ã‚’è¡Œã£ã¦ã„ãã¾ã™ã€‚Ï€-calculus ã«ã¯ã„ã‚ã„ã‚ãªå¤‰ç¨®ãŒã‚ã‚‹ã®ã§ã™ãŒã€ã“ã“ã§ã¯ã¨ã‚Šã‚ãˆãšæ¬¡ã®ã‚ˆã†ãªæ§‹æˆè¦ç´ ã‹ã‚‰ãªã‚‹ã‚‚ã®ã‚’è€ƒãˆã¾ã—ã‚‡ã†ã€‚ new x . P æ–°ã—ã„ãƒãƒ£ãƒãƒ« x ã‚’ä½œã£ã¦ã‹ã‚‰ã€ãƒ—ãƒã‚»ã‚¹ P ã‚’å®Ÿè¡Œã™ã‚‹ (channel creation) x![v1, ..., vn] ãƒãƒ£ãƒãƒ« x ã«å€¤ v1, ..., vn ã‚’é€ã‚‹ (asynchronous output) x?[v1, ..., vn] . P ãƒãƒ£ãƒãƒ« x ã‹ã‚‰å€¤ v1, ..., vn ã‚’å—ã‘å–ã£ã¦ã€P ã‚’å®Ÿè¡Œã™ã‚‹ (input guard) P |
TakashiHattori 2008/05/14
ç†è«–
ãƒªãƒ³ã‚¯
æ•°ç†ç§‘å¦çš„ãƒã‚°æ’²æ»…æ–¹æ³•è«–ã®ã™ã™ã‚---ç›®æ¬¡ | æ—¥çµŒ xTECHï¼ˆã‚¯ãƒã‚¹ãƒ†ãƒƒã‚¯ï¼‰
ç†è€… ä½äº• è‹±äºŒéƒŽ ã€Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã€ã¨ã„ã†ç ”ç©¶åˆ†é‡ŽãŒã‚ã‚‹ã€‚ã“ã®åˆ†é‡Žã®ç ”ç©¶è€…ãŸã¡ã¯ï¼Œã€ŒMLã€ã€ŒHaskellã€ã€ŒSchemeã€ã‚ã‚‹ã„ã¯ã€ŒÎ»è¨ˆç®—ã€ã€ŒÏ€è¨ˆç®—ã€ï¼ˆå††å‘¨çŽ‡è¨ˆç®—ã®ã“ã¨ã§ã¯ãªã„ï¼‰ãªã©ï¼Œå¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦ã¯èžã„ãŸã“ã¨ã‚‚ãªã„è¨€èªžã‚„ãƒ¢ãƒ‡ãƒ«ã«ã¤ã„ã¦ï¼Œæ—¥å¤œç ”ç©¶ã—ã¦ã„ã‚‹ã€‚ãŸã ï¼Œãã®ã‚ˆã†ãªè¨€èªžã¯ã€Œé›£ã—ã„ã€ã€Œå½¹ã«ç«‹ãŸãªã„ã€ãªã©ã¨æ€ã‚ã‚ŒãŒã¡ã ã€‚ ã“ã®é€£è¼‰ã§ã¯ï¼Œã“ã†ã—ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚„ã‚½ãƒ•ãƒˆã‚¦ã‚¨ã‚¢ç§‘å¦ã®æ§˜ã€…ãªç ”ç©¶ã‚’ï¼Œã§ãã‚‹ã ã‘æ™®é€šã®ãƒ—ãƒã‚°ãƒ©ãƒžã‚„ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ã«ã‚‚ã‚ã‹ã‚Šã‚„ã™ãï¼ˆã©ã¡ã‚‰ã‹ã¨ã„ãˆã°ç†è«–ã‚ˆã‚Šã‚‚å®Ÿç”¨ã«é‡ç‚¹ã‚’ãŠã„ã¦ï¼‰ç´¹ä»‹ã—ã¦ã„ãã€‚ æ›´æ–°ã¯æ¯Žæœˆç¬¬2æ°´æ›œæ—¥ï¼ˆ1æœˆã®ã¿ç¬¬3æ°´æ›œæ—¥ï¼‰
TakashiHattori 2007/07/19
programming

ç†è«–

OCaml
ãƒªãƒ³ã‚¯
Technical Reports - LIACS - Leiden Institute of Advanced Computer Science
TakashiHattori 2007/06/08
VPL

ç†è«–

grammar
ãƒªãƒ³ã‚¯
Visual Turing Machine
Slash the time it takes to manage and optimize your Google, Microsoft Advertising or Facebook Ads campaigns to just minutes a day. Adzooma's AI and machine learning based PPC platform offers stress free campaign management, state of the art 24/7 optimization and advanced automation, all in a simple to use interface. Scan for 50+ improvement 'opportunities', many of which can be actioned with a sin
TakashiHattori 2007/06/07
æ•™æ

ç†è«–

visualization
ãƒªãƒ³ã‚¯
1