Google DeepMind、LLM採用AIシステム「FunSearch」で数学的難問を解決
米Google傘下のGoogle DeepMindは12月14日（現地時間）、LLM（大規模言語モデル）とLLMによる幻覚（ハルシネーション）を防止する“評価器”を組み合わせた新たなシステム「FunSearch」を発表した。長年解決不可能な数学問題とされてきた「Cap set問題」を解き、実社会でも役立つ「ビンパッキング問題」のための効果的なアルゴリズムを発見したという。 FunSearch（funは「楽しい」ではなく、「関数」に由来する）は、GoogleのLLM「PaLM 2」をコンピュータコードで微調整したバージョンの「Codey」を使っている。LLMは不正確な情報を幻覚させることが分かっているため、LLMの出力から不正確だったり無意味だったりする部分を拒否する“評価器”アルゴリズムを組み合わせているという。 FunSearchはLLMと評価器による出力と評価を反復させていくことで、自
実用アルゴリズムの基礎「動的計画法」と機械学習の基礎「類似度」を知る
実用的なソフトウエアを開発するにはアルゴリズムの知識は欠かせない。基礎から機械学習まで、厳選した10個のアルゴリズムをPythonによる実装とともに解説する。 ［7 動的計画法］ レーベンシュタイン距離 多くの人にとって、アルゴリズムの学習の最初の壁となるのが、「動的計画法」ではないでしょうか。動的計画法は、「問題の部分的な結果を記録・利用しながら、最終的な結果を求める」手法の総称です。クイックソートや深さ優先探索のような手法よりも、1 段か2段、抽象的な概念である点と、アルゴリズムを可視化しにくい点が、難しく感じる原因なのだと思われます。また、“動的計画法”という名称が内容に合っていないことも、動的計画法をわかりにくくしていると言えるでしょう。 しかし、多くの有用なアルゴリズムは動的計画法の手法を使っているので、避けて通ることはできません。 ここでは、動的計画法で「レーベンシュタイン距離
中国が量子コンピュータで「暗号の壁」を破る？ | Forbes JAPAN 公式サイト（フォーブス ジャパン）
サイバーセキュリティの専門家にとって究極の悪夢は、銀行や金融市場から世界中のデータベースへの安全なアクセスに至るまで、既存の暗号化システムの根底にある大きな数字を因数分解するのに何者かが量子を使うことだ。 従来のハッキングと違い、このような攻撃はステルス性があり、事実上検知できない。一方で1つの暗号化システムを解読することは本質的にすべての暗号化システムを同時に解読することを意味する。 つまり、あらゆる秘密や機密データが細部に至るまで米国の最悪の敵にさらされる世界になってしまう。 こうしたシナリオを念頭に、米政府は2022年にすべての連邦機関に量子に対する安全性を確保するためのタイムラインを策定するよう働きかけた。一方、シンクタンクのハドソン研究所はQuantum Alliance Initiative（QAI）で調査会社オックスフォード・エコノミクスと提携し、このような攻撃が国の電力網、
日本勢の新手法、量子コンピューターの「キラーアプリ」量子化学計算の実現に光明
テラスカイの子会社であるQuemixが、量子コンピューター用のアルゴリズム「確率的虚時間発展法（PITE）」を使えば、現行方式のコンピューターに比べて量子化学計算を高速化できるとの研究結果を発表した。 量子化学計算は、量子状態にある分子や原子の振る舞いをシミュレーションする技術である。シミュレーションする分子のサイズが大きくなると、計算量が指数関数的に増大するため、現行方式のコンピューターにとって非常に難しい。そのため量子化学計算の高速化は、量子コンピューターにとっての「キラーアプリケーション」になり得ると期待されている。 現行方式のコンピューターで量子化学計算を行う場合、よく用いられるのがDFT（密度汎関数法）だ。ある原子核配置をとる分子のエネルギーの近似値をDFTで計算する場合、分子や原子の数が「N」とすると、その計算量は「Nの3乗」に比例して増加する。 さらにDFTを使って分子や原子
40年越しにTCPの仕様(RFC793)が改訂される RFC9293 - ASnoKaze blog
2022/08/09 追記 「RFC 9293 Transmission Control Protocol (TCP)」として正式なRFCが出ました TCPのコア部分の仕様は1981年に発行された「RFC793 TRANSMISSION CONTROL PROTOCOL」で標準化されています。 この、RFC793の改訂版となる「Transmission Control Protocol (TCP) Specification」は、2013年からIETFのTCPM WGで議論されてきましたが、4月4日にIESGによって承認されました(参考URL)。現在はRFC出版の準備に入っています(新しいRFC番号はこの後正式に決まります) www.ietf.org 改めてTCPの仕様を読みたい場合はこのドキュメントを読むのが良さそう。 概要 この改訂版の仕様(通称 rfc793bis)は、RFC793が
1年で指数関数的成長を体験した、私と図面解析プロダクトと。｜imaimai
どんなプロダクトなの一言でいうと「製造図面からできる限り多くの情報を抜き取る」プロダクトです。 私が入社する一ヶ月前、現チームのテックリードがこんな記事を書いていました。今取り扱っている図面解析プロダクトの1年前の姿です。 課題のひとつは、図番の自動検出です。(中略)まず外枠や罫線を自動認識し、これを消去した上で OCR に入力する必要があります。(中略)他にも差し替え図面との差分検出など、さまざまな課題に取り組んでいます。 すでにここのプロダクトマネージャーになることが決まっていた当時の私は、この記事をとてもワクワクしながら読んでいました。 1枚~10枚 入って数ヶ月、まずは図面を読めるようにならなければなりません。社内の図面研修を受けたり、猛者が開催していた図面1万本ノックを受けるなどして、ドメイン知識を蓄えていきました。私の友人は「図面は製造へのラブレターだ」と言っていましたが、理解
洞窟の自動生成(ローグライク穴掘り法)💀 - Qiita
💀洞窟を創造する💀 今回は洞窟をつくります。 💀ローグライクのおさらい💀 >> [DTL]ローグライク(穴掘り法)💀 以前作ったローグライク穴掘り法のアルゴリズムを使用します。 詳しくは前回の記事をご参照ください。 💀手順💀 1. ローグライク穴掘り法でローグライクダンジョンの生成 2. 1以上の数値と0の数値で2値化する 3. ノイズを加えて洞窟っぽくする こんな感じでいきます。 1.ローグライク穴掘り法でローグライクダンジョンの生成 前回の解説記事の時に作った"RogueLike関数"を使用します。 int main() { std::array<std::array<std::uint8_t, 64>, 32> matrix{ {} }; dtl::RogueLike<std::uint8_t> d(matrix, 20); }
さらばDES暗号、2023年終了へカウントダウン
1970年代に登場し、暗号アルゴリズムの標準として長年にわたり使われてきた「DES（Data Encryption Standard）」が、いよいよ完全終了に向けたカウントダウンに入った。米国立標準技術研究所（NIST）が2018年7月19日、DESを強化した暗号アルゴリズムである「3DES」について、これから開発するアプリケーションで採用することをやめ、2023年以降は使用を禁止することを提案したからだ。DESの流れをくむ暗号アルゴリズムの中で、暗号強度の面で現在も唯一有効な3DESが使えなくなることで、DESは表舞台から完全に姿を消すことになる。 20世紀を支えた標準暗号 DESは、暗号化と復号の両方で同じ鍵を使う共通鍵方式の暗号アルゴリズムである。1970年代初めに米IBMが開発し、NISTの前身である米商務省標準局（NBS：National Bureau of Standard）に
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
東大、これまでに解かれたことのない次元の暗号解読を実現
大規模量子コンピュータに期待。世界初、複数の論理量子ビットを復号する量子誤り訂正アルゴリズム開発
サードパーティーCookie廃止の代替案「Privacy SandBox」と新アルゴリズム「FloC」とは何か