>>754
全国共同利用「研究用」システムのVDECと、
学部時代「教育用」システムのECCと、
同じものを入れる必要があるのか。