早稲田大学 論理設計検証用GPUサーバ を公開しました。