2008-02-01から1ヶ月間の記事一覧

ThinkPad X300

いままで、XシリーズはDVDなどというあまっちょろいマルチメディアデバイスは排除して、最低限の「入力」「出力(解像度低)」「音」とするかわりに、外部拡張用ポート(USBx2、外部ディスプレイ用、LAN、無線LAN、モジュラ)などで補うという、コンパクト設計…

firebugが動かなくなった件について

どうも Firebug 1.0.5 Firefox 2.0.0.12 Windows XP Pro SP2 この組み合わせだとインライン要素のstyleを調べられなくなっている.で,firebugのgoogle groupを調べるとGoogle codeのほうにとばれされて, 結局 以前のバージョンへの戻しが必要だそうです.…

関数定義

ちょっとメモ・・というか、こんなのも知らなかったのが恥ずかしい・・・ perlの関数定義で最初に勉強したときは sub callee { my ($msg) = @_; print $msg; }こんなやつ。でも、これって別の関数に渡すときに sub caller { my ($data, $cbfunc) = @_; &$cbf…

てんさい

やっぱこの人天才だわ 輪郭線を書いている法師丸さん

手順

頭がこんがらがってきた・・・みんなみたいに賢くないから・・・ね 1.haskellソースを読み込む 2.テキストをトークンに分割する 3.構文解析(LALR)する 4.順に処理する0.シンボルのいくつかの機能だけ環境でマッピングしておくこのときの「いくつか」が…

a = 6 b = 7 main = print $ a * bこれが main::Expr [(String,Expr)] main = Let (Bind [("a",Lit 6) , ("b",Lit 7)]) (App (Var "print") (App (App (*) (Var "a")) (Var "b") ) )こうなればいいんだから、 var _ = window; /*処理定義*/ _['App'] = funct…

でぃあご

「週間○○」を山ほど出版しているディアゴスティーニはそろそろ「週間ディアゴスティーニ」を出してもいいんじゃないかなと思う。 これまで多くの分野で初心者から始められるマガジンを刊行してきたディアゴスティーニ社の初回本だけを毎週1冊あなたの元へお…

PLUS

と思って定義を確認したらPLUSができた. PLUS := λm n f x. m f (n f x) (function(m){ return function(n){ return function(f){ return function(x){ return m(f)(n(f)(x)); } } } })

まるち

あれ?? PLUSを頑張ってたんだけど,なぜか MULT := λm n f. m (n f) になっちゃいました・・・ (function(m){ return function(n){ return function(f){ return function(x){ return m(n(f))(x); } } } })なぜだか,掛け算になってしまいました・・・ (fun…

勉強 church数とか

チャーチ数 0: λ f x. x 1: λ f x. f x 2: λ f x. f (f x) 3: λ f x. f (f (f x)) ... 簡単にいうと,fを適用した回数で自然数を表現していると. 演算 SUCC := λn f x. f (n f x) チャーチ数を受け取って次を計算する(チャーチ数nを受けてチャーチ数n+1を返…

おまけ

上の方法だと,yukobaさんのコメントで貼られてたClean入門の「不要な評価をしない」であった,正格言語では処理が止まらない f a = f (a + 1) g a b = a Start = g (1 + 1) (f 1)に対しても var f = function(a){ return function(){ return f(a+1).force()…

遅延評価のココロ

遅延評価ってこれであってるの? 評価しないでいいかもしれない状況なら変数(=関数)は評価しない.評価しないといけない状況になったときのみ評価する. それは,パターンマッチ/returnを求められたとき. つまり,評価されるのは他の関数に渡さなければなら…

ぐらひ〜

かなり高性能なjavascriptでのグラフ表示ライブラリ「html5」。 ただ、要素1つのグラフをIEで表示すると円弧内がfillされない(たぶんpath生成がおかしい気がするけど未チェック)ことに対する、とりあえず現状回避的打開策in circle.js for(var i=0; i