完全にメモ書き conflictをなんとかしたい {-# LANGUAGE KindSignatures #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE UndecidableIn…

けど出来ないので次のようになってしまう・・・。 {-# LANGUAGE KindSignatures, TypeFamilies, EmptyDataDecls, MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances, TypeOperators, FlexibleInstances #-} data Nil data Cons a b type…

http://twitter.com/ranha/status/6103936333 の弁明。 遠回り 先日のメモ化fib関数について色々弄っていたのでその過程の何ソレを書き出してみます。まず大元の定義は at :: ∀a.[a] → Int → a at (a : b) 0 = a at (a : b) (n + 1) = at b n map' :: ∀a b.(…

Data.MemoCombinatorsモジュールについて言及したblog http://www.amateurtopologist.com/2009/11/22/data-memocombinators-and-you/ を見つけて、何をどうしてCombinatorsというモジュール名にしたのかというのとどういう実装に成っているか知りたいので読…

//cat paraY.go package main import "fmt" func p(v ...) { fmt.Println(v) } func Para(a func (),b func ()) { go a(); go b(); } func dummy(x int,c chan int) { p(x,"in dummy"); } func Y1(f func (func (int,chan int)) (func (int,chan int))) (fun…

Goを使って普通なプログラムを書くべきで、ただ私みたいなうんこ野郎にはそんな事は出来ないというか、Concurrency使わないんだったらC++使うっていうそれなので、なんとかしてConcurrencyを使わなければ成りません。プログラムを書くといえば何か動くべきな…

http://atnd.org/events/2115というイベントがありました。11月14日に、Google渋谷オフィスでありました。まずはじめに、Googleさんには場所を提供してもらった上にGoogleの中の人にも参加してもらって結果盛り上がったので本当にありがとうございましたとし…

http://atnd.org/events/2115誰か来てください... 追記 グーグル渋谷オフィスをお借りする事になりました。どうしてこうなった・・・ありがとうございます。引き続き誰か来てください...

11月7,8,9の3日間、ICPCアジア地区予選東京大会に参加して来ました。うちのチーム(UNK)は2問しか解けないとかいう、去年より酷いぞっていう感じで、2問ていうのは例えば、これは私にしか分かりませんが木曜日に惨劇が繰り広げられるレベルで酷いです。去年も…

目標 トリック オア トリート(Trick or Treat)に因んだ何かを証明してみる！！と題して(¬Treat -> Trick) -> (Trick ∨ Treat) [日本語訳 : お菓子をくれないなら悪戯しちゃうぞ -> 悪戯 か お菓子である!!] 今回はちょっと準備をします 今回はHaskellで証明…