[B! haskell] jjzakã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

jjzak id:jjzak

haskellã«é–¢ã™ã‚‹jjzakã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (118)

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

Haskell/ã‚«ãƒªãƒ¼=ãƒãƒ¯ãƒ¼ãƒ‰åŒåž‹ - Wikibooks
ã‚«ãƒªãƒ¼=ãƒãƒ¯ãƒ¼ãƒ‰åŒåž‹(Curry-Howard isomorphism)ã¯æ•°å¦ã®ä¸€è¦‹ç„¡é–¢ä¿‚ã«æ€ãˆã‚‹ãµãŸã¤ã®é ˜åŸŸã€åž‹ç†è«–ã¨æ§‹é€ è«–ç†ã‚’çµã³ã¤ã‘ã‚‹å®Ÿã«é©šãã¹ãé–¢ä¿‚ã§ã‚ã‚‹ã€‚ ã“ã‚Œã‚ˆã‚Šã‚«ãƒªãƒ¼=ãƒãƒ¯ãƒ¼ãƒ‰åŒåž‹ã¯å˜ã« C-H ã¨è¡¨è¨˜ã™ã‚‹ã€‚C-H ãŒç¤ºã—ã¦ã„ã‚‹ã®ã¯ã€å®šç†ã®æœ¬è³ªã‚’åæ˜ ã™ã‚‹ã‚ˆã†ãªåž‹ã‚’æ§‹ç¯‰ã—ã€ãã‚Œã‹ã‚‰ãã®åž‹ã‚’æŒã¤å€¤ã‚’è¦‹ã¤ã‘ã•ãˆã™ã‚Œã°ã€ã©ã‚“ãªæ•°å¦çš„å®šç†ã‚’ã‚‚è¨¼æ˜Žã™ã‚‹ã“ã¨ãŒã§ãã‚‹ã€ã¨ã„ã†ã“ã¨ã ã€‚ã“ã‚Œã¯æœ€åˆã¯æ¥µã‚ã¦ä¸æ€è°ã«æ€ãˆã‚‹ã€‚åž‹ã¨å®šç†ã«ã©ã‚“ãªé–¢ä¿‚ãŒã‚ã‚‹ã¨ã„ã†ã®ã ã‚ã†ã‹ï¼Ÿã—ã‹ã—ãªãŒã‚‰ã€ä»¥ä¸‹ã«è¿°ã¹ã‚‹ã‚ˆã†ã«ã€ã“ã®ãµãŸã¤ã¯éžå¸¸ã«è¿‘ã—ã„é–¢ä¿‚ã«ã‚ã‚‹ã®ã§ã‚ã‚‹ã€‚ã¯ã˜ã‚ã‚‹å‰ã«ç°¡å˜ã«æ³¨æ„ã—ã¦ãŠããŒã€å°Žå…¥ã®ç« ã§ã¯ error ã‚„ undefinedã®ã‚ˆã†ãª è¡¨ç¤ºçš„æ„å‘³è«– ãŒ âŠ¥ ã§ã‚ã‚‹å¼ã®å˜åœ¨ã¯ç„¡è¦–ã™ã‚‹ã€‚ã“ã‚Œã‚‰ã¯ã¨ã¦ã‚‚é‡è¦ãªå½¹å‰²ã‚’æžœãŸã™ã®ã ãŒã€ã“ã‚Œã‚‰ã«ã¤ã„ã¦ã¯å¾Œã»ã©åˆ¥ã«è€ƒãˆã‚‹ã“ã¨ã«ã™ã‚‹ã€‚ã¾ãŸã€unsafeCoerce#ã®ã‚ˆ
jjzak 2012/06/30
wikibook

wiki

math

haskell
ãƒªãƒ³ã‚¯
Write Yourself a Scheme in 48 Hours - Wikibooks, open books for an open world
Write Yourself a Scheme in 48 Hours is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. This book proceeds at a very brisk pace, which might occasionally lea
jjzak 2011/02/20
ï¼”ï¼˜æ™‚é–“ã§Schemeã‚’ä½œã£ã¡ã‚ƒãŠã†

programming

scheme

haskell

implementation
ãƒªãƒ³ã‚¯
é‚„æš¦ãƒ—ãƒã‚°ãƒ©ãƒžã®æŒ‘æˆ¦(Haskell ã«æŒ‘ã‚€â†’F#ã«ã‚ˆã‚‹è¨€èªžé€ ã‚Š)
Haskell HASKELL Wiki ã® Write Yourself a Scheme in 48 Hours ï¼‘ï¼ŽOverview ï¼’ï¼ŽFirst Steps: Compiling and running ï¼“ï¼ŽParsing [è¨€èªžã‚’ä½œã‚‹ãžã€€ãã®ï¼‘] ï¼”ï¼˜æ™‚é–“ã§Schemeã‚’ä½œã£ã¡ã‚ƒãŠã†ã£ã¦ã€€ãƒ»ãƒ»ãƒ»sigh ã‹ã¤ã¦ã€10åˆ†ã§ã‚„ã‚ã†ã£ã¦ã®ã‚’ã€ã¨ã¦ã‚‚ã˜ã‚ƒãªã„ã€10åˆ†ã˜ã‚ƒã§ããªã‹ã£ãŸä¾‹ãŒã‚ã‚‹ã€‚ã•ã¦ã“ã„ã¤ã¯ã©ã®ãã‚‰ã„ã‹ã‹ã‚‹ã‚“ã ã‚ã†ã€‚ ãã‚‚ãã‚‚ã€Schemeã¯ã‚„ã£ãŸã“ã¨ãŒãªã„ã€‚ ç„¡è¬€ã¨ã„ãˆã°ç„¡è¬€ãªã‚“ã ã‘ã©ã€ã€Œparserã€ã®ä¸€è¨€ã«ã¤ã‚‰ã‚Œã€ã‹ã˜ã‚Šå§‹ã‚ã‚‹ã€‚ ã•ã¦ã€ã©ã†ãªã‚‹ã“ã¨ã‚„ã‚‰ ï¼‘ï¼ŽOverview ã‚¦ã‚§ãƒ–ä¸Šã®Haskellã®è¨˜äº‹ã¯ã€ã»ã¨ã‚“ã©ãŒè¨€èªžãƒžãƒ‹ãƒ¥ã‚¢ãƒ«çš„ãªã‚¢ãƒ—ãƒãƒ¼ãƒã‚’ã—ã¦ã„ã‚‹ã€‚ ãã‚Œã‚‰ã¯ã€ä¼šè©±ç’°å¢ƒã§ã€ã‚·ãƒ³ã‚¿ãƒƒã‚¯ã‚¹ã€è¨€èªžæ§‹é€ ã‚„ã€ã¡ã‚‡ã£ã¨ã—ãŸé–¢æ•°ã‚’èª¬æ˜Žã™ã‚‹ã ã‘ã§ã€é–¢æ•°ã‚„ãƒ—ãƒã‚°ãƒ©
jjzak 2011/02/20
HASKELL Wiki ã® Write Yourself a Scheme in 48 Hours

programming

haskell

scheme

implementation
ãƒªãƒ³ã‚¯
http://www.ipl.t.u-tokyo.ac.jp/lecture/index-j.html
jjzak 2011/02/20
lambda

functional

programming

haskell

study
ãƒªãƒ³ã‚¯
çµŒé¨“15å¹´ã®OCaml ãƒ¦ãƒ¼ã‚¶ãƒ¼ãŒ Haskell ã‚’ä»•äº‹ã§åŠå¹´ä½¿ã£ã¦ã¿ãŸ - camlspotterâ€™s blog
ä»Šã®ä¼šç¤¾ã«ç§»ã£ã¦åŠå¹´çµŒã¡ã¾ã—ãŸã€‚ã‚ã§ãŸãè©¦ç”¨æœŸé–“çµ‚äº†ã§ã™ã€‚ã¨ã„ã£ã¦ã‚‚åˆ¥ã«è©¦ç”¨æœŸé–“ä¸ã«å¯†ã‹ã«é¦–ã‚’åˆ‡ã‚‰ã‚Œã‚‹ã‚ˆã†ãªäº‹ã‚’ã—ãŸã¨ã‹ã€é€†ã«è©¦ç”¨æœŸé–“ãŒçµ‚ã‚ã£ãŸã‹ã‚‰ã¨è¨€ã£ã¦ã“ã‚Œã§å®šå¹´ã¾ã§ã®ã†ã®ã†ã¨åƒã‘ã‚‹ã€ã¨ã„ã†è¨³ã§ã¯ã‚ã‚Šã¾ã›ã‚“ã€‚æœªæ¥ã¯å…¨ãåˆ¤ã‚Šã¾ã›ã‚“ã€‚ã¾ã‚ã¨ã«ã‹ãã€ä¸€ã¤åŒºåˆ‡ã‚ŠãŒã‚„ã£ã¦ãã¾ã—ãŸã€‚ é‡‘èžã‚’çŸ¥ã‚‰ãªã„Quantsã®ä»•äº‹ ç§ã®è·æ¥ã®è‚©æ›¸ãã«ã¯ Quantitatitatitatitative ã¨ã„ã†å˜èªžãŒãã£ã¤ã„ã¦è¶…ã‚«ãƒƒã‚³ã‚ˆã•ãã†ã€‚æ™®é€šã¯ Quant ã¨ã„ã†ã¨ã€é‡‘èžå·¥å¦ã‚„çµ±è¨ˆæ•°ç†ã«è©³ã—ã„å¤œã‚‚ãƒ–ã‚¤ãƒ–ã‚¤ã„ã‚ã—ã¦ã„ã‚‹è¶…ã‚¤ã‚±ãƒ¡ãƒ³20ä»£ã‚’æƒ³åƒã—ã¾ã™ãŒã€ç§ã¯é‡‘èžã¨ã‹å…¨ç„¶çŸ¥ã‚‰ãªã„ã‚¢ãƒ©ãƒ•ã‚©ãƒ¼ãŠçˆ¶ã•ã‚“ã§ã™ã€‚ãã‚Œã§ã‚‚ Quant ã§ã™ã€‚ãŠé¡˜ã„ã§ã™ã‹ã‚‰ã€ç§ã«ä½•ã‚’è²·ã£ãŸã‚‰ã„ã„ã‹ã¨ã‹ã€èžã‹ãªã„ã§ãã ã•ã„ã€‚é‡‘èžå•†å“ã¨ã‹è²·ã£ãŸäº‹ãªã„ã—ã€‚ã¨ã„ã†ã‹ã€é€†ã«æ•™ãˆã¦æ¬²ã—ã„ã§ã™ã€‚ ç§ã®ãƒãƒ¼ãƒ ã¯ã€æœ¬å½“ã® Quant ã•ã‚“é”ãŒé–‹ç™ºã—ãŸã€é‡‘èžæ´¾ç”Ÿå•†
jjzak 2011/02/20
column

haskell

ocaml

programming
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ãŸã‚ã®ç¢ºçŽ‡çµ±è¨ˆ in Haskell
ã“ã‚“ãªè¡¨ã®ã“ã¨ã‚’ç¢ºçŽ‡åˆ†å¸ƒã¨ã„ã„ã¾ã™ã€‚ã‚µã‚¤ã‚³ãƒã‚’ãµã£ãŸã¨ãã«èµ·ã“ã‚‹ã‚¤ãƒ™ãƒ³ãƒˆã®ç¢ºçŽ‡ã€ãŸã¨ãˆã°ã€Œå¶æ•°ã®ç›®ãŒå‡ºã‚‹ã€ç¢ºçŽ‡ã‚’èª¿ã¹ã‚‹ã“ã¨ã¯ã€ã“ã®ç¢ºçŽ‡åˆ†å¸ƒã‹ã‚‰ã“ã‚“ãªåˆ¥ã®ç¢ºçŽ‡åˆ†å¸ƒã¸ã®å¤‰æ›ã ã¨è€ƒãˆã‚‰ã‚Œã¾ã™ã€‚ ã“ã®å¤‰æ›ã¯ã€å…·ä½“çš„ã«ã¯ã“ã‚“ãªå¯¾å¿œã§ã™ã€‚P(å¶æ•°) = P(2) + P(4) + P(6) P(å¥‡æ•°) = P(1) + P(3) + P(5)P(X)ãŒã‚¤ãƒ™ãƒ³ãƒˆXã«å¯¾ã™ã‚‹ç¢ºçŽ‡ã‚’è¡¨ã—ã¦ã„ã‚‹ã‚ã‘ã§ã™ãŒã€Pã‚’ã€Œã‚¤ãƒ™ãƒ³ãƒˆã®é›†åˆã‹ã‚‰[0,1]åŒºé–“ã®å®Ÿæ•°ã¸ã®é–¢æ•°ã€ã ã¨ã¿ãªã™ã“ã¨ã‚‚ã§ãã¾ã™ã€‚ç¢ºçŽ‡åˆ†å¸ƒã‹ã‚‰ç¢ºçŽ‡åˆ†å¸ƒã¸ã®å¤‰æ›ã¯ã€é–¢æ•°ã«å¯¾ã™ã‚‹æ¼”ç®—ã§ã‚‚ã‚ã‚‹ã‚ã‘ã§ã™ã€‚ç¢ºçŽ‡åˆ†å¸ƒã‚’é€£æƒ³ãƒªã‚¹ãƒˆã§è¡¨ã›ã°ã€é«˜éšŽé–¢æ•°ã‚„ä»£æ•°åž‹ã‚’ä½¿ã£ã¦ã€ã“ã®å¤‰æ›ã‚’ãƒ¢ãƒ‡ãƒ«åŒ–ã§ããã†ã§ã™ã€‚ ä»¥å‰ã€ã“ã®ã‚¢ã‚¤ãƒ‡ã‚¢ã‚’Schemeã§è©¦ã—ã¦ã¿ãŸã“ã¨ãŒã‚ã‚Šã¾ã—ãŸã€‚å½“æ™‚ã¯ã€ãã‚‚ãã‚‚ç¢ºçŽ‡ã«ã¤ã„ã¦ã®ç†è§£ãŒä»Šã‚ˆã‚Šã‚‚ã„ã£ãã†ã‚ã‚„ã—ã‹ã£ãŸã—ã€å®Ÿè£…ã‚‚ã¡ã‚ƒã¡ã§ã—ãŸãŒã€ã“ã®ã‚¢ã‚¤ãƒ‡ã‚¢ãŒç‰¹åˆ¥ãªã‚‚ã®
jjzak 2011/02/20
programming

study

haskell

statistics

math
ãƒªãƒ³ã‚¯
Clojureã®ãƒ¢ãƒŠãƒ‰ - einblickerã®æ—¥è¨˜
Clojure | 22:17 | Clojureã«ã¯clojure.contrib.monadsã¨ã„ã†ãƒ©ã‚¤ãƒ–ãƒ©ãƒªãŒã‚ã£ã¦ã€ã“ã‚Œã‚’ä½¿ã†ã¨ãƒ¢ãƒŠãƒ‰ãŒä½¿ãˆã‚‹ã€‚ç·´ç¿’ã®ãŸã‚ã«ãƒ¢ãƒŠãƒ‰ã®ã™ã¹ã¦ã®ã‚µãƒ³ãƒ—ãƒ«ã‚³ãƒ¼ãƒ‰ã®ã„ãã¤ã‹ã‚’Clojureã«ç§»æ¤ã—ã¦ã¿ãŸã€‚ Identityãƒ¢ãƒŠãƒ‰ä¾‹ï¼šãƒ¢ãƒŠãƒ‰å¤‰æ›åã‹ã‚‰ãƒ¢ãƒŠãƒ‰ã‚’å°Žå‡ºã™ã‚‹ã€‚ (use 'clojure.contrib.monads) (def my-state-m (state-t identity-m)) Maybeãƒ¢ãƒŠãƒ‰ä¾‹ï¼šè¾žæ›¸ã®æ¤œç´¢ã€‚ (defrecord MailSystem [fullname-db nickname-db prefs-db]) (defrecord UserInfo [name nick em ail prefs]) (defn make-mail-system [users] (let [full-lis (map (fn [u] [(:
jjzak 2011/02/20
clojure

monad

programming

haskell
ãƒªãƒ³ã‚¯
diaspar journal
No posts. No posts. Home Subscribe to: Comments (Atom)
jjzak 2011/02/20
functional

lisp

ocaml

haskell
ãƒªãƒ³ã‚¯
ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°/Haskell - Flightless wing
jjzak 2010/08/24
programming

tutorial

reference

haskell

network

development
ãƒªãƒ³ã‚¯
Haskell ã§ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ - zyxwvã®æ—¥è¨˜
Haskell ã§ãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯ã—ã¦ã¿ã‚ˆã†ï¼Œã¨ã„ã†ã“ã¨ã§ï¼Žid:syd_syd ã•ã‚“ã® http://haskell.g.hatena.ne.jp/syd_syd/20061019/p1 ã¨ã‹ã®ã‚ãŸã‚Šã‚‚å‚è€ƒã«ã™ã‚Œã°ã„ã„ã¨æ€ã†ï¼ ç ”ç©¶å®¤ã§å®šæœŸçš„ã«æŠ•ã’ã‚‰ã‚Œã‚‹ãŠçŸ¥ã‚‰ã›ãƒ¡ãƒ¼ãƒ«ã‚’è‡ªå‹•åŒ–ã—ã‚ˆã†ã¨ã„ã†ã“ã¨ã§ï¼ŒPython,Ruby,Java,Haskell ã§åŒã˜ã‚‚ã®ã‚’æ›¸ã„ãŸï¼Žãã®ã¨ãã«ã¯ã¾ã£ãŸã“ã¨ã¨ã‹ã‚’ãƒ¡ãƒ¢ï¼Žã“ã®è¨˜äº‹ã¯ id:syd_syd ã•ã‚“ã«ã‚ˆã‚‹ãƒãƒƒã‚¯ã‚¢ãƒƒãƒ—ã®ã‚‚ã¨ã«æ›¸ã‹ã‚Œã¾ã—ãŸï¼Ž Haskell ã§ã©ã£ã‹ã®ã‚µãƒ¼ãƒã«æŽ¥ç¶šã™ã‚‹ ãã‚‚ãã‚‚ã‚µãƒ¼ãƒã«ã‚¢ã‚¯ã‚»ã‚¹ã™ã‚‹ã«ã¯ã©ã†ã™ã‚Œã°ã„ã„ã®ã‹ï¼Ÿä»¥ä¸‹ã¯ Google Calendar ã®åã RSS ã«ã‚¢ã‚¯ã‚»ã‚¹ã™ã‚‹ã‚³ãƒ¼ãƒ‰ï¼Ž getGCalXML = do urlh <- connectTo gcalServer $ PortNumber 80 hPutStr urlh
jjzak 2010/08/24
haskell

programming

network

tips
ãƒªãƒ³ã‚¯
Haskellã®é§„ç›®ãªä½¿ã„æ–¹
jjzak 2010/08/24
haskell

programming

tips
ãƒªãƒ³ã‚¯
kazkaz diary
_ [Haskell] hs-dotnetå…¥ã‚ŒãŸã€‚ PS C:\Users\haskell\hs-dotnet-0.4.0> runghc Setup.hs configure Configuring hs-dotnet-0.4.0... PS C:\Users\haskell\hs-dotnet-0.4.0> runghc Setup.hs build Preprocessing library hs-dotnet-0.4.0... Building hs-dotnet-0.4.0... C:\ghc\ghc-6.10.2\bin\ar.exe: creating dist\build\libHShs-dotnet-0.4.0.a PS C:\Users\haskell\hs-dotnet-0.4.0> runghc Setup.hs install Installing library
jjzak 2010/08/24
programming

blog

ruby

functional

haskell

scheme

lisp
ãƒªãƒ³ã‚¯
HaskellåŸºç¤Žæ–‡æ³•æœ€é€Ÿãƒžã‚¹ã‚¿ãƒ¼ - think and error
è¦‹ã¦ã„ãŸã ã‘ã‚‹ã®ã¯å¬‰ã—ã„ã§ã™ãŒã“ã®ã‚¨ãƒ³ãƒˆãƒªã¯ååˆ†å¤ã„ãŸã‚ã€æ–°ã—ã„æƒ…å ±ã¸ã‚¢ã‚¯ã‚»ã‚¹ã‚’ã—ã¦ãã ã•ã„ã€‚ä»¥ä¸‹ã®æœ¬ã‚’ãŠå‹§ã‚ã—ã¾ã™ã€‚ ã™ã”ã„HaskellãŸã®ã—ãå¦ã¼ã†ï¼ ä½œè€…: ï¼ï½‰ï½’ï½ï½Žï¼¬ï½‰ï½ï½ï½–ï½ï½ƒï½å‡ºç‰ˆç¤¾/ãƒ¡ãƒ¼ã‚«ãƒ¼: ã‚ªãƒ¼ãƒ ç¤¾ç™ºå£²æ—¥: 2017/07/14ãƒ¡ãƒ‡ã‚£ã‚¢: Kindleç‰ˆè³¼å…¥: 4äºº ã‚¯ãƒªãƒƒã‚¯: 9å›žã“ã®å•†å“ã‚’å«ã‚€ãƒ–ãƒã‚°ã‚’è¦‹ã‚‹ é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å®Ÿè·µå…¥é–€ â”€â”€ç°¡æ½”ã§ã€æ£ã—ã„ã‚³ãƒ¼ãƒ‰ã‚’æ›¸ããŸã‚ã« (WEB+DB PRESS plus) ä½œè€…: å¤§å·å¾³ä¹‹å‡ºç‰ˆç¤¾/ãƒ¡ãƒ¼ã‚«ãƒ¼: æŠ€è¡“è©•è«–ç¤¾ç™ºå£²æ—¥: 2014/11/14ãƒ¡ãƒ‡ã‚£ã‚¢: å˜è¡Œæœ¬ï¼ˆã‚½ãƒ•ãƒˆã‚«ãƒãƒ¼ï¼‰ã“ã®å•†å“ã‚’å«ã‚€ãƒ–ãƒã‚° (8ä»¶) ã‚’è¦‹ã‚‹ ã¿ã‚“ãªHaskellã‚„ã‚ã†ãœï¼ï¼ ã¨ã„ã†ã“ã¨ã§æ›¸ãã¾ã—ãŸã€‚ Cã‚„Javaã€Rubyãªã©ä»–è¨€èªžã‚’çŸ¥ã£ã¦ã„ã‚‹äººã¯ã€ã“ã‚Œã‚’èªã‚€ã“ã¨ã§Haskellã®å¤§æŠµã®ã“ã¨ã¯ãƒžã‚¹ã‚¿ãƒ¼ã§ãâ€¦ã¾ã›ã‚“ã€‚ ç‰¹æ®Šãªæ§‹æ–‡ãŒå¤šã™ãŽã¦ä»–è¨€èªžã¨ã®é¡ž
jjzak 2010/08/24
programming

tutorial

reference

functional

haskell
ãƒªãƒ³ã‚¯
ç´ æ•°åˆ¤å®š - ã‚ã©ã‘ãªã„è©±
è¦ç´„ï¼šç´ æ•°åˆ¤å®šã«ä½¿ã‚ã‚Œã‚‹ãƒŸãƒ©ãƒ¼ãƒ©ãƒ“ãƒ³æ³•ã‚’è§£èª¬ã—ãªãŒã‚‰ã€Haskell ã§å®Ÿè£…ã—ã¦ã¿ã‚‹ã€‚ ãƒ•ã‚§ãƒ«ãƒžãƒ¼ãƒ†ã‚¹ãƒˆ å¤§ããªæ•°ã‚’ç¢ºå®Ÿã«ç´ æ•°ã ã¨åˆ¤å®šã™ã‚‹ã«ã¯ã€å¤§å¤‰æ™‚é–“ãŒã‹ã‹ã‚‹ã®ã§ã€å®Ÿç”¨çš„ã«ã¯ã€Œã»ã¼ç´ æ•°ã ã€ã¨ç¢ºçŽ‡çš„ã«åˆ¤å®šã™ã‚‹ã€‚ç¢ºçŽ‡çš„ãªç´ æ•°åˆ¤å®šã®ä»£è¡¨æ ¼ãŒãƒ•ã‚§ãƒ«ãƒžãƒ¼ãƒ†ã‚¹ãƒˆã§ã‚ã‚‹ã€‚ ãƒ•ã‚§ãƒ«ãƒžãƒ¼ãƒ†ã‚¹ãƒˆã«ã¯ã€ä»¥ä¸‹ã«ç¤ºã™ãƒ•ã‚§ãƒ«ãƒžãƒ¼ã®å°å®šç†ã‚’åˆ©ç”¨ã™ã‚‹ã€‚ a^p â‰¡ a (mod p) a ã¯ä»»æ„ã®æ•´æ•°ã€‚p ã¯ç´ æ•°ã§ã‚ã‚‹ã€‚æ³• p ã®ä¸‹ã§ a ã‚’ p ä¹—ã—ãŸã‚‚ã®ã¯ã€a ã¨åˆåŒã§ã‚ã‚‹ã¨è¨€ã†æ„å‘³ã ã€‚a ã«ã¯åˆ¶é™ã¯ãªã„ãŒã€ç‰¹ã« a ã‚’ p ã‚ˆã‚Šå°ã•ã„æ•´æ•°ã€0 â‰¦ a â‰¦ p - 1 ã¨ã™ã‚Œã°ã€a ã‚’ p ä¹—ã—ã¦ã€p ã§å‰²ã‚‹ã¨ a ã«æˆ»ã‚‹ã¨ã‚‚è§£é‡ˆã§ãã‚‹ã€‚ æœ€åˆã«è¦‹ãŸã¨ãã¯ã€ã ã‹ã‚‰ã©ã†ã—ãŸã¨æ€ã‚ã‚Œã‚‹ã‹ã‚‚ã—ã‚Œãªã„ã€‚ã—ã‹ã—ã€æœ‰åãªãƒ•ã‚§ãƒ«ãƒžãƒ¼ã®å¤§å®šç†ãŒå®Ÿç”¨ä¸Šä½•ã®å½¹ã«ã‚‚ç«‹ãŸãªã„ã®ã«å¯¾ã—ã€ãƒ•ã‚§ãƒ«ãƒžãƒ¼ã®å°å®šç†ã¯ã„ã‚ã‚“ãªå ´é¢ã§æ´»èºã™ã‚‹ã€‚ å®Ÿéš›ã«è¨ˆ
jjzak 2010/08/24
è¦ç´„ï¼šç´ æ•°åˆ¤å®šã«ä½¿ã‚ã‚Œã‚‹ãƒŸãƒ©ãƒ¼ãƒ©ãƒ“ãƒ³æ³•ã‚’è§£èª¬ã—ãªãŒã‚‰ã€Haskell ã§å®Ÿè£…ã—ã¦ã¿ã‚‹ã€‚

math

haskell

algorithm

programming

functional
ãƒªãƒ³ã‚¯
asdf-11
Ruby2.0ã«åˆ‡ã‚Šæ›¿ãˆã¦ã‹ã‚‰ã€ã‚ˆãã‚¨ãƒ³ã‚³ãƒ¼ãƒ‰é–¢ä¿‚ã®ã‚ˆãã‚ã‹ã‚‰ã‚“ã‚¨ãƒ©ãƒ¼ã§å›°ã£ã¦ãŸã€‚ Redpenã‚’ä½¿ã„ãŸã„ãŸã‚ã«ã€Excelã®ãƒ‡ãƒ¼ã‚¿ã‚’pandocã§Markdownã«å¤‰æ›ã‚’ã—ã¦ã€ æ•´å½¢ã‚’ã—ãŸã„ã ã‘ãªã®ã«ã€ã€ã€ ã¾ã¨ã‚ã‚‰ã‚Œã¦ã‚‹æ–¹ãŒã„ãŸã®ã§ãƒªãƒ³ã‚¯ã‚’ã°ã€‚ http://www.ownway.info/Ruby/version http://tmtms.hatena blog.com/entry/20120812/ruby_encoding http://techracho.bpsinc.jp/morimorihoge/2013_10_11/14375
jjzak 2010/08/24
programming

haskell

functional

blog

ruby

gauche

clojure
ãƒªãƒ³ã‚¯
æ‰‹æŽ¢ã‚Šã®ç§ã«ã‚‚ã‚ã‹ã‚‹æ°—ãŒã—ã¦ã„ã‚‹é–¢æ•°åž‹è¨€èªž
æ‰‹æŽ¢ã‚Šã®ç§ã«ã‚‚ã‚ã‹ã‚‹æ°—ãŒã—ã¦ã„ã‚‹é–¢æ•°åž‹è¨€èªž - Download as a PDF or view online for free
jjzak 2010/08/24
slideshare

functional

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

combinator

concurrent

functional

haskell

programming

tips

tutorial

y-combinator
ãƒªãƒ³ã‚¯
ãŠã¨ã†ã•ã‚“ã«ã‚‚ã‚ã‹ã‚‹Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ï¼(çµµè§£ãè§£èª¬ç·¨) - ã‚ˆãã‚ã‹ã‚Šã¾ã›ã‚“
å…ˆæ—¥Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã®ãã—ã ã•ã‚“ã®Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã®ã‚¨ãƒ³ãƒˆãƒªãŒè©±é¡Œã«ãªã£ã¦ã„ã¾ã—ãŸã€‚ ãšã„ã¶ã‚“æ—¥ã«ã¡ãŒçµŒã£ã¦ã—ã¾ã„ã¾ã—ãŸãŒã€è‡ªåˆ†ã‚‚ã€è‡ªåˆ†ãªã‚Šã«Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã®ã‚ãŸã‚Šã‚’çµµè§£ãã§æ•´ç†ã—ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ãã—ã ã•ã‚“ã®ã‚¨ãƒ³ãƒˆãƒªã‚¿ã‚¤ãƒˆãƒ«*1ã«å¼•ã£æŽ›ã‘ã¦ã€ç›®æ¨™ã¨ã—ã¦ã€è‡ªåˆ†ã®çˆ¶è¦ª(éžãƒ—ãƒã‚°ãƒ©ãƒžã€‚ãã®è¾ºã®ãŠã£ã•ã‚“)ã§ã‚‚è§£ã‚‹å†…å®¹ã‚’ç›®æŒ‡ã—ã¾ã™ã€‚ ãªãœä¸å‹•ç‚¹æ¼”ç®—åã¨ã„ã†ã®ã‹ã€ä¸å‹•ç‚¹ã ã£ãŸã‚‰ãªãœå†å¸°ãªã®ã‹ã€ã“ã®è¾ºã‚Šã‚‚å«ã‚ã¦ã€å®Ÿæ„Ÿã‚’æŒã£ã¦ç´å¾—ã§ãã‚Œã°ã„ã„ãªã¨æ€ã„ã¾ã™ã€‚ ãã—ã ã•ã‚“ã®ã‚¨ãƒ³ãƒˆãƒªã®ãŠã•ã‚‰ã„ æœ¬é¡Œã®å‰ã«ã€ãã—ã ã•ã‚“ã®ã‚¨ãƒ³ãƒˆãƒªã‚’ãŠã•ã‚‰ã„ã—ã¦ãŠãã¾ã™ã€‚ Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã¯ãŸã ã®ã‚ªãƒ¢ãƒãƒ£ã˜ã‚ƒãªã„ã‚“ã ã‚ˆ é–¢æ•°ã ã‘ã§è‰²ã‚“ãªäº‹ãŒå‡ºæ¥ã‚‹ æ¡ä»¶åˆ†å²ã‚’ã™ã‚‹é–¢æ•°ã£ã¦ã®ã‚‚ã‚ã‚‹ã€‚ å†å¸°(ãƒ«ãƒ¼ãƒ—)ã‚’ä½œã‚Œã‚‹é–¢æ•°ã‚‚ã‚ã‚‹ã€‚â†ã“ã‚ŒãŒYã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã€‚ æ•°å€¤ã‚‚é–¢æ•°ã§è¡¨ç¾ã§ãã‚‹ã€‚ ã¤ã¾ã‚Šã€é–¢æ•°ã ã‘ã§ã€æ¡ä»¶åˆ†å²ã‚‚ã€å†å¸°(ãƒ«ãƒ¼ãƒ—)ã‚‚ã€æ•°å€¤ã‚‚ä½œã‚Œã¡ã‚ƒã†ï¼ï¼
jjzak 2010/08/24
algorithm

combinator

haskell

functional

javascript

tutorial

programming

y-combinator
ãƒªãƒ³ã‚¯
é¡žä¼¼ã—ã¦ã„ã‚‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®æ–‡æ³•ãªã©ã®æ¯”è¼ƒã¾ã¨ã‚ãƒãƒ¼ãƒˆã‚·ãƒ¼ãƒˆãŒè‰¯ã„æ„Ÿã˜ - goingerçš„æ—¥è¨˜
ä»¥å‰è¦‹ã¤ã‘ãŸè³‡æ–™ã€‚ãã†ã„ã‚„ãã‚“ãªã‚“ã‚ã£ãŸãªã¨ä¹…ã€…ã«æ¤œç´¢ã—ã¦æŽ¢ã™ã®ã«å°‘ã—æ‰‹é–“å–ã£ãŸã®ã§ãƒ¡ãƒ¢ è¨€èªžã®æ¯”è¼ƒå¯¾å¿œã§æ–‡æ³•è¦šãˆã‚‰ã‚Œãã†ãªã‚“ã§ä¾¿åˆ©ã˜ã‚ƒãªã„ã‹ãªã¨ å‚ç…§: Big Script: PHP, Perl, Python, Ruby, Smalltalk http://hyperpolyglot.wikidot.com/scripting Small Script: Bash, Tcl, Lua, Javascript, IO http://hyperpolyglot.wikidot.com/small Platform: C, C++, Objective C, Java, C# http://hyperpolyglot.wikidot.com/platform Lisp: Common Lisp, Scheme, Clojure, Emacs Lisp http://hyperpolyglo
jjzak 2010/08/24
cheatsheet

haskell

lisp

programming

language

reference

ã¾ã¨ã‚

web
ãƒªãƒ³ã‚¯
neue cc - Haskellç”¨IDE ã€ŒLeksahã€ã®ç´¹ä»‹ã¨å°Žå…¥æ–¹æ³•
æœ¬æ ¼çš„ã«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’å¦ã³å§‹ã‚ãŸã®ãŒC# with Visual Studioãªç§ã¨ã—ã¦ã¯ã€å……å®Ÿã—ãŸã€ã¨ã¾ã§ã¯ã„ã‹ãªãã¦ã‚‚ãã‚Œãªã‚Šã«å‹•ãIDEãŒãªã„ã¨ã‚·ãƒ³ãƒ‰ã„ã€‚æ–°ã—ã„è¨€èªžã‚’å¦ã¶ã¨ãã¯ã€ã¾ãšIDEæŽ¢ã—ã‹ã‚‰å§‹ã‚ã‚‹ã®ã ã‚ˆã€ã¯ã£ã¯ã£ã¯ã€‚ã¨ã€å…¨ãè‡ªæ…¢ã«ãªã‚‰ãªã„ã‚†ã¨ã‚Šã£ã·ã‚Šã‚’æ™’ã—ã¦ã—ã¾ã†ã‚ã‘ã§ã™ãŒã€äº‹å®Ÿè¾›ã„ã‚‚ã®ã¯è¾›ã„ã€‚ãã—ã¦Haskellã€‚æ—¥æœ¬èªžã«ã‚ˆã‚‹æ›¸ç±ã‚‚4å†Šå‡ºã¦ã„ã¦ã€å¦ç¿’ã—ã‚„ã™ããªã£ãŸã‚‚ã®ã®å®Ÿè¡Œç’°å¢ƒå°Žå…¥ã®æ•·å±…ã®é«˜ã•ã¯å¤‰ã‚ã‚‰ãšã€‚GHCi(ã‚¤ãƒ³ã‚¿ãƒ—ãƒªã‚¿)ã§ã‚³ãƒžãƒ³ãƒ‰æ‰“ã¡è¾¼ã¿ãªãŒã‚‰ã‚„ã‚Œã£ã¦ï¼Ÿ ã„ã‚„ã„ã‚„ã€ãƒ ãƒªãƒ ãƒªã€‚ åˆå¿ƒè€…ã«ã“ãå¼·åŠ›ãªIDEãŒå¿…è¦ãªã®ã ã‚ˆãƒ¼ã€å…¥åŠ›è£œå®Œã‚„èƒŒå¾Œã§ã®ã‚³ãƒ³ãƒ‘ã‚¤ãƒ«ã«ã‚ˆã‚‹ã‚¨ãƒ©ãƒ¼å ±å‘Šã€è‰²åˆ†ã‘ã«ã‚ªãƒ¼ãƒˆã‚¤ãƒ³ãƒ‡ãƒ³ãƒˆã€ãƒ‡ãƒãƒƒã‚¬ã€‚ã“ã‚Œã‚‰ãŒç´ æ—©ã„ãƒˆãƒ©ã‚¤ã‚¢ãƒ³ãƒ‰ã‚¨ãƒ©ãƒ¼ã‚’å¯èƒ½ã«ã—ã€å¦ç¿’é€Ÿåº¦ã‚’é«˜ã‚ã‚‹ã€‚ã¾ãšã¯ãƒ¡ãƒ¢å¸³ã§ååˆ†ã€ãªã‚“ã¦ã„ã†ã®ã¯èª¤ã‚Šã€‚å¦ç¿’ã™ã‚‹ãªã‚‰æœ€åˆã‹ã‚‰IDEã€‚ã¨ã„ã†ã“ã¨ã¯neue cc - æœ€ã‚‚ã‚¿ãƒ¡
jjzak 2010/08/24
haskell

ide

programming

development
ãƒªãƒ³ã‚¯
1 2 3 4 5 6 æ¬¡ã®ãƒšãƒ¼ã‚¸