ウォンツテック

そでやまのーと

2007-10-24から1日間の記事一覧

カーネル

カーネルは様々なパーツの一部だけど極めて重要なパーツだと思う。人間に例えれば心臓+静脈動脈+神経系だよ。数学で言えば公理系。物理学で言えば法則。そんじゃコンパイラは何かっつーと言語で書かれた定理を公理系に変換する機械。

リチャード・M・ストールマン

来週の月曜に行こうと思ったのですが、なんと開発部長の指令により今日emacs(elisp)のエロい人と一緒にご本尊を拝みに行ってきました。いい会社です。公演はGPLv3に関する事やFree Software に関する思想的な事のみでしたので正直面白くはなかったのですが、…