今井研で使用可能なソフトウエアとその使用法

準備

現在 ERATO でも使用できるソフトウェアについて
online-dictionary mule 上から Esc-x online-dictionary で起動
mathematica ERATO の Windows 端末に既にインストールされているので、 画面上から [スタート] -> Mathematica で起動可能
(但し, ライセンスの関係から、一度に起動できる数に制限あり. ライセンスが足りない場合は時間をおいて試してみる. また, 一人でライセンスを無駄に占有しない)

現在今井研で使用できる代表的なソフトウェア

数式処理システム
ソフトウエア 機能 コマンド 使用法 & マニュアル
maple 数式処理システム maple Manual: /usr/local/maple/man/man1
X term から, man -M /usr/local/maple/man maple 等と入力することで参照可能
matlab 主に行列の計算を扱う数式処理システム /usr/local/matlabr12.1/bin/matlab Manual
Macaulay2 代数・代数幾何向け数式処理システム M2 Manual: /usr/local/Macaulay2/html/index.html
asir グレブナー基底計算などの数式処理システム asir lager、tiger 等の/usr/ccs/lib/ccp が実行可能な マシンに rlogin し、コマンドを実行
Manual: /usr/local/lib/asir/html-jp/man_toc.html
●計算幾何関連システム・パッケージ
ソフトウエア 機能 コマンド 使用法 & マニュアル
cgal C++ 用計算幾何ライブラリ * API 、組み込みクラスとしてプログラム中で呼び出し
(但し, コンパイルは malts 上で行ってください)
Manual
leda C++ 言語上の計算幾何を含む汎用ライブラリ * API 、組み込みクラスとしてプログラム中で呼び出し
(但し, コンパイルは malts 上で行ってください)
Manual, URL
polymake 多面体を扱う処理パッケージ (C++, Perl ライブラリ付属) polymake Manual: /usr/local/polymake/doc/index.html, URL
porta 多面体などの幾何学図形の処理パッケージ (C オブジェクトファイル) * オブジェクトとしてプログラムからリンク
URL
geomview 3 次元表現された物体の可視化(読み込みファイルの形式は マニュアル参照) geomview Manual
●線形・非線型・整数計画問題処理システム・パッケージ
ソフトウエア 機能 コマンド 使用法 & マニュアル
sopt 線形、非線型、整数計画問題処理システム soptx 今井研の書棚に存在
nuopt, nuopt3 線形、非線型、整数計画問題処理パッケージ(C++ ライブラリ付属) * 今井研の書棚に存在
●その他
ソフトウエア 機能 コマンド 使用法 & マニュアル
LessTif X-window 上の GUI 作成用言語 Motif/OSF * Manual, FAQ: /usr/local/LessTif/FAQ

Sonoko Moriyama
moriso@qci.is.s.u-tokyo.ac.jp/qci