物理学者ニュートンが300年前に考案して現代でも実用されるアルゴリズム「ニュートン法」がアップデートされる
by Alexander Borek 約300年前に物理学者のアイザック・ニュートンが考案した「ニュートン法」は、現代でも物流や金融工学、コンピュータビジョン、純粋数学など多岐にわたる分野で重要な役割を果たしているアルゴリズムです。これまでさまざまな数学者がこのニュートン法の改良に苦心しており、近年の研究でついにアップデートされたと科学系ニュースサイトのQuanta Magazineが紹介しています。 Implementable tensor methods in unconstrained convex optimization | Mathematical Programming https://link.springer.com/article/10.1007/s10107-019-01449-1 Three Hundred Years Later, a Tool from Isaa
CRYPTREC | CRYPTREC暗号リスト(電子政府推奨暗号リスト)
CRYPTREC暗号リスト (電子政府推奨暗号リスト) 電子政府における調達のために参照すべき暗号のリスト (CRYPTREC暗号リスト) デジタル庁、総務省及び経済産業省は、CRYPTRECの活動を通して電子政府で利用される暗号技術の評価を行っており、2023年3月に 「電子政府における調達のために参照すべき暗号のリスト(CRYPTREC暗号リスト)」（最終更新：2024年（令和6年）5月16日、CRYPTREC LS-0001-2022R1、初版：2023年（令和5年）3月30日）を策定しました。 CRYPTREC暗号リストは、電子政府推奨暗号リスト、推奨候補暗号リスト及び運用監視暗号リストで構成されています。 「政府機関等のサイバーセキュリティ対策のための統一基準（令和5年度版）」(令和5年(2023年)7月4日、サイバーセキュリティ戦略本部)において、以下のとおり記載されており、政
実用アルゴリズムの基礎「動的計画法」と機械学習の基礎「類似度」を知る
実用的なソフトウエアを開発するにはアルゴリズムの知識は欠かせない。基礎から機械学習まで、厳選した10個のアルゴリズムをPythonによる実装とともに解説する。 ［7 動的計画法］ レーベンシュタイン距離 多くの人にとって、アルゴリズムの学習の最初の壁となるのが、「動的計画法」ではないでしょうか。動的計画法は、「問題の部分的な結果を記録・利用しながら、最終的な結果を求める」手法の総称です。クイックソートや深さ優先探索のような手法よりも、1 段か2段、抽象的な概念である点と、アルゴリズムを可視化しにくい点が、難しく感じる原因なのだと思われます。また、“動的計画法”という名称が内容に合っていないことも、動的計画法をわかりにくくしていると言えるでしょう。 しかし、多くの有用なアルゴリズムは動的計画法の手法を使っているので、避けて通ることはできません。 ここでは、動的計画法で「レーベンシュタイン距離
日本勢の新手法、量子コンピューターの「キラーアプリ」量子化学計算の実現に光明
テラスカイの子会社であるQuemixが、量子コンピューター用のアルゴリズム「確率的虚時間発展法（PITE）」を使えば、現行方式のコンピューターに比べて量子化学計算を高速化できるとの研究結果を発表した。 量子化学計算は、量子状態にある分子や原子の振る舞いをシミュレーションする技術である。シミュレーションする分子のサイズが大きくなると、計算量が指数関数的に増大するため、現行方式のコンピューターにとって非常に難しい。そのため量子化学計算の高速化は、量子コンピューターにとっての「キラーアプリケーション」になり得ると期待されている。 現行方式のコンピューターで量子化学計算を行う場合、よく用いられるのがDFT（密度汎関数法）だ。ある原子核配置をとる分子のエネルギーの近似値をDFTで計算する場合、分子や原子の数が「N」とすると、その計算量は「Nの3乗」に比例して増加する。 さらにDFTを使って分子や原子
他人の空似、外見だけでなくDNAレベルでよく似ていたとの研究結果（PHILE WEB） - Yahoo!ニュース
この広い世の中、どこか遠いところに、またはすぐ近くに、自分とそっくりな人が生活しているかもしれない…。そんな想像をしたことはあるだろうか。今年11月には世界人口が80億人を突破すると言われている現在、クローンかと思えるほどのそっくりさんがどこかにいる可能性はゼロではない。 ルーツがバラバラでもDNAがよく似ているのだそう そして最新の研究で、まるでドッペルゲンガーと言われるような非常によく似た容姿の人たちは、生まれも育ちもまったく異なる無関係なルーツを持っていても、多くの遺伝的変異などに共通点があることが判明したと報告された。この変異は見た目だけでなく、その人の生活のしかたすべてを形作っているようにも見える。 この研究の著者、マネル・エステラー氏は、スペインのバルセロナにあるジョセップ・カレラス白血病研究所の所長を務める人物。エステラー氏は2005年に、一卵性双生児はそれほど似通ってはいな
超精密な性格診断 | 自分を構成する8性格をエムグラムで診断
エムグラム診断とは 超精密性格診断テストmgram（エムグラム）は、企業で用いられる適性検査レベルの高精度分析アルゴリズムにより、あなたを構成する性格要素のうち特徴的な8つをハッシュタグ化して抽出します。世界各国で、1,200万人以上に利用されている性格診断です。自分の性格や行動に対する周囲の印象がわかるだけでなく、適職診断や恋愛診断などの追加診断も受けることができます。 性格診断とは あなたが回答したいくつかの質問結果からあなたのパーソナリティが分かる診断です。現在では企業の適性検査や採用活動にも使われており、日本人の多くが診断結果をもとに自分を見つめ直す機会として性格診断を利用しています。エムグラムの超精密性格診断テストでは客観的にあなたがどんな人なのかが分かるだけでなく、定期的に性格診断を行うことで性格の変化も知ることができます。 💡 性格診断の詳細を見る 💖 恋愛・結婚で活用す
第508回 Ubuntuでコマンドラインからワンタイムパスワードを扱う | gihyo.jp
ワンタイムパスワードとは？ 様々なWebサービスを利用するのが当たり前となった現在、パスワードの管理は頭を悩ます問題だと思います。本連載でも、第412回ではWebベースのパスワードストアアプリとしてRatticWebを紹介しました。 そもそも固定パスワードには、試行に十分な時間をかけることが可能であればいつかは突破できてしまうという、本質的な問題があります。そこで有効期限が極端に短い、一度きりのパスワードを使い捨てにする方法が考えられました。こういったパスワードをワンタイムパスワードと呼びます。 昨今のWebサービスでは通常のIDとパスワードにくわえ、追加でワンタイムパスワードを入力して認証する「二要素認証」の利用が一般的になってきています。ワンタイムパスワードには様々な方式がありますが、一般的なのはTime-Based One-Time Password Algorithm（TOTP）を
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が
Parsing expression grammar - Wikipedia
Parsing Expression Grammar（PEG）は、分析的形式文法の一種であり、形式言語をその言語に含まれる文字列を認識するための一連の規則を使って表したものである。PEGは再帰下降構文解析を文法を示すためだけに純粋に図式的に表現したものと見ることもでき、具体的な構文解析器の実装やその用途とは独立している。 PEGにおける構文（文法）の定義は文脈自由文法のバッカス・ナウア記法によるそれに似ているが、文脈自由文法では一般に「｜」（縦棒、バーティカルバー）で表される「これらのうちどれか」ではなく、「最初の解析がうまくいったらそれを、失敗なら次を順に試してゆき、成功したものを採用」（「/」であらわす）という意味を使う。 このため、文脈自由文法とは異なり、PEGには曖昧さは存在しない。文字列を構文解析する場合、正しい構文木は常に1つしかない。このためPEGはコンピュータ言語の構文解析
遺伝的アルゴリズムでエッチな画像を作ろう！
おわり 二つの画像のうち、どっちの方がエッチかを選んでください。 世代交代を経るごとに、だんだんとエッチな画像が表示されるようになるはずです。 Choose the lewder one, and you can make them more lewd. You will win when the AdSense on this site is stopped by Google because of "Sexually explicit content". ENGLISH よりエッチな画像を作るために、 ぜひ色んな人に広めてください。 ツイート ・展覧会ページでこれまでの画像を公開しています。 詳しい説明 スポンサーリンク みんなの好みを学習させて、「遺伝的アルゴリズム」によってエッチな画像を自動で作るためのシステムです。 遺伝的アルゴリズムとは、あるデータを目標に近づけるために使われる
「数学ガール」って、どれから読めばいいの？｜結城浩 / Hiroshi Yuki
三つのシリーズがあります。数学ガールには三つのシリーズがあります。 「数学ガール」シリーズ 「高校の数学くらいはまあまあわかるかな」という方は「数学ガール」シリーズをどうぞ。「数学大好き！」なら中学生でもいいですよ。 「数学ガールの秘密ノート」シリーズ 「いや、もう、数学は苦手なんですけど」という方は「数学ガールの秘密ノート」シリーズをどうぞ。 「数学ガールの物理ノート」シリーズ 「物理学に興味がある」という方は「数学ガールの物理ノート」シリーズをどうぞ。 ★「数学ガール」シリーズは、物語を追いたいなら順番に。でも数学的内容は各巻で完結しています。・第1巻は、数列・母関数・離散と連続の話題が出てきます。
巡回冗長検査 - Wikipedia
巡回冗長検査（じゅんかいじょうちょうけんさ、英: Cyclic Redundancy Check, CRC）は、誤り検出符号の一種で、主にデータ転送などに伴う偶発的な誤りの検出によく使われている。送信側は定められた生成多項式で除算した余りを検査データとして付加して送信し、受信側で同じ生成多項式を使用してデータを除算し、その余りを比較照合することによって受信データの誤り・破損を検出する。 デジタル回路で簡単に実装でき、数学的にも分析が容易であり、また、ビットのランダム誤りやバースト誤りを検出できるので、HDLC手順やCSMA/CD方式などにおいて誤りチェック・伝送路ノイズチェックによく使われている。パリティや単純な加算によるチェックサムに比べ検出精度が高く、その点では高級なチェックサムと言える。単純なチェックサムと同じく、データの改竄に対する耐性はない。 W・ウェスレイ・ピーターソンが発明し
動的計画法 - Wikipedia
動的計画法（どうてきけいかくほう、英: Dynamic Programming, DP）は、計算機科学の分野において、アルゴリズムの分類の1つである。対象となる問題を複数の部分問題に分割し、部分問題の計算結果の記録を利用して全体の問題を解く手法を総称してこう呼ぶ。 細かくアルゴリズムが定義されているわけではなく、下記2条件を満たすアルゴリズムの総称である。 帰納的な関係の利用：より小さな問題例の解や計算結果を帰納的な関係を利用してより大きな問題例を解くのに使用する。 計算結果の記録：小さな問題例、計算結果から記録し、同じ計算を何度も行うことを避ける。帰納的な関係での参照を効率よく行うために、計算結果は整数、文字やその組みなどを見出しにして管理される。 「動的計画法 (dynamic programming)」という言葉は1940年代にリチャード・E・ベルマンが最初に使いはじめ、1953年に
ファジィ論理 - Wikipedia
ファジィ論理（ファジィろんり、英: Fuzzy logic）は、1965年、カリフォルニア大学バークレー校のロトフィ・ザデーが生み出したファジィ集合から派生した[1][2]多値論理の一種で、真理値が0から1までの範囲の値をとり、古典論理のように「真」と「偽」という2つの値に限定されない[3]ことが特徴である。ファジィ論理は制御理論（ファジィ制御）から人工知能まで様々な分野に応用されている。 ファジィ論理と確率論理は数学的に似ており、どちらも0から1までの値を真理値とするが、概念的には解釈の面で異なる。ファジィ論理の真理値が「真の度合い」に対応しているのに対し、確率論理では「確からしさ」や「尤もらしさ」に対応している。このような違いがあるため、ファジィ論理と確率論理では同じ実世界の状況に異なるモデルを提供する。 真理値と確率が0から1の範囲の値をとるため、表面的には似ているように思われる。例
グレブナー基底 - Wikipedia
グレブナー基底（グレブナーきてい、英: Gröbner basis）は、多変数多項式の簡約化が一意に行える多項式の集合である。多変数の連立代数方程式の解を求める際などに利用される（#計算例参照）。 グレブナー基底を求めるアルゴリズムとしては、ブッフベルガーアルゴリズム（英: Buchberger's algorithm）があり、数式処理の分野での連立代数方程式の解法として使われている。また、可換環論、代数幾何、微分方程式論、整数計画問題などに出てくる様々な数学的対象物を構成するための基礎となっている。 グレブナー基底の基本的な考え方は、多項式の集合 F を以下の特性を持つ "性質の良い"（グレブナー基底と呼ばれる）多項式の集合 G に変換することである[1]。 F と G は "等価"（つまり同じイデアルを生成する） さらに、グレブナー基底についての理論から以下のことが分かっている。 グレ
グラフカットの理論と応用
⽯川 博 名古屋市⽴⼤学 ⼤学院システム⾃然科学研究科 グラフカットの理論と応⽤ ⽬次 応⽤例の紹介・歴史 エネルギー最⼩化 実装例 グラフとその切断 グラフカットによるエネルギー最⼩化 2値の場合 多値の場合（⼤域最⼩化できる場合） 多値の場合（近似アルゴリズム） まとめ 応⽤例の紹介・歴史 グラフカット 別名 s-t mincut エネルギー最⼩化をする⽅法 トレードオフをエネルギーとして表現 応⽤分野 画像復元 ステレオ セグメンテーション 動画像解析 テクスチャ合成 フォトモンタージュ インタラクティブ・セグメンテーション Rother et.al. SIGGRAPH2004 インタラクティブ・セグメンテーション Boykov&Jolly ICCV2001 インタラクティブ・セグメンテーション Wang et.al. SIGGRAPH2005 テクスチャ合成 Kwatra et.a
グラフカット（Graph Cut） - 大人になってからの再学習
ここで説明するグラフカットは、画像の領域抽出などで使用される手法の1つ。 ■ 用途 たとえば、写真画像から背景と前景物を分離したいとか http://www.insight-journal.org/browse/publication/777 CT画像 から臓器の領域だけ取り出したい、という用途で使用される。 http://www.grand-challenge2008.bigr.nl/proceedings/pdfs/lts08/02_cmm.pdf ほかにも、複数の画像をシームレスに接続するとか、ノイズを除去するとか、画像処理に関する幅広い用途で用いられている。 ■ 問題設定 次のエネルギーを最小化する「最小化問題」とみなす。 なるべくデータに忠実に（データ項）、でも、できるだけ滑らかに（平滑化項）領域分けしましょう。と考える。 たとえば、CT画像のなかで、「ある画素値をもつ部分は肝臓
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
大規模量子コンピュータに期待。世界初、複数の論理量子ビットを復号する量子誤り訂正アルゴリズム開発
Yarn
計算量オーダーについて - Qiita
