新千葉 ガーベージ・コレクション

FPGA マガジンやインターフェースで書けなかったこと等をちょぼちょぼ書いてます。@ryos36

2013-01-01から1年間の記事一覧

あーがまんがまん。

完全に我慢の時間になってしまった。

クロージャ変換

プログラムを作ってクロージャ変換の意味が分かった(かも)。基本的に明示的に表れる引数はレジスタに載ることが前提なのでクロージャ変換とは関連がない。クロージャ変換でクロージャに組み込まれるのはその関数が宣言された上の表記のバインドされた変数…

lisp to cps

ほんの少しできた。 [20]> (+-two '(:+ 3 5) (cons 'exit-msg '(:exit exit-msg))) (:ID (3) (#:G3104) ((:ID (5) (#:G3105) ((:+ (#:G3104 #:G3105) (EXIT-MSG) ((:EXIT EXIT-MSG))))))) 教科書通りに”効率の悪い” cps ができあがった。naive version と呼…

mini lisp on lisp とクロージャ

mini lisp を lisp 上で作った。mini lisp は define と #t #f をサポートした scheme 風の言語に設計した。lisp で lisp を作っているのであっという間にできた。っていうかもうなれちゃったな。何回も scheme つくっているので。 今回はクロージャを実装し…

レキシカル・スコープ

(setf make-func (let (a b) (labels ((make-func () (defun g (x) (setf b x) (format t "g a:~a b:~a~%" a b)) )) (setf b #'make-func)) (defun f (x) (setf a x) (format t "f a:~a b:~a~%" a b)) b)) レキシカル・スコープ恐るべし。Java が出てきたと…

DLR の死と COM の復権

マイクロソフトのばか野郎!! DLR を一生懸命勉強していたら、WinRT だと?WinRT の本質はどうやら COM らしいのだが、昔の COM は当時(2003年ごろ)情報が少なくて、いっぱい資料を買った割にはなんだかよくわからなかった。その上、Microsoft のページの更…

CL-WHO - Yet another Lisp markup language

CL-WHO というライブラリがある。HTML を lisp のS式で表現する。例えばこんな感じ。 (:a :href "http://www.google.co.jp" "google") 最終的には S 式だと困るので cl-who を使用して HTML に変換する。 (who:with-html-output (str *standard-output*) (:a…

http://w.livedoor.jp/donotforget/d/Android%20NDK にかいてあるとおりなんだけど、どういうわけかうちの Windows の SDK は中途半端になっていたので再度入れ直して javah を確認。 NDK をダウンロードして zip で展開。Window -> Preferences -> Android …

R-15指定でしょう

内容がいいか悪いかではなくて、単純に残虐なシーンがあるので R指定でしょ。R-15 ぐらいが適切なんじゃないかな。はだしのゲン。中の哲学的な意味はおいておいて単純に R指定だと思いますよ。 あと、何のために次の世代に伝えるのかは考えないといけないよ…

好評の識者対談シリーズですが、、、

好評の識者対談シリーズですが、、、と twitter で切り出す人。 自分たちの企画を”好評の”といいきってしまう、手前味噌がすごい。どういう基準よ。へー識者者と対談しているんだ。そりゃずいぶんと知識人だこと。なんか、ほかに選択しないのかな。 普通の人…

戦う基準を考える

じゃ”戦う”基準を考えよう。1. 非論理的で隣人を侮辱する事 最近、この手のは多いね。 先日、大島渚の足跡をニュースで流していて、その中に、子供の当たり屋を描いた映画があるらしい。昔はこういうのがあった。おれおれ詐欺や、最近じゃ MRI の話もあるし…

UVC Glass

http://www.sinby.com/products/uvc-glass/ http://www.sinby.com/en/products/uvc-glass/UVC-Glass のページを作ってみた。

似てるけどちょっと違うアプローチ

(defun a-todo-to-lisp ( a-todo ) (cl-ppcre:register-groups-bind (section detail estimate) ("(\\++)\\S*([^,]*)(.*)" a-todo) (list (let ((sum 0 )) (cl-ppcre:do-matches (s e "\\+" section) (incf sum (- e s))) sum) detail (let ((str-estimate (…

タブ形式から lisp へ

いくつかの言語ではタブによるインデントの違いからブロックを類推する言語がある。なんとなく、Lisp の括弧をなくそうとする涙ぐましい努力のような気もする。とはいえ、可読性を考えると有益な手段であるともいえる。 結局、Lisp にしてしまえばいいので、…

サーバが半死

格安で買った ML115 の電源がいかれて半死状態になった。 現在は Owltech の静音の 400W の電源を入れている。 ML115 の電源はなぜか ATX 互換ではないので、ねじ位置が違う。Owltech の電源を装着することはできない。純正品を買うと2万円超となるとの”う…

とある演算結果

arm で -O2 でコンパイル。フロートの処理と自前の固定小数点。 11396.128134 11400.286300 11400.286577 11414.937859自前の方が遅い。float の方が早い。-mcpu=cortex-a9 追加。 11632.349062 11636.424210 11636.424468 11652.179357自前の方は遅くなって…

GPIO sysfs 割り込みサンプルプログラム

#include <stdio.h> #include <unistd.h> #include <poll.h> #include <fcntl.h> #define GPIO_PATH "/sys/class/gpio/%s/%s" #define GPIO_DEFAULT_NAME "gpio105" #define USLEEP(usec) int main(int argc, const char **argv) { int fds; int i; const char *gpio_name; int flag; static char</fcntl.h></poll.h></unistd.h></stdio.h>…

opencv_haartraining での学習

Cascade performance POS: 3883 4000 0.970750 NEG: 1941 3.46561e-05 BACKGROUND PROCESSING TIME: 2877.00結局 2877 分かかった。47 時間!!

DLR

DLR の本を読んだ。 内容が薄かったが、、、私が見る限りにおいて、なにをもって出来がいいというかにも寄るけど Windows の CLR と DLR は汎用性が高く、ものすごく出来がいい。Android よりうえだと思う。汎用性という意味で。DLR のサンプルが Simpl とい…

OpenCV 簡単にできるらしい

http://hvrl.ics.keio.ac.jp/kimura/opencv/index.html.ja

Google vi 風?

google の検索結果を出す。 j キーを入力。 一番上の結果の左に三角マークがつく。 k キーを入力。 三角マーク移動。 j と k で移動できる。

MAKSIM というビジネス

以前から朝日新聞にときどき”写真”入りでのっていた MAKSIM というピアノ演奏者。クロアチア出身という事でちょっときにしていた。 そこで、グレイテスト・マキシムという CD を買ってしまった。 聞いてみてびっくり。 陳腐な展開と陳腐な音。おそらく、打ち…

ラズベリーパイの総本山

ラズベリーパイの総本山の名称raspbianシュールだけどさ。だめでしょ、、、

ラズベリーパイの git

raspberry pi に git をいれた。apt-get update で除法を細心にし、apt-get instll git でインストール可能。簡単。で開発機として使ってみる。 real 82m29.676s user 78m16.600s sys 2m54.480sコンパイルするのに 82 分かかかた。こりゃあかん。遅すぎる。

「これからはXXXの時代だ」と思った人への facebook/twitter アンチ入門

最初にビジネスという視点で facebook/twitter を見てみましょう。もし、あなたが過去にビジネス交流会や異業種交流会で有益なビジネスチャンスをつかんだとしたら facebook や twitter はよいツールになるかもしれません。 また、あなたがそもそも著名人で…

英語をちゃんと読めという話

コンパイルしていたらDon't set LD_LIBRARY_PATH. It screws up the build.というメッセージが出た。 エラー -> Google で検索という”考えない脳”になっていたため、英語を解釈せずに検索してしまった、、、、 しかもヒットした。http://forums.fedoraforum.…

PetaLinux

以前、PetaLogix が”有償”で配っていた PetaLinux。Xilinx から無償版がダウンロードできるようになった。思っていた通り(v0.4 という無償版から推察していた)いろんなとこから持ってきたフリーソフトを集めただけのしろものだった。大きいのは uClinux-dist…

月額10円~でレンタルサーバーを始める方法?

http://www.awsmicrosite.jp/s3-hosting/?utm_source=website&utm_medium=banner&utm_campaign=BA_LP_S3hosting&utm_content=LP_S3hosting&00N500000026nJd=BA_LP_S3hostingアマゾンの AWS の広告。ん? 月額10円~で(あっ!ずるい、読むと”10円で”だけ…

dts interrupt もう一度

dts の interrupt は通常(何を通常というかわからないが) #interrupt-cells = <0x2>; ... interrupts = <0x52 0x0>;みたいになっている。最初の数が IRQ の番号で、次がタイプ(この場合は IRQ_TYPE_NONE、gic では指定できないためか?) linux/irq.h にその…

Raspbery PI 起動

/usr/bin/raspi-config が最初に起動するらしい。とりあえずネットワークで使えるようになった。 700MHz で動くの?すごいね。