2010-05-01から1ヶ月間の記事一覧

分数の応用問題

最初に思い浮かんだものとしては a - b = c -> c <= a ... (1) ただしaとbは小学4年生の学習指導要領及びドリルなどに出てくる程度の分数を表す。この式(1)が、小学4年生の範囲で常に成り立つ事は明らかに思えます。けれども、この画像の女の子(緑ちゃん!)…

メモ

{-# LANGUAGE GADTs #-} data Ident a where Ident :: a -> Ident a instance Functor Ident where -- fmap :: (a -> b) -> Ident a -> Ident b fmap f (Ident a) = Ident (f a) in1 :: Ident () -> () in1 = const () in2 :: Ident Bool -> Bool in2 (Ident…

突発鎌倉への旅

発端 http://twitter.com/ranha/status/13193995157http://twitter.com/ranha/status/13224615165という事で鎌倉に行って来ました!!以下未来の私の為に時系列順 + 写真 品川 品川駅の横須賀線乗り場に到着したのが、9時少し過ぎ。横須賀線で鎌倉へ向かう。…