prog12_3.py

import random

with open("random.txt", "w", encoding="utf-8") as file_obj:
    random_number = random.random()
    file_obj.write(f"{random_number}\n")

# プログラム12-3（数値をファイルに出力）