複数のセクションに分かれていて、最初のセクションは目次、改定履歴などが数ページ(i, ii, iii, iv, ...)あり、その次のセクションから本文に移ります。(1, 2, 3, ...) で、本文の1,2を両面印刷したいのですが、印刷範囲を1,2とすると最初のセクション(i,ii…

町をぶらぶら。 ゲームセンターって廃れてると思ったら、細々とやってますね。新しいゲームもいくつか出てました。 鉄拳５。ＣＧが格段に良くなってます。ガンダムの対戦もあるし（ＳＥＥＤかな？）ビートマニア系も新しいのが出てました。 私はシューティン…

http://www.google.co.jp 一番好きな画家。

会社で見たら、・・・見れませんでした。（T_T) 理由は良くわかりません。 なんだか、２行目に；がありません、とか言われるけれど、何が悪いのか良くわかりません。 なんでだろう？？？ JavaScriptのデバッグの仕方がよくわかりません。実は何種類かのサン…

Google Maps APIを使ってサンプルを作ってみました。 最初にコーキョが表示されます。 http://www.hcn.zaq.ne.jp/no-ji/TestGoogleMapsAPI1.html 参考：日経ソフトウェア2006年5月号 記事ではAPIはVersion1だったけど、今はVersion2が出てます。 GoogleMaps…

本屋に行って来ました。 入門Haskell〜はじめて学ぶ関数型言語 30日でできる！OS自作入門 ITアーキテクト Vol.4

cygwinでいけました。 その差分ファイルっていろんな形式があって、同じプロダクトにあわせないとダメだと思っていたのですが、最近はどれもいろんな形式に対応しているみたいですね。 context形式、unified形式、ed形式、RCS形式、Cソース形式、・・・多す…

色々探しています。 大昔に少しやっただけなので記憶があいまいだったのですが、やっぱり色んな亜種がありますね。合わさないとうまくいかないです。 Windows上なら、cygwinが妥当かな？ cygwinって日本語フォルダ名が化けますね。コレは仕方ないのかな？ ht…

今日はキックオフミーティングで、以前から気になっていたDさんに会うことができた。 ウワサでは「この人はスゴイ」と聞いていたけれど、スゴイといってもねぇ〜。どうよ。 Prologのインタプリタ＆コンパイラを開発したらしい。 ぶっ！！一発ＫＯ！ ・・・ま…

とりあえず、VDM++ は８割ぐらいは制覇したかな。 いくつか仕様を書いているうちに、状態遷移がVDMではうまく表せないのに気づいた。 なので、「VDMはUMLと併用すべき」というのが現時点での感想。 お互いが、足らないものを持っている。

会社のネットワークを見てたら Kyuri500 というマシンがあった。 きゅーり？ もしやと思ったら、NASサーバの２代目だった。w １代目は Nas250。数字は容量。

http://search.e-gov.go.jp/servlet/Public?CLASSNAME=Pcm1010&BID=595206001&OBJCD 経済産業省のこの案の中に形式手法について触れられていました。 「重要インフラシステム」について「推奨」となっています。 （２）形式手法・ツール等の活用 情報システ…

http://www.sampou.org/haskell/article/whyfp.html Haskellって関数型言語のせいか、SCHEMEとかLISPに似てますね。 カッコは少ないけど。 それにprologみたいなパターンもある。 驚いたのが、２つの関数を並行に動かしてストリーミング的に処理するところ（…

http://www.ononavi.jp/fan/yamato.html 旧友が写真を送ってくれました。 すげ〜！ 行きたい〜！！！

３〜５分咲き、というところです。

４月１日に発売されたSeaser本ですが、誤植が見つかりました。 誤:DI Container with OOP 正:DI Container with AOP ホームページ側はこっそり第2刷に置き換えました。 http://javanews.jp/ http://www.hcn.zaq.ne.jp/no-ji/reseach/20060401.html 詰めが甘…

オらイリージャパンからSeaser本が発売されたそうです。これは買わねば。ｗ http://www.hcn.zaq.ne.jp/no-ji/reseach/20060401.html