@rdviii@famichiki.jp I've taught the course a bunch of times -- the most recent iteration of it, which just ended, is https://decomposition.al/CSE232-2024-09/