トップ «前の日記(2003-03-03) 最新 次の日記(2003-03-05)» 月表示 編集

日々の流転


2003-03-04 [長年日記]

λ. TODOを一個ずつ片ずけていこう...

λ. gtk2 for cygwin

gtk+-2.2.1がこれまでx11でうまく動作していなかったのだけど、新PCでコンパイルしなおしたら直ってしまった。

それから、わたなべさんの所を真似してsetup.iniを作ってみたので、http://web.sfc.keio.ac.jp/~sakai/cygwin/ を"Other URL"に指定することで、setup.exeからインストールする事が出来るようになった(はず)。わたなべさん、ありがとうございました。

ついでに、送ってなかったx11関係のパッチを送ってしまう。#107623

Tags: cygwin

λ. functor category とデータ型

「data GRose f a = GBranch a (f (GRose f a))」のGRoseを Funct(C,C) × C -> C の functor と考えれば、射の写像mapGRoseの型は「∀f g. (∀a. f a -> g a) -> (b -> c) -> (GRose f b -> GRose g c」であると考えられる。しかし、Generic Haskell は違っていて「∀ f g. (∀a b. (a -> b) -> (f a -> g b)) -> (c -> d) -> (GRose f c -> GRose g d」という型の関数を考えるらしい。うーみゅ。

λ. Sodipodi for Windows

Sodipodiがバージョン 0.29 からWindowsに対応したそうだ。GIMP掲示板より。

λ. Ruby/FFCall

2/19[ruby-ext:02156] ruby-dl with ffcall は少なくとも当面は取り込まれることはなさそうなので、とりあえずは独立した拡張ライブラリにしておこう。[ruby-ext:2165]

Tags: ruby