No Such Blog or Diary

タイトル「魔女の宅急便のキキについて」

本文「魔女の宅急便のキキは自分の事しか考えてない」

……

だから何なんだか．

なんとなくトラックボールを導入した．Logicool の M570．Unifying レシーバ対応なのでキーボードと一緒にレシーバ１つで済むのが有難いかも．

とりあえず，左クリックをしようと思ったときにボールを押し込む動作をしてしまう癖があるらしい事が判明した．なぜだらう？　親指が痛い……

Type class で可換半郡を次のように書いていた．

class CommutativeMonoid a where
    oplus :: a -> a -> a,  -- commutative, associative
    identity::a           -- the identity of oplus
data Bag a = Bag [a] deriving (Show,Ord,Read)
instance CommutativeMonoid (Bag a) where
  oplus (Bag a) (Bag b) = Bag (a ++ b)
  identity = Bag []

んで，type class だと不都合が生じたのでレコードで演算をまとめて持ち運ぶようにしたのだけど，定義部分に限っては RecordWildCards を使うとほとんど同じように書ける．演算の集合を定義するという点では type class でもレコードでも手間は大して変わらないっぽいねと． 楽だし簡潔でいい．

data CommutativeMonoid a = CommutativeMonoid {
    oplus :: a -> a -> a,  -- commutative, associative
    identity::a           -- the identity of oplus
    }
data Bag a = Bag [a] deriving (Show,Ord,Read)
bagMonoid = CommutativeMonoid { .. } where   
  oplus (Bag a) (Bag b) = Bag (a ++ b)
  identity = Bag []

インスタンス宣言に同じクラスの別のインスタンスを使う，例えば

instance (CommutativeMonoid a, Ord c) => CommutativeMonoid (Map c a) where
  oplus x y = unionWith oplus x y
  identity = empty

とかも

mapMonoid m = CommutativeMonoid { .. }  where
  oplus x y = let CommutativeMonoid {..} = m in unionWith oplus x y
  identity = empty

と書けばほとんど同じ雰囲気かね．let を内側で使ってあげるのが大事．下のようにやると定義の本体の oplus が新しく定義される oplus になっちゃうのでエラーを食らう．

mapMonoid (CommutativeMonoid {..}) = CommutativeMonoid { .. }  where
  oplus x y = unionWith oplus x y
  identity = empty

まだまだ黄色一色にはなっていないけれど生協に行くついでに Pentax Q で撮ってきた．たまには使わんともったいない．

ジャケットのポケットに入れておくにはちょっと重いなぁ……　やっぱカラビナで腰にくくりつけておくとかが良いのかもしれない．

作業に集中していたらいつの間にか終電を逃していた．どうしませう？

お家まで歩いて帰っても１時間半だし考え事をしながら帰るか……　ゴミ出したいし．

追記：ぴったり１時間半で家についた．曇っているせいか大分暑かった印象．

問題：「補足事項」および「Re:補足事項」というタイトルで次の５通のメールが迷惑メールフォルダに入っていた．どのように対処すべきか答えよ．

2011年11月28日21:47

まぁややこしいかもしれないですが、連絡先を集めると言い放った時点で、○○さんの連絡先が集まってる事を示唆しています。あえて取り除く事もないですが、回数というのはそういう事も含みます。もしかするとわかりにくいかもしれませんが

2011年11月28日21:49

転送するにとどめる、といっていたので、転送をするんだったら、直接的に得られるのか、というのが質問で、悪意があるように思われるのは心外です。

2011年11月28日21:51

つまり、巻き込まれては迷惑だろうから、ルートとして、外そうと思っただけです。中間的な立場というのもかえって不安定かと思ったので

2011年11月28日22:11

つまり実際的には転送先のメールアドレスに送る事が主の目的の時に、送り先がないために、大学のメールアドレスに対して送る事があった際に、文面としては、転送先のメールアドレス上でどのように見えるのか、という事を主に思うので、かえって、大学のメールアドレスに対して送る文面としては奇妙になるかもしれず、そういった事態を未然に防ぐというのが主な目的です。

2011年11月28日22:13

転送される状態にある状態で、メールアドレスを直接的に求める意義としては以上になります。

模範解答：スルー．