Coqã§è¨¼æ˜Žã‚’ã™ã‚‹å‹•ç”»ã‚’作ã£ã¦ã€ã«ã“ã«ã“å‹•ç”»ã«å…¬é–‹ã—ãŸã€‚ http://www.nicovideo.jp/watch/sm1276083
![Coqã§ãƒ‹ã‚³ãƒ‹ã‚³ :-] - ã«ã‚ã¨ã‚Šå°å±‹ã§ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°](https://cdn-ak-scissors.b.st-hatena.com/image/square/15825712299b08cd677ea5497fc183f70b852077/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F13208692334729901306%2F12921228815713727935%2F1386061110)
Coqã§ãƒ‹ã‚³ãƒ‹ã‚³ :-] - ã«ã‚ã¨ã‚Šå°å±‹ã§ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
Coqã§è¨¼æ˜Žã‚’ã™ã‚‹å‹•ç”»ã‚’作ã£ã¦ã€ã«ã“ã«ã“å‹•ç”»ã«å…¬é–‹ã—ãŸã€‚ http://www.nicovideo.jp/watch/sm1276083
日本語㮠Coq æƒ…å ± - ã¾ã‚ã‚ã‚‚
ã¤ã„ã§ã«ã€ä¸»ã«æ—¥æœ¬èªžã® Coq æƒ…å ±ã‚’ (10 分ã§æ€ã„出ã›ã‚‹ç¯„囲ã§) ã¾ã¨ã‚ã¦ã¿ã¾ã™ã€‚é †ä¸åŒã€‚ å…¬å¼ã«è¿‘ã„æƒ…å ± 本家 Coq'Art (Coq ã®æ•™ç§‘書) Cocorico! (本家 Coq wiki) CiteSeer (笑) Coq ã®ã“ã¨ã‚’ã¾ã¨ã‚よã†ã¨ã—ã¦ã„ã‚‹ wiki èŠã•ã‚“ã® Coq wiki Tossy-2 ã® Coq wiki ãŸã¾ã« Coq ã®ã“ã¨ãŒæ›¸ã„ã¦ã‚るブãƒã‚° yoshihiro503 ã•ã‚“ã®ãƒ–ãƒã‚° (LL é‚㧠Coq ã®ç™ºè¡¨ã‚’ã•ã‚ŒãŸæ–¹ã€Coq ã®è©±ã°ã£ã‹ã‚Š) ã„ã¾ã„ã‘ã„ã”ã•ã‚“ã®ãƒ–ãƒã‚° èŠã•ã‚“ã®ãƒ–ãƒã‚° Tossy-2 ã®ãƒ–ãƒã‚° ã‚ã‚ã¯ã•ã‚“ã®ãƒ–ãƒã‚° (2006/04 〜 05 é ƒ) ä»–ã«ã‚‚ã¡ã‚‰ã»ã‚‰è¦‹ã‹ã‘ã‚‹ã¯ãšãªã®ã§ã™ãŒã€ã¡ã‚ƒã‚“ã¨ãƒ¡ãƒ¢ã—ã¦ãªã‹ã£ãŸã®ã§æ€ã„出ã›ã¾ã›ã‚“。見ã¤ã‘ãŸã‚‰è‡ªç™ºçš„ã«é©å®œè¿½åŠ ã™ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ãŒã€æ•™ãˆã¦ã‚‚らãˆã‚‹ã¨åŠ©ã‹ã‚Šã¾ã™ã€‚
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
An Introduction to Coq: Part 1
{{#tags}}- {{label}}
{{/tags}}