Nghĩa của từ 定式 bằng Tiếng Việt
Kana: ていしき
- n
- Công thức
Đặt câu có từ "定式"
1. タオル用金属製固定式ディスペンサー
2. 定式化には直接法と間接法の2種類がある。
3. それは規定や定式の単なる言い直しではありません。
4. 両側の歯に橋を架けるような形で義歯を取り付ける固定式ブリッジ
5. 今日知られる形式の理論は、1975年にデビッド・ポリツァー、 デイビッド・グロス、フランク・ウィルチェックにより定式化された。
6. ケプラーは惑星運動の数学的規則をケプラーの法則として定式化することに成功した。
7. ......煉獄の教理は......6世紀に定式化され,フィレンツェ公会議(1439年)で教会の教義と宣せられた」。
8. ^ 253系でも2002年に増備された車両は固定式ではなく、回転式リクライニングシートを設置していた。
9. 実時間の定式化への経路順序のアプローチは、ケルディッシュ形式(Schwinger-Keldysh formalism)であり、より現代的な変形である。
10. これらの殻は水素由来の21cm吸収線で初めて観測され、スーパーバブルの形成理論の定式化に繋がった。
11. これらの前提に基づくと、市民権は多くの異なる方法で貢献する活動として定式化できる。
12. 集団見合い型の固定式座席にすることで、転換式の標準寸法(910mm)よりもシートピッチを詰めて配置した。
13. 時空座標に準拠する数学的物理学の用語を使えば、ここで必要な客観的定式化が可能になる。
14. この場の理論の最初の定式化は、電気的な場と磁気的な場を記述するためにベクトル場を使った。
15. この定式化の持つ対称性の重要さは、早期の段階では注目されることがないままであった。
16. ) (ディリクレのL-函数に対する)一般化されたリーマン予想は、アドルフ・ピルツ(英語版)(Adolf Piltz)により1884年に最初に定式化された。
17. ミシュナが別個の本文として定式化されたことで,バビロニアの教学院は完全に独立する道が開かれました。
18. 数学的モデルの偉力と美は 私たちが 知っていると思うことを 厳密な形で 定式化できる点にあります
19. パンタグラフ側面には騒音防止のための遮音板が装着されるが、E955形で使用した可動式ではなく固定式である。
20. 円錐曲線に関するデザルグの研究は、16歳のブレーズ・パスカルの関心を惹き、彼がパスカルの定理を定式化する助けとなった。
21. 微積分の定式化の研究により、カヴァリエーリの微分と、同じ頃ヨーロッパで生まれた有限差分法が組み合わされるようになる。
22. ボランティアによる心理学的な契約不履行の本質、結果として起こる態度、振舞いに関する12の命題を定式化する。
23. 3番目のタイプは半硬式飛行船で,軟式飛行船に似ていますが,ガス袋の下に固定式のキール(竜骨)が付いています。
24. 現在の、関係代数の等式による定式化は、1940年代に始まるアルフレト・タルスキと彼の弟子たちの研究によってなされた。
25. 山ほどの習わしやしきたりを定式化していたので,清い崇拝は妨げられ,神の原則は覆い隠されていました。(
26. J/FPS-5は、日本の防衛省が主導して開発し、航空自衛隊のレーダーサイトで運用されている防空用の固定式警戒管制レーダー装置。
27. 1931年にユージン・ウィグナー (Eugene Wigner)により証明されたウィグナーの定理(Wigner's theorem)は、量子力学の数学的定式化(en:mathematical formulation of quantum mechanics)の標識的な定理である。
28. ボールトンポール デファイアントが実例であるが、翼内に前方固定式機銃を持たず、操縦席背後の機銃塔(7.7mm 4連装)だけを武装としたものである。
29. 結果として、射影幾何学の初期の研究は再定式化され、現在の標準的な扱いでは、厳密な理解がいささか困難を伴いうる。
30. エドワード・ウィッテンにより定式化された別の予想は、反ド・ジッター空間の 3次元重力は、モンスター群の対称性を持つ共形場理論に等価であるとしている。
31. 1948年にクロード・シャノンによって定式化されたこの定理は、誤り訂正の可能な最大効率と雑音干渉およびデータ破損のレベルを記述している。
32. ファインマン図や摂動論と同様に、分散関係式やクツォスキー規則(英語版)(Cutkosky rules)の有限温度での類似のような他のテクニックも、実時間定式化の中で使われる。
33. 同皇帝はニケア公会議の信経を同帝国の領域のための規準として制定し,その定式を明確にするため,西暦381年にコンスタンティノープル公会議を召集しました。
34. この手法を最初に定式化したのはウィンストン・W・ロイス(英語版)の1970年の論文とされているが、ロイス自身は「ウォーターフォール」という用語をこの論文で使ってはいない。
35. 仲正昌樹は、そもそもフロイトはエディプス理論に自信がなかったために、1923年の『自我とエス』まで一般的な理論的定式にしなかった可能性もあると指摘する。
36. 1例を挙げれば、最初の石炭ガスで動かす内燃機関はフランスのエティエンヌ・ルノワールが開発したが、軽工業での固定式の動力として限られた応用しかなされなかった。
37. 一方オックスフォード大学の物理学教授であるデイヴィッド・ドイッチュ(1985年、量子計算のアルゴリズムを定式化した量子コンピュータ研究のパイオニア)は、ティプラーのオメガ点は物理学的には基本的に正しいと認めた。
38. 多角数定理は1638年にフェルマーによって定式化されたが、 三角数については1796年にガウスによって、 四角数については1772年にラグランジュによって、一般には1813年にコーシーによって証明された。
39. 「コンスタンティヌスが自ら主宰し,積極的に討議を指導し......同公会議により発布された,『父と同一の実体[ホモウシオス]に関する』信経の中で神とキリストとの関係を表わした決定的な定式を......個人的に提唱した。
40. ですから,28年後にパウロは次の節でこのように付け加えることができたのです。「 さて,以前の契約には,神聖な奉仕についての定式と,現世に属する聖なる場所とがありました」― ヘブライ 9:1。
41. 彼は次のように定式化している: 「自明(語義上は、それ自体を通じて知られる)であるか、経験によって知られているか、権威や聖典によって証明されるかしていない限り、理由がないなら何ものも仮定されるべきではないので。
42. コンスタンティヌスが自ら主宰者となり,討論を積極的に導くと共に......同公会議で発布される信経の中でキリストと神との関係を『父との同一実体』とする重要な定式を......じきじきに提案した。 ......同皇帝に威圧された司教たちは,わずか二人の例外を除き,多くは不本意ながらも,その信経に署名した」。
43. 1955年にはすでにジャン=ピエール・セールは、ベクトル束のアナロジーとして射影加群を用いて「多項式環上の任意の有限生成射影加群が自由加群である」ことを言うセール予想(英語版)(Serre's conjecture)を定式化していたが、これが肯定的に解かれたのは20年を経た後のことであった(スワンの定理(Swan's theorem)はこのアナロジーのもうひとつの側面である)。