「証明」によりAIの誤りを阻止しGPU上で動作する高速プログラミング言語「Bend」、C言語並みの処理速度・CUDAによる並列処理・Leanによる形式的証明・Python風の構文
「Bend」はAIが犯すかもしれない誤りを「証明」によってブロックすることを目指す新たなプログラミング言語です。続きを読む...
GIGAZINE
2026年09月29日 21:00
この記事のキーワード
AI・人工知能
プログラミング
プログラミング言語
Python
C言語
処理速度
Lean
CUDA
形式的
並列処理
GPU上
高速プログラミング言語
高速プログラミング
Bend
C言語並み
形式的証明
Python風
グラフで繋がりを見る
同じキーワードの記事
共有しているキーワードが多い順
今、最も使われているプログラミング言語は？ AIコーディングでPython超えて急成長
はてなテクノロジー
10/29 07:28
Python
AI・人工知能
プログラミング言語
プログラミング
C言語を置き換える言語はどうあるべきか | 雑記帳
はてなテクノロジー
10/23 14:58
C言語
プログラミング言語
プログラミング
Python
Pythonライクで高速な「Mojo言語」がバージョン1.0に到達、今後はコンパイラをオープンソース化すると表明
Publickey
08/17 15:40
AI・人工知能
Python
プログラミング言語
プログラミング
C++やRustよりも高速に動作しメモリ使用量も少ないプログラミング言語「Goose」
GIGAZINE
10/26 21:00
AI・人工知能
プログラミング言語
プログラミング
AIによる脆弱性発見が加速、専門家「混乱期の始まり」
はてなテクノロジー
10/25 04:22
AI・人工知能
プログラミング言語
プログラミング
【QA】PHPにぜい弱性発見 AI時代に求められる対応とは?
NHK経済
10/22 22:12
AI・人工知能
プログラミング言語
プログラミング
「長い目で見れば防御側が有利」はなぜ？ 守る側のAI活用法、本命は Webセキュリティ専門家に聞く
はてなテクノロジー
10/22 08:31
AI・人工知能
プログラミング言語
プログラミング
ネット支える「PHP」に重大な脆弱性、米欧当局が対応急ぐ-AIで発見（TBS CROSS DIG with Bloomberg） - Yahoo!ニュース
はてなテクノロジー
10/22 02:58
AI・人工知能
プログラミング言語
プログラミング
PHPの脆弱性、OpenAIのAIで発見 「同様の発見、今後数カ月で急増」（ITmedia NEWS） - Yahoo!ニュース
はてなテクノロジー
10/21 23:50
AI・人工知能
プログラミング言語
プログラミング
PHPの脆弱性、OpenAIのAIで発見 「同様の発見、今後数カ月で急増」
はてなテクノロジー
10/21 17:45
AI・人工知能
プログラミング言語
プログラミング
PHPの重大脆弱性「PHP2Shell」はセキュリティ企業のCalifとWizがAIを用いて発見しOpenAIの枠組みを使って対策したことが判明
GIGAZINE
10/21 15:06
AI・人工知能
プログラミング言語
プログラミング
逆側からもプログラムを書けるプログラミング言語作った | κeenのHappy Hacκing Blog
はてなテクノロジー
10/19 02:11
プログラミング言語
プログラミング
AI・人工知能
DeepSeekがHuaweiと提携しAscend向け「TileLang」など6つのAI開発ツールをオープンソースで公開、NVIDIAのCUDA依存低減を狙う
GIGAZINE
10/01 07:45
プログラミング
CUDA
AI・人工知能
OpenAIのAIエージェントがアメリカの教育省・商務省・証券取引委員会のサイトに干渉していた
GIGAZINE
09/28 03:22
AI・人工知能
プログラミング言語
プログラミング
OpenAIのAIエージェントがRubyGemsへの攻撃に関与か、2000件超のパッケージ投稿やAPIキー窃取の試みが判明
GIGAZINE
09/14 05:15
AI・人工知能
プログラミング言語
プログラミング
「とほほのWWW入門」運営30年で見た、プログラミング言語とWeb標準の進化史 流行に振り回されず学び続けるために
はてなテクノロジー
09/14 02:20
AI・人工知能
プログラミング言語
プログラミング
AI時代は「Go言語」が理想の言語に？ Googleが解説する「Goの価値」
はてなテクノロジー
08/15 04:37
AI・人工知能
プログラミング言語
プログラミング
資源の無駄遣い？ 中国のAI能力､過半がショート動画生成で消費…プログラミング用途を上回る | ビジネス | 東洋経済オンライン
東洋経済
10/29 21:00
AI・人工知能
プログラミング
ウェブサイトなどの停止を告知した企業や自治体 約1200に
NHK経済
10/28 10:52
プログラミング言語
プログラミング
「今夜に対応して頂きたい」総理の異例投稿 PHP騒動が残した「運用」という教訓
はてなテクノロジー
10/27 00:42
プログラミング言語
プログラミング