===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-web/news-o-ja.html,v
retrieving revision 1.7
retrieving revision 1.21
diff -u -p -r1.7 -r1.21
--- OpenXM/doc/OpenXM-web/news-o-ja.html 2010/02/07 05:35:49 1.7
+++ OpenXM/doc/OpenXM-web/news-o-ja.html 2021/12/27 23:40:42 1.21
@@ -11,7 +11,7 @@
ダウンロード ,
プロトコル仕様 ,
ライセンス ,
-cvsweb,
+cvsweb,
Top,
@@ -22,9 +22,154 @@
+
+ftp://ftp.math.kobe-u.ac.jp/pub/XXX は廃止されました.
+http://www.math.kobe-u.ac.jp/pub/XXX に同じものがおいてあります.
+
ニュース
+-
+llvm 12 をもとに作られた Apple clang 13
+
+clang --version
+Apple clang version 13.0.0 (clang-1300.0.29.30)
+
+によりコンパイルされた M1 Mac 上の Risa/Asir はあるデータの元で dp_ptod が segmentation fault
+をおこします.
+この原因は optimizer がゴミでない領域を Boehm GC に回収させてしまうような
+コードを生成するためです
+(局所変数-8 がレジスターに入っているだけのコード. 局所変数は stack に格納されない.).
+
+この問題点の workaround は
+ この commit
+で与えられていますが,
+他の部分でも同じような問題が生じる可能性があるので,
+homebrew llvm@13
+に付属する clang を用いて Risa/Asir をコンパイルすべきです.
+(2021-12-28)
+ - c1 の cvsweb は一時的に動いていません. こちらを利用してください:
+cvsweb,
+
- Debian パッケージ openxm-1.3.3-5 (Debian, 64bit, ネットワークインストーラ) は
+ /etc/apt/sources.list に openxm respository を加えることにより apt でインストール
+ できます. 詳しくは こちら .
+ dpkg でインストールする場合は
+ こちらから
+ 入手できます.
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (July 27, 2021. openxm-1.3.3-5, 1.3.3-4 のパッケージのbugを修正しました.)
+
- Debian パッケージ openxm-1.3.3-4 (Debian, 64bit, ネットワークインストーラ) は
+ /etc/apt/sources.list に openxm respository を加えることにより apt でインストール
+ できます. 詳しくは こちら .
+ dpkg でインストールする場合は
+ こちらから
+ 入手できます.
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (March 29, 2021. openxm-1.3.3-4)
+
- Debian パッケージ openxm-1.3.3-1 (Debian, 64bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ Risa/Asir は asir2000 から asir2018 へのメジャーアップグレードです.
+ (June 12, 2019. openxm-1.3.3-1)
+ - Debian パッケージ openxm-1.3.2-4 (Debian, 64bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (Feb 22, 2018. openxm-1.3.2-4)
+ - Debian パッケージ openxm-1.3.2-3 (Debian, 64bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (Mar 1, 2017. openxm-1.3.2-3)
+ - Bug fix (ox_pari がスタートしない, invalid server id. 1.3.2-3): 次のコマンドを root で実行してください.
+
+(cd /usr/local/OpenXM/lib/asir ; rm ox_pari ; ln -s ../../bin/ox_pari ox_pari)
+
+ - Debian パッケージ openxm-1.3.2-1 (Debian, 64bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (Feb 12 , 2016. openxm-1.3.2-1)
+
+ - Debian パッケージ openxm-1.3.1-14 (Debian, 64bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (March 27 , 2015. openxm-1.3.1-14)
+ - Debian パッケージ openxm-1.3.1-10 (Debian, 32bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+ (64 版は こちら .)
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (May 15, 2012. openxm-1.3.1-10)
+ - Debian パッケージ openxm-1.3.1-6 (Debian, 32bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+ (64 版は こちら .)
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (Feb 22, 2011. openxm-1.3.1-6)
+
+ - Debian パッケージ openxm-1.3.1-5 (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 からダウンロードされます.
+
+ - Debian パッケージ openxm-1.3.1-4 (Debian, 32bit, ネットワークインストーラ) は
+ こちらから
+ 入手できます.
+
+ こちらに 注意事項が書いてありますのでご覧下さい.
+ (Feb 23, 2010. openxm-1.3.1-4)
+ D-加群についての機能が充実しました.
+ 1.3.1-3 以前がインストールしてある場合, 下記のようにインストールして下さい.
+
+ sudo su
+ apt-get install make nkf
+ dpkg --purge openxm
+ apt-get install openxm
+
+ TeXmacs インタフェースをインストールするには
+
+ apt-get install openxm-skel
+
+ です.
+
- Debian パッケージ openxm-1.3.1-1 (Debian, 32bit) は
こちらから
入手できます.
@@ -102,7 +247,7 @@ OpenXM サーバを使う (February 18, 2005)
-$OpenXM: OpenXM/doc/OpenXM-web/news-o-ja.html,v 1.6 2009/02/24 01:33:52 takayama Exp $
+$OpenXM: OpenXM/doc/OpenXM-web/news-o-ja.html,v 1.20 2021/07/27 03:51:25 takayama Exp $