Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Logo
홈
레슨
노트
사전
JLPT 연습
동영상
업그레이드
피드백
Todaii Japanese
Switch language – current: ko
Logo Japanese
[email protected]
(+84) 865 924 966
315 Truong Chinh, Ha Noi
www.todaiinews.com
DMCA.com Protection Status

Todaii Japanese 소개

브랜드 스토리자주 묻는 질문사용자 가이드약관 및 정책환불 정보

소셜 네트워크

Logo facebookLogo instagram

앱 버전

AppstoreGoogle play

기타 앱

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

저작권은 eUp Technology JSC에 있습니다

Copyright@2026

사전

단어 상세정보

形式文法

正規文法でも生成規則の左側はひとつの非終端記号だけが置かれるが、さらに右側も制限が加えられ、ひとつの終端文字か、ひとつの終端文字とひとつの非終端記号から成る文字列のいずれかしか許されない。（広く採用されている定義として、複数の終端文字で構成される文字列か、ひとつの非終端

관련 단어

形式手法

形式仕様記述ができると、それを証明の根拠として使用することもある。 場合によっては、システムの正当性の証明を行う動機は、システムの品質保証のためではなく、システムの動作をさらに理解したいためということがある。結果として正当性の証明を数学的証明の形式で行うこともある。自然言語を使い、あまり形式的

形式の法則

『形式の法則』（けいしきのほうそく, 英: Laws of Form）は、イギリス人の数学者であるG・スペンサー＝ブラウンが1969年に著した書籍である。 Laws of Form の各エディション： 1969. London: Allen & Unwin, ハードカバー. 1972. Crown

形式

(1)事物が存在しているときの， 外に現れているかたち。 「書簡の～をとった小説」 (2)物事を行うときの， 一定の手続きや方法・様式。 また， その一群の物を特徴づける， 共通して備えているかたち。 「届出用紙の～を変える」「この～の車は製造を中止した」 (3)実質・内容を失ってからなお続いている方法・様式など。 また， 体裁を整えただけのもの。 「～だけの質疑応答に終わる」 (4)〔哲〕 種々の要素を統一的な連関・構造にもたらすもの。 事象が成立する本質的な枠組み。 ⇔ 内容

終止形 (文法)

終止形（しゅうしけい）とは、日本語の用言における活用形の一つ。日本語の動詞や形容詞などは語形変化を起こすが、その語形を6つに分類したうちの一つで、3番目に置かれる形。 辞書では見出し語として使われるなど用言の基本形として扱われている。 終止とは文の終止のことであり、文末で言い切る際の語形をもとに作ら

楔形文字法

結文の両方がある。前文では、法典を制定する目的を説明し、神の権威を示し、人々にそれらに従うように命じる。法の制定者が、王子であろうと王であろうと、常に統治者の名の下に制定され公布されており、立法機関の産物であるようには見えない。 結文

式文

式文（しきぶん） キリスト教の式文 プログラミング言語における、文 (プログラミング) の一種類で、単一の 式 (プログラミング) のみからなる、文。（Expression Statement） このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異

法式

儀式・儀礼などの決まり。 作法。 「茶会の～」「～にのっとって葬儀を行う」

式法

儀式。 作法。

法 (文法)

印欧語の「直説法」、「命令法」、「接続法」（仮定法）、「希求法」、「条件法」、「禁止法」などがこれにあたる。 文法用語としての英語mood（述べ方）は、フランス語のmode（方式）の訛形であるが、他方でゲルマン語に起源を持つmood（気分）からも意味的な影響を受けている。 日本語においては「行く」（意志・命令・疑問など）「行こう」（

文法

(1)言語を文・語などの単位に分けて考えたとき， そこに見られる規則的な事実。 文法的事実。 (2){(1)}の事実を体系化した理論。 文法論。 (3)文章の作法。 文章を作る上でのきまり。

法文

(1)法令の文章。 (2)大学の法学部と文学部をあわせた略称。

法文

〔仏〕 経・論・釈など， 仏の教えを記した文章。 経典の文。

リトルネロ形式

リトルネッロ形式（リトルネッロけいしき　伊: Ritornèllo）は、西洋音楽の楽曲形式の一つ。 バロック時代の協奏曲に多く見られた形式で、リトルネッロと呼ばれる主題を何度も挟みながら進行する。ロンド形式と類似しているが、ロンドの場合にロンド主題が毎回同じ調（主調）で奏されるのに対し、リトルネ

キリング形式

gC となるようないくつかの非同型な実リー環が存在する。これらをその実形 (real form) と呼ぶ。任意の複素半単純リー環には（同型の違いを除いて）一意的なコンパクト実形 g があることが分かる。与えられた複素半単純リー環の実形はしばしばキリング形式の inertia の正の指数によってラベルづけされる。

8.3形式

ファイル名が0xE5で始まるエントリは「削除済みファイル」を表すので、CP932でのファイル名が0xE5で始まる場合、0x05で置換される。 ASCII文字の中にいくつか使用できない文字があるが、長いファイル名に使えない文字に加え、いくつか使えない文字が追加される。 長いファイル名にも使えない文字

モジュラー形式

function）は重さ 0 、つまりモジュラー群の作用に関して不変であるモジュラー形式のことを言う。そしてそれゆえに、直線束の切断としてではなく、モジュラー領域上の函数として理解することができる。また、「モジュラー函数」はモジュラー群について不変なモジュラー形式であるが、無限遠点で f(z)

ソナタ形式

ポータル クラシック音楽 ソナタ形式（ソナタけいしき、英: sonata form、独: Sonatenform）とは、楽曲の形式の一つ で、構成は基本的に、序奏・提示部・展開部・再現部・結尾部からなり、二つの主題が提示部・再現部に現れる。古典派の時代に大きく発展した。 この形式が、古典派ソナタ

エルミート形式

数学の線型代数学におけるエルミート積 (Hermitian product), エルミート半双線型形式 (Hermitian Sesqui­linear form) あるいは単にエルミート形式（エルミートけいしき、英: Hermitian form）は、シャルル・エルミートに名を因む特別な種類の半双線型形式で、対称双線型形式の複素版にあたる。

形式犯

形式犯（けいしきはん）とは、保護法益の侵害・危殆化といった実質を問わず、行為規制への形式的な違反をもって構成要件に該当する犯罪類型のことである。 以下のとおり、一定の命令違反という形式により成立し、法益の侵害・危殆化の有無を問わない。多くは行政取締規則として規定され、法定刑も罰金刑等比較的軽いものが多い。