@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00051980, month = {Mar}, title = {羽田正先生 業績一覧}, year = {2019} }