今日の会議での唯一の発言： そうっすね、いいと思います(だからさあ、例えばさあ、2 変数の f(x, y) みたいな関数があって S = { (x, y) | c = f(x, y) } ってなる集合があったとするじゃん？ その時にさあ、S の元 (x', y') を選ぶなら(それ単独を選ぶ理由はないが解だから)いいんだけど x' だけ取り出してこれが解だと宣言するのは何なの？)。