静的解析からみるGoの過去と未来