Salamon & Wehrheim (2008) are working on a program to prove this conjecture.
Salamon & Wehrheim (2008) はこの予想を証明するためのプログラムを提示している。