「計算機」の版間の差分

削除された内容 追加された内容
Ocyacya (トーク | 投稿記録)
新しいページ: 'プログラミング言語アセンブラ、C言語、Basic、Pascal、Java、etc. 数式処理ソフトMaxima、Risa/Asir、etc. proof checker'
 
Ocyacya (トーク | 投稿記録)
編集の要約なし
1 行
{| class="wikitable"
|[[プログラミング言語]] || [[アセンブラ]][[C言語]][[Basic]][[Pascal]][[Java]]、etc.
[[数式処理ソフト]]Maxima、Risa/Asir、etc.
|-
[[proof checker]]
|[[数式処理ソフト]] || [[Maxima]][[Risa/Asir]]、etc.
|-
|[[Proof Checker]] ||
|}