日々の流転

λ. 代数的データ型と始代数の話

2004-07-31の代数的データ型と始代数の話にちょっと追記。最初は自信たっぷりに書いたけれど、例は正しくなかったし、どうもこの辺の話はイマイチよく分かっていない。この辺りは論文などでは適当に誤魔化されてしまう事が多いけれど、結構微妙なところもあるので、最低限のjustificationは必要なのではないか思った。

λ. Haskellたん

気に入ったのでこっそり転載。言っとくけど、関数型プログラミング言語Haskell Part3 の 432 に書いたのは俺じゃないからね。

λ. C と Haskell のハイブリッドな hello world

Syntax Error (2005-02-25)でコメントしたものを一応こっちにも転載しておく。リンク先の別の解の方が面白いと思う。

long a = 0;
int main (void) {--a;//-} = 0
a // b = 0; main = putStrLn "Hello World"
-- ; printf("Hello World"); return 0; }

学校に行く途中で銀行によって、キャッシュカードをICカードへ切り替えるための申し込みをしてみた。プログラム費の書類を出してきた。メディアセンターで本を借りようと思ったら、蔵書確認作業中のため目的のフロアに入れなかった。しょぼんぬ。

λ. Windows Live SkyDrive

Windows Live SkyDrive を使い始めた。5GBの容量とファイルサイズの50MBの制限は、ちょっとしたもののバックアップ等には十分だし、重宝しそうだ。

ただ、IEにドラッグアンドドロップしてのアップロードは、ファイルに対してしか出来ず、フォルダを対しては出来ず面倒くさい。あと、理想を言えばファイルシステムとしてマウントできれば良いのにね。

【追記】 む、フォルダ間でのファイルの移動は出来ないのか。 この点は結構不便。

λ. SFCにて

たまたまSFCに行ったので、その際に久しぶりに向井先生とお話してきた。 微分幾何学(?)等について教えてもらった。

また、古川研に寄ったところ、古川先生が退任するので、研究室を片付けているところで、尾崎先生のD論「Efficient Search Algorithms for Inductive Logic Programming Based on the Most Specific Hypothesis」と、International Symposium on Skill Science 2007 (ISSS'07)の予稿集CDをいただいてしまった。