以前公開していたものに加筆修正を加えたものになります。