データ工学・ソフトウェア工学・アルゴリズム研究室