『ソフトウェアã®åŸºç¤Žã€ã®ePub版を公開ã—ã¾ã—ãŸã€‚ - ã¿ãšã´ãƒ¼æ—¥è¨˜ã€ŒSoftware Foundations(和訳: ソフトウェアã®åŸºç¤Ž)ã€ã¯Benjamin Pierceæ°ã‚‰ã«ã‚ˆã£ã¦æ›¸ã‹ã‚ŒãŸãƒ‰ã‚ュメントã§ã‚ã‚Šã€Coqã«ã‚ˆã‚Šãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚„プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ç†è«–ãŒè§£èª¬ã•ã‚Œã¦ã„ã¾ã™ã€‚基本的ãªéƒ¨åˆ†ã‹ã‚‰ä¸å¯§ã«è§£èª¬ã•ã‚Œã¦ã„ã‚‹ãŸã‚ã€Coqã®å…¥é–€æ›¸ã¨ã—ã¦ã‚‚プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžç†è«–ã®å…¥é–€æ›¸ã¨ã—ã¦ã‚‚ã€éžå¸¸ã«å„ªã‚ŒãŸå†…容ã¨ãªã£ã¦ã„ã¾ã™ã€‚ 今回ã¯ã€ãã®ã€Œã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã®åŸºç¤Žã€ã®ePub版を公開ã—ã¾ã—ãŸã€‚ 対応ã—ãŸãƒªãƒ¼ãƒ€ã‚’用ã„ã‚‹ã“ã¨ã§ã€iPhoneã‚„iPadã€Androidã§æœ¬ãƒ‰ã‚ュメントをèªã‚€ã“ã¨ãŒã§ãã¾ã™ã€‚ ダウンãƒãƒ¼ãƒ‰ http://proofcafe.org/sf-beta/ ã‹ã‚‰ãƒ€ã‚¦ãƒ³ãƒãƒ¼ãƒ‰ã§ãã¾ã™ã€‚ ã¾ãŸmobi版もã‚ã‚Šã¾ã™ãŒã€Kindleã‚’æŒã£ã¦ãªã„ã®ã§ã€å‹•ä½œç¢ºèªã¯ã—ã¦ã„ã¾ã›ã‚“。 ãƒã‚°å ±å‘Š http://github.com/sfja/sfja ã¸ã®issues登録
本をé€ã‚‹ã¨ã‚¹ã‚ャンã—ã¦é›»å書ç±åŒ–ã—ã¦ãれる「BOOKSCANã€ã®è£å´ã‚’見ã›ã¦ã‚‚らã„ã¾ã—ãŸ
ビジãƒã‚¹ãƒžãƒ³ã®ãŸã‚ã®æ›¸ç±ã‚¹ã‚ャン入門ー既ã«å§‹ã¾ã£ã¦ã„ã‚‹é›»å出版 | isologue
{{#tags}}- {{label}}
{{/tags}}