Skip Jordan (= Charles Jordan) ジョーダン・チャールズ（スキップ） 小樽商科大学社会情報学科 〒047-8501 小樽市緑3-5-21 研究室：1号館424 Tel: 0134-27-5387 skip at res.otaru-uc.ac.jp

研究論文

ソフトウェア

• de: 関係ストラクチャーと 論理クエリーを使いながら関連ツールを適応できる環境です。
• mplrs: 並列頂点・凸包計算のソフトです。 詳細はlrslibのホームページにあります。
• mts: mplrsで利用する並列化手法を他の応用で 利用するためのものです。
• mptopcom: 三角形分割の並列列挙で、並列化はmtsを利用しています。
• cmdqbf: MPIDepQBFの 手法に基づく並列QBFソルバ(開発中)。

授業

English