http://docs.python.org/2/tutorial/modules.html#more-on-modulesを読んでいて、以下が正しいかどうか疑問に思います:
モジュールは他のモジュールをインポートできます。すべての import ステートメントをモジュール (またはスクリプト) の先頭に配置するのは慣例ですが、必須ではありません。インポートされたモジュール名は、インポート モジュールのグローバル シンボル テーブルに配置されます。
どうやらそうではありません:
>>> def foo(): import sys
...
>>> foo()
>>> sys.path
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
NameError: name 'sys' is not defined
オンライン デモについては、http://ideone.com/cLK09vを参照してください。
それで、それはPythonのドキュメントのバグですか、それとも私は何かを理解していませんか?