与 «かたしき‐しょうめい»相关的日语书籍
在以下的参考文献中发现
かたしき‐しょうめい的用法。与
かたしき‐しょうめい相关的书籍以及同一来源的简短摘要提供其在 日语文献中的使用情境。
1
海上保安法令集: 追錄 - 第 1 号 - 87 ページ
第十三条型式証明^ # 1 けた者は、当該型式の^空機の設計の変更產業大臣の意見をきかなければならない? 4 蓮輸大臣は、第一項の型式証明をするときは、あらかじめ通商?型式詆明,は、申請者に型式証明書を交付するこ.とによつて行う。九五七の五 に ...
Japan. 海上保安廳. 總務部. 總務課,
1953
2
Kokkai kikan shi - 102 ページ
Shūgiin Hiroaki Maezawa (修理改造検査)第十五条登録航空機の耐空証明は、航空機の登録がまっ消された場合には、その ... 第十四条耐空証明の有効期間は、一年(運輸省令で総飛行時間にっいて定める型式の航空機にあっては、一年を経(耐空証明の ...
Hiroaki Maezawa, Japan. Kokkai. Shūgiin,
1956
3
図解入門よくわかる最新LED照明の基本と仕組み:
急速に普及しているLED照明の特性と性能をわかりやすくビジュアルに解説。
4
電気工事基礎用語事典（第3版）: - 38 ページ
ガター gutter 分電盤の周囲に設けた配線を収める空間。片サドル(かたさどる) singlesaddle 取付け穴が 1 個のサドル。型式(かたしき) type メーカが決めている電動機などの分類。取付構造、通風構造、保護構造などから決める。片反射笠照明器具(かたはん ...
5
日本大百科全書 - 第 5 巻 - 339 ページ
サ—ガラ』全四冊(岩波文庫)型式証明かたしきしょうめい航空機をはじめ、交通に使用される機器が基^に適合していることを運輪 ... た要求項目、要求値に適合しているかどうかを設計の段階から計算、実験によって確かめ、さらに飛行試験等で証明して、型式 ...
照明用光源の開発の歴史光源の分類白熱電球の点灯原理と特徴.白熱電球・ハロゲン電球の特徴蛍光灯の発光原理と特徴.シーリングライトに使われるランプ蛍光ランプの型式・記号の見方蛍光灯の点灯回路(安定器)蛍光灯点灯回路(スタータ式)蛍光灯点灯 ...
7
逆引き広辞苑: 第5版対応 - 108 ページ
銘^ 1 ぃ"一一一一" ^ ^銘銘明 1 明一^節"一銘 II 一 22 一迷^悪愚口;お歴^無^茗命名茗^命紀よし. I いめつひ上命】不在お明】現場不在証明】存在証明】韓台照明】品位钲明】 1 ^明】投光照明】内容舡明】罱ぉ明】型式飪明】疫学的脏明】人間学的舡明】物理神学 ...
ライン型LEDを使用したカーテン照明LED電球に注目が集まっているなか、直線状のLEDであるライン型LEDも確実に種類を増やしており、 ... ライン型LEDは型式によって基本の長さがあり、使用場所が長い場合は、長さに応じて何本かが連結されます。
All About 編集部, 中島龍興,
2013
9
関数プログラミングの楽しみ - 162 ページ
自動定理証明器やモデル検査器のような分祈ッールへ与える入力を生成で、きる. ... とはいえ-生成された式は大きすぎて人関では解釈できない. ... シミュレーション-形式的検証フ捩捩 U 人設定の生成というフ 3 つの重要な解釈法あるいは画路分祈法を示す.
Jeremy Gibbons, Oege de Moor,
2010
10
VDM++によるオブジェクト指向システムの高品質設計と検証 - 62 ページ
3.4.9 これに加えて、「ソース」ウインドウには問題が起きた箇所が表示され、「追跡」ペインにはコールスタックが表示される(今回は深さ 1 にしか ... 形式的な証明だけが、唯一の一般的な整合条件検証技法であるが、しかしそれは本書の取り扱い対象外にある。
ジョン フィッツジェラルド, ピーター ゴルム ラーセン, ポール マッカージー,
2010