Juliaの型推論