Hey there! ikegami__ is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What are you doing? Join today to start receiving ikegami__'s updates.

Already using Twitter
from your phone? Click here.

ikegami__

圏充な休日about 7 hours ago from API
Haskell 処理系実装委員会はいつでもあなたの参加をうけつけています10:56 AM Jul 3rd from web
来週あたり FH -> StrictCore の環境整えよう10:51 AM Jul 3rd from web
"Types are calling conventions", M.C.Bolingbroke & S.L-.P.Jones, Haskell '09 読み直した10:51 AM Jul 3rd from web
またしばらく IP-unreachable (潜航)7:21 PM Jul 2nd from Mitter
関数じゃない方法でつくるのなら、いくらでもある5:29 PM Jul 2nd from Mitter
濃度の定義は一対一対応だから、関数で有限から無限をつくりだすことは無理だと思う5:28 PM Jul 2nd from Mitter
夏野菜と豚バラ肉の唐辛子味噌炒め、ごはん、めかぶ、デザートのメキシコマンゴー4:29 PM Jul 2nd from Mitter
日曜日暇でなくなった、もうしわけない4:04 PM Jul 2nd from Mitter
あさごはん自炊でおいしい3:58 PM Jul 2nd from Mitter
ふぁー6:03 AM Jul 2nd from Mitter
ゴルフはアプローチショットもいいですが、飛距離も大事です5:56 AM Jul 2nd from Mitter
まあでも、関数型言語の型のためにしかたなく調べものなどをする11:55 PM Jul 1st from Mitter
圏と可換半群比べたら、半群のほうがずっとおもしろい。圏、つまらない。（個人的な感想です）11:51 PM Jul 1st from web
Algebra of Programming やっと 1 章終えて、2 章の圏のところにきた。トンネルを抜けたら下り坂だった11:45 PM Jul 1st from web
7/3 じゃなくて 7/5 (Sun) のまちがいでした、ありがとう、くけー5:35 PM Jul 1st from Mitter
7/3 (Sun) 暇ができたけど何か文句ある? @ 関東周辺5:22 PM Jul 1st from Mitter
Text.JSON ライブラリの encode できるのに decode できないのなんで? って型推論が悪さしてた6:12 AM Jul 1st from Mitter
なお、バイトはできない身分です12:22 AM Jul 1st from Twit
@finalfusion en.wikipedia.org の出典先はみましたか : http://bit.ly/SoXBX12:22 AM Jul 1st from Twit