山口人生先生、お久しぶりです！

http://www.genealogy.math.ndsu.nodak.edu/index.html
このページで数学者の師弟関係を調べられるのですが、
竹内外史先生のお弟子さんに先生が入っておりませんｗ
なかったことにされてるのでしょうか？？？？