Basics_Jプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžCoqã«ã¯ã€ã»ã¨ã‚“ã©ä½•ã‚‚（ブール型や数値型ã™ã‚‰ï¼‰ãƒ“ルトインã•ã‚Œã¦ã„ã¾ã›ã‚“。ãã®ä»£ã‚ã‚ŠCoqã«ã¯ã€æ–°ã—ã„åž‹ã‚„ãれを処ç†ã™ã‚‹ãŸã‚ã®å¼·åŠ›ãªãƒ„ールãŒç”¨æ„ã•ã‚Œã¦ã„ã¾ã™ã€‚ ã¾ãšæœ€åˆã¯ã¨ã¦ã‚‚ç°¡å˜ãªã‚µãƒ³ãƒ—ルã‹ã‚‰å§‹ã‚ã¾ã—ょã†ã€‚次ã®å®šç¾©ã¯ã€Coqã«å¯¾ã—ã¦ã€æ–°ã—ã„データ型ã®ã‚»ãƒƒãƒˆï¼ˆé›†åˆï¼‰ã§ã‚ã‚‹'åž‹'を定義ã—ã¦ã„ã¾ã™ã€‚ãã®åž‹ã¯æ—¥ã§ã€è¦ç´ ã¯æœˆæ›œæ—¥ã€ç«æ›œæ—¥...ãªã©ã§ã™ã€‚ãã®å®šç¾©ã®1è¡Œã¯ä»¥ä¸‹ã®ã‚ˆã†ã«ã‚‚èªã‚ã¾ã™ã€‚"月曜日ã¯æ—¥ã€‚ç«æ›œæ—¥ã¯æ—¥"ã¨ã„ã£ãŸå…·åˆã§ã™ã€‚ Inductive day : Type := | monday : day | tuesday : day | wednesday : day | thursday : day | friday : day | saturday : day | sunday : day.
ãªã„ã‚“ãŸã‚“ (@ninetan_tokyo) | Twitter
ゴシックゲルトã¡ã‚ƒã‚“14æ³ã¦ã®ãŒæ€¥ã«é™ã‚Šã¦ããŸã®ã§æã„ãŸ... on Twitpic
僕ã¯ã“ã†ã—ã¦å¤±æ•—ã—ã¾ã—ãŸï¼ã€€è•Žéº¦ã®å°±è·æ´»å‹•å¤±æ•—記 - ã³ã³ã³æ–°æ›¸
{{#tags}}- {{label}}
{{/tags}}