Avatar
Taketo Sano 2/5/2020 2:21 AM
https://bitbucket.org/t3m/py_hfk/src/default/ こちらの python package をインストールした上で, from hfk import * D = HFK([10, 9, 8, 7, 6, 5, 4, 2, 1, 3, 0], [7, 5, 6, 4, 2, 3, 1, 0, 8, 10, 9], "10_152") D.HFK_ranks() とやると計算できます.