とりあえず関係なさそうなところは飛ばしつつ、一通り読んでみた。GPは、言語としては、Asirよりはましなような、でもちょっと使いにくいような。Asirはプログラミングの変数と数学の変数の名前空間が完全にわかれているのが気楽。Singularは変数宣言でそこ…