17:30ごろ帰りました。

ライブドアブログ（livedoor Blog）｜ 読みたいブログが見つかるより。リンク先のコメントにもありますが、sequenceを使うとこんな感じでしょうか？ module Main (main) where sat :: Int -> ([Bool] -> Bool) -> [[Bool]] sat n f = [xs | xs <- sequence $…

読了。いつもながら梨木香歩さんの描写はすーっと沁み透ってくる感じがします。こころにとまるキーワード(ぐるりとか)はいろいろあるのですが、んー、まだうまく咀嚼できていない感じ。何年かした後にもう一度読み直すべきかな。ぐるりのこと (新潮文庫)作者…