手続き型プログラミング基礎 1Q 2025 (CSC.T243)