PHP / JSON操作 / PHPオブジェクトからJSONを作る