リニアーオペレーター