CafeOBJ 入門ã“ã®ãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªã§æä¾›ã—ã¦ã„るドã‚ュメントã¯ã€CafeOBJ ã®åˆå¦è€…ã¸ã®æ‰‹å¼•ãã§ã‚る。主ã«è‡ªç„¶æ•°ã®ä»•æ§˜ã‚’例題ã¨ã—ã¦ç”¨ã„ã€ä»•æ§˜è¨˜è¿°ã‹ã‚‰è¨¼æ˜Žã¾ã§ã®æµã‚Œã‚’体験ã—ã¦ã‚‚らã†ã“ã¨ã‚’主眼ã«ç½®ã„ã¦ã„る。 ã“ã®ãƒ‰ã‚ュメントã¯ã€æ¬¡ã®ã‚ˆã†ã«æ§‹æˆã•ã‚Œã¦ã„ã‚‹: CafeOBJ 処ç†ç³»ã®ä½¿ã„æ–¹ CafeOBJ 処ç†ç³»ã®èµ·å‹•ã¨çµ‚了方法 仕様ã®è¨˜è¿°æ³• 仕様を CafeOBJ 処ç†ç³»ã«èªã¿è¾¼ã¾ã›ã‚‹ CafeOBJ ã®åŸºæœ¬çš„ãªæ–‡æ³•ãªã©ã®ä»•æ§˜ã®è¨˜è¿°æ³• コメント モジュール ソート 輸入 オペレータ ç‰å¼ 変数 定義済ã¿ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã®è¡¨ç¤º é …ã®æ§‹æ–‡è§£æž é …ã®ç°¡ç´„ 証明èœã‚’用ã„ãŸè¨¼æ˜Žæ³• 証明èœã¨ã¯ 組ã¿è¾¼ã¿è¿°èªž = çµåˆå¾‹ã®è¨¼æ˜Ž 交æ›å¾‹ã®è¨¼æ˜Ž 補足 トラブル発生時 内蔵モジュール è˜åˆ¥åã§æ—¥æœ¬èªžã‚’使ㆠ練習å•é¡Œ æ”¹è¨‚å±¥æ´ 2008-02-06 「è˜åˆ¥åã«æ—¥æœ¬èªžã‚’使ã†ã€ã‚’è¿½åŠ ã—ãŸã€‚ 2007-09-25 「証明èœã¨ã¯ã€ã®è¨¼æ˜Žãƒã‚°ã®ãƒ€
{{#tags}}- {{label}}
{{/tags}}