python.html: gurobi / python ではなく，Python をメインに．ファイル名も変更
python.html: 図のパスを変更したりして整理