座談会:ソフトウェアの研究って何だろう?