2011-03-01から1日間の記事一覧
今回はQEPCAD Bの特徴の一つである,Extended Tarski Formulas(http://www.usna.edu/CS/~qepcad/B/user/ETF.html)についてお話しましょう.入力は,以前書いたバッチ処理と同じ書式ですが,ファイルは作らずecho出力をパイプ処理で読み込ませます.例えば …
今回はQEPCAD Bの特徴の一つである,Extended Tarski Formulas(http://www.usna.edu/CS/~qepcad/B/user/ETF.html)についてお話しましょう.入力は,以前書いたバッチ処理と同じ書式ですが,ファイルは作らずecho出力をパイプ処理で読み込ませます.例えば …