淵一博その人とコンピュータサイエンス / 田中穂積／編著　黒川利明／編著　太田耕三／編著　古川康一／編著　岡田久雄／編著