まじかんと雑記

これまではオプションの種類を文字で区別していたが、このやり方では精精数十個までしかオプションを増やせないので、オプションを直接番号で区別することにした。