量子コンピューティングの社会実装を見据え東京都市大学とソフトウェア品質保証技術の研究開発を開始 ～第一弾としてQuemixの協力を得て、テストケースの生成を量子コンピュータの実機で検証～（株式会社ベリサーブ）