特集 学と産の連携による基盤ソフトウェアの先進的開発