パスワードを忘れた? アカウント作成

みんなの日記はここから一覧を見ることができます。

13623003 story
数学

ミツバチは「ゼロ」の概念を理解できるという研究結果 23

ストーリー by hylom
0の概念ってこういう話だったっけ 部門より

「0」という数の概念は非常に高度なものとされているが、ミツバチも0の概念を理解できるという研究が発表された(GIGAZINESCINEWSSlashdot)。

豪RMIT大学の研究者Adrian Dyer氏らは、ミツバチの理解能力を調べるため、個々のミツバチを識別できるようにした上で試験装置に投入し、「数の大小」を識別できるよう訓練したという。具体的には、複数の要素が描かれた画像を提示し、その画像内に含まれた要素の数がもっとも少ないものを選択すると報酬として砂糖が得られるようにしたそうだ。

このように訓練したミツバチに対し、何も描かれていない画像とそうでないものを提示したところ、何も描かれていない画像を選択するようになったという。訓練には要素が描かれた画像のみを使っていたとのことで、研究者らはこれをもってミツバチは「0を理解できるようになった」と主張している。

13590700 story
地球

陸にぶつからずにまっすぐ進める最長の海上ルート、水に落ちずにまっすぐ進める最長の地上ルート 59

ストーリー by headless
最長 部門より
海上を陸地にぶつかることなくまっすぐ航行できる最長ルートと、地上を海や湖沼に落ちることなくまっすぐ走行できる最長ルートについて、United Technologies Research Center IrelandのRohan Chabukswar氏とIBM Research IndiaのKushal Mukherjee氏が分枝限定法を用いて算出している(論文アブストラクトSlashGearの記事MIT Technology Reviewの記事)。

最長の直線海上ルートはパキスタンを出発してアフリカ大陸とマダガスカルの間を抜け、アフリカ大陸と南アメリカ大陸の南側を通って太平洋を北西に進み、カムチャツカ半島に至る。角距離288度35分23秒、距離32,089.7kmの大圏コースだ。このルートは2012年にRedditユーザーのkepleronlyknows氏がsubreddit「MapPorn」に投稿したもので、証明・反証や地上ルート特定などの試みで盛り上がった。
13569696 story
Windows

Windowsの標準電卓で4の平方根が2でなかった仕様、変更される 81

ストーリー by hylom
どうやって修正したのだろう 部門より

Windows 10の電卓アプリで、「4の平方根が2にならない」不具合が修正されたとのこと(PC Watch)。

これは電卓アプリが内部的に32桁精度の浮動小数点演算で計算を行っているためで、4の平方根(√4)を計算すると表示上は2に見えるが、内部的には「1.99999999999999999989317180305609」という値になっており、この結果を使ってそのまま計算すると不具合が発生することがある。たとえば「√4-2」が「-1.068281969439142e-19」になってしまうそうだ。

当初Microsoftはこの挙動を仕様としていたが、このたびこの問題を修正するアップデートが配信されたそうで、これによって4の平方根は2になるという。

13547795 story
Android

AndroidもHEIFに対応 60

ストーリー by hylom
各種ネットサービスやハードのサポートがないとちょっと 部門より
あるAnonymous Coward曰く、

最近のスマホOSは目新しい機能がなく注目度が落ちていたが、Androidの次期バージョン「Android P」では地味に有効な改善点がいくつかあるようだ(PC Watch)。

まずは目玉としてiOSが先にサポートしていた画像フォーマット「HEIF(High Efficiency Image File Format)」にAndroidも対応する。HEIFはH.265ベースの静止画圧縮フォーマットで、AndroidとiOSがそろって対応することで、ついにJPEGの時代が終わるかもしれない。JPEGは圧縮率の面では良くないため、HEIFが普及すれば画質を落とすことなくデータ量を削減できるだろう。もちろんWebPのようにHEIFは発音しにくいので、普及しない可能性もあるが……。

あとはセキュリティ関連の機能がいくつか入る。1つめはアイドル状態のアプリのカメラ・マイクの動作に制限が入るというもの。スマホが盗聴器になるのは悪夢だが、新しいAndoridでは24時間盗聴状態になる可能性を避けれることができるかもしれない。

2目めネットワークごとにMACアドレスのランダム化がサポートされる。MACアドレスを収集されて追跡される恐れがなくなる。

最後に将来的に暗号化されたクラウドバックアップ機能がサポートされる可能性がある。いままではGoogleがその気になればユーザーのデータは丸裸で、Googleのシステムがクラックされたらお手上げだったが、その心配がなくなる。

Appleではすでに導入済みで、Firefoxアカウントも同様だが、Googleはビッグデータとして使うためか、いままではクライアントによる暗号化は導入してなかったようだ。

13508390 story
数学

「2017年最大の素数」、書籍として出版される 41

ストーリー by hylom
お値段も現実的 部門より
「2017年 最大の素数」、オンデマンド印刷で出版される

先日新たな最大の素数が発見されたが(過去記事)、オンデマンド印刷を手がける虹色社がこれを印刷して書籍化した。全719ページで、価格は1944円(税込)。

この「最大の素数」は2324万9425桁 ということで、小さめの文字サイズでページにぎっしり数字が詰め込まれている。現在Amazon.co.jpでも購入が可能だ。「在庫切れ」となっているが、注文が入ったら数日で納品できるという。

13502724 story
ソフトウェア

互換用に残されていたMS Office付属の数式エディタ、脆弱性が見つかり削除される 17

ストーリー by hylom
まだあったのか 部門より

昨年11月、Microsoft Officeに付属する数式エディタ(Microsoft Equation)に脆弱性が確認された(INTERNET Watch)。これを受けて、Microsoftが数式エディタを無効化し利用できなくするアップデートを行ったようだ(Togetterまとめ)。

1月6日付けのMicrosoftのサポート情報に、数式エディタがセキュリティ上の問題で削除された旨が記されている。問題の脆弱性はCVE-2017-11882というもので、11月に数式エディタを起動できなくするセキュリティアップデートがリリースされている。

数式エディタは古いOfficeとの互換性のために残されていたとのことで、Office 2007以降にはネイティブで数式編集機能が組み込まれているが、それ以前のバージョンで数式エディタを使用して入力された数式については編集できない。その場合、MathTypeなどを利用すれば対応できるようだ。

13497890 story
数学

「史上最大の素数」約2年ぶりに更新、50番目のメルセンヌ素数で桁数は2324万9425桁 77

ストーリー by hylom
でかい 部門より

メルセンヌ素数を探索するプロジェクトである「Great Internet Mersenne Prime Search」(GIMPS)が、新たな「これまで知られているなかで最大の素数」を発見したと発表したハフィントンポストGIGAZINE)。新たな最大素数が発見されたのは2015年9月以来(発表は2016年1月)

この素数が発見されたのは2017年12月26日で、2の77,232,917乗-1という数。これを単純に数字として表すと2324万9425桁になるという。この数をプレインテキストで表記したファイルも公開されているが、ZIP圧縮されたもので約11.2MBというサイズとなっている。

13482793 story
数学

ABC予想を証明した論文、査読を通過 64

ストーリー by hylom
誰か分かりやすく説明してください 部門より

数学上の未解決問題の1つとされている「ABC問題」を証明したという論文が、京都大学数理解析研究所による査読付き論文誌Publications of the Research Institute for Mathematical Sciences(PRIMS)に掲載される見込みだと報じられている(朝日新聞)。

この証明および論文は京都大学数理解析研究所の望月新一教授によるもの。PRIMSの編集委員会に望月教授も名を連ねているが、今回の論文は外部の複数の数学者による査読を通った上での掲載になるとのこと。証明は2012年に発表されたが、査読には5年が費やされた(朝日新聞の別記事)。論文は600ページに上り、非常に難解だという。

13470332 story
統計

Net Applicationsの測定方法変更により、Windows 10のシェアが30%を超える 15

ストーリー by headless
変更 部門より
Net Applicationsが公表しているブラウザーやOS、サーチエンジンなどのシェアデータ測定方法が変更され、過去のデータも含めて数字が変動した。その結果、デスクトップOSシェアの11月分でWindows 10が30%を超えている(Operating System Share by VersionOperating System Market Share)。

旧データでWindows 10のシェアが30%を超えたことは一度もないが、新データでは9月に初めて30%を超えており(30.52%)、10月には再び30%を割っていた(29.86%)。11月分では2.09ポイント増の31.95%となっている。旧データ前月分との比較では2.69ポイント増になる。Windows 7は前月から0.07ポイント増の43.12%だが、旧データ前月分と比較すると3.51ポイント減。3位はWindows 8.1(5.97%)、以下Windows XP(5.73%)とMac OS X 10.12(3.87%)が続く。Linuxのシェア(1.64%)は大幅に減少したようにみえるが、新データではUbuntu(0.51%)やFedora(0.05%)などが別バージョンとして分離されたためで、OS種別データでは2.21%。Chrome OS(0.29%)はOS種別でもLinuxと別集計になっている。このほか、OS種別ではWindows(88.39%)やMac(9.05%)に加え、BSD(0.04%)が集計対象になっている。

新データの測定方法はNet Applicationsの提携サイトに対するユーザーのアクセスについて、非アクティブ時間が30分以上続かないものを1セッションとし、セッションをカウントしていくというものだ。これまでの測定方法は1日単位で全提携サイトへのユニークビジターをカウントするもので、あるユーザーが複数の提携サイトに何度アクセスしても1ビジターとしてカウントされていた。そのため、新データではアクセス回数の多いほどシェアが高くなるStatCounterの数字に近づいたとみられる。2016年12月分以降のデータを比較すると、旧データのバージョン別シェアはWindows 7が常に高め、Windows XPとMac OS X 10.12が常に低めになっていた。OS種別ではWindowsが常に高め、Macが常に低めとなっていたようだ。
13452876 story
NASA

2019年1月1日にニューホライズンズ探査機がフライバイするカイパーベルト天体の愛称募集中 16

ストーリー by headless
募集 部門より
NASAのニューホライズンズ探査機のミッションで、2019年1月1日にフライバイを実行するカイパーベルト天体(KBO)「(486958) 2014 MU69」の愛称募集が行われている(キャンペーンサイトNASAの記事Ars Technicaの記事)。

MU69は冥王星の16億km先、地球から65億km以上離れており、これまでの観測ではほぼ同サイズの2つの天体が連星軌道を周回しているか、結合して1つになっているかのいずれかとみられている。そのため、今後2つ以上の仮符号が割り当てられる可能性もある。カイパーベルト天体は公式な名称が国際天文学連合(IAU)へ提案される前に非公式な名称がつけられることが多く、NASAではニューホライズンズによるフライバイ実施後、より詳しい情報が得られてからMU69の公式名称を提案する計画だという。

愛称募集キャンペーンはニューホライズンズサイエンスチームのMark Showalter氏が主導し、SETI Instituteがホストして実施されている。キャンペーンでは新たな候補を提案するほか、既に提案されている候補を選んで投票することも可能だ。候補提案フォームには名称を入力する欄に加え、提案理由と名称に関する情報の得られるWebページのURLを入力する欄が用意されている。キャンペーンは太平洋時間12月1日正午(日本時間12月2日午前5時)で終了する。なお、募集要項によれば、提案者や投票者に賞金や賞品が授与されることはなく、表彰も行われない。愛称決定に当たってニューホライズンズチームとNASAは投票結果を考慮するものの、拘束はされないとのこと。
13432347 story
数学

「one-clean-qubit」モデルによる量子コンピュータが古典コンピュータよりも高速に問題を解けることが証明される 21

ストーリー by hylom
この問題も難解でした 部門より
あるAnonymous Coward 曰く、

群馬大学の森前智行准教授が、古典的な非汎用量子コンピュータモデルである「one-clean-qubit」モデルで解くことのできる結び目不変量の計算と行った問題については、量子コンピュータではない「古典コンピュータ」によるアルゴリズムよりも量子コンピュータのほうが高速に解けることを理論的に証明したと発表した(群馬大学と科学技術振興機構の共同発表大学ジャーナル論文)。

one-clean-qubitモデルによる量子コンピュータは任意の量子計算は行えないものの、特定の問題に関しては高速に解けることが知られていた。また、量子コンピュータと古典コンピュータの計算可能性は等しく、また量子コンピュータは古典コンピュータと同様の演算も行えるため、古典コンピュータで高速に解ける問題は量子コンピュータでも高速に解けるとされていた。今回の研究結果は、量子コンピュータが特定の問題において古典コンピュータよりも高速に解けることを証明するものとなる。

13419276 story
お金

仮想通貨採掘スクリプトでThe Pirate Bayが得る収入は? 22

ストーリー by hylom
アイデア的には面白いが 部門より
headless曰く、

The Pirate Bay(TPB)は先日、仮想通貨採掘スクリプトをWebページに埋め込む実験を実施しているが、継続的に行う場合の収入はどの程度になるか、TorrentFreakが試算している。

TPBが使用したのは仮想通貨「Monero(XMR)」を採掘するCoinhiveのスクリプトだ。TorrentFreakの記事作成時点で、支払われるMoneroは100万(1M)ハッシュ当たり0.00015XMRだったという。CoinhiveのWebサイトによれば、採掘スクリプトはネイティブの採掘プログラムの65%程度のパフォーマンスとのことで、デスクトップ版のCore i7で1秒当たり90ハッシュ(90 h/s)と説明されている。TorrentFreakがCoinhiveに問い合わせたところ、ミッドレンジのノートPCで30 h/sとの回答を得たそうだ。TPBの訪問件数についてはSimilarWebのデータを用い、月間約3億1,500万件(315M件)。訪問1回あたりの滞在時間は平均5分としている。

これらのデータから1か月に生成できるハッシュは、30ハッシュ×300秒×315M件で2,835,000Mハッシュとなる。ただし、TPBでは適切なCPU使用率を20~30%としており、30%の場合で850,500Mハッシュまで減少する。1Mハッシュ当たり0.00015XMRが支払われるとすれば、TPBの1か月の収入は約127.5XMR。試算時のレートではおよそ12,000ドルになったとのこと。Adblock Plusが説明するような方法で採掘スクリプトをブロックする人もいるため、実際の収入はさらに少なくなるとみられる。仮想通貨採掘スクリプトはWeb広告に代わる存在になりえるのだろうか。

13399270 story
数学

20170831と20170901はともに素数、2日連続で素数となる日付は15年ぶり 42

ストーリー by hylom
日付が素数かなんて気にしたことはなかった 部門より
masakun 曰く、

立命館大学の上原哲太郎教授によると、素数日が連続するのは15年ぶりだという(Togetter まとめ)。

日付を西暦年を使った8桁の数字で表したときに素数になる日を素数日と呼ぶことにして、2017年9月1日を20170901と表せば素数日。20170831も素数日で、素数日が連続するのは2002年5月31日/6月1日以来だという(今世紀2回目)。

このように連続素数日は月末月始になる決まりで、今後今世紀中の連続素数日は2018年7月末、2020年大晦日、2028年2月末、2029年大晦日、2036年10月末、2064年3月末、2068年8月末、2075年1月末、2080年2月末と5月末、2081年10月末、2093年7月末となる。連続する素数日を調べる便利なプログラムもある。

さらに2017年9月3日も素数日であり、9月1日とは双子素数の関係にある。連続素数日と双子素数日が重なるのは1983年3月以来34年ぶりだという。

13385655 story
マイクロソフト

Office365に「LaTeX入力モード」が導入される 9

ストーリー by hylom
LaTeXからの乗り換え狙いか 部門より
utahime 曰く、

いささか旧聞に属しますが、8月からOffice365でLaTeXの構文を使った数式入力モードが導入されたようです(Office Blogsのブログ記事ITmedia窓の杜ASCII.jp)。

最初知った時には「またアレゲな機能が…」とか思ったんですが、普段LaTeXで論文を書いている研究者の方が発表用のパワポを作る場合とかに、数式を論文のソースからコピペできるのは楽なのかなとか想像しました。使ってみた方、実際のところどんなもんでしょうか?

Wordでは以前よりLaTeX風の文法による数式入力が可能だったが、これが改善されて「LaTeXモード」となり、さらにPowerPointやOneNoteでも利用可能になるという。

13381181 story
数学

arxiv に P≠NP 問題を解決した論文が投稿される 52

ストーリー by hylom
検証を待て 部門より
fromage曰く、

計算機科学の未解決問題であるP≠NP予想を解決したとする論文がarxivに投稿された(結城浩氏のツイート論文のページ)。

NP完全問題は、巡回セールスマン問題のような、入力(重み付きグラフと閾値)に対する証拠(巡回経路)があれば入力を多項式時間で判定できる問題の中では最も難しいものである。NP完全問題を多項式時間で解くアルゴリズムはまだ見つかっていない。そのようなアルゴリズムが存在すればP=NPであり、存在しないならばP≠NPであるが、現在までどちらなのか分かっていない。

今回投稿された論文では、P≠NP(つまり、NP完全問題は多項式時間で解けない)と結論付けている。著者が計算機科学の専門家(大学の情報科学科の教授)である点から、この論文に期待する意見もある。しかし、arxivには査読の仕組みがないため、この証明が正しいかどうかは、現段階では不明である。

ところで、P≠NP問題を解決したと主張する論文のリストを示しているページによると、(査読を通ったものを含めて)116本の論文がこれまで発表されている。

typodupeerror

アレゲはアレゲを呼ぶ -- ある傍観者

読み込み中...