「いち、にの、さん！」と117とGPSの似たところ | コラム | GPS/GNSSチップ&モジュール | フルノ製品情報
いろんな現場でタイミングは大事 複数人でいっしょに仕事するときは「息を合わせる」必要があります。タイミングの共有と言い換えることもできます。 たとえば大都市シカゴの病院を舞台にした有名ドラマでは、患者をストレッチャーから処置台に移す際、”On my count, 1, 2, 3!”と医師が声をかけていました。持ち上げ動作は3カウント目。ナースや救急隊員との共通理解がキビキビした動きにつながり、ドラマの緊張感を高めていました。 あるいは、もしあなたが合唱隊の指揮者として４拍子の楽曲を振るとしたら、おそらく「１、２、３、ハイッ！」と歌い出しのタイミングを指示することになるでしょう。リハーサルで念を押しておかないと、ずっこける人が出るかもしれません。 「いっせーのせ」（東日本）や「さんのーがーはい」（九州の一部）など、重いものを持ち上げる掛け声は地方によって大きく異なるといいます。こうした違いは
GPSが1.5秒刻みで時刻をカウントする理由 | コラム | GPS/GNSSチップ&モジュール | フルノ製品情報
江戸時代の日本では、日の出と日の入りを境に１日を昼夜に分かち、昼と夜をそれぞれ６等分して「一刻」を定めていました。これは不定時法と呼ばれ、夏と冬では一刻の長さが最大50分も違っていました。時計が広く行き渡ってはおらず、暮らしのサイクルに刻時を合わせる、当時ならではの作法だったかもしれません。さて今回は、GPSに存在する、独自の時間のカウントの作法を話題にしたいと思います。 週番号ロールオーバーという「ほころび」の理由は GNSS衛星が送信する航法メッセージには測位演算に必要な情報がすべて含まれています。中でも時刻情報はとりわけ重要度の高い情報です。 先のコラムで、最初のGNSSであるGPSを例に、航法メッセージの構造についてご紹介しました。限られたbit数に必要な情報をみっちりと詰め込まれながらも基本的には問題なく機能していますが、20年に一度ぐらい「ほころび」が顔を出すこともあります。み
Discovering novel algorithms with AlphaTensor
Research Discovering novel algorithms with AlphaTensor Published 5 October 2022 Authors Alhussein Fawzi, Matej Balog, Bernardino Romera-Paredes, Demis Hassabis, Pushmeet Kohli First extension of AlphaZero to mathematics unlocks new possibilities for research Algorithms have helped mathematicians perform fundamental operations for thousands of years. The ancient Egyptians created an algorithm to mu
なぜ動的計画法はDynamic「Programming」という名前なのか - フリーランチ食べたい
Coursera「Data Structures and Algorithms」 ここ1ヶ月半CourseraでCSのコースを受講しているのですが、そこで動的計画法についての面白い話があったのでシェア。 www.coursera.org 「Data Structures and Algorithms」という課程の中の「algorithmic-toolbox」コースWeek5のテーマが「動的計画法」です。 動的計画法(Dynamic Programming)とは まず前提として動的計画法とは何か？という話です。 Wikipediaより 動的計画法 - Wikipedia 計算機科学の分野において、アルゴリズムの分類の1つである。対象となる問題を複数の部分問題に分割し、部分問題の計算結果を記録しながら解いていく手法を総称してこう呼ぶ。 細かくアルゴリズムが定義されているわけではなく、下記2条件
spliceを使って高速・省メモリでGzipからZIPを作る - knqyf263's blog
良い話を含むので概要の最初だけでも読んでもらえると幸いです。この話が実用的かと言うと多分全然実用的ではないので理解しても仕方ないかなと言う気がします。 概要 ファイルフォーマット gzip 10-byteのヘッダ 拡張ヘッダ ファイル本体 フッタ（trailer） zip ローカルファイルヘッダ Data descriptor セントラルディレクトリエントリ セントラルディレクトリの終端レコード gzipからzipへの変換 gzipヘッダの処理 gzipファイル本体の処理 gzip trailerの処理 複数gzipファイルの連結 PoC まとめ 概要 先日Dirty PipeというLinuxカーネルの脆弱性が公表されました。 dirtypipe.cm4all.com この脆弱性の原理自体も面白いのですが、その前に報告者の組織で行っているGzipとZIPの処理で引っかかったのでまず先にそち
A regular expression to check for prime numbers
Noulakaz The blog of Avinash, Christina, Anya and Kyan Meetoo. Regular expressions are extremely powerful. This is something I read at least once or twice every day while reading articles and blogs on the Web. While browsing today, I found this page which thoroughly describes the use of the regular expression /^1?$|^(11+?)\1+$/ in Perl to check if a number is prime or not!!! /^1?$|^(11+?)\1+$/ To
Glicko rating system - Wikipedia
"Glicko" redirects here. For the village in Poland, see Glicko, Goleniów County. The Glicko rating system and Glicko-2 rating system are methods of assessing a player's strength in zero-sum two-player games. The Glicko rating system was invented by Mark Glickman in 1995 as an improvement on the Elo rating system and initially intended for the primary use as a chess rating system. Glickman's princi
www.Autodiff.org - Community Portal for Automatic Differentiation
This site is designed to serve as the entry site to everything you want to know about automatic differentiation. Automatic Differentiation (AD) is a technology for automatically augmenting computer programs, including arbitrarily complex simulations, with statements for the computation of derivatives, also known as sensitivities. We apologize for any inconvenience caused by the fact that this site
Cool Chips XVII - D-Waveの量子コンピュータの最新状況(前編)
4月14日から17日にかけて開催された「Cool Chips XVII」においてD-Wave SystemsのColin Williams氏が同社の量子コンピュータの最新状況を中心に基調講演を行った。 D-Waveは、カナダの西海岸のバンクーバーの周辺に本拠を持つ会社で、従業員は100人程度であるが、その中で博士号をもつ人が27名というハイテク集団である。そして、D-Wave社は、世界で唯一、量子コンピュータを製造している会社である。ただし、同社のコンピュータが本当に量子効果で動いているかには懐疑的な学者もあり、学会での評価は、まだ、定まっていない。 しかし、2011年5月には防衛産業のロッキードマーチンと南カリフォルニア大のチームがD-Wave Oneを購入し、2013年5月にはNASAとGoogleのチームがD-Wave Twoを購入している。また、D-Wave本社には10台程度のマシ
When Random Isn't Random Enough: Lessons from an Online Poker Exploit - Laura Diane Hamilton
When Random Isn't Random Enough: Lessons from an Online Poker Exploit Today I am going to retell a story from 1999, a story in which developers of a popular online poker platform implemented card-shuffling software with a handle of subtle but critical bugs. Image credit: David Wells on Flickr Although this story is 15 years old, the lessons it holds for algorithm developers are still relevant. It'
充足可能性問題のアルゴリズム
充足可能性問題（satisfiability problem）とは？ 充足可能性問題（以下，ＳＡＴ問題と略す）とは， 理論計算機科学で最も基本的で 重要な ＮＰ完全問題 の一つである． グラフ理論における 巡回セールスマン問題，頂点彩色問題，独立頂点集合問題， オペレーションズ・リサーチにおける整数計画問題， ゲーム・パズルにおける数独，テトリスなど， 実社会で遭遇する多くの（決定）問題がＮＰ完全問題である． その中でも， ＳＡＴ問題は，そのＮＰ完全性が示された最初の問題である． 以下の意味で， ＳＡＴ問題は，ＮＰ完全問題の根本である： すべてのＮＰ完全問題のＮＰ完全性は， （いくつかの例外を除いて） ＳＡＴ問題からの有限回の多項式時間還元を経て示された． 例えば， 教科書 [1] では， ハミルトン閉路問題は， 頂点被覆問題からの多項式時間還元により， 更に， 頂点被覆問題はＳＡＴ問題か
ミラー–ラビン素数判定法 - Wikipedia
ミラー–ラビン素数判定法（英: Miller–Rabin primality test）またはラビン–ミラー素数判定法（英: Rabin–Miller primality test）は、与えられた数が素数かどうかを判定する素数判定アルゴリズムの一種。フェルマーの素数判定法や ソロベイ–シュトラッセン素数判定法と同じく、乱択アルゴリズムの一種である。Gary L. Miller が最初に開発したMillerテストは未だ証明されていない拡張リーマン予想に基づいた決定的アルゴリズムだったが、マイケル・ラビンがこれを無条件の確率的アルゴリズムに修正した。 概念[編集] フェルマーやソロベイ–シュトラッセンの素数判定法と同様、ミラー–ラビン素数判定法も素数に関して成り立つ等式に基づいており、与えられた数についてそれら等式が成り立つかどうかで判定を行う。 まず、有限体 の単位元の平方根についての補題を
SIGMOD'13 に論文採択 - iwiwiの日記
論文が国際学会 SIGMOD'13 (ACM SIGMOD International Conference on Management of Data) に採択されました．SIGMOD はデータベース分野のトップ会議です．日本からの論文は知る限り 5 年ぶりだと思います．修士の間の研究で，この厳しい戦いを勝ち抜き論文採択に至ることができ，本当に嬉しいです． 論文は "Fast Exact Shortest-Path Distance Queries on Large Networks by Pruned Landmark Labeling" というタイトルで，研究室同期の岩田と NII の吉田さんとの共同研究です． 内容について 扱っている問題は前回の EDBT 論文と同じく，大規模ネットワーク上の最短路クエリです．グラフに対し，ある程度の前計算データを蓄えておく事により，2 点間の最短
ランダー・グリーン アルゴリズム（１） - aggren0xの日記
お気に入り経由で以下の記事を読んでとてもおもしろかったのですが、 http://ama.an-pan-man.com/archives/814 原文も読んで確認もしたんですけど、エリック・ランダーが自己紹介するにあたって「ランダー・グリーンアルゴリズム*1」について一言も触れてない。 これはとても美しいアルゴリズムで、隠れマルコフモデルの遺伝家系データへの適用で、最初にこれを思いついたのは天才だと私は思う。今でもこのアルゴリズムは応用されており、たとえば次世代シーケンサーのデータにおいても行われるハプロタイプの相決定や、imputationアルゴリズムと言ってヒトゲノム上数十万のマーカーデータから、相関構造を利用して一千万以上のマーカーデータを推定するというのに使われます。 わたしは数学出身ではありません。EMアルゴリズムのDempster論文も、なんとか読み終えることは出来ましたというレ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://shinh.skr.jp/dat_dir/golf_prosym.pdf
決定不能の会
CSDL | IEEE Computer Society
http://www.sat.t.u-tokyo.ac.jp/~omi/random_variables_generation.html
Technology and space
IMPLICIT PROGRAMMING - Lab for Automated Reasoning and Analysis - LARA: Wiki