GLSLのmediump/highpの違いによる精度ずれを試行錯誤してるけど、時々期待と違う結果になる。もしかして最適化の結果、mediump指定でもhighp扱いになってることがあるのかな。ううむ。