自分のための備忘録です。 Visual Programming やら状態遷移モデル関連やら、 モデル検査の話やら、ゲーム系のさまざまやら。 目次 先行研究 状態遷移モデル プロセス代数 モデル検査 Visual Programming Language 各種スクリプト ゲーム用の何か 先行研究 似たようなことを研究していらっしゃる所の一覧です アクションゲーム記述に特化した言語 筑波大学大学院ビジネス科学研究科の西森さんの研究です。2003年度未踏ソフトウェア事業に採択されています。相互リンク状態になっていますね(^^; こちらのリンク情報を踏まえた上でまとめられているので、ゲームとスクリプト言語に関する情報では西森さんのページのリンク集のほうがご覧のこのページよりお役に立つかと思います。 Actor's Theatre 神戸大学の瀧研究室で開発されている、3Dアニメーション用