[B! é–¢æ•°åž‹] you21979ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

you21979 id:you21979

é–¢æ•°åž‹ã«é–¢ã™ã‚‹you21979ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (8)

${{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}}

ML programmer's guide to ATS æ—¥æœ¬èªžè¨³ - Metasepi
Table of contents MLãƒ—ãƒã‚°ãƒ©ãƒžå‘ã‘ATSè¨€èªžã‚¬ã‚¤ãƒ‰ ATSã®ã™ã°ã‚‰ã—ãä¸–ç•Œ ãƒŽãƒ¼ãƒˆ: ç·šå½¢è«–ç†(Linear Logic)ã«ã¤ã„ã¦ æ‹¡å¼µå ã‚ãã‚‹ã‚ãé™ ç•°åž‹(Atypical)ã®è¤‡åˆåž‹ ãƒŽãƒ¼ãƒˆ: intã®åž‹ã¯ãƒ•ãƒ©ãƒƒãƒˆ è½ã¡ç€ã‹ãªã„é–¢æ•°ãŸã¡ ã‚¿ã‚°ä»˜ãã®ã‚¢ãƒãƒ¼åž‹ stdio.h ã‹ã‚‰ä¾‹ã‚’ ã“ã®æ–‡æ›¸ã®TODO ã“ã®è¨˜äº‹ã¯ Theorem Prover Advent Calendar 2013 - Qiita [ã‚ãƒ¼ã‚¿] ã®12/23(æœˆæ›œ)åˆ†ã˜ã‚ƒãªã‚¤ã‚«ã€‚ ATS http://www.ats-lang.org/ ã¨ã„ã†è¨€èªžã‚’çŸ¥ã£ã¦ã„ã‚‹ã§ã‚²ã‚½ï¼Ÿ ä¾å˜åž‹ã¨ç·šå½¢åž‹ãŒä½¿ãˆã¦ã€ã‚‚ã¡ã‚ã‚“è¨¼æ˜Žå™¨ã«ã‚‚ãªã‚‹ã§ã‚²ã‚½ã€‚ ä»¥ä¸‹ã®ã‚ˆã†ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãƒ‘ãƒ©ãƒ€ã‚¤ãƒ ã‚’ã‚µãƒãƒ¼ãƒˆã—ã¦ã„ã‚‹ã§ã‚²ã‚½ã€‚ é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° å‘½ä»¤ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° ä¸¦åˆ—ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚·ã‚¹ãƒ†ãƒ ATSã®Hello Worldã®å®Ÿ
you21979 2014/07/30
atslang

é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
Functional Programming Â· OCaml Documentation
Functional Programming What Is Functional Programming? We've got quite far into the tutorial, yet we haven't really considered functional programming. All the features given so far (rich data types, pattern matching, type inference, nested functions) could exist in a "super C" language. These are cool features that make your code concise, easy to read, and have fewer bugs; however, they actually h
you21979 2014/07/17
é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
https://qiita.com/kenokabe/items/13ea8d2da6adce1b3b9a
you21979 2014/07/15
ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆæŒ‡å‘

ãƒ‘ãƒ©ãƒ€ã‚¤ãƒ

é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
ã•ã‚ã€Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿(ä¸å‹•ç‚¹æ¼”ç®—å)ã‚’ä½¿ãŠã†ï¼ - ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“
å‰å›žã€ãŠã¨ã†ã•ã‚“ã«ã‚‚ã‚ã‹ã‚‹Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ï¼(çµµè§£ãè§£èª¬ç·¨) - ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“ã¨ã„ã†ã‚¨ãƒ³ãƒˆãƒªã§ã€Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿(ä¸å‹•ç‚¹æ¼”ç®—å)ã¨å†å¸°ã®çµµè§£ãè§£èª¬ã‚’ã—ã¾ã—ãŸã€‚ Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿è‡ªèº«ã¯ã€çµå±€ã®ã¨ã“ã‚å†å¸°ã‚’ç”£ã¿å‡ºã—ã¦ãã‚Œã‚‹ã ã‘ã§ã™ã€‚é–¢æ•°(æ£ç¢ºã«ã¯Î»ã¨ã„ã†å˜ç´”ãªæ–‡å—åˆ—å¤‰æ›ãƒ«ãƒ¼ãƒ«)ã ã‘ã§å‡ºæ¥ã¦ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«é–¢ã™ã‚‹ã„ã‚ã‚“ãªåŽŸç†ã®ç ”ç©¶ã‚’å¯èƒ½ã«ã™ã‚‹ã®ãŒå‡„ã„è¨³ã§ã™ã€‚ãã®è¾ºã®ã•ã‚ã‚Šã‚’ã€ãã—ã ã•ã‚“ãŒè§£èª¬ã•ã‚Œã¦ã„ã¾ã™ã€‚ã—ã‹ã—ã€å˜ãªã‚‹å†å¸°ãªã‚‰ã€å®Ÿéš›ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ãªã‚“ã¦ä½¿ã‚ãªãã¦ã‚‚å‡ºæ¥ã¾ã™ã€‚ ã˜ã‚ƒã‚ã€Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã¨ã‹ä¸å‹•ç‚¹ã¨ã‹ã¯ã€å‰ã„å¦è€…ã•ã‚“ã¨ã‹ãŒç ”ç©¶ã«ä½¿ãˆã°ã„ã„ã‚‚ã®ã§ã€æ™®é€šã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¯ä½•ã®æ„å‘³ã‚‚ãªã„ãƒ¢ãƒŽãªã®ã§ã—ã‚‡ã†ã‹ï¼Ÿ ã¨ã„ã†ã‚ã‘ã§ã€ä»Šå›žã¯ãƒã‚¸ãƒ†ã‚£ãƒ–ã«ã€Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã‚„ä¸å‹•ç‚¹ã§å‡ºã¦ãã‚‹è€ƒãˆæ–¹ã‚’ã€ç†è«–ã ã‘ã˜ã‚ƒãªãã€å®Ÿéš›ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«å¿œç”¨ã™ã‚‹ä¾‹ã‚’è¦‹ã¦ã¿ã¾ã—ã‚‡ã†ã€‚ ä»Šå›žã€ãƒ—ãƒã‚°ãƒ©ãƒ ã®ä¾‹ã‚’
you21979 2014/07/15
javascript

Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿

é–¢æ•°åž‹

haskell
ãƒªãƒ³ã‚¯
ãƒžãƒ«ãƒã‚³ã‚¢æ™‚ä»£ã®ãƒ—ãƒã‚°ãƒ©ãƒžã¯é–¢æ•°è„³ã«ãªã‚ã†ã€œJava8ã®ã‚¹ã‚¹ãƒ¡ã€œ - Tech-Sketch
CPUã®ã‚¯ãƒãƒƒã‚¯ã‚¢ãƒƒãƒ—ã«é™ç•ŒãŒè¨ªã‚Œã€ãƒžãƒ«ãƒã‚³ã‚¢åŒ–ã™ã‚‹ã“ã¨ã§å‡¦ç†æ€§èƒ½å‘ä¸Šã‚’ç›®æŒ‡ã™æ™‚ä»£ã«ãªã‚Šã¾ã—ãŸã€‚ã“ã‚Œã‹ã‚‰ã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¯ã€ãƒžãƒ«ãƒã‚³ã‚¢ã§å‡¦ç†æ€§èƒ½ãŒå‘ä¸Šã™ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒ ï¼ãƒžãƒ«ãƒã‚¹ãƒ¬ãƒƒãƒ‰ã§ä¸¦åˆ—å‡¦ç†ãŒå¯èƒ½ãªãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ›¸ãèƒ½åŠ›ãŒå¿…è¦ã«ãªã‚Šã¾ã™ã€‚ä»Šå›žã¯ã€Œé–¢æ•°åž‹ã€ã§ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ›¸ãã“ã¨ã«ã‚ˆã£ã¦ã€ã„ã¨ã‚‚ç°¡å˜ã«ä¸¦åˆ—åŒ–ãŒã§ãã‚‹ã“ã¨ã‚’å®Ÿä¾‹ã‚’å…ƒã«è§£èª¬ã—ã¾ã™ã€‚ é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ä¸¦åˆ—å‡¦ç† ã€Œé–¢æ•°åž‹ã§ãƒ—ãƒã‚°ãƒ©ãƒ ã‚’æ›¸ãã“ã¨ã§ç°¡å˜ã«ä¸¦åˆ—åŒ–ã§ãã‚‹ã€ã¨æ›¸ãã¾ã—ãŸãŒã€ãã‚‚ãã‚‚ã“ã“ã§è¨€ã†ã€Œé–¢æ•°ã€ã¨ã¯ä½•ãªã®ã§ã—ã‚‡ã†ã‹ï¼Ÿ é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ç‰¹å¾´ é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã€Œé–¢æ•°ã€ã‚’ç†è§£ã™ã‚‹ãŸã‚ã«ã¯ã€æ•°å¦ã«ãŠã‘ã‚‹ã€Œé–¢æ•°ã€ã‚’æƒ³åƒã™ã‚‹ã¨ã‚ã‹ã‚Šã‚„ã™ã„ã§ã—ã‚‡ã†ã€‚ ä¾‹ãˆã°ä¸‰è§’é–¢æ•°ã‚’ç”¨ã„ãŸ y=cos(x) ã¨ã„ã†å¼ã‚’è€ƒãˆã¦ã¿ã¾ã™ã€‚ã“ã®å¼ã«å…¥åŠ›å€¤ x=0 ã‚’ä¸ŽãˆãŸå ´åˆã€ã„ã¤ã§ã‚‚å¿…ãšçµæžœã¯ y=1 ã«ãªã‚Šã¾ã™ã€‚x= Ï€/3 ã®å ´åˆã¯ y =
you21979 2013/08/12
é–¢æ•°åž‹

ãƒžãƒ«ãƒã‚³ã‚¢
ãƒªãƒ³ã‚¯
FPGAè¶…ä¸¦åˆ—æ™‚ä»£ã«å‘ã‘ã¦ï¼ï¼Ÿ ï¼ é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’å¦ã¶ã‚ã‘ - fintopo
ç§ã®é ã¯ãƒ«ãƒ¼ãƒ—è„³ã€ã£ã¦æ›¸ã„ãŸã€‚ ãƒ¡ã‚½ãƒƒãƒ‰ãƒã‚§ãƒ¼ãƒ³ã¨ãƒ«ãƒ¼ãƒ—è„³ - fintopo ãƒ«ãƒ¼ãƒ—ã£ã¦ã®ã¯ã€é †æ¬¡å‡¦ç†ã®ç¹°ã‚Šè¿”ã—ã£ã¦ã“ã¨ãªã‚“ã ã‚ˆãã€‚ã¤ã¾ã‚Šãƒ—ãƒã‚°ãƒ©ãƒžã¯ã€æ·»å—ã®é †ç•ªã«å‡¦ç†ã•ã‚Œã‚‹ã“ã¨ã‚’æœŸå¾…ã—ã¦ã„ã‚‹ã€‚ PASCALã®foræ–‡ã«ã¯downtoã¨ã„ã†æ§‹æ–‡ãŒã‚ã‚‹ã€‚é€šå¸¸ã¯ã‚«ã‚¦ãƒ³ãƒˆã‚¢ãƒƒãƒ—ã§foræ–‡ã‚’å›žã™ã‚“ã ã‘ã©ã€ã‚«ã‚¦ãƒ³ãƒˆãƒ€ã‚¦ãƒ³ã§å›žã—ãŸã„æ™‚ãŒã‚ã‚‹ã‚“ã ã‚ˆãã€‚ã“ã‚Œãªã‚“ã‹ã¾ã•ã«é †ç•ªãŒé‡è¦ã£ã¦ã“ã¨ã‚’ç¤ºã—ã¦ã„ã‚‹ã€‚ ã ã‘ã©ã€é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã£ã¦ã®ã¯ã€å‡¦ç†ã®é †ç•ªã‚’æ°—ã«ã—ãªã„ã€‚ãƒ»ãƒ»ãƒ»ã¾ãã€åŽŸå‰‡çš„ã«ã¯ã€‚ æ•°å¦çš„ãªé–¢æ•°ã®é©ç”¨ã¨ã„ã†ã®ã¯ã€é›†åˆã®å„è¦ç´ ã«å¯¾ã—ã¦å€‹åˆ¥ã«é–¢æ•°å‡¦ç†ã‚’ã™ã‚‹ã“ã¨ã§ã€é †ç•ªãªã‚“ã¦é–¢ä¿‚ãªã„ã‚“ã ã‚ˆãã€‚ã¾ãã€é…å»¶è©•ä¾¡ã¨ã‹ã€æœ«å°¾å†å¸°ã¨ã‹ã€ç¾çŠ¶ã®ã‚³ãƒ³ãƒ”ãƒ¥ãƒ¼ã‚¿ä¸Šã§å®Ÿè¡Œã™ã‚‹ãŸã‚ã®è©±ã£ã¦ã®ã¯ã€ã©ã†ã—ã¦ã‚‚å‡ºã¦ãã‚‹ã‚ã‘ã ã‘ã‚Œã©ã‚‚ã€‚ ãã†ã€å•é¡Œã¯ç¾çŠ¶ã®CPUã®ã‚¢ãƒ¼ã‚ãƒ†ã‚¯ãƒãƒ£ã«ã‚ã‚‹ã€‚ãƒžã‚·ãƒ³èªžãƒ¬ãƒ™ãƒ«ã§é †æ¬¡å‡¦ç†ã¨æ¡ä»¶åˆ†å²ãŒå¤§å‰æã¨ã—ã¦
you21979 2013/05/10
é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
Domain Driven Design Exchange (DDDx) 2012 - OODãƒ‘ãƒ©ãƒ€ã‚¤ãƒ ã‹ã‚‰ã®æ±ºåˆ¥
Spring Bootã«ã‚ˆã‚‹APIãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰æ§‹ç¯‰å®Ÿè·µã‚¬ã‚¤ãƒ‰ ç¬¬2ç‰ˆ ä½•åƒäººã‚‚ã®é–‹ç™ºè€…ãŒã€InfoQã®ãƒŸãƒ‹ãƒ–ãƒƒã‚¯ã€ŒPractical Guide to Building an API Back End with Spring Bootã€ã‹ã‚‰ã€Spring Bootã‚’ä½¿ã£ãŸREST APIæ§‹ç¯‰ã®åŸºç¤Žã‚’å¦ã‚“ã ã€‚ã“ã®æœ¬ã§ã¯ã€å‡ºç‰ˆæ™‚ã«æ–°ã—ããƒªãƒªãƒ¼ã‚¹ã•ã‚ŒãŸãƒãƒ¼ã‚¸ãƒ§ãƒ³ã§ã‚ã‚‹ Spring Boot 2 ã‚’ä½¿ç”¨ã—ã¦ã„ã‚‹ã€‚ã—ã‹ã—ã€Spring Boot3ãŒæœ€è¿‘ãƒªãƒªãƒ¼ã‚¹ã•ã‚Œã€é‡è¦ãªå¤‰...
you21979 2013/04/22
ddd

é–¢æ•°åž‹

ãƒ‘ãƒ©ãƒ€ã‚¤ãƒ
ãƒªãƒ³ã‚¯
Roy
About Roy is an experimental programming language that targets JavaScript. It tries to meld JavaScript semantics with some features common in static functional languages: Damas-Hindley-Milner type inference Whitespace significant syntax Simple tagged unions Pattern matching Structural typing Monad syntax Try the current version below. The code is on GitHub. Follow @roylangjs for news on developmen
you21979 2013/04/20
ç‹¬è‡ªé–¢æ•°åž‹ã®JSãƒˆãƒ©ãƒ³ã‚¹ãƒ¬ãƒ¼ã‚¿ãƒ¼

javascript

é–¢æ•°åž‹
ãƒªãƒ³ã‚¯
1