2005-01-01から1年間の記事一覧
4章の超循環構造 (define (eceval (make-machine '(exp env val proc argl continue unev) eceval-operations '( read-eval-print (perform (op initialize-stack)) (perform (op prompt-for-input) (const ";;; EC-Eval input:")) (assign exp (op read)) …
昨日の話だけど、行ってみたら休みだった…orz みんなそんな見栄を…
(define true #t) (define false #f) (define error print) (define error print) (define (eval exp env) (cond ((self-evaluating? exp) exp) ((variable? exp) (lookup-variable-value exp env)) ((quated? exp) (text-of-quotation exp)) ((assginment? …
日本の偽書 文春新書 http://www.amazon.co.jp/exec/obidos/ASIN/4166603795/503-7780567-7483104
オントロジー工学:チュートリアル http://www.ei.sanken.osaka-u.ac.jp/japanese/Ontology/ 帰納論理プログラミングによる 幼児の名詞語彙獲得のモデル化 http://bruch.sfc.keio.ac.jp/Ilp/paper/nlc99/nlc99.html オントロジーを利用した知識の共有/再利用…
LiLFeSユーザマニュアル http://www-tsujii.is.s.u-tokyo.ac.jp/lilfes/manual/index.ja.html 型と素性 http://www-tsujii.is.s.u-tokyo.ac.jp/lilfes/manual/chap3.ja.html 設定ファイル http://cl.naist.jp/kura/doc/conf_file.html 制約にもとづく統語論…
Prolog入門 http://bach.istc.kobe-u.ac.jp/prolog/intro/ Prologオンラインテキスト http://light21.s26.xrea.com/prologV2/contents.html お気楽 Prolog プログラミング入門 http://www.geocities.jp/m_hiroi/prolog/
Forth関連のリンク http://www.kt.rim.or.jp/~tyamamot/forthj/forthj.html Forth激入門 http://www.netlaputa.ne.jp/~kuno/forthmain.html
Moskau: fremd und geheimnisvoll, モスカオ フレムトゥ ウントゥ ゲハイムニスヴォル Turme aus rotem Gold, テュルメ アオス ローテム ゴールトゥ kalt wie das Eis. カルトゥ ヴィ ダス アイス Moskau: doch wer dich wirklich kennt, モスカオ ドッホ ヴ…
SDL フローチャートベースの図式表現、交換機の記述に広く利用 Esetelle 手続き型言語による記述、データリンク層の記述(に使われていた) LOTOS プロセス代数をもとした体型、データリンク層の記述・接続試験 Petri Nets グラフ表現、通信プロトコル、生産…
表示的意味論 公理的意味論 操作的意味論
Instruction Machine module Mac1 import StdEnv,StdString ::State = { pc :: Word , ac :: Word , sp :: Word , mm :: Memory } :: Word :== Int :: Addr :== Word word_bound :== 2^16 sign_bound :== 2^15 addr_bound :== 2^12 oper_bound :== 2^12 (|+|…
http://www.kt.rim.or.jp/~tyamamot/forthj/threaded-codej.html
http://www6.atwiki.jp/minix_200/pages/6.html
日時 2005年11月10日(木), 11日(金) 場所 東京都 港区 青山ダイヤモンドホール 受付締切 11/8 18:00まで http://osdn.jp/event/kernel2005/kernel2005.cgi 予定 チュートリアル (11/10 10:20〜17:30|有料(一部セッション無料)) U33 Linuxカーネル座談会 (11…
ピコネットについて、 Bluetooth機器を互いに近づけただけでアドホック接続がされる。 このときに形成されるネットワークをピコネットと呼ぶ。最大8台まで機器が接続される。一台のマスタと7台のスレーブである。マスタはホッピングする周波数やタイミング…
;; my function ;; gaucheのためのelisp関数 ;; カーソル下のwordのリファレンスをブラウザに表示する関数 (defun browse-url-web-firefox (url) (interactive (browse-url-interactive-arg "")) (x-set-selection 'PRIMARY url) (start-process "WebFirefox…
http://hira.main.jp/wiki/pukiwiki.php?2005_6_23%A5%AB%A1%BC%A5%CD%A5%EB%BA%C2%C3%CC%B2%F1%AD%A1 大きなソースを読むための方法。 wikiなどにソースを読んだコメントをまとめる。 ボトムアップで読んでいくなどが特徴。
USBに関連して参考url http://www.picfun.com/usb00.html
いま xbillのソースみてます。 win用のもあるんだけどボーランド用なので、VC用に書き換えてます。 その覚え書き graphicback.cpp はコメントアウト 変わりに をインクルードする 'ffblk' findnext findfirst がコンパイルエラーを起こすためStdAfx.hを含め…
Smalltalkを勉強するにあたって便利なページ http://www.sra.co.jp/people/h-asaoka/study/SmalltalkPrograming/シンボル := 代入演算子 . 終端子 ; カスケードプロトコル ↑ 次のオブジェクトを返す [] ブロックデリミタ () 式デリミタ : キーワードメッセー…
今squeakでsmalltalkを勉強しています 変数は、最初に||記号の間に書いておく。 テキストはシングルクオートで。 アンダースコア(_)と^記号は、それぞれ「←」「↑」記号に変わります。 数字1 to: 数字2 do: [: 変数 | 実行する文 ]継承クラス subclass:…
# define BEGIN_EVENT_MAP(eventMap, elemCount) \ WmEventMapEntry* _WmGet##eventMap(void) \ { \ static int _i = 0; \ static WmEventMapEntry _map[elemCount+1]; \ int _elemCount = elemCount; \ if (_i > 0) return _map;
http://www.sumibi.org/ よくわからない
金がおろせました
疲れた。ねむい。
現場に印度人がやってきた。 となりの課なんだが。 カーストとか聞いていいんだろうか? そんな事より課長がえげれす語でしゃべってる方が俺的には問題。
今日は早く起きて試験会場の下見にいきました 遠い… なんで多摩地区の私が東海大学なのか? また東海大学も駅から遠い 当日は早めにでないといけない。
今日は本当にいい天気ですね。 こんな日は仕事したくないです:) 桜の花もいい感じにさいています。お花見するにはもってこいの日ですよ。 実際立川で花見オフやってるし。 行きたかったな〜