情報数学復習 Transactional Information Systemsでtotal order, partial orderみたいな単語が出てきてよくわからん単語だなとか思って、調べたら全順序・半順序のことで、こりゃあかんという感じになった。 学部のときに買っていた基礎情報数学を引っ張り出…