karoyakani
"Notions of computation and monads," Moggi, E (1991) 読了 圏論を用いてλ計算の算譜の同値性を一般化するお話 なんだかピンと来なかった 自分の足腰の基礎が弱すぎる
競プロ典型 90 問 83 日目 - Colorful Graph（★6） なんだ簡単と思ったら TLE ドツボにハマった トホホ 後日出直します
競プロ典型 90 問 83 日目 - Colorful Graph（★6） なんだ簡単と思ったら TLE ドツボにハマった トホホ 後日出直します