The Mercury Project: Home
Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program d
サービス終了ã®ãŠçŸ¥ã‚‰ã›
サービス終了ã®ãŠçŸ¥ã‚‰ã› ã„ã¤ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”利用ã„ãŸã ãèª ã«ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ ãŠå®¢æ§˜ãŒã‚¢ã‚¯ã‚»ã‚¹ã•ã‚ŒãŸã‚µãƒ¼ãƒ“スã¯æœ¬æ—¥ã¾ã§ã«ã‚µãƒ¼ãƒ“スを終了ã„ãŸã—ã¾ã—ãŸã€‚ 今後ã¨ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”愛顧ãã ã•ã„ã¾ã™ã‚ˆã†ã€ã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚
Search
Releases, Offers & More Be the first to hear about our newest content, best promotions and upcoming events. Plus get 25% off your next purchase. Newsletter Sign Up Download Accounts Your email address is your account identifier. You can create a password, or just download from the links sent via email. My Orders (Resend order emails) How We're Different Hands-on instructions Solutions to real-worl
Maybeã«é™ã‚‰ãšJavaã§ç›´å’Œåž‹ã‚’実ç¾ã§ãã‚‹ã‹ - 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜
Javaã§Maybeを説明ã—ãŸä»¥ä¸‹ã®è¨˜äº‹ã«ã¤ã„ã¦, id:tozimaã•ã‚“ã¨æŸæ‰€*1ã§ã‚„ã‚Šã¨ã‚Šã—ã¦ã„ãŸã‚‰, 有益ãªè©±ãŒå‡ºã¦ããŸã®ã§ã¯ãªã„ã‹, ã¨ã„ã†ã“ã¨ã«ãªã£ãŸã®ã§, 紹介. 基本的ã«ã‚„ã‚Šã¨ã‚Šã‚’ãã®ã¾ã¾*2抜粋ã—ãŸã‚‚ã®ã«, é©å®œè£œè¶³ã‚’åŠ ãˆã¦ã„ãã¾ã™. 発端 2012-06-29 04:29id:tozima ã“ã‚“ãªè¨˜äº‹ãŒã‚ã£ãŸã€‚ Java ã®èªžå½™ã§ Maybe を説明ã—ã¦ã¿ã‚‹ - ãã‚‹ãる～ 直和型ã®ã‚¨ãƒ³ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã§ã‚る〠ã§Maybeモナドを説明ã—ã¦ã„ã‚‹ã€ã¾ã£ã¨ã†ãªè¨˜äº‹ã§ã™ã€‚æ°—ã«ãªã£ãŸã®ã¯ã€ä¸Šã®ã‚¨ãƒ³ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ã‚’ Java ã®ä¸Šã§ã‚„ã£ã¦ã€ãªã«ã‹å¤‰ãªã“ã¨ãŒèµ·ããªã„ã®ã‹ã¨ã„ã†ã“ã¨ã€‚例ãˆã°è¨˜äº‹ä¸ã§ã¯ã€ *3 ã¿ãŸã„ãªã“ã¨ãŒã€Javaã§ã¯ç¦æ¢ã§ããªã„ã€ã£ã¦ã“ã¨ã«ã¤ã„ã¦è§¦ã‚Œã¦ã„ã¾ã™ã€‚ã“ã®ä»–ã«ã¯å¤‰ãªã“ã¨ã¯ãŠããªã„ã‚“ã§ã—ょã†ã‹ï¼Ÿ 僕ã«ã¯å…¨ç„¶Javaçš„ãªè¨€èªžã¸ã®ç›´æ„ŸãŒãªã„ã®ã§æ•™ãˆã¦ãã ã•ã„ï¼ï¼ï¼ 「.
3月5日開催：SEA Forum March 2012：実用期を迎ãˆãŸé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°-SEA HomePage
SEA Forum in March 2012 Twitterãƒãƒƒã‚·ãƒ¥ã‚¿ã‚°ï¼š #seaforum0305 「実用期を迎ãˆãŸé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ — 最新動å‘ã¨ä»Šå¾Œã®å±•æœ› — 主催: ソフトウェア技術者å”会 å‚åŠ è€…å‹Ÿé›† ────────────────────────────── 今月ã®SEAフォーラムã§ã¯ï¼Œä»Šæ³¨ç›®ã‚’集ã‚ã¦ã„る関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’å–り上ã’ã¾ã™ï¼Žé•·ã‚‰ãコンピュータサイエンスã®ç ”ç©¶é ˜åŸŸã«ã‚ã‚‹ã¨æ€ã‚ã‚Œã¦ã„ãŸã€Œé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã¯ã€è¿‘年，実用的ãªãƒ—ãƒã‚¸ã‚§ã‚¯ãƒˆã§ã®ä½¿ç”¨ä¾‹ãŒç¶šã€…ã¨å ±å‘Šã•ã‚Œã‚‹ã‚ˆã†ã«ãªã£ã¦ãã¾ã—ãŸï¼Žã‚¹ãƒ”ーカー，パãƒãƒªã‚¹ãƒˆã«ã¯æ—©ã„時期ã‹ã‚‰é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®é«˜ã„生産性ã¨å“質ã«ç€ç›®ã—実用システム開発ã«æ´»ç”¨ã•ã‚Œã¦ã„る方々をãŠæ‹›ãã—，ãã®ç‰¹å¾´ï¼Œåˆ©ç‚¹ãŠã‚ˆã³å°Žå…¥ã¸ã®æ³¨æ„点ãªã©ã‚’紹介ã—ã¦é ‚ãã¾ã™ï¼Žé–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«é–¢ã™ã‚‹äºˆå‚™çŸ¥è˜ã¯ä¸€åˆ‡å¿…è¦ã‚ã‚Šã¾ã›ã‚“． 多ãã®çš†ã•ã¾ã®ç©æ¥µçš„ãªã”å‚åŠ ã‚’ãŠå¾…
ã«ã‚ã¨ã‚Šå°å±‹ã§ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°æ—¥è¨˜
ã“ã®è¨˜äº‹ã¯TppMark11ã®å•é¡Œã‚’Coqã§ã‚„ã£ã¦ã¿ãŸã¨ã„ã†å†…容ã§ã‚る。 å•é¡Œã¯ã“ã¡ã‚‰: docs.google.com 命題論ç†å¼ã¨åŒå€¤ã§ã‚ã‚‹ã“ã¨ã®å®šç¾© 命題論ç†å¼ã®å®šç¾© Inductive Term := | Var(v : Var.T) | Neg(t : Term) | And(t1: Term)(t2: Term) | Or(t1: Term)(t2: Term) | Impl(t1: Term)(t2: Term) | TRUE | FALSE . åŒå€¤ã§ã‚ã‚‹ã“ã¨ã®å®šç¾© 変数環境を表ã™ctxã‚’ Var.T -> bool ã®é–¢æ•°ã§è¡¨ç¾ã—ã€å‘½é¡Œè«–ç†å¼ã®evalを次ã§å®šç¾©ã—ãŸã€‚ Fixpoint eval ctx t : bool := match t with | Var v => ctx v | Neg t => negb (eval ctx t) | And t1 t2 =>
ãŠå‰ã«æœ¬å½“ã®ã‚«ãƒªãƒ¼åŒ–を見ã›ã¦ã‚„ã‚ã†ã€Groovy㧠- No Programming, No Life
ã¯ã˜ã‚ã« æ€ã„ã®å¤–話題ã«ãªã£ã¦ã„るよã†ãªã®ã§ã€Groovyã§ã¡ã‚ƒã‚“ã¨ã—ãŸã‚«ãƒªãƒ¼åŒ–ã‚’ã™ã‚‹é–¢æ•°ã‚’書ã„ã¦ã¿ã¾ã—ãŸã€‚ã¡ã‚‡ã£ã¨ã‚¿ã‚¤ãƒˆãƒ«ã¯ã‚ã‚Œã§ã™ãŒãŠè¨±ã—下ã•ã„。 ã“ã‚“ãªæ„Ÿã˜ã§ã„ã„ã‚“ã§ã™ã‚ˆã？（ツッコミ大æ“迎） ã“ã“ã§ã¯ã€addãŒå¼•æ•°ã‚’3ã¤å–ã£ã¦ã€åŠ ç®—ã™ã‚‹ã‚¯ãƒãƒ¼ã‚¸ãƒ£ã§ã™ã€‚メソッドrealCurryã¯ã‚¯ãƒãƒ¼ã‚¸ãƒ£ã‚’引数ã«ã¨ã‚Šã€ã‚«ãƒªãƒ¼åŒ–ã—ãŸã‚¯ãƒãƒ¼ã‚¸ãƒ£ã‚’è¿”å´ã—ã¾ã™ã€‚ add = {a, b, c -> a + b + c } â†“ã‚«ãƒªãƒ¼åŒ–ï¼ curriedAdd = {a -> {b -> {c -> a + b + c}}} 本当ã¯Closure.metaClass.getCurryã¨ã‹ã§ã‚„ã‚ŠãŸã‹ã£ãŸã‚“ã§ã™ã‘ã©ã€ã©ã†ã‚‚delegateã¾ã‚ã‚ŠãŒå¤‰ãªæŒ™å‹•ã‚’ã™ã‚‹ã®ã§ãƒãƒƒã‚µãƒªè«¦ã‚ã¾ã—ãŸã€‚ã‚ã¨ã€éƒ½åˆã«ã‚ˆã‚Šã‚¢ãƒ³ã‚«ãƒªãƒ¼åŒ–ã¯å®Ÿè£…ã—ã¦ãŠã‚Šã¾ã›ã¬ã€‚ foldLeftã§ä½¿ã£ã¦ã¿ã‚‹ (2011-09-06 追記) カリー化 != 部
モテるScala女å力を上ã’ãŸã„人å‘ã‘ã«Scalaã®æœ¬ãŒå‡ºã¾ã™ã€‚ - ( ꒪⌓꒪) ゆるよã‚日記
秀和システムã•ã‚“ã‹ã‚‰Scalaã®æœ¬ãŒå‡ºã¾ã™ã€‚発売ã¯å¤šåˆ†6月ãらã„ã§ã™ã€‚ "オープンソース徹底活用"シリーズã¨ã—ã¦ã€Scalaをより実践的ã«ä½¿ã†ãŸã‚ã®è‰²ã€…ãªäº‹ã‚’盛り込ã¿ã¾ã—ãŸã€‚タイトルã¯ã¾ã 未定ã§ã™ã€‚ @kmizu, @ryugate ITプランニングã•ã‚“ã‹ã‚‰(@osiire @keigoi ä»–)〠監修 @keisuke_n ã¨ã„ã†ãƒ¡ãƒ³ãƒãƒ¼ã¨ä¿ºã§å…±è‘—ã¨ã„ã†å½¢ã§åŸ·ç†ã—ã¾ã—ãŸã€‚ 4月末ã«è„±ç¨¿ã—ã¦ä»Šæ ¡æ£ä½œæ¥ä¸ã§ã™ã€‚自分ã§è¨€ã†ã®ã‚‚アレã§ã™ã‘ã©ã€ä»Šã¾ã§ã®Scala本ã¨ã¯ã¾ã£ãŸãç•°ãªã£ãŸé¢ç™½ã„内容ã«ä»•ä¸ŠãŒã£ãŸã¨è‡ªè² ã—ã¦ã„ã¾ã™ã€‚ITプランニングã•ã‚“ã«ã¯è²´é‡ãªçµŒé¨“ã‚’æä¾›ã—ã¦é ‚ãã¾ã—ãŸã—ã€@kmizu ã‚„ @ryugate ã¯ç²¾åŠ›çš„ã«åŽŸç¨¿ã®å–ã‚Šçºã‚やスケジュールã®ç®¡ç†ã‚’ã—ã¦ã‚‚らã„ã¾ã—ãŸã€‚俺ã¯ã»ã¨ã‚“ã©ä½•ã‚‚ã§ãã¦ãªã„ã‚“ã§ã™ãŒã€å®£ä¼ãらã„ã¯ã•ã›ã¦ã‚‚らãŠã†ã¨æ€ã£ã¦ã‚³ãƒ¬ã‚’書ã„ã¦ã¾ã™ã€‚ ã©ã‚“ãªå†…容ãªã®? 最åˆã«æ–ã£ã¦ãŠ
関数型言語ã§ã®ãƒ‡ã‚¶ã‚¤ãƒ³æ‰‹æ³•
Takashi Miyamoto @tmiya_ オブジェクト指å‘ã¯OOPã®ä»–ã«OOA,OODãªã©ä¸Šæµå·¥ç¨‹å‘ã‘ã®æ–¹æ³•è«–ãŒã‚ã‚‹ã®ã ãŒã€é–¢æ•°åž‹è¨€èªžã«ã¤ã„ã¦ã‚‚FPã®ä»–ã«FA,FDãŒã‚ã‚‹ã®ã ã‚ã†ã‹ï¼Ÿèª°ã‹é©åˆ‡ãªè«–æ–‡/教科書ã¨ã‹çŸ¥ã‚Šã¾ã›ã‚“ã‹ï¼Ÿ 2010-05-30 09:26:38 Ikegami Daisuke @ikegami__ 探ã—ã¦ã¿ã¾ã™ã€‚ã§ã‚‚å¼·ã„型付ã‘ã‹ã€å¼±ã„型付ã‘ã‹ã§ã€ã¾ã‚‹ã£ãã‚Šç•°ãªã‚‹ã§ã—ょㆠRT @tmiya_: オブジェクト指å‘ã¯OOPã®ä»–ã«OOA,OODãªã©ä¸Šæµå·¥ç¨‹å‘ã‘ã®æ–¹æ³•è«–ãŒã‚ã‚‹ã®ã ãŒã€é–¢æ•°åž‹è¨€èªžã«ã¤ã„ã¦ã‚‚FPã®ä»–ã«FA,FDãŒã‚ã‚‹ã®ã ã‚ã†ã‹ï¼Ÿèª°ã‹é©åˆ‡ãªè«–æ–‡/教科書ã¨ã‹çŸ¥ã‚Šã¾ã›ã‚“ã‹ï¼Ÿ 2010-05-30 09:30:40 Ikegami Daisuke @ikegami__ @tmiya_ 個人的ãªæ„Ÿæƒ³ã§ã™ãŒã€å¼·ã„型付ã‘ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§é–‹ç™ºã‚’è¡Œã†å ´åˆã€å®Ÿè£…ã®å‰ã«ã€å…¨ä½“
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
rise4fun
コードウォッãƒï¼šé–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®è‡ªæƒšã‚Œå•é¡Œ
{{#tags}}- {{label}}
{{/tags}}