スライド
『フカシギの数え方』 （YouTube動画）
graphillion_tutorial（グラフ，アルゴリズム，ZDDに関するGoogle Colaboratoryによるチュートリアル）
International Competition on Graph Counting Algorithms 2024
NAIST-STELLA 募集要項
NAIST 情報科学領域
大規模システム管理研究室