− より良いソフトウェア開発を目指して −

品質の高いソフトウェアや安全で安心な情報基盤を確立するための、ソフトウェアの理論とその応用としての

開発技術に関する研究を行います。