計算機

プログラミング言語	アセンブラ、C言語、Basic、Pascal、Java、etc.
数式処理システム	Maxima、Risa/Asir、Mizar、etc.