Risa/Asir
OpenXM に基づく通信・分散計算