そっか、load("names.rr") とすれば色々使えるんですね。base_set_minus とかその辺りだけでも自分で書かなくて済むので楽になります。あ、base_subsets_of_size とかも便利そう。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。