江崎悌三
国立情報学研究所収録論文 国立情報学研究所