This page is a personal scratchpad.
https://www.jstage.jst.go.jp/article/jjsai/37/6/37_708/_pdf/-char/ja