長谷川寿一
国立情報学研究所収録論文 国立情報学研究所