NASAは大口Linuxユーザなだけじゃない