コネクションマシンのソフトウェア