===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top-ja.html,v
retrieving revision 1.2
retrieving revision 1.32
diff -u -p -r1.2 -r1.32
--- OpenXM/doc/OpenXM-web/top-ja.html 2005/04/15 00:50:54 1.2
+++ OpenXM/doc/OpenXM-web/top-ja.html 2019/06/12 23:02:37 1.32
@@ -11,7 +11,8 @@
ダウンロード ,
プロトコル仕様 ,
ライセンス ,
-cvsweb,
+ ビデオ ,
+cvsweb,
表紙 ,
@@ -26,27 +27,27 @@
ニュース
-- 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.3-1 (Debian, 64bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ Risa/Asir は asir2000 から asir2018 へのメジャーアップグレードです.
+ (June 12, 2019. openxm-1.3.3-1)
- 過去のニュース
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.
@@ -65,22 +66,28 @@ the latest specifications.
OpenXM CVS Repositry をみる.
-[cvsweb]
+[cvsweb]
Links and Archive
-- Risa/Asir (Kobe distribution) download (for unix, windows)
+
- Risa/Asir (Kobe distribution) download (for unix, windows, mac)
[
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)].
+
- ftp://ftp.math.kobe-u.ac.jp/pub/XXX は廃止されました.
+http://www.math.kobe-u.ac.jp/pub/XXX に同じものがおいてあります.
+
- Debian パッケージの過去分については ニュースアーカイブ をご覧下さい.
@@ -98,10 +105,13 @@ http://www.openxm.org
+ 連絡先
+
+openxm2005@math.Xkobe-u.Xac.Xjp (".X" を "." で置き換えて下さい)
-$OpenXM: OpenXM/doc/OpenXM-web/top-ja.html,v 1.1 2005/04/14 11:18:04 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/top-ja.html,v 1.31 2018/03/11 23:36:49 takayama Exp $