設計方針とは? わかりやすく解説

設計方針

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/23 10:13 UTC 版)

What3words」の記事における「設計方針」の解説

What3wordsは、地球上57兆個に分割した3メートル四方マス目(グリッド)を使用する。各マス目には3語の英語のアドレス割り振られている。 What3wordsは、他のさまざまな言語3つの言葉世界中に名前をつけた。 2016年12月現在、what3words アドレスウェブiOSアプリユーザーも)は、以下の言語利用できるアラビア語フィンランド語フランス語ドイツ語イタリア語モンゴル語ポーランド語ポルトガル語ロシア語スペイン語スウェーデン語トルコ語iOSアプリスワヒリ語にも対応。2018年初めWhat3wordsは、インドネシア語ズールー語日本語韓国語ヒンディー語といった、さらに12言語追加対応した 。さらに、ベンガル語ペルシア語ウルドゥー語を含むインド様々な言語中国語について対応することも言及している。 what3words各言語25,000語の単語リスト使用している(英語では40,000語、陸だけでなく海もカバーする)。 単語リストは、自動化人間による作業複合的な手順経て、ついで、単語長さ特殊性頻度、および綴り発音容易さ考慮したアルゴリズムによって、分類して並べられる同音綴り差異がある単語例えmeet / meat)は混乱可能性最小限になるよう扱われ攻撃的な言葉削除されるwhat3wordsアルゴリズムは、人間自動両方エラーチェック可能にするために、世界中類似した音の3単語組み合わせ積極的にシャッフルしている。その結果、3単語組み合わせ多少間違って入力されても、その結果有効なwhat3words参照である場合その場所は通常ユーザー対象としている場所と離れているため、ユーザーとインテリジェントエラーチェックシステムの両方ですぐに誤り明らかになるwhat3wordsシステムは、独自のアルゴリズム限定されデータベース組み合わせて使用することで、コアテクノロジーはファイルサイズが約10 MB以内となっている。このデータベースでは、記憶に残る言葉都市部の場所に割り当て使用されている。What3wordsは、当初OneWordアドレス販売したが、それは年払い料金データベース蓄積されるものであった、しかし、現在、この機能中止されている。 what3words主な利点は、記憶しやすく、誤り検出しやすく、明快な日常言語であること、専門性なく使用でき、音声入力しやすい点にあると主張されている。

※この「設計方針」の解説は、「What3words」の解説の一部です。
「設計方針」を含む「What3words」の記事については、「What3words」の概要を参照ください。


設計方針

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2013/03/30 19:54 UTC 版)

多段フィードバックキュー」の記事における「設計方針」の解説

以下のような設計目標満たすように意図されている。 短いジョブ優先するI/Oバウンドプロセス(対話型プロセス)を優先するプロセス性質迅速に把握し、それに基づいてスケジュールを行う。

※この「設計方針」の解説は、「多段フィードバックキュー」の解説の一部です。
「設計方針」を含む「多段フィードバックキュー」の記事については、「多段フィードバックキュー」の概要を参照ください。


設計方針

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/10 01:05 UTC 版)

直観主義型理論」の記事における「設計方針」の解説

マルティン=レーフは、この型理論数学における構成主義原理基づいて設計おこなった構成主義は、「証拠」を含んだ存在証明を必要とする。すなわち、「1000より大きい素数存在する」という証明においては1000よりも大きくかつ素数である特定の数を確定しなければならない直観主義型理論は、BHK解釈Brouwer–Heyting–Kolmogorov interpretation)を内部化するという設計方針を達成している。興味深い点として、証明proof)が、調査比較、そして操作できる数学的対象になるというところがある。 直観主義型理論の型構築子type constructor)は、論理演算子logical connective)と一対一対応するように作られている。例えば、含意呼ばれる論理演算子( A ⟹ B {\displaystyle A\implies B} )は、関数型( A → B {\displaystyle A\to B} )に対応する。この対応はカリー=ハワード同型対応呼ばれる。かつての型理論もこの同型対応に従っていたが、現在のマルティン=レーフの型理論依存型dependent type)を導入することによって述語論理そのように拡張した最初のものである

※この「設計方針」の解説は、「直観主義型理論」の解説の一部です。
「設計方針」を含む「直観主義型理論」の記事については、「直観主義型理論」の概要を参照ください。

ウィキペディア小見出し辞書の「設計方針」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「設計方針」の関連用語

設計方針のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



設計方針のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのWhat3words (改訂履歴)、多段フィードバックキュー (改訂履歴)、直観主義型理論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS