#3 [全文検索]

■沖縄 (5)

■沖縄 (4)

今日は五年ぶりのウェイクボードの日。一回目から立ててスラロームもいい感じでできましたが、ジャンプはさすがにできませんでした… ...

■沖縄 (2)

今日は二年ぶりのダイビングの日。セットアップから何からすべて忘れていました… ...

■沖縄 (3)

今日もダイビングの日。今まで海外でしか潜ったことがなかったので魚の名前などをほとんど知らないままだったのですが、今回は色々と教えてもらって多少は覚えました。 ...

■沖縄

今日は首里城へ。 ...

■休み

帰ってきたばかりですが、明日から夏休みで沖縄に行くので色々と反応なくなります。 ...

■ツッコミ!! (konn)

すばらしい記事をありがとうございます! Traversableの章の洞察の節ですが、 > sequenceA :: Applicative f => (a -> f b) -> t a -> f (t b) となっていますが、 > sequenceA :: Applicative f => t (f a) -> f (t a) のまちがいではないでしょうか。 ...

■[Haskell] on

import Data.List on :: (a -> a -> b) -> (c -> a) -> (c -> c -> b) f `on` g = \x y -> g x `f` g y のようなonを定義しておくと、 sortBy (compare `on` snd) [(1,2),(2,1),(1,3)] のように書くことができます。以下と同じですが、ちょっと読みやすげ。 sortBy (\ (_, x) (_, y) -> compare x y) [(1,2),(2 ...

■ツッコミ!! (Satoshi Nakamura)

数値リテラルの扱いが変ですね。そっちは後で考えるとして、 @Not( @Equal( @RegexFind(Received, /mail[0-9][0-9]\.mailer\.co\.jp/), -1)) でいけそうです。 ...

■S/MIME関係のRFC (2)

RFC 3369 Cryptographic Message Syntax (CMS) RFC 3370 Cryptographic Message Syntax (CMS) Algorithms ...