国立情報学研究所 研究紹介

高度な問題を一般のパソコンでも解けるようにする