2009年12月 A Proof of Molecular Conjecture 20th International Symposium on Algorithms and Computation 記述言語 英語 会議種別 口頭発表(招待・特別)