Update app.py

app.py

@@ -75,7 +75,7 @@ def export_logs_to_csv_file() -> str:
 
     tmp_dir = tempfile.mkdtemp()
 
-    # ✅ 変更点：DL用ファイル名を exercise_logs_日時 にする（JST）
+    # ✅ DL用ファイル名を exercise_logs_日時 にする（JST）
     ts = (datetime.utcnow() + timedelta(hours=9)).strftime("%Y%m%d_%H%M")
     path = os.path.join(tmp_dir, f"exercise_logs_{ts}.csv")
 
@@ -745,6 +745,16 @@ def finish_or_retire(pages_json, current_page, pid, orig_lev, action, session_st
     )
 
 
+# ======================================================
+#  ★追加：入力状況で Start ボタンの有効/無効を切り替え
+#    - 学籍番号が空なら Start は押せない
+#    - group / level はデフォルトがあるので必須チェック不要（必要なら追加可）
+# ======================================================
+def toggle_start_button(student_id):
+    ok = bool((student_id or "").strip())
+    return gr.update(interactive=ok)
+
+
 # ======================================================
 #  UI（タイトル表示を追加。それ以外は変更しない）
 #  ★追加：パスワード付きログCSVダウンロード
@@ -908,7 +918,15 @@ with gr.Blocks(css=custom_css) as demo:
         value=3
     )
 
-    start_btn = gr.Button("スタート")
+    # ✅ 初期状態では押せない（学籍番号が空だから）
+    start_btn = gr.Button("スタート", interactive=False)
+
+    # ✅ 学籍番号の入力に応じて Start の有効/無効を切り替え
+    student_id_input.change(
+        fn=toggle_start_button,
+        inputs=[student_id_input],
+        outputs=[start_btn]
+    )
 
     title_display = gr.Markdown("**Title:** ", elem_classes=["title-card"])