数学者は専用機であるべき?