===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/top-ja.html,v
retrieving revision 1.2
retrieving revision 1.38
diff -u -p -r1.2 -r1.38
--- OpenXM/doc/OpenXM-web/top-ja.html 2005/04/15 00:50:54 1.2
+++ OpenXM/doc/OpenXM-web/top-ja.html 2022/03/04 01:53:20 1.38
@@ -3,6 +3,8 @@
OpenXM (Open message eXchange for Mathematics)
+
+
@@ -11,7 +13,8 @@
ダウンロード ,
プロトコル仕様 ,
ライセンス ,
-cvsweb,
+ ビデオ ,
+cvsweb,
表紙 ,
@@ -26,27 +29,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:
-
- 一般超幾何関数にたいするディジタル公式集
+
- 2022-03-04. Debian パッケージ openxm-1.3.3-6 (Debian, 64bit, ネットワークインストーラ) は
+ /etc/apt/sources.list に openxm respository を加えることにより apt でインストール
+ できます. 詳しくは こちら .
+ dpkg でインストールする場合は
+ こちらから
+ 入手できます.
+
- M1 Mac で Risa/Asir が segmentation fault おこす場合の対策.
- 過去のニュース
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 +68,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 +107,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.37 2021/12/27 23:40:42 takayama Exp $
-