米国防総省DARPA、C言語のコードからRustへの自動変換実現を目指す「TRACTOR」プログラム開始 アメリカ国防総省 DARPA（Defense Advanced Research Projects Agency：国防高等研究計画局）は、C言語のコードからRust言語のコードへ高い精度での自動変換実現を目指す「TRACTOR」（Translating All C to Rust）プログラムの開始を発表しました。 DARPAは軍事技術の開発および研究を行う機関であり、現在のインターネットはDARPAの前身となるARPAが1967年に開始した「ARPANET」がその起源であることはよく知られています。 DARPAが発表したTRACTORプロジェクトは、C言語のコードからRust言語のコードへの自動変換を高い精度で実現することで、過去にC言語で開発された多くのソフトウェアをメモリ安全なソフ
（ＣＮＮ） ヘリコプター「ブラックホーク」が米ケンタッキー州フォートキャンベルで操縦士が搭乗しない状態での自動飛行を初めて行ったことがわかった。国防高等研究計画局（ＤＡＲＰＡ）が試験飛行の成功を明らかにした。 ＤＡＲＰＡによれば、ヘリコプターは搭乗者がいない状態で３０分飛行した。最初に飛行したのは５日で、７日にも飛行を行った。 今回の試験飛行はＤＡＲＰＡの「ＡＬＩＡＳ」プログラムの一環。同プログラムでは「取り外し可能なキット」を既存の軍用機に導入し、高水準な自動化の付加を促すことを目指している。 今回のブラックホークは「ＵＨ６０Ａ」型で、自動化技術の「シコルスキーＭＡＴＲＩＸ」を搭載しており、操縦士を必要とせず機体を飛ばすことができる。シコルスキーＭＡＴＲＩＸの技術はロッキード・マーチンが手掛けている。 ＤＡＲＰＡは声明で、作業量を減らすことで、操縦士は機械ではなく作戦の管理に集中できると
by Rajaram Kaveti 小型の電極を傷口にあてて電界を発生させ、最大で30％早く創傷を治癒させる創傷被覆材を、国防高等研究計画局(DARPA)の出資を受けた研究チームが開発しました。この「電気絆創膏(ばんそうこう)」は、特に糖尿病や動脈硬化で傷の治りが遅い人の慢性創傷に高い効果を発揮すると期待されています。 Water-powered, electronics-free dressings that electrically stimulate wounds for rapid wound closure | Science Advances https://www.science.org/doi/10.1126/sciadv.ado7538 Electric Bandage Holds Promise for Treating Chronic Wounds | NC Stat
アメリカ国防高等研究計画局(DARPA)が、行動やメンタルヘルスに関する危険因子を早期に発見する方法として、自己申告やスクリーニングアンケートではなく、無意識の脳信号を利用して危険な人々を特定する「Neural Evidence Aggregation Tool(NEAT)」プログラムを発表しました。 New Cognitive Science Tool to Shed Light on Mental Health https://www.darpa.mil/news-events/2022-03-02 DARPAによると、2001年9月11日のアメリカ同時多発テロ以降、3万人以上の現役兵・退役兵が自ら命を絶っているとのこと。この数字は、911以降の軍事作戦で死亡した人員の4倍に相当します。 このため課題となっているのが、行動やメンタルヘルスに関する危険因子を早期に発見することです。これま
ロシアとウクライナの戦争で明らかなように、ドローンは既に戦争の道具として利用されています。 そして最近のニュースは、「兵器としてのドローン」が今後さらに拡大することを示唆しています。 2022年11月28日、アメリカ国防高等研究計画局（DARPA）が、ドローン兵器のプロジェクト「AMASS」を公開し、そのための技術開発を業界に求めたのです。 このプロジェクトでは、敵地で活動する数千の無人機を連携させるシステムを開発する予定であり、総額7800万ドル（約100億円）が投入されます。 Autonomous Multi-domain Adaptive Swarms-of-Swarms (AMASS) https://sam.gov/opp/cb00e5745696482882aef160ae206f74/view DARPA Posts Presolicitation Notice for Au
ネットワークの参加者全員で1つのデータベースを分散的に管理する「ブロックチェーン」は将来的にさまざまな応用が期待されている技術です。アメリカ国防高等研究計画局(DARPA)とさまざまな技術のセキュリティについて調査する団体・Trail of Bitsが、「ブロックチェーンは本当に安全で非中央集権的なデータ管理システムなのか」を検証したレポートを発表しました。 Are blockchains decentralized? | Trail of Bits Blog https://blog.trailofbits.com/2022/06/21/are-blockchains-decentralized/ Are #blockchains actually decentralized? Analysis we commissioned from @trailofbits uncovers uni
日本の安全保障を取り巻く環境が厳しさを増している。現実味を帯びてきている中国による台湾侵攻、北朝鮮のミサイルの脅威拡大、そしてロシアによるウクライナ侵攻で見えた新しい戦争の形。これらが、日本の防衛力に抜本的強化を迫る。重要なのは、AI（人工知能）や無人機といった民間の先端技術を積極的に取り込み、人的なリスクを最小限にする新しい防衛体制、つまり「無人防衛」である。 防衛省防衛装備庁は、新しい研究組織を2024年度以降に設立すべく検討を進めている。そのコンセプトは「防衛装備にイノベーションを起こす可能性がある研究テーマに投資すること。現在の研究開発制度では、防衛省の要求を満たせないと違約金を支払う必要があったりするが、そうした制約を取り払う。失敗を許容する」（防衛装備庁装備政策部装備政策課長の松本恭典氏）としている。具体的には、AIや無人機、量子といった先端技術の開発を支援する。 この背景には
米国国防総省のDARPA、CからRustへのコード変換を自動化する「TRACTOR」プログラムを開始
DARPA（Defense Advanced Research Projects Agency：米国国防総省国防高等研究計画局）は2024年7月31日（米国時間）、「Translating All C to Rust」（TRACTOR）プログラムの開始を発表した。非常に脆弱（ぜいじゃく）なレガシーC言語コードから、本質的により安全なRust言語のコードへの変換を自動化することを目指す。 広く使われてきたプログラミング言語であるCとC++は、メモリ安全性を備えていない。これらの言語では、プログラマーがメモリを直接操作できるため、誤ってプログラムエラーを引き起こし、メモリを破損させてしまう可能性がある。 C言語を変換する背景 ソフトウェアエンジニアリングコミュニティーは、このCとC++のメモリ安全性の問題に20年以上取り組んできた。その結果、バグ発見ツールに頼るだけでは十分ではなく、メモリ安全
原子力ロケット「X-NTRV」が2027年に打ち上げ予定、NASAとDARPAが協力して開発しアメリカ宇宙軍が打ち上げ設備を提供
NASAとアメリカ国防高等研究計画局(DARPA)は原子力ロケットエンジン(核熱ロケットエンジン)の開発プロジェクト「Demonstration Rocket for Agile Cislunar Operations(DRACO)」を進めています。新たに、原子力ロケットエンジンの設計やテストを航空宇宙企業ロッキード・マーティンが請け負うことが明らかになりました。加えて、NASAとDARPAは原子力ロケットエンジンを搭載した試験機「X-NTRV」を2027年に打ち上げる計画も発表しています。 DARPA Kicks Off Design, Fabrication for DRACO Experimental NTR Vehicle https://www.darpa.mil/news-events/2023-07-26 NASA, DARPA Partner with Industry o
アメリカ国防高等研究計画局(DARPA)が開発している戦闘機F-16を制御するAIシステムが進化し、僚機と2機で連携する機能が追加されました。 Collaborative Air Combat Autonomy Program Makes Strides https://www.darpa.mil/news-events/2021-03-18a AI-Controlled F-16s Are Now Working As A Team In DARPA's Virtual Dogfights https://www.thedrive.com/the-war-zone/39899/darpa-now-has-ai-controlled-f-16s-working-as-a-team-in-virtual-dogfights DARPA to test AI-controlled jets i
2023年2月13日にアメリカ国防総省の国防高等研究計画局(DARPA)が、AIを搭載するなどの改造を施したF-16戦闘機が自律制御での飛行テストに成功したことを発表しました。 ACE Program’s AI Agents Transition from Simulation to Live Flight https://www.darpa.mil/news-events/2023-02-13 AI Has Successfully Piloted a U.S. F-16 Fighter Jet, DARPA Says https://www.vice.com/en/article/n7zakb/ai-has-successfully-piloted-a-us-f-16-fighter-jet-darpa-says AI algorithms pilot fly F-16 fighter
米国防総省（DoD）の調査機関である防衛高等研究計画局（DARPA）は2月13日（現地時間）、戦闘機F-16を改造したAI搭載の実機での空中戦（ドッグファイト）のテストに成功したと発表した。 カリフォルニア州エドワーズ空軍基地で昨年12月、数日間にわたって複数のフライトを行った。 DARPAのACE（Air Combat Evolution）プロジェクトの下で開発中のAIアルゴリズムのテストの一環。AIソフトをアップロードしたF-16ベースの「VISTA」（Variable In-flight Simulator Test Aircraft）試験機で、「多様なシミュレートされた敵機に対し、多様な武器能力を使ってアルゴリズムをテストした」。 テストは問題発生時に制御を行うために人間のパイロットが搭乗して行った。 このAIが実用化されれば、人間のパイロットはドッグファイト中の操縦をAIに任せ、
乗り物を動かす推進機関には車輪やプロペラといった機構を用いるのが通常であり、船舶の場合はスクリュープロペラやジェット噴射構造を利用しています。ところが、アメリカの国防高等研究計画局(DARPA)は可動部品を使わずに磁石と電流で推進力を得る「Magnetohydrodynamic drive(磁気流体推進、電磁推進)」という方式の実用化に向け、42カ月の長期的なプログラムを発表しました。 Taking a New Look at Fundamental Tech for Quiet Undersea Propulsion https://www.darpa.mil/news-events/-2023-05-18 DARPA's silent MHD magnetic drives for replacing naval propellers https://www.naval-technol
衛星を軌道上で修理するロボット、DARPAが2025年にも導入
#DARPA 米国国防高等研究計画局（DARPA）は米国時間11月8日、軌道上での人工衛星の整備ミッションに利用するロボットアーム（RSGS）を2025年にも運用すると発表した。 「Robotic Servicing of Geosynchronous Satellites」の略称となるRSGSは、静止軌道上の老朽化した衛星を点検・修理するのが目標だ。2020年にはNorthrop Grumman（ノースロップ・グラマン）の子会社ことSpaceLogisticsを、パートナーに選定した。 RSGSでは2本のロボットアーム、複数のロボットツール、チェック／キャリブレーション装置、機器を収納するためのポート、カメラと照明、アビオニクスボックスが含まれる。DARPAによると、組み立てられた最初のアームはテストを終え、熱真空テストにむけ準備中とのこと。また2本目のアームは組み立てが完了し、今秋から
米国防省の研究部門であるDARPA（米国防高等研究計画局）が2023年8月、ソフトウェア脆弱性の自動修正システム競技大会「AI Cyber Challenge」（AIxCC）開催を発表した。競技大会をサポートするのは、生成AIのトップ企業であるAnthropic、Google、Microsoft、OpenAIの4社だ。 AIxCCは、丸2年間をかけて行われる大がかりな大会となっている。まず来年（2024年）5月に予選を行い、上位20チームが8月のセキュリティイベント「DEF CON 32」併催の準決勝大会に進出。その上位5チームには開発資金200万ドルが与えられ、再来年（2025年）8月の「DEF CON 33」で決勝大会が開催される。優勝チームには400万ドル、2位には300万ドル、3位には150万ドルの賞金が授与される。
AI Slays Top F-16 Pilot In DARPA Dogfight Simulation - Breaking Defense
WASHINGTON: In a 5 to 0 sweep, an AI ‘pilot’ developed by Heron Systems beat one of the Air Force’s top F-16 fighter pilots in DARPA’s simulated aerial dogfight contest today. “It’s a giant leap,” said DARPA’s Justin (call sign “Glock”) Mock, who served as a commentator on the trials. AI still has a long way to go before the Air Force pilots would be ready to hand over the stick to an artificial i
なぜ DARPA は成功するのか？ - 🐴 (馬)
（本ドキュメントは Ben Reinhardt 氏による Why does DARPA work? の翻訳です。目次は最下段にあります。本翻訳は参考訳であり、原文を参照してください。） どうすればもっとSFを現実にすることができるでしょうか？ 何かをやりたいなら、通常は過去にそれを成功させた人々を研究するのが良いでしょう。「このアウトライアー（外れ値）の生産関数とは何か？」と問うことで、出発点を提供できます。 DARPAはSFを現実に変える世界のアウトライアー組織です。1958年以来、気象衛星、GPS、パソコン、現代ロボット工学、インターネット、自動運転車、音声インターフェースなど、多くの技術の原動力となってきました。しかし、主に防衛技術の領域に限定されています – DARPAスタイルのアイデアでもその範囲外のものがあります。どのような模倣可能な属性がDARPAの突出した結果に貢献したので
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
米国防総省DARPA、C言語のコードからRustへの自動変換実現を目指す「TRACTOR」プログラム開始
ヘリコプター「ブラックホーク」、初の無人飛行に成功 米ＤＡＲＰＡ
【やじうまPC Watch】 DARPA、AIで戦闘機の全面的な飛行制御に成功
ケガの治りが30％加速するDARPAプロジェクトの「電気絆創膏」が登場
DARPAが自殺の危機にさらされている人々を特定するための新手法「NEAT」を開発
米軍DARPAの「数千機のドローンによる協調攻撃を可能にする計画」 - ナゾロジー
ブロックチェーンは本当に分散的で非中央集権的なのかを詳細に分析した研究レポートをDARPAが発表
キーワードは「無人防衛」、防衛省が日本版DARPA設立へ
DARPA製のAI制御戦闘機が進化、2機連携で敵機を追い詰められるように
AIを搭載したF-16戦闘機が自律制御での飛行テストに成功したとDARPAが発表
DARPA、AI搭載戦闘機でのドッグファイトテストに成功
可動部品を使わず磁石と電力を利用して船を動かす「電磁推進」の実用化に向けたプログラムをDARPAが発表
液体窒素並みの低温でHPCの消費電力性能を25倍に。DARPAが技術開発プログラムを発表
AIによる脆弱性自動修正システム、DARPAが大規模競技会を開催へ