<!--
$OpenXM: OpenXM/doc/OpenXM-web/index-doc-asir-ja.html,v 1.2 2019/03/29 03:01:45 takayama Exp $
-->
<html>
<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
<body>
<a href="google-ja.html">検索</a>,
<a href="http://www.math.sci.kobe-u.ac.jp/OpenXM/index-ja.html"> OpenXM </a>,
<h3> ユーザー向けマニュアル </h3>
<OL>
<LI> Asir 本体のマニュアル
<ul>
<li> <A HREF="asir2000/html-ja/man/man.html"> 日本語, HTML </A>
( <A HREF="asir2000/html-ja/man/man_toc.html"> 目次 </A> ).
<li> <A HREF="asir2000/man-ja.pdf"> 日本語, PDF. </A>
</ul>
<LI> OpenXM/Risa/Asir-contrib のマニュアル
<ul>
<li> <A HREF="asir-contrib/ja/cman-html/cman-ja.html"> 日本語, HTML </A>
<!-- ( <A HREF="asir-contrib/ja/cman-html/cman-ja_toc.html"> 目次 </A> ). -->
<li> <A HREF="asir-contrib/ja/cman-ja.pdf"> 日本語, PDF. </A>
<li> <A HREF="asir-contrib/ja"> Asir-contrib の文書フォルダ </A>
</ul>
<LI> Asir の実験的な関数
<ul>
<li> <A HREF="asir2000/html-exp-ja/exp-ja/exp-ja.html"> 日本語, HTML. </A>
</ul>
<LI> その他
<ul>
<li> <a href="asir-contrib/index-doc-asir-contrib2-ja.html">
OpenXM/Risa/Asir-contrib のマニュアル(texinfo でないもの), 入門等. </a>
<li> <a href="other-docs/"> os_muldif など </a> .
</ul>
<LI> Asir の2次量詞消去機能について
<ul>
<li> <A HREF="../../Stable/numtr.pdf"> 英語, PDF </A>
</ul>
</OL>
<h3> 開発者向け文書 </h3>
<ol>
<LI> Risa/Asir Journal
<ul>
<li> <A HREF="http://www.math.kobe-u.ac.jp/raj"> Risa/Asir ジャーナル </A>
</ul>
<LI> Asir の内部構造について
<ul>
<li> <A HREF="asir2000/html-internal-ja/internal.html"> 日本語, HTML </A>
</ul>
<li> ソースコード
<ul>
<li><a href="../index-ja.html"> ソースコードのダウンロード </a>
<li><a href="http://c1.math.kobe-u.ac.jp/cgi-bin/cvsweb.cgi/">ソースコード (cvsweb)</a>
</ul>
</ol>
</body>
</html>