主謀者(??)だったのに、ちと忙しくて参加記が遅くなってしまいました。 Prologで大阪さんの事を論理的に考える集い : ATND 上記のイベントが3/21に行われました。 阪急グランドビルに入ったの初めて！！そういえば31階だったにもかかわらず、31階らしさとい…

http://atnd.org/events/447 前と同じURLですが、融合してしまって変更(日程が確定したのと、場所が未定になっている)したので、参加しようかなーと思っていた人は再び見てくださいなー。

-- f :: (a -> b) -> (c , d , e) f g = let a = g ([] :: [a]) b = g (0 :: Int) c = g ('1'::Char) in (a,b,c) {- 型推論させた時の結果 Couldn't match expected type `[a]' against inferred type `Char' Expected type: [a] -> t Inferred type: Char -…

をやってみるとどうでしょうか、という話を昨日メッセでちょびっと話したので、どうでしょうか? 私が少なくとも3/22までは枚方に居るので、取りあえず大阪のどこかで食べ会(法律的な意味での飲酒が出来ないのでまぁ)をしつつ、大阪さん(あずまんが大王の！)…

data Term a = Term a deriving Show my_zero :: Term Int my_zero = Term 0 my_succ :: Term Int -> Term Int my_succ (Term a) = Term (a + 1) my_iszero :: Term Int -> Term Bool my_iszero (Term a) = Term (a == 0) eval :: Term t -> t eval (Term x)…

f1 :: Int-> (Int -> Int) f1 0 = id f1 1 = (\x -> x + 1) :t f1 0 -> f1 0 :: Int -> Int f2 :: Int -> (a -> a) f2 0 = id f2 1 = (\x -> x + 1) f2の定義にはこける f2の返値が(a -> a)というなんの束縛も無い筈なのに、(f2 1)の引数であるxには操作とし…

Learning WirelessView more presentations from ranha. 何がしたいの? ワイヤレスなイントラネットを構築したいんです！！ それでまぁ、あわよくば数人がイーモバイルなりもしくは有線でインターネットに出られるならば、適度にチャネルを分けてイントラネ…