型変換

2か月 ago

Type_conversion 航空ライセンスプロセスについては、型変換(航空)を参照してください  「型変換」   コンピュータサイエンス、型変換、 型鋳造、〜 型の強制、とタイプジャグリング 変更のさまざまな方法である発現を一方からデータ・タイプ別に。例としては、整数値を浮動小数点値に変換したり…

型構築子

2か月 ago

Type_constructor 分野では、数学、論理と計算機科学として知られている型理論、型コンストラクタは、型付きの特徴である形式言語古いものから新しいタイプを構築します。基本型は、nullary型コンストラクターを使用して構築されていると見なされます。一部の型コンストラクターは、引数として別の…

タイプコマンダー(Kriegsmarine)

2か月 ago

Type_commander_(Kriegsmarine) タイプの指揮官でKriegsmarineはに永続的に割り当てられた管理官だったKriegsmarineの組織開発、展開を監督し、いくつかのケースでは、様々な種類の業務活動のドイツ海軍艦艇。海上ですべての船を戦術的に指揮した海軍グループの司令…

タイプカラー

2か月 ago

Type_color のテキストで色を使用する方法については、ヘルプ:色の使用を参照してください  「タイプカラー」   タイプカラー、またはカラーは、テキストがページに表示される密度または重さを表すタイポグラフィの要素です。タイプの色と空白の正しいバランスを見つけると、テキストが読みやすくなります…

型クラス

2か月 ago

Type_class は、コンピュータサイエンスにおけるポリモーフィック型システムについてです。特定のカーディナリティの順序型の数学的クラスについては、集合論の用語集§Tを参照してください クラス(コンピュータプログラミング) と混同しないでください でコンピュータサイエンス、型クラスは、あるタイプ…

型式証明

2か月 ago

Type_certificate タイプの証明書が意味耐空その製造設計(によると、航空機の特定のカテゴリのを型設計)。連続生産を目的とした新しいタイプの航空機が、国内航空法によって確立された該当する耐空性要件に準拠していることを確認します。 DC-9飛行機 用に USAFAAによって発行されたサンプ…

タイプキャスティング(タイポグラフィ)

2か月 ago

Type_casting_(typography) タイプキャスティングは、マトリックスと呼ばれる真ちゅう製の型に溶融金属を注入することにより、溶銑組版で使用されるソートと呼ばれる個々の文字をキャストする手法です。 溶けた活字金属を手型に注ぐドイツの書体ファウンダーの1568年のイラスト。コンテンツ…

活字ケース

2か月 ago

Type_case 手紙の異なるサイズの場合は、大文字と小文字のように、参照 レターケースを。 型の場合は、格納するために使用される区画木箱で可動式に使用される凸版印刷を。 活字ケース 植字用のさまざまなツールを備えた18世紀の活字ケース 近代的な工場生産の活字は19世紀後半に利用可能になりました。…

型式認証

2か月 ago

Type_approval 適合宣言については、適合マークを参照してください 型式承認または適合証明書は、規制、技術、および安全性の要件の最小セットを満たす製品に付与されます。一般に、特定の国で製品を販売する前に型式承認が必要であるため、特定の製品の要件は世界中で異なります。英語で型式承認として知ら…

タイプX潜水艦

2か月 ago

Type_X_submarine タイプX(XB)Uボートは、ドイツの 潜水艦(Uボート)の特殊なタイプでした。長距離機雷敷設艦として意図されていましたが、後に長距離貨物輸送艦として使用され、タイプIXDおよびイタリアのロモロ級潜水艦と共有されました。 U-234がUSS サットンに降伏 、1945…