2006-01-01から1年間の記事一覧

よいお年を

今年は今日で仕事納め。日記書くのも最後だな。 今年もいろんな人にお世話になりました。ありがとうございました。来年もよろしうに。

打ち合わせで東京に

打ち合わせでまた東京にいきました。爆弾低気圧のせいでヒドい目にあいました。

型無しラムダ計算

勉強のために作ってみました。もうちょっとさっぱり書けるようになるといいんですが。 チャーチ数で"1+1"はこんな感じです。 $ghci Main.hs * Main> runS "(\\mnsz.ms(nsz))(\\sz.sz)(\\sz.sz)" "\\sz.s(sz)"α変換はありません。これから勉強します。

打ち合わせで東京に

東京に帰ってきた。家も気になるし。ダイエットのため夜ご飯を控えめにしてみました。

どうでもいいけど

OSS WEBのタイトルが「Open Source Web」なのはちょっと面白い。

SICPをコツコツと

SICPをコツコツ解いています。OSS WEBとStructure and Interpretation of Computer Programsに時々お世話になってます。 http://oss.timedia.co.jp/show http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-4.html#%_toc_start

生きてます

福井で仕事してます。私も嫁も元気です。 これからしばらくgmailのメールはあんまりとれません。まあ自分以外誰も困らないとは思うけど。

福井では

もっとHaskellを書きたい。もっと本を読みたい。

3ヶ月ほど福井へ

仕事で3ヶ月ほど福井に行くことになりました。ちょくちょく東京には来るけど、ベースは向こうで。なんだか色々と頭とか体とか弱っちゃったし、せっかくなので立て直してこようと思います。

情報オリンピック 第18回 マヤ語の文献の解読

http://www.ioi-jp.org/ioi/2006/problem/index.htm こんなんでどうだ。 import Data.List (elem, delete) counts :: String -> String -> Int counts s1 s2 = length $ filter (== True) $ f s1 s2 f :: String -> String -> [Bool] f _ [] = [True] f [] _…

オブジェクト倶楽部冬イベント 2006

またやります。セッション内容が出揃ったみたいなんで興味があれば見てください。徳井さんのセッションがイチオシです。 http://www.objectclub.jp/event/2006christmas/session.html

福井へ

数少ない友人のひとりが結婚するというので、福井に行ってきます。新幹線でゆっくり本が読みたい。

λ計算勉強中

http://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf http://members.at.infoseek.co.jp/nbz/ref/lambda.html http://kaiunix.cs.shinshu-u.ac.jp/Lesson/ProgLangT/2005/LambdaCaluculus.html

計算機プログラムの構造と解釈

ゲットしたよ。手垢で真っ黒にしたる。計算機プログラムの構造と解釈作者: ジェラルド・ジェイサスマン,ジュリーサスマン,ハロルドエイブルソン,Gerald Jay Sussman,Julie Sussman,Harold Abelson,和田英一出版社/メーカー: ピアソンエデュケーション発売日:…

ひさしぶりに気分が悪くなった

なんか今日は仕事の都合で昼ごはんにあんまり大したもん食べてなくて、夜になって気分が悪くなった。お腹が空きすぎて。もう良くなった。ごはん食べたから。 生返事しかできませんですみませんでした>いろんなひと

MacBook Core2Duo

やるなら今しかねぇ〜。 http://plusd.itmedia.co.jp/pcuser/articles/0611/08/news125.html

パパママ学級に行ってきた

朝9時から荻窪の保健所にて。私と同じくらいの年齢(と思われる)の夫婦ばっかり。 まずは50分講習。骨盤から胎児がでてくる方法(どうやって骨盤を通過するか)などについて教えてもらった。出産時には女性の子宮の大きさは平常時の100倍にもなるらしい。なんと…

Rabbit0.5.0リリース

リリースおめでとうございます。最近全然Rabbitできてませんが、そのうちいじります。 http://raa.ruby-lang.org/project/rabbit

Write Yourself a Scheme in 48 Hours

5章まで読んだ。おもしろいけどチュートリアルとしてはどうなんだろう?結構スパルタンだと思う。 http://halogen.note.amherst.edu/~jdtang/scheme_in_48/tutorial/overview.html Schemeのことはよく分からないから、ついでに独習。 http://www.sampou.org/s…

24シーズン4を観た

24シーズン4を観た。別に1日で全部観たわけじゃないけど、今回も面白かった...。いろいろ思うところはあるけど特に秘す。

社員旅行に行ってきた(1泊2日)

先週の金曜、土曜と社員旅行に行ってきた。 http://www.katuragawa.co.jp/shuzenji/top.htm 温泉がよかった。肩とか首の調子が悪かったのが治った気がする。 ビールをたくさん飲んだ。今年は暴れなかったよ。 バスガイドさんがよかった。 ごはんがイマイチだ…

Monad Transformers Step by Step

読んだ。合成モナドの簡単な解説とサンプルコード。面白かったです。 http://uebb.cs.tu-berlin.de/~magr/pub/Transformers.en.html ていうか最近、shelarcyさんのITProの記事を読んでからあんまりモナドのことを難しいと思わなくなった。あとは何が書けるか…

GHC6.6

お家マシンをGHC6.6にupgradeしました。aptで。

GHC6.4

お家マシンをGHC6.4にdowngradeしました。aptで。GHC6.6でこんなに変わるとは。もうちょっと慎重にならないとな。

1ヶ月くらい会社休んで家でウダウダしていたいな、わたしは

HaskellでもIRC botぐらい作れますよ、っていう記事。面白かったです。またモナドのことがちょっとわかった気がする。 http://haskell.org/haskellwiki/Roll_your_own_IRC_bot

パパママ学級

11月になったらパパママ学級に行きます。パパの妊婦体験してきます。 http://www2.city.suginami.tokyo.jp/guide/guide.asp?n1=30&n2=80&n3=600

My Job Went To India

My Job Went To India オフショア時代のソフトウェア開発者サバイバルガイド作者: Chad Fowler,でびあんぐる出版社/メーカー: オーム社発売日: 2006/09/26メディア: 単行本(ソフトカバー)購入: 11人 クリック: 100回この商品を含むブログ (161件) を見るGET

もう10月になってしまいましたね

なんだか忙しいのにかまけて日記をサボってました。何でもいいから何か書いておこう。 Anthyで「ずるずる」を変換しようとしたら[1.ずるずる 2.ずりずり 3.ズルズル]と出てきた。不思議だ。

日本情報オリンピック 第5回本選 第3問 Reloaded

あともうちょっとなんだけど重くて動かない。12点。 module Main (main) where import Control.Monad import Data.List (nub, sortBy) import System.Environment ex = nub . map (sortBy (flip compare)) . f f :: Int -> [[Int]] f 1 = [[1]] f x = [x]:co…

3連休の2日目

東中野の韓国料理屋ソナムで夕食。カムジャタンを食べて手がベタベタになったがおいしかった。