研究課題
挑戦的萌芽研究
ミルナー不変量は，絡み目の分類を与える重要な概念であるが，計算が困難であるため他の不変量解析と比較して研究が進んでいない．本研究は，アルゴリズムによって絡み目の理論やその周辺領域を発展させる解析ツールを提供し，学術上の新発見を支援する．本研究では，データを少しずつ読み込みながらデータを圧縮することで省スペースで圧縮が可能なオンライン文法圧縮を応用して，これまでは計算できなかった深さの展開式まで実行可能なミルナー不変量解析ツールを開発し，専門家のコミュニティに提供した．
データ圧縮
