kv - a C++ Library for Verified Numerical Computation1. ã¯ã˜ã‚㫠本ページã§ã¯ã€ç²¾åº¦ä¿è¨¼ä»˜ã数値計算を行ã†ãŸã‚ã«C++ã§ä½œæˆã—㟠ライブラリ群を公開ã—ã¦ã„る。 特ã«éžç·šå½¢è¨ˆç®—ã®ç²¾åº¦ä¿è¨¼ã‚’è¡Œã†ã¨ãã€template機能ã«ã‚ˆã£ã¦ 複雑ãªæ•°å€¤åž‹ã‚’ã™ã£ãり記述ã§ãã€ãªãŠã‹ã¤ "zero-overhead principle" 㧠計算速度ãŒé…ããªã‚‰ãªã„C++ã¯ã€éžå¸¸ã«é©ã—ã¦ã„ã‚‹ã¨è¨€ãˆã‚‹ (ã»ã¼å”¯ä¸€ç„¡äºŒã§ã‚ã‚‹ã¨ä½œè€…ã¯è€ƒãˆã¦ã„る。)。 精度ä¿è¨¼ä»˜ã数値計算ã¨kvライブラリã®æ¦‚è¦ã«ã¤ã„ã¦ã¯ã€ ã“ã®ã‚¹ãƒ©ã‚¤ãƒ‰ã‚’見ã¦æ¬²ã—ã„。 kv-intro.pdf (å…¨84ページ) 2007å¹´ç§‹é ƒï½ž2013å¹´æ˜¥é ƒã®é–“ã¯ã€åŒºé–“演算を行ã†ã®ã«boostã«å«ã¾ã‚Œã¦ã„ã‚‹ intervalライブラリを用ã„ã¦é–‹ç™ºã—ã¦ã„ãŸãŒã€ boost.intervalã¯æ®‹å¿µãªãŒã‚‰ä¸å®Œå…¨ãªéƒ¨åˆ†ãŒå¤šã ライブラリ本体ã«æ‰‹ã‚’入れã–ã‚‹ã‚’å¾—ãªã‹ã£ãŸã€‚ boost全体ãŒã‚¢ãƒƒãƒ—デートã™ã‚‹åº¦ã«interval部分
プãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®Googleプãƒã‚¸ã‚§ã‚¯ãƒˆ35ã€+23ã€+34 | エンタープライズ | マイコミジャーナル
{{#tags}}- {{label}}
{{/tags}}