2009-03-01から1ヶ月間の記事一覧

ライフゲームモジュール

練習のため、http://d.hatena.ne.jp/komamitsu/20090326/1238081086をモジュールにしてみた。lifegame.mli type cell = N | C type world val create_world : cell array array -> world val make_next_world : world -> world val disp_world : world -> (c…

ライフゲーム

前々から気になっていたので、それらしいのを書いてみた。描画は手抜きでprintf。 (* ocamlfind c -package unix -linkpkg -o lifegame lifegame.ml *) open Printf let orig_world = [| [|0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;1;0;0|]; [|0;0;1;0;0;0;0;0;0;…

トンデモプログラミング言語論

http://alohakun.blog7.fc2.com/blog-date-20090325.htmlC/C++ は機械に近い言語なので、人間にとってはストレスが大きい。使っている時の脳波の波形はストレスを感じている時の β 波であんまり良くないんだけど、Haskell を使っている時の脳波はきれいな α …

DAViCalのエラー

個人的には特に興味がないのだけど、Web上に類似情報がなかったので書いておくことに。 libawl-php.noarch 0.29-2 installed rscds.noarch 0.9.5-2 installed とかを使っていて、Webサーバーのログに PHP Notice: Undefined variable: denied in /usr/share/…

事業継続計画とかとシステムの開発

気がついたらISMS管理責任者になっているので、最近は事業継続計画についてぼんやり考えているのだけどこれが結構面白い。天災(地震、風水害とか)や人災(テロとか)やセキュリティ事故などのリスク要因を洗い出し、事業の継続に対するそれぞれの影響を考…

プログラムの停止性問題とか

計算できない問題・関数についてがすごくわかりやすかった。簡潔で適切な文章だけでなく、イメージしやすくなるようなコードがついているので理解しやすい。対角線論法についての説明もあったけど、これまでで一番わかりやすいテキストであった。多謝。

資金管理(ピラミッド法)

カミさんとシステムトレードの話をしていて、資金管理がいかに大切かを話していたのだけど、そもそも本当に効果があるのか自分でも自信がなかったので、簡単に試してみた。以前、聞きかじった手法は 賭け金の初期値は五枚 勝ったら一枚減らす 負けたら一枚増…

Fixtureの書き方メモ

Railsのテストではテストデータの管理(Fixture)としてYAMLを使える。以前「YAMLだと表っぽく書けないなぁ」と思っていたのだけど、それっぽくできることに気がついたのでメモ。http://yaml.org/spec/1.2/ の「7.4. Flow Collection Styles」より cd1: acco…

無変換キーをEscに

xevを起動してから無変換キーを押してkeycodeを調べる。仮に131だった場合、$HOME/.Xmodmapに以下を書く。 keycode 131 = Escapeすぐに使いたければxmodmap ~/.Xmodmapなど。

tableタグに含まれている複数レコードの中から1レコードをAjaxで更新する場合のメモ

なんだか毎回迷ってしまうのでメモ <table class="content-table"> <tr> <th>Name</th> <th>Safe</th> <th>Memo</th> </tr> <% for program in @programs %> <tr id="<%= program.id %>"> <td><%=h program.name %></td> <td><%= check_box_tag 'program[safe]', '1', program.safe %></td> <td><%= text_field_tag 'program[memo]', progra…</td></tr></table>

食わず嫌いを直そう

cms

これまでの人生、CMSというものを何となく毛嫌いしてきたのだけど、きちんと触ってもいないのに食わず嫌いしてはいかん!ということできちんと弄ってみることにした。現在うちの会社は、Railsでややエンタープライズ気味のものを開発することがほとんどなの…

ISSとかNASA管制センターとか

NASA、ISSから見た地球の姿をストリーミング配信開始 | スラッシュドット・ジャパン サイエンス経由で見たのだけど面白い。もちろん地球の映像とかにも見入ってしまうのだけど、管制センターの室内の映像にもひかれる(さすがに居眠りをしている人はいないな…

LVS(DSR) & IP alias & IP-based virtualhost

ではまったのでメモ。状況はこんなかんじ V-IP1 V-IP2 | | | | +-+--------+-+ | | LVS | | +-+--------+-+ | | R-IP1 | | R-IP2(IP alias) | | +-+--------+-+ | | Apache | | | | | | | S1 S2 | +-+--------+-+(ここでは思いっきり単純化してますが…) DS…

BLACK LAGOON

こ、これは面白い… 何というか毎回、安心して面白さを期待できる感じ。まぁ、例の双子の話とかはニコ動でダイジェスト版を見て辛かった記憶があるので、ちゃんとみるとかなり辛そうだなぁ、とかあるけれども。

VMWare serverを使ってみた

カミさんのWindowsから自宅用の家計簿Webアプリを使うと、CP932のハイフンの扱いでどうも上手くいかないところがでてきた。自分用のPCは全部LinuxかFreeBSDになっちゃったので、動作確認用にVMWare上で動作するWindowsが欲しいところ。ということでUbuntu上…

land.toおそるべし

etc

昨日のswfファイルの置き場所を探していて、無料ホームページ 無料レンタルサーバー land.toというレンタルサーバーを見つけました。喜び勇んでユーザー登録しようとおもったのですが、パスワード欄が input type='text' で丸見え。登録完了メールにも平文の…

チューリングマシンで掛け算

ActionScriptの勉強がてら簡単なものを実装してみました。元ネタは 計算理論 (チューリングオムニバス―コンピュータサイエンスの旅) に載っていた内容で、単進法(数mはm個の連続する"1"の列で表現。例:3 => "111")表記での掛け算です。具体的には、 1111x…

革新的ソフトウェア企業の作り方

Eric Sink on the Business of Software 革新的ソフトウェア企業の作り方、読了。全体的に文章にユーモアが散りばめられていて楽しい(翻訳の上手さもあるのだろうけど)、とかソリティア一本で勝負に行くってそれなんて侍?とか、いろいろ面白かったのだけ…