STRIPS - Wikipedia
STRIPS（Stanford Research Institute Problem Solver）とは、1971年、Richard FikesとNils John Nilssonが開発した自動計画に関する人工知能の一種。後にそのシステムの入力に使う形式言語も同じ名前で呼ばれるようになった。自動計画用の言語としては最も広く利用されている。本項目では、システムではなく言語に関して解説する。 定義[編集] STRIPS のインスタンスは以下の部分から構成される: 初期状態 (Init) 目標状態の記述 (Goal) - システムが到達しようとする状況 行動 (Actions) - 行動は状態に変化をもたらす操作なので、オペレータ(Operator)とも呼ばれる。各行動には以下の記述が含まれる: 事前条件 (Preconditions) - その行動を行うために満たされていなければならない条件
Workflow - Wikipedia
Wikimedia developer workflow An IMRAD model for developing research articles A workflow is a generic term for orchestrated and repeatable patterns of activity, enabled by the systematic organization of resources into processes that transform materials, provide services, or process information.[1] It can be depicted as a sequence of operations, the work of a person or group,[2] the work of an organ
プロセス計算 - Wikipedia
プロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Process algebras）は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。プロセス計算は、独立エージェントやプロセスの集まりにおける相互作用/通信/同期を抽象的に記述するツールである。また、プロセス記述を操作・分析可能にする代数学的規則も提供し、プロセス間の等価性について（双模倣性を使った）形式的推論を可能とする。主な具体例としては、CSP、CCS、ACP がある[1]。近年ではこれら以外に π計算(英語)、アンビエント計算、PEPA などもある。 基本機能[編集] プロセス計算には非常に様々な手法が存在するが（分子の相互作用の研究に特化し、確率論的振る舞いやタイミング情報を扱うものもある）、全てのプロセス計算に共通する機能もいくつか存在する
関連研究メモ
自分のための備忘録です。 Visual Programming やら状態遷移モデル関連やら、 モデル検査の話やら、ゲーム系のさまざまやら。 目次 先行研究 状態遷移モデル プロセス代数 モデル検査 Visual Programming Language 各種スクリプト ゲーム用の何か 先行研究 似たようなことを研究していらっしゃる所の一覧です アクションゲーム記述に特化した言語 筑波大学大学院ビジネス科学研究科の西森さんの研究です。2003年度未踏ソフトウェア事業に採択されています。相互リンク状態になっていますね（＾＾； こちらのリンク情報を踏まえた上でまとめられているので、ゲームとスクリプト言語に関する情報では西森さんのページのリンク集のほうがご覧のこのページよりお役に立つかと思います。 Actor's Theatre 神戸大学の瀧研究室で開発されている、3Dアニメーション用
【レポート】未踏IT人材発掘・育成事業結果を発表 - メルコグループ支援の2組も紹介 | パソコン | マイコミジャーナル
田中次郎プロジェクトマネージャ(PM)、石川裕PMが担当したIPA2008年度下期 未踏IT人材発掘・育成事業の成果報告会が開催された。 未踏IT人材発掘・育成事業とは、ソフトウェア関連分野でイノベーションを創出できる独創的なアイディアと技術を持ち、これらを活用する能力を持つ優れた個人(スーパークリエータ)を、優れた能力と実績を持つPMのもとに、発掘育成するというもの。さらに、スーパークリエータとして認定されると、新たなスーパークリエータの発掘を行うなどの人材育成に参画する環境を整備。あわせてビジネス化の能力を発揮できるように、産業化との連携を促進している。 報告会では、田中PMのもと、今村淳氏による「ウェブ連動新感覚コミュニケーションツールの開発」、米澤香子氏による「Human Pet Interaction Platformの構築」、久保田秀和氏による「動的コンテンツの開発を可能とする
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
noopy - sugi on the blog
The State of Workflow
結縁・中澤研究室
ＩＲＡＣＳ 赤外線カー自動制御システム