Lambda calculus
Lambda calculus was developed by Alonzo Church in the 1930s and published in 1941 as The Calculi Of Lambda Conversion. It became important, along with Turing machines, in the development of computation theory, and is the theoretical basis of all functional programming languages, such as Lisp, Haskell, and ML. Functions in lambda calculus are very different from those in imperative programming lang
世界初のCPU「4004」開発回顧録(15)
4004シリーズLSIを使ったプリンタ付き電卓の量産がスムースに開始されたので，私は4004シリーズLSIをビジコンの新製品に応用できるように，若手の技術者への教育に専念した。ビジコンでは，4004シリーズLSIを使って，TTLを使うとコスト高となり商品化が困難だったキャッシュレジスタをNCR向けに開発した。 図1 4004シリーズを使ったNCR向けキャッシュレジスタ 図2 4004シリーズを使ったNCR向けビリングマシン 日本に帰れば組織上，4004シリーズLSIの開発は例外で，私はただの平社員だった。私自身が責任者となり新しいプロジェクトを提案することは望めなかった。しかし，4004CPUを開発することにより，開発者魂が体に染み付いてしまっていた。 4004シリーズLSIとプリンタ付き電卓の開発の成功で社長賞をいただいた。受賞スピーチで何を話したかは忘れたが，その会場と雰囲気は，今でも
働いても食べていけない - 湯浅誠氏が語る貧乏と貧困の決定的違い - オリーブの牧杖 （セプトル）
http://www.nhk.or.jp/heart-net/fnet/info/0712/71219.html 生活困窮者をサポートするＮＰＯ法人事務局長の湯浅誠さん。現代の「貧困」は、社会に“溜め”がなくなったことによるという。教育、企業の福利厚生、家族の支え、公的な支援など、人を外界の衝撃から守るために必要な“バリアのようなもの”が得られなくなった結果、多くの人が貧困を自己責任と考え、自己否定に落ち込んでいくという。番組では現代の「貧困」の現実を正しく知り、一歩踏み出すために必要なことを湯浅さんと共に考える。 今日、午後1時20分から再放送ですが、見ていないプレカリアートな人は必見ですよー。「貧乏」と「貧困」の決定的な差とは何か？ とか、刺激的なインタビュー番組です。 追記 - 番組内容を勝手に要約 「NPO法人自立生活サポートセンター・もやい」（東京 飯田橋）の事務局長湯浅誠さんの
Incremental mapreduce
Abstract Ponderings on how to build an efficient mapreduce system that keeps up-to-date (aka reaches consistency eventually) even if the data underneath changes, without recomputing from scratch. I'm also including a visual overview of mapreduce that may help fellow visual/spatial thinkers understand the topic better. Background So Google has their MapReduce , the people behind CouchDB are throwin
Glomek's Blog: Smart Languages and Dumb Parsers
Monday, December 24, 2007 Smart Languages and Dumb Parsers I used to find it supremely ironic that some of the languages which receive the most praise for placing the programmer on equal footing with the language designer, which give the programmer the most power to extend the language in any way the programmer wants, seem to have some of the dumbest parsers. Now I'm starting to wonder if a dumb p
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.ajatus.info/
