2008-04-02
主人公は高校生、クラスで目立たないが、実はLispハッカー。 明治時代から代々続くプログラマの家系。 ご先祖様は、チャールズ・バベッジと競いあったり、フォン・ノイマンに「やつは天才だった」と言わしめたり。 彼の家系は、その類まれなハッキング能力から、時の権力者や、軍や、国際大企業や、秘密結社から狙われている。 彼の祖父は、戦時中に、現代でいう楕円曲線暗号を、時代に先駆け５０年早く編み出していたが、その秘密を守るため軍に殺された。 彼の父親は、２０００年問題で核ミサイルを発射しかけた国防総省のメインコンピュータのプログラムを修正したが、放射線に晒されて、命を落とした。 プログラミングの秘伝を記した巻物は一子相伝。 幼少のころから父親にプログラミングを叩き込まれる。 第１話 高校の文化祭で開かれた、タイピングコンテスト。 彼は決勝戦に進出。 「こんなヘンピな高校でも、なかなかのやつがいるもんじ
有限会社ITプランニング(IT Planning Inc.)
Copyright (C) 2006-2007 IT Planning Inc. All Rights Reserved.
creative@interactive
CakePHPとカレンダー表示（2） 8月 15th, 2007 日が空いてしまいましたな。 なぜか知らないが時間に追われている。お腹空いた〜。 でも黄色い人にケツを叩かれてしまったので頑張るよ！ では前回の続き。カレンダーをどうするのかっていう話。 CakePHP Calendarは使おうとしたのだけど、ぶっちゃけちょっと導入が大掛かりすぎないかってぐらいファイルがある。 ↑展開後のファイル群 何だ？これ。モジュールとかコンポーネントとかそういうレベルのお話じゃないのかな。これじゃもうアプリケーションだ。 さあPEAR::Calendarにするか！（←はやっ！） 続きを読む ページ情報： PEAR, CakePHP, WEBプログラミング | 6 コメント CakePHPとカレンダー表示（1） 7月 31st, 2007 さて、CakePHP使って何を作るか割と迷った。 SNS を作
thinking with the objective caml
printf デバッグのススメ 所謂「printf デバッグ」とは、プログラム中に副作用の命令を置き、プログ ラム実行順序や変数の値の確認を行う手法の事を指すと、私は理解しています. ここでは別に定義を論じたい訳ではありませんので、以下 printf デバッグを 上記の意味で遣います. ところで、この printf デバッグ、私は結構多用しています. もちろんデバッ ガを遣うときもありますが、かなり詳細に動作を追いたいときだけです. と、こんなことを暴露してしまうと、「デバッグするのにソースコードを更新 しなくてはいけないような手法に慣れるとは何事か. デバッガを遣え!」とお 叱りが飛んできそうです. 実際 emacs 上では大変簡潔な操作で ocaml のプロ グラムを実行順に追っかけることが出来ます. しかし、多人数で大規模開発をするならいざ知らず、小規模開発において個人 プレーでプ
osiire’s blog
唐突にlock-freeをAlloyで書いてみたくなったので書いた。 what is lock-free 冬のLock free祭り safe from Kumazaki Hiroki www.slideshare.net kumagiさんの資料によると、lock-free stackはリンクリストみたいなもので、先頭へのポインタをCAS(Compare and Swap)で切り替えるらしい。 素直にAlloy化するとこうなる。 sig Data {} // linked elements of stack. sig StackElem { data:Data , next:lone StackElem // edge dosen't have next element. } { no next & this // prevent self pointing. } sig HeadPoin
thinking with the objective caml
link 本家 ocaml 本体はここから入手できます. 最新版は現在 3.08.4 G'Caml -- evaluation with types -- ocaml の generic 版. まだ勉強中なのですが、ぜひ遣いこなせるようになりたいです. The Caml Hump 本家で配布されている定番のライブラリなど. GODI. The source code Objective Caml distribution ocaml 専用のパッケージソース管理システム. ocaml.jpとそのwiki 日本語の ocaml 総合サイト. ドキュメントの日本語化なども. ガンバレー. (って言ってるだけじゃなくて貢献しろって? 汗) Camomile Unicode ライブラリ. 規格に則ったテストまでやってる. すごひ. CamlImage 画像を扱うライブラリ. FreeType2 の
hoge wiki - FrontPage
我が求めるは、戒める物、捕らえる物。言の葉に答えよ、鋼鉄の縛鎖、アルケミックチェーン！(キャロ・ル・ルシエ)
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
汝の隣人のブログを愛せよ | LOVELOG