このディレクトリに収められたファイルは，201807にあるファイルをマージしたものである．

(2019/01/20: M. Shiotani)