bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

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

Specification as (Co)Fibrations

以前の日記に書いたCategories for Software Engineeringで今勉強中。というかこの本、予想外に面白い。で、掲題のあたりで今格闘中。はて理解できるだろうか。

頭痛

PCを見すぎると眼精疲労系の偏頭痛がする私。 で今そんな頭痛が激しくなっている私。なので書きたいことがあってもかけない!

ネットオークション

これ、結局ネットオークションで売る事にしました。 ていうか売れました。 *1実は売る方は初めてだったりするので、結構緊張していたり。どきどき。 *1:こんなこと書くと買い手には個人情報ダダ漏れという噂もあるが、この際気にしない:)

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。