神奈川大学
プログラミング科学研究所