「形式的」を含むwiki一覧 - 3ページ

魔法戦士リウイ - アニヲタWiki(仮) 非公式避難所wiki

に“ロードスの騎士”と詠われる大英雄となる男。リウイと会ったのはカノン自由軍の幹部としてレオナー王子と共にカノン解放の為に戦っている時期で、形式的にではあるがカノン王国の騎士団長を務めている。カラル村の村人からの依頼で、火竜山の異変を調査すべくフレイム王国にやって来ていた。ディー

帝国(ウォーハンマー40k) - アニヲタWiki(仮) 非公式避難所wiki

して弾圧しているが、どうしてもカルト・メカニクスの技術力や生産力が〈大征戦〉を遂行するのに必須だったので例外ではあるが受け入れている。帝国の形式的な配下だが、事実上別の勢力すなわち人類帝国と永遠の同盟を結んだ独立集団として帝国に忠誠を尽くしている。画像出典:ウォーハンマー40K「

葬儀の服装 - ファッション・コスメ初心者wiki

。遺族が故人を偲ぶために、明るい色や特定の色を要求することがあります。この場合は、必ず遺族の意向に沿うようにしましょう。特に指定がない限り、形式的なものに努めましょう。葬儀は通常、厳粛な場です。クラブで着るような服装よりも、就職面接に着ていくような服装がいいでしょう。場合によって

レイトン教授VS逆転裁判 - アニヲタWiki(仮) 非公式避難所wiki

の中に取り込まれてしまう。一方、ロンドンに出張していた成歩堂と真宵は、貨物船で起きた傷害及び窃盗事件の被告となったマホーネを弁護することに。形式的なものだったはずの裁判で、2人は真実を解明して無罪を勝ち取る。だがその帰りにマホーネが忘れていった『ラビリンシア』を覗きこんだことで同

ドクター・ケンプ/月形剣史 - アニヲタWiki(仮) 非公式避難所wiki

はいえ)最早狂信とでも言うべき思想に染まってしまった姿を見せつけた。そして……ドクター・ケンプ!遂にここに、宿敵ライブマンを倒したぞ!そう(形式的に)ライブマンへの勝利を宣言し、とうとう千点頭脳に認定されたケンプはガードノイド・ガッシュが持ってきた頭脳摘出カプセルに身を委ね、自分

提督LOVE勢 - アニヲタWiki(仮) 非公式避難所wiki

旋風を巻き起こした。そこからつけられた二つ名が「有明の女王」。Gotland「なあに?改まって……変なの。私とあなたの仲じゃない?今更そんな形式的なの重要?」2018年初秋イベントにて実装されたスウェーデン製の航空巡娘。おっとりした外見と裏腹に大変フランクな性格で、「気づけば隣に

曹操 - アニヲタWiki(仮) 非公式避難所wiki

これはちょっと正確ではない。曹操が愛した漢詩は“楽府”という歌うことを前提にした詩であり、すでに前漢の時代には成立していた古典形式である。「形式的な旧詩の世界を打破し、志や憂憤や苦難を詠った新しい詩の世界を作った」ともされるが、そういう方向性の歌も既に在野の士大夫層の中に存在して

EVA量産機 - アニヲタWiki(仮) 非公式避難所wiki

メインカラーは白。量産機というだけあってそれまでのエヴァとは違い、9機すべて形状・カラーリング・装備が共通しており、性能面も同じ。先発機同様形式的に機体番号で個体を区別されているが、姿形が全く同じであるため登場時点では外観から個体を判別するのは困難、というか不可能に近い。製造は世

偽書 - アニヲタWiki(仮) 非公式避難所wiki

とが多い。腰越状壇ノ浦の戦いで勝利するものの失態も犯してしまった源義経が、兄・頼朝に対して怒りを解くために出したと言われる文書。だが、これも形式的にこの時代のものとしては不自然だったり、掲載されている『吾妻鏡』自体の信頼性に疑問があるとされる。(実際の所、義経が腰越に留め置かれた

張飛 - アニヲタWiki(仮) 非公式避難所wiki

だったため、演義の著者からは劉禅同様のダメ息子扱いを受けており、残念ながらその座を逸した。ただし儒教的教養のある彼らと違い、庶民層はそこまで形式的な道徳論にこだわらないので、民話レベルでの伝承や逸話では結構好意的な評価を受けることもある。『敬哀皇后・張皇后』母親は夏侯淵の姪。彼女

帝国 - アニヲタWiki(仮) 非公式避難所wiki

く西ヨーロッパの支配者となったフランク王国のカール(独語読み)/シャルルマーニュ(仏語読み)大帝を「ローマ皇帝」に戴冠*7して成立した帝国。形式的には「ローマ帝国の復興」という形をとるが、この時点でも実際には一部の支配地域が重なるだけの全く別の国である。ただ「フランク・ローマ皇帝

僧侶 - アニヲタWiki(仮) 非公式避難所wiki

院の権益を守るために存在する僧侶。平家物語に興福寺の僧兵などが出てくる他、比叡山延暦寺や根来衆(こちらは忍者のイメージが強いが)などが有名。形式的には僧侶だが、実態は完全な戦士、武士である。・聖騎士こちらは聖職者にして騎士。テンプル騎士団・ドイツ騎士団・マルタ騎士団などの騎士修道

昔話のマイルド化現象 - アニヲタWiki(仮) 非公式避難所wiki

会からしてみりゃ魔界もいいとこに生息しているのでかなり無理ゲーである。*10 おそらく「前半と後半が別の話に由来」だとか「インセストタブーを形式的に避けるための儀式的なもの」とか言われている

リルガミン(Wizardry) - アニヲタWiki(仮) 非公式避難所wiki

登録日:2018/03/26 Mon 00:05:06更新日:2024/02/19 Mon 13:45:37NEW!所要時間:約 5 分で読めます▽タグ一覧ギリシア風の兵隊が君に近づき敬礼をしながら、ちょっとアテネ風のラテン語でこういった。   ___   / || \   /_

ダーリン・イン・ザ・フランキス - アニヲタWiki(仮) 非公式避難所wiki

に感情を失っていくことが示唆されている。ナインズ曰く「命令を破り怒られたコドモは初めて」という。オトナもパートナーを組むが古い習慣に由来する形式的なもので、お互いに干渉しないその生活では会話も生殖も必要でないことが示唆されている。また脳を刺激する機械に入り幸福を摂取するのだという

マリーのアトリエ 〜ザールブルグの錬金術士〜 - アニヲタWiki(仮) 非公式避難所wiki

カデミーの在籍期間は通常4年(マイスターランクに進めばさらに2年)のため、明らかに異常な期間となっている。しかもあくまで「卒業試験中」なので形式的には留年扱いとはなっていない模様。もっとも『エリー』でこの試験を受けた場合はエンディングのテロップできっちり「5留」といわれるし*2、

有料道路違反に異議を唱える方法 - 自動車初心者wiki

求に際して、250ドルまたは課された通行料脱税の罰金額のいずれか低い方の金額の保証金の支払いを要求しています。聴聞会は通常、実際の裁判よりも形式的ではありませんが、あなたは行政委員会と証拠を交換することになります。例えば、ワシントン州運輸局に聴聞会の請求を提出した場合、聴聞会予定

ユウキ/紺野木綿季 - アニヲタWiki(仮) 非公式避難所wiki

:57:12) ↑ユウキ本人が実際にクリスチャンだったかどうかは明言されていなかったと思う。お母さんがカトリックだったから幼児洗礼を受けて、形式的には信者の可能性がある。いずれにしても聖書の言葉が心の支えにはなっていたみたいだね。 -- 名無しさん (2022-05-15 1

プログラム規定説とはなんですか? - クイズwiki

A. プログラム規定説とは、憲法の特定の人権規定に関して、形式的に人権として法文においては規定されていても、実質的には国の努力目標や政策的方針を規定したにとどまり、直接個々の国民に対して法的権利を賦与したものではないとする考え方です。参考URL:https://ja.wikipe

チョムスキー階層とはなんですか? - クイズwiki

より高度な「文(Sentence)」のレベルへと、階層的に分類されています。この階層的な分類体系により、生成文法理論は、自然言語の文法構造を形式的に記述し、その生成メカニズムを解明することが可能になりました。参考URL:https://ja.wikipedia.org/wiki/

1,3-双極子とはなんですか? - クイズwiki

A. 1,3-双極子は、電気的に中性な化合物のことであり、形式的には共鳴混成体で表されます。参考URL:https://ja.wikipedia.org/wiki/1%2C3-%E5%8F%8C%E6%A5%B5%E5%AD%90

形式意味論とはなんですか? - クイズwiki

A. 形式意味論とは、自然言語やプログラミング言語の意味論において、その「意味」を形式的に表現しようとする手法です。具体的には、自然言語やプログラミング言語の「意味」を、その「形式」つまり「文法」や「構文」を用いて表現します。これにより、自然言語やプログラミング言語の「意味」を、

実効支配力とはなんですか? - クイズwiki

A. 実効支配力とは、形式的なものではなく、実際・実質的に支配する力をさします。参考URL:https://ja.wikipedia.org/wiki/%E5%AE%9F%E5%8A%B9%E6%94%AF%E9%85%8D%E5%8A%9B

Mizarとはなんですか? - クイズwiki

A. 自動証明検証システム Mizarは、数学的な定義や証明を厳密に形式的に記述するためのデータ記述言語、証明検証プログラム、ライブラリから構成されるシステムです。参考URL:https://ja.wikipedia.org/wiki/Mizar

不定元とはなんですか? - クイズwiki

A. 不定元とは、多項式や形式的冪級数に現れる記号であり、しばしば変数と呼ばれるものです。参考URL:https://ja.wikipedia.org/wiki/%E4%B8%8D%E5%AE%9A%E5%85%83

論理プログラミングとはなんですか? - クイズwiki

A. 論理プログラミングとは、数理論理学(記号論理学)を基礎にしたプログラミングパラダイムです。数理論理学は、数学的理論を形式的に表現し、証明するための方法論であり、論理プログラミングは、数理論理学を応用して、論理的な推論に基づいてプログラムを記述します。論理的な推論に基づいてプ

モデル検査とはなんですか? - クイズwiki

A. モデル検査は、形式システム(形式的なコンピュータプログラム)をアルゴリズム的に検証する手法です。具体的には、入力となるデータやルールに対して、システムが正しく動作するか、エラーが発生しないか、期待通りに動作するかなどを、アルゴリズムを用いて検証します。参考URL:https

属性文法とはなんですか? - クイズwiki

A. 属性文法とは、形式文法の生成に関する属性を定義する形式的手法です。具体的には、形式文法の生成規則や生成規則の属性を定義し、生成規則が文法を満たすかどうかを判定する手続きを規定します。参考URL:https://ja.wikipedia.org/wiki/%E5%B1%9E%

形式仕様記述とはなんですか? - クイズwiki

A. 形式仕様記述とは、システムなどについて、その性質や動作などを形式的に記述する方法です。参考URL:https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E4%BB%95%E6%A7%98%E8%A8%98%E8%BF%B0

挨拶とはなんですか? - クイズwiki

A. 挨拶とは、特定の状況や機会において、純粋な礼儀や敬意を示すために行われる形式的な言葉や行動のことです。参考URL:https://ja.wikipedia.org/wiki/%E6%8C%A8%E6%8B%B6

無機過酸化物とはなんですか? - クイズwiki

A. 無機過酸化物とは、O22− と金属とから構成される塩の総称であり、形式的には過酸化水素の金属塩である参考URL:https://ja.wikipedia.org/wiki/%E7%84%A1%E6%A9%9F%E9%81%8E%E9%85%B8%E5%8C%96%E7%89

水晶肴肉 - 食物語 新馬版テキスト・情報保存庫

身上获得长生的奥秘。在漫长的折磨中,他找回了一些魂力,获得惊人美貌。再后来,海域中诞生了以他为原型的虚拟仙人。不过,对他来说,这也只是另一种形式的受制于人而已…… 水晶肴肉は数百年前に江蘇省で生まれ、そこで張果老※2と親しくなり

地元の航空管制官の声を聞く方法 - 自動車初心者wiki

ごきげんよう "と管制官が言う場合である。もう一度、パイロットは指示を読み返す。管制のない空港への着陸管制されていない空港での着陸は、あまり形式的ではありません。 たいていの場合、パイロットはその周波数にいる誰にでもブラインドで送信し、自分の位置や意図を告げる。 アップウィン

栄光の軌跡_イベント2 - Arknights wiki JP (アークナイツwiki)

境主题的科考记录中解锁至65级 “多样化研究设计” 獲得方法 为解锁多种队伍形式的您颁发的蚀刻章。 您已在条件允许的情况下设计了多种探索分队形式,能够有效应对冰原上的各种挑战。 在集成战略:探索

aklib_story_風雪一過_BI-1_三家会議_戦闘後 - Arknights wiki JP (アークナイツwiki)

て終えた後、私自ら一同を率いてカランドへ参拝いたします。[エンヤ] あなたのイェラガンドへの信仰は、天地が証明してくださります。それを改めて形式的な礼法に則り証明されると仰るのですか?[エンシオディス] 滅相もございません。[エンヤ] ……[エンヤ]

有料道路違反の異議申し立て方法 - 自動車初心者wiki

求に際して、250ドルまたは課された通行料脱税の罰金額のいずれか低い方の金額の保証金の支払いを要求しています。聴聞会は通常、実際の裁判よりも形式的ではありませんが、あなたは行政委員会と証拠を交換することになります。例えば、ワシントン州運輸局に聴聞の請求を提出した場合、聴聞予定日の

aklib_operator_フリント - Arknights wiki JP (アークナイツwiki)

クリス人を二人も叩きのめすと、状況が変わった。フリントにはパワー面での劣勢をものともしないスピードがある。その迅速でトリッキーな拳法は、他の形式的かつ理論に裏付けられた拳術とはまるで異なっていた。ただ相手を打ち倒すためだけに使われる拳には、ジャングル特有の捉え難い自由さと危険さが

aklib_story_武とは何ぞや - Arknights wiki JP (アークナイツwiki)

ば、全武術界の攻撃の的となり、尚蜀の地にはいられなくなります。[ワイフー] 道場破りのようなやり方は私もよくないと思いますが、それはさすがに形式的すぎるんじゃありませんか?[ワイフー] それに、その武術界とやらは和を重んじて仲良くやっているようですが、つまり無相門も普段から鉄甲門

証明可能安全性を持つ暗号とはなんですか? - クイズwiki

A. 証明可能安全性を持つ暗号とは、暗号の安全性を形式的に定義し、数学的証明の正当性によって、その安全性が定義の範囲内で保証されるものです。具体的には、暗号アルゴリズムの安全性を証明するための数学的手法を用いて、その安全性が保証される範囲を定義し、その安全性が保証されるかどうかを

フガシティーとはなんですか? - クイズwiki

. フガシティーとは、物理化学の分野において、理想気体の化学ポテンシャルの形式が成り立つように、圧力の高い実在気体の化学平衡を扱うときにも、形式的に適用できるようにした概念です。参考URL:https://ja.wikipedia.org/wiki/%E3%83%95%E3%82

チューリングマシンとはなんですか? - クイズwiki

した。チューリングマシンは、与えられた問題を解くのに必要な計算手順を、それが実行可能なチューリングマシンであれば、それが実行可能であるという形式的な証明に基づいて決定します。このモデルは、現代のコンピュータ科学の基礎となる重要な概念であり、コンピュータが計算できるかどうか、そして

形式言語とはなんですか? - クイズwiki

A. 形式言語とは、その文法(構文、統語論)が形式的に与えられている言語のことです。参考URL:https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E8%A8%80%E8%AA%9E

チヨ婆(NARUTO) - アニヲタWiki(仮) 非公式避難所wiki

と知り驚く場面が追加されてる)その後、綱手の元で修行を積んだ春野サクラがカンクロウの解毒を行い、カンクロウは無事命を取り留めた。(チヨ婆は「形式的に役立たずの下っ端が遣わされてくるのが関の山」と高をくくっていたため、カンクロウを治せるほどの人材が来たことにかなり驚いていた)そして

皇神楽耶 - アニヲタWiki(仮) 非公式避難所wiki

隊したことから今ではかなり嫌っているらしい。対してゼロにはご執心であり、自ら「ゼロの妻」を名乗っている。これについては政治的な影響を考慮した形式的なもの…と思いきや、本気で惚れている。「英雄色を好む、と言いますし!」ということで浮気についても寛容である。器がデカい。◇幼少期この頃

青木真也 - Bout Wiki

ラエストラ東京の指導スタッフから解任されたことが発表された[24]。同日に行なわれたSRCの記者会見では、「試合後のインタビュー等においても形式的に謝罪の弁は述べているが、フィニッシュした極め技のことを「笹原さんが『刺しに行け』と言って、しっかり刺してきたので『笹原圭一2010』

第4次安倍内閣_(第1次改造) - なんでもある Wiki

派閥と掛け持ちしている議員を含め衆参25名。※ 無所属で自民党会派に所属する井上義行(細田派)、渡辺美知太郎(麻生派)を含む。※ 慣例により形式的に派閥から離脱中の総理大臣、衆参議長、党幹部は派閥所属議員に含む。名称勢力国務大臣副大臣政務官補佐官その他細田派994790参議院議長

紫禁城 - なんでもある Wiki

凱歌の演じる門番に止められたり、溥儀に紫禁城から追放された宦官達が居たのもこの場所である。当時、既に清朝は滅び中華民国の時代となっていたが、形式的上この門の内側は清朝のままであった(ただし、太和殿等の在る外朝部が中華民国の領域で、内朝部が清朝のままである)。現在は、観光記念品を販

校訓 - なんでもある Wiki

スル勅語を根拠とし、恒久的かつ上から下に伝達される背くことを許されない性質を有していた。『敎育百科辭典』では、校歌と表裏一体となるよう整え、形式的ではなく全校一致して校訓の言葉を実践して児童・生徒にその精神が浸透するよう努める必要がある旨を述べている。一方、戦後は連合国軍最高司令