「Mizar」の版間の差分
削除された内容 追加された内容
新しいページ: '==はじめに== === Mizarとは=== Proof checker。 プログラミング言語と同様に、厳密に数学の証明をする数式処理システムのひとつである...' |
|||
1 行
==
{| border="0" align=right width=250px cellpadding="4" cellspacing=0 class="noprint" style="clear: right; border: solid #aaa 1px; margin: 0 0 1em 1em; font-size: 90%; background: #f9f9f9"
|-
|[[画像:Wikipedia.png|50px|none|Wikipedia]]
|'''[[w:メインページ|ウィキペディア]]'''に'''[[w:{{{1|{{PAGENAME}}}}}|{{{2|{{{1|{{PAGENAME}}}}}}}}]]'''の記事があります。
|}
<noinclude>
* [[Mizar はじめに|はじめに]]
** [[Mizar はじめに#Mizarとは|Mizarとは]]
* Mizarのインストール
** [[Mizar リナックスにおけるインストールの仕方| リナックスにおけるインストールの仕方]]
** [[/Windowsにおけるインストールの仕方|Windowsにおけるインストールの仕方]]
* [[Mizar 具体的な使い方| 具体的な使い方]]
** [[Mizar 具体的な使い方#ソフトの使い方|ソフトの使い方]]
** [[Mizar 具体的な使い方#初等的な数学に対する使用例|初等的な数学に対する使用例]]
** 文法・記号
** [[/型|型]]
* 外部リンク
** [http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html|Mizar Manual]
* 索引
{{stub}}
<!--
-->
[[Category:情報技術|Mizar]]
[[Category:ソフトウェアのマニュアル|Mizar]]
| |||