ここは離散数学に関するスレッドですか?