2007-10-01ã‹ã‚‰1ヶ月間ã®è¨˜äº‹ä¸€è¦§
Coqã§è¨¼æ˜Žã‚’ã™ã‚‹å‹•ç”»ã‚’作ã£ã¦ã€ã«ã“ã«ã“å‹•ç”»ã«å…¬é–‹ã—ãŸã€‚ http://www.nicovideo.jp/watch/sm1276083
![ã¯ã¦ãªãƒ–ックマーク - Coqã§ãƒ‹ã‚³ãƒ‹ã‚³ :-]](https://b.hatena.ne.jp/entry/image/https://yosh.hateblo.jp/entry/20071015/p1)
次ã«ã€ã“ã®PeanoPositiveを使ã£ã¦ã€PeanoZã¨ã„ã†æ•´æ•°åž‹ã‚’作ã£ãŸã€‚
ã¾ãšã“ã®å‰ã®ã‚³ãƒ¼ãƒ‰ã«å¼•ãç®—ã®ãƒ¬ãƒ³ãƒžã‚’åŠ ãˆã¦ã€PeanoPositive.vã¨ã—ã¦ã¾ã¨ã‚ãŸã€‚
ã“ã®å‰ä½œã£ãŸãƒžã‚¤ãƒã‚¸ãƒ†ã‚£ãƒ–åž‹ã¯ã€ãƒšã‚¢ãƒŽã®å…¬ç†ã‚’å…ƒã«ã—ãŸå½¢å¼åŒ–ã ã£ãŸã®ã§ã€ãれを使ã£ã¦ã€ãƒšã‚¢ãƒŽã‚¼ãƒƒãƒˆã¨ã„ã†æ•´æ•°åž‹ã‚’作ã£ã¦ã¿ãŸã€‚ æ—¢å˜ã®ãƒã‚¸ãƒ†ã‚£ãƒ–åž‹ã¨ãƒžã‚¤ãƒã‚¸ãƒ†ã‚£ãƒ–åž‹ã¨ã®é–“ã®åŒåž‹å¯¾å¿œã¯ã€å‰å›žç¤ºã—ã¦ã‚ã‚‹ã®ã§ã€ãれをもã¨ã«ã—ã¦ã„ã‚‹æ—¢å˜ã®Zåž‹ã¨ãƒšã‚¢ãƒŽâ€¦
