2008-07-01

滅却すべし、滅却すべし、滅却すべし

›
続きは Ｗｅｂ で
2008-02-22

Customizing on ASUS Launcher the EeePC's WM easy mode

›
apt-getでウィンドウマネージャを追加すると自由にカスタマイズが可能です、では面白くないどころか、折角の軽快さが失われてしまいます。そこで、必要最低限の修正で利便性の向上を図ってみます。とか何とか言って ここ のパクリです。 まずFile Managerからターミナルの起動が...
2008-02-19

Localization on Eee PC

›
ASUS Eee PC この手の超軽量ノートはガジェット好きのギーク魂をくすぐるものの、ほとんどの場合において中途半端な完成度で飽きてしまうのですが、それでもついウッカリと手を出さずに居れないのもまた事実。中文版の黒を入手したのでl10nの覚書を交えて簡単にレビュー。 まずこのサ...
2007-11-10

setitimer on leopard

›
POSIX系OSでプロファイラなどを作る際にsetitimer関数を利用します。以下のようにするとタイマを設定することが出来ます。 struct itimer value, ovalue; value.it_interval.tv_sec = 0; value.it_inter...
2007-11-06

Prolog (6)

›
なんかunfoldの定義を少し間違って記憶してたように思います。Haskellでリスト用の定義を見るとこんな感じ。 unfold p f g x = if p x then [] else f x : unfold p f g (g x) Prologでは...
2007-11-04

Prolog (5)

›
前回に引き続きリスト系のユーティリティ述語の紹介です。 fold(l/r)を定義したら当然のことですがunfoldが定義したくなりますね？幸いにもPrologはバックトラックがありますから、特に遅延評価のための仕組みを用意せずとも、Haskellのようにunfoldを書くことが出...
2007-11-01

Prolog (4)

›
Prologは高級言語に属すると思うのですが、昨今のプログラミング言語を見るとLLは言うに及ばずc++でもSTLという便利なライブラリが付いてきます。最もそういったユーティリティはPrologでは大体が簡単に作れるものなので、マイライブラリを構築している人が大半かと思われます。と...