[B! coq] propellaã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

propella id:propella

coqã«é–¢ã™ã‚‹propellaã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (1)

${{author_name}}$

{{author_name}} {{created}}

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

{{#following_bookmarks}}

${{author_name}}$

{{author_name}} {{created}}

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

{{/following_bookmarks}}

{{/is_wiped}}

æ—¥æœ¬èªžã® 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 é ƒ) ä»–ã«ã‚‚ã¡ã‚‰ã»ã‚‰è¦‹ã‹ã‘ã‚‹ã¯ãšãªã®ã§ã™ãŒã€ã¡ã‚ƒã‚“ã¨ãƒ¡ãƒ¢ã—ã¦ãªã‹ã£ãŸã®ã§æ€ã„å‡ºã›ã¾ã›ã‚“ã€‚è¦‹ã¤ã‘ãŸã‚‰è‡ªç™ºçš„ã«é©å®œè¿½åŠ ã™ã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ãŒã€æ•™ãˆã¦ã‚‚ã‚‰ãˆã‚‹ã¨åŠ©ã‹ã‚Šã¾ã™ã€‚
propella 2007/08/14
coq

æ•°å¦
ãƒªãƒ³ã‚¯
1

ãŠçŸ¥ã‚‰ã›

ã‚‚ã£ã¨èªã‚€

å…¬å¼Twitter

@HatenaBookmark
ãƒªãƒªãƒ¼ã‚¹ã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“ã‚¹ã®ãŠçŸ¥ã‚‰ã›
@hatebu
æœ€æ–°ã®äººæ°—ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®é…ä¿¡

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

jæ¬¡ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kå‰ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

lã‚ã¨ã§èªã‚€

eã‚³ãƒ¡ãƒ³ãƒˆä¸€è¦§ã‚’é–‹ã

oãƒšãƒ¼ã‚¸ã‚’é–‹ã

è¨å®šã‚’å¤‰æ›´ã—ã¾ã—ãŸx