豆知識だが、横国は総合大学ではない。