最新版の最新たる部分を見てみましょう．端末より reduce -w -b と入力すると のように Reduce の最新バージョン(20110414)が起動します．そこで一階述語論理パッケージ RedLog のサブパッケージある QEPCAD を load qepcad; とロードします（RedLog 単独で…

OS の準備ができたら，画面下のパネルにある地球のアイコンをクリックして，ウェッブブラウザを起動し，このページにアクセスしてください． そして次をコピーします．## ここからコピー sudo cp -f /etc/apt/sources.list.math /etc/apt/sources.list sudo …

http://www.math.kobe-u.ac.jp/vmkm/2011vm-info/knxm2011-on-vmware-player/index.html を参考に KNOPPIX/Math 2011 をインストールしておいてください． このブログでは，その OS 上に最新版の Reduce，QEPCAD B などを導入するスクリプトを提供し，それら…