続:ゲーム開発現場で多くのオレオレ言語が生まれるのはなぜ? - kなんとかの日記トラックバックを頂いていたことに、W.Deeさんの日記経由で上記記事を見て初めて気づいた体たらくなわけですが。話題は「ゲーム開発現場で多くのオレオレ言語が生まれるのはなぜ…

実物をゲットしたらまた感想を書きますが、近日発売予定のゲームプログラミング関連書籍を2点ご紹介です。 スクリプト言語による効率的ゲーム開発 C/C++へのLua組込み実践 (GAME DEVELOPER) ゲーム開発者待望の、ゲームに組み込むという観点からの Lua 解説…

ネット上の開発情報は、えてして古かったり勘違いしていたりしていることも多いので、複数のソース元を当たらねばなりません。と思って、GEF*1 の正しい使い方を勉強するために、CodeZine と ObserveEclipse と書籍の「Eclipseプラグイン開発徹底攻略―Eclips…

「モデル検査のゲームシナリオへの適用」にて、モデル検査を実開発に適用するのための基本の基本の部分を説明し終わりましたので、実際に、説明用の超簡易スクリプト言語へ、説明したモデル検査手法を適用してみるサンプルプログラムを作ってみました。まず…

某問題のために作ったものです。シミュレートするだけで、解いてくれたりはしません。 かなりのやっつけ仕事でしたので、対称性とか全然考えていない汚いコードです。R での回転操作と、Y 軸周りと Z 軸周りの持ち替え操作だけを定義して、他の操作はその組…

1週間前に17煎が開催されていたばかりですが、20日の夜より、小煎と呼ばれる規模の小さいあんたがたが開催されているようです。まだ正式な名称が付いていないようで、？煎と呼ばれている模様。経緯や問題などはまとめblogやまとめWikiを参照してください。今…

先日の CEDEC のセミナーで NII の石川先生が勧めていらっしゃった書籍をさっそく買ってみました。タイトルどおり、SPIN というモデル検査ツールの本なのですが、SPIN のツールとしての使い方で終わっていないのがよいですね。簡単なモデル検査の概論から、S…

シーザー暗号をかける Perl スクリプトをついカッとなって作ってしまいました。できたと思ってスレを見たら、すでに解かれてしまっていたりｗ標準入力にいれれば、標準出力から答えが出てきます。シーザー暗号は、ずらす値を正負逆にするだけで、同じプログ…

深夜２時くらいに無事終了しました。問題を工夫しての終盤の盛り上げ方も良かったですね。システムはかなり複雑でしたが、スレッド的には好評だったようです。17回もやっていると、新しい刺激が必要だということでしょうか。同時に４問解けるので、何かでき…

ARG 繋がりでメモしておきますが、北京オリンピックに向けて実施されていた ARG の The Lost Ring も、オリンピック閉会式に無事に終了いたしました。終了後は、公式blogで、スポンサーのマクドナルドやIOCに関するアンケートが実施されていました。回答する…

先週の木曜日くらいからあんたがたの17番煎じが始まっていたんですね。17煎の 公式サイト と まとめブログ。あんたがたについては、過去のエントリ をご参照ください。1問目のネットラジオで説明されていますが、今回は毎回4問ずつ出題され、そのうちどれか1…

ARGFAN.COM の 第2弾「蘇る秘宝伝説」が12月12日発売？ によると、Vol.2 が12月に開始予定とのことです。今度の謎は宝探し、とのこと。今度のガイドパックには限定版を用意したんですね。原作者コメントの DVD が欲しいかはともかくとして、お金に糸目を付け…

今年の CEDEC は、業務の隙間を突いて、本当に行きたいところにピンポイントに参加するような形となりましたが、そんな中で一番心にひっかかった話が、あるパネルセッションでちょろっと零れた表題の話でした。目から鱗の気分です。もちろん、ニュアンスとし…

夜行バスで無事に帰ってきました。昨日のモデル検査のセッションはおつかれさまでした。昨日のモデル検査のセッションと関連して、「モデル検査のゲームシナリオへの適用」というページを執筆中です。モデル検査の技術のうち、ゲームのシナリオスクリプトへ…