数学リニアの稼働