2008-01-01から1年間の記事一覧
背景 prologサンプルコードをふと書いてみる - ラシウラで書かれたコードのように、普通の(関数型)プログラミングだと戻り値に結果を返すようなコードになるところは、 戻り値となる変数をパラメータの最後に置く その戻り値パラメータが、結果としてどのよ…
ある特性をプログラム的に判別するのに失敗する場合、以下の二つのように判定できれば、正しく判定成功といえる 実際にはその特性があるものを、特性ありと判別する: 正解 実際にはその特性がないものを、特性なしと判別する: 正解 同様に判定に失敗する場合…
prologサンプルコードをふと書いてみる - ラシウラでのprologコード、eval.pl %% example %% consult(eval). %% eval(nil, apply(lambda(x, ref(x)), 10), Result). eval(Env, lambda(Arg, Body), closure(Env, Arg, Body)). eval(Env, apply(Operator, Oper…
なんとなく。コードはSWI-Prologでチェックした。granpa.pl father(ieyasu, hirotada). father(hirotada, kiyoyasu). granpa(GC, GP) :- father(GC, C), father(C, GP). granpa(ieyasu, X).でX=kiyoyasuになるだけ。fact.pl fact(0, 1). fact(In, Result) :-…
http://www.nue.riec.tohoku.ac.jp/ppl2008/program.html より http://www.nue.riec.tohoku.ac.jp/ppl2008/proceedings/1-09.pdf 「漸進的型付け」というのはgradual typingのこと。Top Type(意味的には、全オブジェクトの具体クラスとして成り立つ型とでも…
探しにくいのでリンク Proceedings of the 29th international conference on Software Engineering 順に概要をチェックしてみる http://portal.acm.org/citation.cfm?id=1248820.1248834&coll=portal&dl=ACM&type=series&idx=SERIES402&part=series&WantTyp…
http://livedocs.adobe.com/flex/3/html/help.html?content=metadata_3.html#197532 ActionScriptのメタデータタグは、[Binding] var image;とかのように、言語要素につけることのできるカスタム属性。mxmlcでプリプロセスされ、コンパイラに埋め込まれたル…
http://d.hatena.ne.jp/bellbind/20080414/1208170498 のつづき Overview and Evaluation of Constraint Validation Approaches in Java Javaでのいろいろな制約検査アプローチの概要とその実装/メンテ/パフォーマンスでの評価。と発展アプローチの提案。 Ow…
アカウントのこってるし。 どうせfollowとかしないけど、なんとなくかきのこしたいことってあるんだなあと最近特におもった。
なんだろう。さっきからひじの痛みがひどくなっている。風呂で伸ばしすぎたか。
昨日まで東京ではTOKYO MXとテレ玉とチバテレビが一緒に出てたのに、今日からTOKYO MXしかでなくなった。今後はgooにしよう。 http://tv.goo.ne.jp/contents/epg/008/UHF-BSanalog_1/today_now/index.html
http://code.google.com/p/bellbind/ sourceforgeとかrubyforgeとかみたく別に審査があるわけではなく、フォームに入力してボタンをおせばすぐ作られる。
http://slashdot.jp/developers/08/04/01/0451222.shtml さすがにポインタの意味は覚えてるけど、Cでの構文、関数ポインタのtypedefとかsizeofとか忘れてた。 typedef int (*main_ptr)(int argc, char* argv[]); とか(引数の名前は無くてもいいがあってもい…
スクリプト言語では、not演算子がいろいろなタイプのオブジェクトに対して作用するようになっているのがおおい。しかし、not 0やnot nilがどうなるかの仕様はばらばらだったりするので、コードを読むときいつものことだが混乱する。 言語 0 null/nil/None/un…
Python 3000 and You Pythonの2.0〜2.5の変更は、結構ドラスティックに変わってるけど、なぜか古い仕様で書いてしまうのが多くなってた。結局標準ライブラリとかがold classのままだったりすると、mixしにくいってところがある(普通の典型的なコードを書く分…
http://twist.jpn.org/civ4wiki/ 簡単なインタフェースの割りに奥が深いんだなあと。 プレイレポみながらコツをつかんでいくか。
と思うわけですよ。 http://blog.livedoor.jp/dqnplus/archives/1106945.html http://b.hatena.ne.jp/entry/http://blog.livedoor.jp/dqnplus/archives/1106945.html 主張せざるをえない状況があるのかとか、政府やマスメディアがどういう面でダメかとか。征…
それはJR渋谷。左手にぶつかられるたびに脂汗だらだらになる。混めば混むほど当たってくる勢いもすごいから。新宿側先頭はそれでも比較的すいてるが、降りたところに空気対策もしてない喫煙所があって、これをよこぎらなくてはいけず、湿疹が出る原因のひと…
ひじもだいぶよくなり、10日目で今日やっと親指が顔に手が届くようになってきた。花粉がきついけど鼻をかむのは腕の位置を工夫すればなんとかできるところまでなっている。左手は紙越しに鼻を親指で押さえるだけだが結構な痛みがおきる。けど仕方ない。
ニコニコ動画の再生プレーヤーを表示する(niconico記法) - はてなダイアリーのヘルプ エコノミーで再生されるなら、デフォルトで幅320高さ240にすればいいのにと思った...らなってねー(いつもd2だから間違えた)。高ランクのエコノミーものとエコノミー回避…
転倒して左ひじを痛めた。いまはゆれるだけで痛いくらい痛みはまだきついし、病院によると一週間ほどはろくに動かせないかもしれない。片手でもある程度キーは打てるので、pcはそんなに問題じゃなかったりする。打つのはとてつもなく遅いけど。自分の日本語…
現時点では、tableやselectでのinnerHTMLによるoptionやtr,tdの追加削除の変更はやっぱりできなかった。HTML DOM自体は同じものか。あと、developer toolsから、IE8のstandard modeにしたら、paddingのところでonclickやonmouseoverのイベントがこなくなって…
http://www.tjkdesign.com/articles/css-layout/how-to/step-8.asp ブラウザごとの違いの吸収の仕方がすごいというか。pattern, {}だとIEだけが認識する(パターンの最後と{の間にカンマ)とかブラウザごとのふりわけとか、要するにバッドノウハウの宝庫だった…
パーザー部分はこのあたりっぽい。 http://opensource.adobe.com/svn/opensource/flex/sdk/trunk/modules/asc/src/java/macromedia/asc/ 言語はjavaだけど、ところどころにC++の名残がのこっている。
選択肢はあるけど、全部目的が違うのでは。特にリンクを「保存する」に向いてるのは結局ブラウザ上でのブックマークしかないんじゃないか。 どのように Web サイトのブックマークを保存しているかを聞いたところ、95.4%(314人)が「お気に入り」と回答。以…
Hearts of Iron 2みたいの
http://www.geekpage.jp/blog/?id=2008/2/29 は埋め込まれたムービーを基に書いているのですが、likeとwrapはムービーのプレゼンでの説明自体がES4仕様案と違う感じです。 http://www.ecmascript.org/es4/spec/overview.pdf の16,17,30ページがlikeやwrapの…
久々にいったらがんこが閉店してて、二郎系のラーメン大になってたようだ。ここのがんこのとり皮のから揚げがのってる「ハリハリ」が好きだったので残念である。どんなものが出るのかわからないので、肉をつけて「野菜にんにく」で頼んだけど、体調はそんな…
http://reddit.com/ 「続きを見る前|次」に若干違和感が。prev|nextに比べて押しにくくなった。この違和感って、たとえばこのはてなダイアリーと比べると一目瞭然。次→前の日、前→次の日なわけでつまり、before/afterに反射的に認識してしまうってことだった…
帰ったらUPSが悲鳴を上げていた。購入してから使い続けて二年半だけど、もうバッテリーが寿命なのだろうか。