大学教授レベルになると7の割り算が苦手になるらしい