海外の大学のコンピュータサイエンス専攻してる子と話した。 うちと違って大分工学的な内容を学んでいるみたいだ。 数学が好きらしいからこれからも話すかもしれないな、やっぱり論理が気になるのか集合論は特に面白いって語っていたね。