「計算機」の版間の差分
削除された内容 追加された内容
新しいページ: 'プログラミング言語アセンブラ、C言語、Basic、Pascal、Java、etc. 数式処理ソフトMaxima、Risa/Asir、etc. proof checker' |
編集の要約なし |
||
1 行
{| class="wikitable"
|[[プログラミング言語]] || [[アセンブラ]]、[[C言語]]、[[Basic]]、[[Pascal]]、[[Java]]、etc.
[[数式処理ソフト]]Maxima、Risa/Asir、etc.▼
|-
▲|[[数式処理ソフト]] || [[Maxima]]、[[Risa/Asir]]、etc.
|-
|[[Proof Checker]] ||
|}
|