タグ

ブックマーク / blog.bugyo.tk (4)

  • LispをCより速くする - リリカル☆Lisp開発日記

    ときどきの雑記帖経由で知った How to make Lisp go faster than C という論文が面白いです。 簡単な画像処理をCとCommon Lispで書いて速度を比べるというものですが、 CLの速度の劇的な変化が笑えます。 インタプリタで実行 -> Cの2300倍遅い コンパイルして実行 -> Cの60倍遅い 型宣言と最適化を付ける -> Cと同等の速度(一部に関してはCより速い) いくらなんでも最初より速くなりすぎだろwwww おまけに、最初のソースと最終的なソースの差はほとんど無く、 関数一つあたり、2,3行増える程度です。これは凄い。 あと、CMUCLの型推論がACLより優秀という話も面白かったです。 (defun mult (to from val) (declare (type (simple-array fixnum (*)) to from))

    higepon
    higepon 2009/02/26
    great
  • R5RSの形式的意味論 - リリカル☆Lisp開発日記

    R5RSの7.2節 Formal semanticsを読み始めました。 以前読んだときはさっぱり分からなかったのですが、 今回は気合を入れて読んでみたところある程度分かってきました。 R5RSの形式的意味論の基は 「式の一箇所を評価して、その値を残りの計算に渡す」 というもののようです。 "残りの計算"というものは関数になっており、 渡すというのは、関数適用することです。 全部理解するにはまだ時間がかかりそうです。 あと、実装する場合はPrologのような論理型言語ではなく、 関数型言語を使った方が簡単そうです。

    higepon
    higepon 2008/03/13
    キャラがかわった!
  • やる夫がgauche.nightに出演するそうです 〜当日編〜 (リリカル☆Lisp 開発日記)

    3/8の出来事 ~おやつの時間頃~ ____ /      \ /  _ノ    ⌒\  東京についたお /    (○)  (○) \  朝の5時から電車に乗り続けて |       (__人__)    |   既にしんどいお… /     ∩ノ ⊃  /    (  \ / _ノ |  | .\ “  /__|  | \ /___ / ~しばらくして~ ____ /⌒  ⌒\ /( ●)  (●)\ /::::::⌒(__人__)⌒::::: \   会場に着いたお!!! |     |r┬-|     | \      `ー'´     / ___ /      \ /ノ  \   u. \     なんか控え室とやらに案内されたお… / (●)  (●)    \    なんだかよく分からないというか、 |   (__人__)    u.  

    higepon
    higepon 2008/03/09
  • やる夫がgauche.nightの第1部座談会に出演するそうです - リリカル☆Lisp開発日記

    ____ /      \ /  _ノ  ヽ、_  \ /  o゚⌒   ⌒゚o  \  もう試験間近だお… |     (__人__)    |  きっと単位沢山落とすお… \     ` ⌒´     / / ̄ ̄\  /   _ノ  \ | し ( ●)(●) |     (__人__)  お前、ソフトウエア演習の授業出てないだろ |     ` ⌒´ノ  課題はネットで外から出せるようになってるけど、 | し       }   先生に直接見せないと未提出扱いらしい ヽ        }   早く先生のとこ行ってきたほうがいいぞ ヽ、.,__ __ノ _, 、 -― ''"::l:::::::\ー-..,ノ,、.゙,i 、 /;;;;;;::゙:':、::::::::::::|_:::;、>、_ l|||||゙!:゙、-、_ ____ /::::::::

    higepon
    higepon 2008/01/27
    ワロタ
  • 1