検索結果
このウィキでページ「システム検証パターン」は見つかりませんでした。以下の検索結果も参照してください。
- ウィキ (カテゴリ コンテンツ管理システム)システム、またはそれを採用したウェブサイトである。一般的なウィキにおいては、コンテンツはマークアップ言語によって記述されるか、リッチテキストエディタによって編集される。 ウィキはウィキソフトウェア(ウィキエンジンとも呼ばれる)上で動作する。ウィキソフトウェアはコンテンツ管理システム…28キロバイト (3,275 語) - 2024年4月19日 (金) 12:28
- 専用のハードウェアに専用のソフトウェアが搭載されて製品となるものが多いので、そのテスト工程は、ハードウェア、ソフトウェアの両方にまたがる検証が重要になる。 組み込みシステムを搭載した機器のハードウェアの構成パターンとしては以下のようなものがある。 独自のハードウェアのみで機器を構成する。 汎用のマイコンボードと独自のハードウェアを組み合わせて機器を構成する。…22キロバイト (2,752 語) - 2023年11月22日 (水) 22:43
- ハンドルシステム(Handle System)は、インターネット上に存在するデジタルオブジェクト等の資源に対して、永続的識別子を付与・管理・解決するための技術仕様である。 プロトコルはデジタル情報資源の識別子(ハンドル)を保存し、名前解決する分散的なコンピュータシステム…22キロバイト (2,975 語) - 2023年11月15日 (水) 19:03
- セガ・マスターシステム(Sega Master System)は、セガ・エンタープライゼスが発売した、8ビットの家庭用ゲーム機である。日本での型式番号はMK-2000。 日本で発売されたセガ・マークIII(以下、マークIII)の北米市場向け機種として、1986年6月にセガの米国法人セガ・オブ・アメ…41キロバイト (4,721 語) - 2023年12月25日 (月) 14:14
- Unix系 (Unix系オペレーティングシステムからのリダイレクト)Vですら、以上のような表現からは「設計や機能を模倣したオペレーティングシステム」に相当する)、現在、UNIXの名称は、オープン・グループが商標を所有しており、彼らの管理するSingle UNIX Specificationを満たすシステムのみが、その認証の証明として「UNIX」を名乗ることができる。そこ…11キロバイト (1,527 語) - 2023年12月26日 (火) 08:30
- システムトレードの要であるためシステムトレードでは自然と短中期戦略にならざるを得ない。[要検証 – ノート] バックテストだけでなくフォワードテスト(デモ口座などで実際にシストレを動かすこと)も重要。 ラリー・ウィリアムズ リチャード・デニス 『マーケットのテクニカル秘録――独自システム構築のために』(チャールズ・ルポー(著)、…7キロバイト (954 語) - 2023年7月26日 (水) 15:05
- 統計学的な計算の機能 定理の自動証明や証明検証(Proof Checker) 画像処理機能 音響合成 有限群論機能 システムに対するプログラミングやユーザーからの入力指示とそれに対する出力結果を保存して、再利用や再度の実行を可能とするユーザーインタフェース。 多くの場合に、システム…36キロバイト (5,145 語) - 2024年2月13日 (火) 10:42
- この際、大きく分けてローマ字でかなを入力する方式と直接かなを入力する方式の2パターンがある。ローマ字をかなに置き換える場合、ローマ字をかなに変換するのも日本語入力システムの機能のひとつである。 ひらがなである程度まとまった文章の読みをかなで入力し(未変換文字列)、変換キー…10キロバイト (1,447 語) - 2023年12月28日 (木) 04:16
- している。さらに各駅構内の各番線と駅の停止位置目標の情報も保持する。 車上DBはデータ入力による構築のあと、シミュレーション装置によりパターン発生の検証を行う。検証済みのDBは管理装置に登録される。運用時は、同装置からメモリカードにコピーを行い、同メモリカードをATS-Dxの車上装置にセットする事により、車上装置のDB設定が行われる。…197キロバイト (30,834 語) - 2024年4月27日 (土) 15:54
- のの、電子回路や電気に関する知識も要求される問題がある。計算問題のパターン(種類)が多いため(例えば、モーターの回転数を制御する、時間を計算で求める、など)、数学の能力も重要である。 本試験の特徴としては、出題される開発対象システムが幅広いことが挙げられる。以下は午後試験での出題例である。…20キロバイト (2,224 語) - 2024年1月8日 (月) 10:24
- PlayStation 3 (サラウンドサウンドシステムからのリダイレクト)もセーブすることが可能。2006年11月11日の段階では国産全7841作中、動作検証中が1631本でそのうちPS用511・PS2用292タイトルに何らかの不具合が発生した。 PlayStation 2との互換性はシステムアップデートによって発売当初からかなりのソフトで不具合は修正されたものの、互換性…203キロバイト (27,955 語) - 2024年4月24日 (水) 05:57
- PCエンジン (ホームエンターテイメントシステムからのリダイレクト)システムの組み合わせパターンは数多い。分類すると下記のようになる。なお下記では、初代PCエンジン・PCエンジンコアグラフィックス・PCエンジンコアグラフィックスIIを合わせ「コアマシン」と称する。 発売されたソフトの規格 動作可能な本体、ハード、システムの組み合わせ HuCARD…79キロバイト (9,338 語) - 2024年4月12日 (金) 02:09
- 永久パターン(えいきゅうパターン)はコンピュータゲーム用語の一つ。特定の行動によって本来あるべき仕様から逸脱し、ゲームオーバーになることなく半永久的にプレイを続けること。俗に縮めて「永パ」、もしくは単に「永久」と呼ばれる。 永久パターンは次の4つの側面から忌避される。 インカム低下…22キロバイト (3,085 語) - 2023年11月27日 (月) 05:17
- パターンマッチング(英: Pattern matching、パターン照合)とは、データを検索する場合に特定のパターンが出現するかどうか、またどこに出現するかを特定する手法のことである。 文字列のパターンマッチングには、固定されたパターンの検索ではKMP法やBM法など各種の文字列探索アルゴリズムがある…3キロバイト (380 語) - 2023年12月7日 (木) 10:26
- 文学部 (カテゴリ 検証が求められている記述のある記事/2022年7月-12月)外に、もう一つ専攻を決めて学ぶ。「ダブルメジャー」とも呼ばれる。一つは、自分の所属以外の学科の中から副専攻を選ぶパターン。もう一つ、学科間の学際的領域を副専攻用のコースとして設けるパターンがある。 文学部の学びを通じて、論理的な思考力や語学力、コミュニケーションスキル、人間と社会について深く理解する…15キロバイト (1,959 語) - 2024年4月24日 (水) 11:22
- システムで十分なブレーキ距離を取ることができるが、駅構内で進路が交差する時には、停止信号の位置から交差支障の地点までの距離が短すぎてブレーキを掛けても完全に停止させることができないために、事故を防ぐことができない場合がある。 PZBやZUBのようなより進歩したシステムでは、ブレーキパターン…9キロバイト (1,276 語) - 2023年5月15日 (月) 15:50
- システムインテグレーション(System Integration:SI)とは、情報システム(Information System:IS)の構築を指す。 また、企業の情報システムの構築を請け負うITサービス(ITコンサルティング、ITソリューション)を指す。この事業者をシステムインテグレーター(SIer)と呼ぶ。…18キロバイト (2,152 語) - 2023年11月4日 (土) 14:32
- Order)ETO などがある。 サプライチェーン構築においては、加工工程などの製造装置の特性、需要特性などが大きく影響する。サプライチェーンがどのような産業上にあるか、例えば、素材産業、組立産業、流通小売業などの産業別で、サプライチェーンの一般的なモデルをパターン化することができる。…20キロバイト (2,575 語) - 2024年3月31日 (日) 13:17
- ーンがあまりにも単調になりすぎる」という発言をしている[要出典]。 ガンダムシリーズ第一作『機動戦士ガンダム』におけるオールレンジ攻撃は、主にニュータイプがサイコミュ(サイコ・コミュニーケーター、感応波によって機械を思考制御するためのシステム…73キロバイト (9,973 語) - 2024年2月26日 (月) 05:38
- 情報 (一般システム理論の見解の節)1945年に提唱された「一般システム理論」は、その後、科学的・工学的な部分はシステム科学やシステム工学として広く発展し発展的解消のようになったため、以下は専ら哲学的な議論であるが、情報を「なんらかの「パターン」」だと「見なす」。パターンが別のパターンの生成・変換に影響を与える、と見なす。一般システム…37キロバイト (4,570 語) - 2024年2月28日 (水) 00:27
- 時相論理は、現実世界のさまざまなシステムや現象をモデル化するための重要な手段として位置付けられています。例えば、リアルタイムシステムの設計や検証、データベースクエリの時系列問い合わせ、人工知能の計画と推論などに時相論理が活用されています。 時相論理は、命題や性質が時間的な制約や依存関係を持つシステム
- プリミティブ型よりドメイン固有の型を ユーザの操作ミスを防止する プロのプログラマとは? バージョン管理システムを有効に使う いったんコンピュータから離れてみる コードを読む 「人間」を知る 車輪の再発明の効用 シングルトンパターンの誘惑に負けない パフォーマンスへの道は地雷コードで敷き詰められている シンプルさは捨てることによって得られる