結果 : mathematical structures for computer science reddit