二カ国語を話す人を対象に行われた新たな研究によれば、複数の言語を話す人は、それぞれの言語の持つ世界観の良い所を持ち合わせているため、柔軟に思考することができるとのこと(Slashdot、Science)。 認知科学者らは1940年代より、母国語が思考に及ぼす影響について研究を行ってきた。これによれば、話し手が何に焦点をあてるのかは母国語の影響を受けているのだそうだ。そこで、二カ国語を話す人の場合には、「二つの思考が、一人の人間の中に存在し得るのか」という疑問が湧いたという。 研究の結果、第二言語は物事の見方において、重要な潜在的役割を果たしていることが分かったとのこと。「他の言語を話せる場合、もう一つの視点を持っている」ことになり、言語を素早く切り替えるがごとく、物の見方も素早く切り替えることができるのだそうだ。
1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く