===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top-ja.html,v
retrieving revision 1.1
retrieving revision 1.19
diff -u -p -r1.1 -r1.19
--- OpenXM/doc/OpenXM-web/top-ja.html 2005/04/14 11:18:04 1.1
+++ OpenXM/doc/OpenXM-web/top-ja.html 2011/04/28 04:51:09 1.19
@@ -12,6 +12,7 @@
プロトコル仕様 ,
ライセンス ,
cvsweb,
+ 表紙 ,
@@ -25,26 +26,51 @@
ニュース
-- InftyEditor( OCR と手書き入力機能をもつ数学エディタ) から
-OpenXM サーバを使う (February 18, 2005) Download
-
- Version 1.2.3 がでました.(February 10,2005)
-
- OpenXM pacakge は Knoppix/Math CD (July, 2004) に含まれています.
- Download the CD image ,
- Puki/Wiki Knoppix/Math
-
- OpenXM formula book project:
-
- 一般超幾何関数にたいするディジタル公式集
+
- Debian パッケージ openxm-1.3.1-6 (Debian, 32bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+ (64 版は こちら .)
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (Aug, 2010. openxm-1.3.1-5)
+ D-加群についての機能が充実しました.
+ 1.3.1-3 以前がインストールしてある場合, 下記のようにインストールして下さい.
+
+ sudo su
+ apt-get install make nkf
+ dpkg --purge openxm
+ apt-get install openxm
+
+ TeXmacs インタフェース, desktop アイコンをインストールするには
+
+ apt-get install openxm-skel
+ apt-get install openxm-gnome-desktop
+
+ です.
+ apt-get を使えない時(つかってはいけないとき)は, まず openxm- ではじまるすべてのファイルを
+ http://fe.math.kobe-u.ac.jp/KnoppixMath
+ からダウンロードしたあと, 次のようにして手動でインストールします.
+
+ sudo su
+ dpkg --install openxm_*.deb
+ dpkg --install openxm-skel*.deb
+
+ なお openxm_*.deb はネットワークインストーラで本体は internet からダウンロードされます.
+
+ - 過去のニュース
OpenXM とは?
-It is an infrastructure for mathematical
-communication.
-We propose standards for mathematical computation
-(OpenXM-RFC's). We will also support OpenMath .
-The project is also making experiments to connect mathematical
-software systems each other on the infrastructure.
-We are providing packages of mathematical software systems
-supporting the OpenXM protocol. Here is a quick tour of the OpenXM package:
+数学に関する通信をやるための基礎技術です.
+数学に関する通信をするためのプロトコルを提案しています.
+(OpenXM-RFC's).
+数学データの標準化プロジェクトである
+ OpenMath も応援してます.
+OpenXM では実際にいろいろな数学ソフトウエアをつないでパッケージを作成する
+実験をやり, そのパッケージを配布しています.
+パッケージの画面コピーは
+ こちら をご覧下さい.
+以下はOpenXM パッケージの紹介のページです.
functions 1,
functions 2,
Efficient computation.
@@ -73,12 +99,15 @@ the latest specifications.
Risa/Asir (Kobe distribution) download (for unix, windows)
[
Asir download].
+ Mathematical data/projects
OpenXM 1.1.1 (20000124) [ 1.1.1 (January 24, 2000) Experimental ].
OpenXM 1.1.2 [ 1.1.2 (March 20, 2000) Stable].
OpenXM 1.1.3 [ 1.1.3 (September 26, 2000) ].
OpenXM 1.2.1 [ 1.2.1 (March 2, 2002)].
OpenXM 1.2.2 [ 1.2.2 (May 13, 2003)].
OpenXM 1.2.3 [ 1.2.3 (February, 2005)].
+OpenXM 1.2.3-10 [ 1.2.3-10 (February, 2008)].
+OpenXM 1.2.3-12 [ 1.2.3-12 (February, 2009)].
@@ -96,10 +125,13 @@ http://www.openxm.org
+ 連絡先
+
+openxm2005@math.Xkobe-u.Xac.Xjp (".X" を "." で置き換えて下さい)
-$OpenXM$
+$OpenXM: OpenXM/doc/OpenXM-web/top-ja.html,v 1.18 2010/10/18 21:59:14 takayama Exp $