Home · tinkerpop/gremlin Wiki · GitHub
Dismiss Join GitHub today GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together. Sign up Attention: this Wiki hosts an outdated version of the TinkerPop framework and Gremlin language documentation. Please visit the Apache TinkerPop website and latest documentation. Gremlin is a graph traversal language. The documentatio
Certified Programming with Dependent Types
This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation. I'm following an unusual philosophy in this book, so it may be of interest even to long-time Coq users. At the same time, I hope that it provides an easier introduction for newcomers, since s
ã‚„ã•ã—ã„Functional reactive programming（概è¦ç·¨ï¼‰ - maoeã®ãƒ–ãƒã‚°
ã‚ã¨ã€ã‚„ã¯ã‚Šãƒãƒƒãƒˆãƒ¯ãƒ¼ã‚¯å‘¨ã‚Šãªã©I/Oã®å¤šã„プãƒã‚°ãƒ©ãƒ ã®æ›¸ãã«ãã•ãŒèª²é¡Œã«ãªã£ã¦ã„ã‚‹å°è±¡ã€‚関数的ãªI/Oã¯FRPã§è§£æ±ºã§ããã†ãªæ°—ãŒã™ã‚‹ã‚“ã ã‘ã©èª¿ã¹ã¦ãªã„。ãã‚ãã‚FRPã‚’ã¡ã‚ƒã‚“ã¨ç†è§£ã—ãŸã„ãªãƒ¼ã€‚ Parsec 3活用事例: Keepalived構文ãƒã‚§ãƒƒã‚« - maoeã®ãƒ–ãƒã‚° ãªã‚“ã¦æ›¸ã„ã¦ã‹ã‚‰æ—©1ヶ月åŠã€ã‚ˆã†ã‚„ãFRPãŒæŽ´ã‚ã¦ããŸã®ã§ã‚ã‹ã£ãŸã“ã¨ã‚’ã¾ã¨ã‚ã¦ã¿ã¾ã™ã€‚ Reactive programmingã£ã¦ä½•ï¼Ÿ FRPã®å‰ã«ã€ä¸€èˆ¬çš„ã«wikipedia:en:Reactive programmingã¨å‘¼ã°ã‚Œã‚‹ãƒ‘ラダイムã«ã¤ã„ã¦è§¦ã‚Œã¦ãŠãã¾ã™ã€‚reactive programmingã¨ã¯ç–‘似言語を使ã£ã¦ã‹ãªãƒ¼ã‚Šå¤§é›‘把ã«èª¬æ˜Žã™ã‚‹ã¨ã€ var a = 1 var b = a + 1 a = 10 // aを書ãæ›ãˆã‚‹ print b // => 11print bã®å‡ºåŠ›ã¯2ã§ã¯ãªã11ã§ã™
ã‚ュートãªèŒãˆã‚ャラを作り出ã™ã€ç¾Žå°‘女イラスト作家ã®ã€Œã‚«ãƒ³ãƒˆã‚¯ã•ã‚“ã€ã«ã‚¤ãƒ³ã‚¿ãƒ“ュー - ライブドアニュース
ã‚ュートãªèŒãˆã‚ャラを作り出ã™ã€ç¾Žå°‘女イラスト作家ã®ã€Œã€ã«ã‚¤ãƒ³ã‚¿ãƒ“ューを敢行ã—ãŸã€‚ã¯ã€ç¾å½¹ã®å¤§å¦ç”Ÿã§ã€ã‚²ãƒ¼ãƒ 「アメサラサã€ã€ã‚¢ãƒ‹ãƒ¡ã€Œå¤ã®ã‚らã—!ã€ã€é›‘誌「Ｅ☆２ã€ç‰ã€…ã€é«˜æ ¡æ™‚代ã‹ã‚‰å¤šæ•°ã®ãƒ¡ã‚¸ãƒ£ãƒ¼ã‚¿ã‚¤ãƒˆãƒ«ã«ã‚‚作å“æ供をã—ã¦ããŸã€æ³¨ç›®ã®è‹¥æ‰‹ã‚¤ãƒ©ã‚¹ãƒˆä½œå®¶ã 。 インタビューã®å ´æ‰€ã¯ã€ï¼‘２月２９日ã‹ã‚‰ï¼“日間ã®é–‹å‚¬ã§ã€ï¼•ï¼ä¸‡äººä»¥ä¸Šã®æ¥å ´è€…を集ã‚ãŸãƒžãƒ³ã‚¬ã®ç¥å…¸ã€Œã‚³ãƒŸãƒƒã‚¯ãƒžãƒ¼ã‚±ãƒƒãƒˆï¼—ï¼—ã€ã®ä¼šå ´ã€‚å½¼ãŒå‚åŠ ã™ã‚‹ã‚µãƒ¼ã‚¯ãƒ«ã®ãƒ–ース内ã§è©±ã‚’èžã„ãŸã€‚特定ã®æ写ã«ã‚ãˆã¦ã“ã ã‚ã‚Šã‚’æŒãŸãšã€ã‚ャラクター・セクシー・リアル・コミカルãªã©å¹…広ã„ジャンルã®ä½œå“を手掛ã‘ã¦ããŸå½¼ã«ã€ç¾Žå°‘女イラストã«è§¦ã‚ŒãŸã‚ッカケãªã©ã€ã–ã£ãã°ã‚‰ã‚“ã«èªžã£ã¦ã‚‚らã£ãŸã€‚ ――作家åãŒã€Œã€ã¨ãªã£ãŸã®ã¯ï¼Ÿï¼šåå‰ã‚’èžã„ã¦ã€ä¸æ€è°ãªæ„Ÿã˜ãŒã—ã¾ã™ã‹ï¼Ÿã€€ä¸æ€è°ãªåå‰ã®ä½œå®¶ã•ã‚“ãªã‚‰ã€ä»–ã«ã‚‚ãŸãã•ã‚“ã„らã£ã—ゃã„ã¾ã™ã€‚僕ã®å ´åˆã¯ã€å˜ç´”ãªæ–¹ã ã¨æ€ã„ã¾ã™ã。知りåˆã„ã®é–“ã§çµµã‚’
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
OCaml API search
Vim-users.jp - 日本ã®Vimæ¥ç•Œã®è¿‘æ³ã«ã¤ã„ã¦
{{#tags}}- {{label}}
{{/tags}}