タイプルール

2か月 ago

Type_rule で型理論、タイプのルールがある推論規則について説明型システムは、構文建設にタイプを割り当てます。これらのルールは、かどうかを判断するために型システムによって適用することができるプログラムがうまく入力されると、タイプのどの表現が型付き規則の使用の典型的な例は、デカルト閉圏の内部言語…

I型トポイソメラーゼ

2か月 ago

Type_I_topoisomerase は、実際の触媒ドメインのpfamボックス破壊再結合酵素(BRE)スーパーファミリーのメンバー。ECODごとのBREとAraCホメオボックス間のリンク。 分子生物学では、I型トポイソメラーゼは二本鎖DNAの2本の鎖の1つを切断し、鎖を弛緩させ、鎖を再アニーリン…

タイプIライフル

2か月 ago

Type_I_Rifle タイプIライフル(イ式小銃、I-志木shōjūは)の早い時期に生産された第二次世界大戦のために日本帝国によってイタリア王国(タイプIは、数値記号ではありません、それはdenominatesイタリア料理)。 タイプIライフル タイプサービスライフル 原産地 イタリア サービス…

九四式拳銃

2か月 ago

Type_94_Nambu_pistol タイプ94南部8ミリメートルピストル(94拳銃を入力して、日本:九四式拳銃、ローマ字:  Kyūyon-志木Kenjū)によって開発された半自動拳銃である南部麒次郎と彼の仲間のための日本軍。九四式拳銃の開発は1929年に始まり、いくつかの再設計の後、最終的な…

タイプ82駆逐艦

2か月 ago

Type_82_destroyer タイプ82またはブリストル級駆逐艦は8隻のクラスだったことだった王立海軍 ミサイル駆逐艦マウント海ダートミサイルを、置き換えることを意図Seaslugが-armed郡級の駆逐艦を。彼らは空母機動部隊に対して地域の防空を提供し、スエズ東部の現代の巡洋艦の役割で独立し…

タイプ72非金属対戦車地雷

2か月 ago

Type_72_non-metallic_anti-tank_mine タイプ72非金属は中国人である円形、プラスチックボディの地雷損傷または破壊するように設計された車両をブラスト効果によって。コンテンツ 1 機構2 同様の地雷3 仕様4 で見つかった国5 参考文献 機構 鉱山には、上部に隆起した6…

タイプ63AT鉱山

2か月 ago

Type_63_AT_mine 鉱山ATタイプ63は大きな円形の日本で最小の金属 抗タンクブラスト鉱山。浮き上がらず防水仕様なので、浅瀬でも使用できます。鉱山は標準的な機械的圧力ヒューズを使用しており、3つのボールベアリングが起爆装置アセンブリ上にバネ仕掛けのストライカーを保持しています。タイプ63…

タイプ61(タンク)

2か月 ago

Type_61_(tank) タイプ61タンク(61式戦車、Rokuの健一志木senshaは)ある主力戦車が開発、使用、日本陸上自衛隊によって建て(陸上自衛隊)、三菱重工業。 タイプ61 陸上自衛隊善通寺に展示されている61式戦車。 タイプ 主力戦車 原産地日本 サービス履歴 稼働中1961〜 20…

タイプ346レーダー

2か月 ago

Type_346_radar タイプ346レーダーは、高度にデジタル化された多機能デュアルバンド(SおよびCバンド)海軍アクティブ電子走査アレイ(AESA)で、タイプ052C駆逐艦、タイプ052D駆逐艦、タイプ055駆逐艦、およびタイプ002空母に搭載されています。 PLAN。レーダーは、次のように…

三十年式銃剣

2か月 ago

Type_30_bayonet タイプ30バヨネット(三十年式銃剣、sanjūnen-四季獣拳は)あったバヨネット用に設計された日本軍で使用する有坂 タイプ30ライフル以降で使用されたタイプ38及びタイプ99ライフルおよびタイプ96と99の軽機関銃。約840万本が生産され、日露戦争から第二次世界大戦…