Logo
Página inicial
Lições
Caderno
Dicionário
JLPT Teste
Vídeo
Atualizar
Comentários
Logo
Página inicial
Lições
Caderno
Dicionário
JLPT Teste
Vídeo
Atualizar
Comentários
Todaii Japanese
Switch language – current: pt
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

Sobre Todaii Japanese

História da MarcaPerguntas FrequentesGuia do UsuárioTermos e PolíticaInformações de Reembolso

Rede Social

Logo facebookLogo instagram

Versão do App

AppstoreGoogle play

Outros Apps

Todaii German
Todaii English
Todaii Chinese
Todaii Korean
DMCA.com Protection Status

Direitos autorais pertencem à eUp Technology JSC

Copyright@2026

Dicionário

Detalhes da Palavra

形式仕様記述

形式仕様記述(けいしきしようきじゅつ、英: formal specification)とは形式手法のひとつで、何らのシステムなどについて、その性質などの仕様を形式的に記述する手法や、そういった手法による仕様の記述である。 形式的な仕様を与えることにより、対象システムが仕様

Palavras Relacionadas

仕様記述言語

仕様記述言語(しようきじゅつげんご)は、システムなどの仕様を記述する、コンピュータ言語(すなわち形式言語)である。形式的でない仕様記述もあるが(後述)、そういったものを含めて何らかの主張がされている場合もある。 プログラミング言語がシステムそのものに変換されるのに対し、仕様記述言語

記述

(1)文を書きしるすこと。 また, 書きしるしたもの。 「事実をありのまま~する」 (2)〔哲〕 〔description〕 物事のありさまを概念的説明を混じえずにありのままに書きしるすこと。 また, その言語表現。 → 説明

仕様

〔「し」は動詞「する」の連用形から。 「仕」は当て字〕 (1)やりかた。 方法・手段。 「返事の~が気に入らない」 (2)「仕様書」に同じ。 <i>~が無・い</i> 〔「しよう」は, 「しょう」とも発音される〕 (1)他に良い手段がない。 やむを得ない。 (2)あきれるほどひどい。 手に負えない。 「~・い子だね」 <i>~も無・い</i> 〔「しよう」は「しょう」とも発音される〕 ばかばかしい。 くだらない。 「~・いことで怒るな」

仕様書

〔「しようがき」とも〕 (1)やり方や, その順序を記した文書。 「作業の~」 (2)建築・機械などで, 注文品の内容や, 図などを書いた書類。

プログラム仕様

基本仕様(Basic specification)は、要求仕様に基づいて、機能概要、機能構成、ハードウェア構成、運用の前提条件、性能や品質の要件などを記述する。最近では、要求分析でかなり詳細な要求仕様が作成されるため、基本仕様という形態では文書を作成しないこともある。 機能仕様(Functional

様式

(1)かたちや様子。 同類のものの間に共通の, 一定の形式・やり方。 「生活~」「書類の~が変わる」 (2)芸術作品・建築物などで, ある時代・民族, また流派などの中にみられる, 特徴的・類型的な表現形式。 「~美」「建築~」「ロココ~」

紋章記述

できる。 イギリスの役人が書類をフランス語で記述したころに紋章学が発達したため、イギリスの紋章学の多くの用語はフランス語が起源である。また、通常英語では形容詞を名詞の前に置くが、紋章記述ではフランス語の語順に基づくため、古来より大部分の形容詞を名詞の後に置く習慣がある。 紋章記述の記述

口述筆記

テープ起こし 要約筆記 - パソコン要約筆記;音声認識 筆記

ファイル記述子

ファイル記述子(ファイルきじゅつし、英語: file descriptor)とは、コンピュータプログラミングにおいてファイルへの参照を抽象化したキーである。ファイルディスクリプタあるいはFDとも呼ばれる。UNIX系システムでテキストターミナルを含むファイルストリームを参照する際に用いられる。 MS-DOSやMicrosoft

記述文法

記述文法(きじゅつぶんぽう)は、「実際の表現はどうなっているか」を捉える文法であり、「明らかに普通は使わないだろう?」という表現も含めて、「文法的に正しいかどうか」に関わる文法である。 例えば「できる」の命令形「できろ」は、規範文法では誤であるが、記述文法においては正である。日本語処理のうち、形態素解析において重要視される。

厚い記述

人類学その他の領域において、人間行動の厚い記述(あついきじゅつ・thick description)とは、状況をまったく知らない人でもその行動がよく理解できるように、行動そのものだけではなく文脈も含めて説明することを指す。 文化人類学者のクリフォード・ギアツが1973年の著書『文化の解釈学』でみずからの民族誌記述の方法として提示して有名になった(Geertz

要求仕様

からリクワイアメント(リクワイヤメント)ともいう。 従来からの工学的手法では、要求仕様を入力として製品開発における設計工程が行われる。 要求仕様作成工程の前に一般に実現可能性調査(feasibility study)や概念的分析の工程が置かれることがある。要求仕様作成工程はさらに、要求収集(関係者からのヒアリングなど)、要

スターリン様式

ウランバートル駅(モンゴル・ウランバートル) 人民大会堂、中国人民革命軍事博物館、北京展覧館(中華人民共和国・北京) 旧成都量具刃具廠紅楼(中国・成都) 厦門大学講堂(中国・廈門) 上海展覧センター(中国・上海) 人民大学習堂、朝鮮中央歴史博物館、錦繍山太陽宮殿、平壌駅、金日成競技場など(北朝鮮・平壌)

コツマルワパ様式

ントラ地方の南部に盛行したと考えられるナワ族風、メキシコ風の図像に特徴づけられる石彫群の様式をいう。グアテマラ・シティから車で2時間ほどの位置にあるサンタ・ルシア・コツマルワパ周辺の52平方キロメートルにこの様式の石彫をもつ遺跡が集中していることからコツマルワパ様式と名づけられた。最大規模の遺跡は

ギャラント様式

ポータル クラシック音楽 ギャラント様式(ギャラントようしき、仏、伊: galante)とは、1750年代から1770年代頃に流行した音楽様式。バロック音楽の複雑さから、古典派音楽の明晰さへと向かっていく中に登場した。 ギャラント様式は、多くの点でバロック様式

ボザール様式

に施された細やかな石細工、あるいは効率的につくられた控え壁などの要素、そして訪れたことのある名園や感動した景、場所によく似た庭園があったことを思い出させたり、甘美な幻想に浸るという知覚の快楽が連想に帰属し、最後に我々は認識の快楽に到達する、といった本質的に対象の特性や性質に関する意識理論的な考察を提示していた。

マヌエル様式

マヌエル様式は、自国の航海の達成を祝福するポルトガル人全体の感情に支えられ、大衆建築にも浸透する。 マヌエル1世の死後もポルトガルの建築物にマヌエル様式の装飾は取り入れられ、後の時代にネオ・マヌエル様式と呼ばれる建築様式が生まれる。 マヌエル

ハーフティンバー様式

ハーフティンバー様式(ハーフティンバーようしき、half timbering)は、北方ヨーロッパの木造建築の技法である。半木骨造とも呼ばれる。アルプス以北の北方ヨーロッパ(英、独、仏)の木造建築に多く見られる。特に15世紀から17世紀、英国の住宅に多用された。

ゴシック様式

「ゴシック」と呼んだのは、15世紀~16世紀のルネサンス期イタリアの人文主義者たちである。彼らはこの様式を、混乱や無秩序が支配する野蛮な様式だとして侮蔑の意味を込めて、「ドイツ様式(la maniera tedescha)」または「ゴート族の様式」つまり「ゴシック様式(la maniera