第2回アルゴリズムの実装技術に関する
集中ワークショップ

近年、ZDD、SAT、簡潔データ構造、探索アルゴリズムなど、多様なアルゴリズム分野において理論研究が進展する一方、それらを実用的なソフトウェアとして実装する技術は、個々の研究者のノウハウとして蓄積されるにとどまり、体系的に共有される機会が限られていました。本ワークショップは、この課題を解決すべく、アルゴリズム実装に携わる研究者が一堂に会し、各自の課題を持ち寄りながら短期集中的に実装に取り組む場を提供することを目的としています。

本ワークショップでは、単なる実装技術の習得にとどまらず、アルゴリズム理論と実装の融合を重視します。理論的知見を実装に反映させ、また実装を通じて理論の新たな展開を促すことで、両者の相乗効果を追求します。さらに、本ワークショップを継続的に開催することで、実装研究者間の交流を深め、分野横断的な研究コミュニティの形成を目指します。大学・企業の研究者および大学院生の積極的な参加を歓迎いたします。