RTA走者が利用する“バグ”を分析 ソフトウェア開発に役立つか？ 「スーパーマリオシリーズ」4作で調査
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英ブリストル大学などに所属する研究者らが発表した論文「Super Mario in the Pernicious Kingdoms: Classifying glitches in old games」は、スーパーマリオシリーズ4作品（スーパーマリオブラザーズ、スーパーマリオブラザーズ3、スーパーマリオワールド、スーパーマリオ64）を対象に、これまでに報告されている237件のバグを調査した研究報告である。 ゲームをどれだけ速くクリアできるかを競い合う「RTA」という遊び方がある。彼らは「RTA走者」などと呼ばれ、常人にはまねできないようなスーパープレイ
ソースコードの中で罵倒してる？ | スラド デベロッパー
カールスルーエ工科大学の学生、Jan Strehmel 氏が C 言語で書かれたオープンソースコードを調べたところ、罵倒語を含むソースコードがコーディング標準により準拠していたそうだ (論文: PDF、 Ars Technica の記事)。 調査は GitHub で公開されている C 言語のオープンソースコードを用い、Strehmel 氏の所属する研究グループが開発したオープンソースのコーディング標準準拠チェックツール「SoftWipe」で 10 点が満点となる評価を行っている。対象は 300 個以上の英語の罵倒語のうち少なくとも 1 個含む 3,800 件以上のリポジトリと、罵倒語を含まない 7,600 件以上のリポジトリとなっている。 SoftWipe による評価は罵倒語を含まないリポジトリで中央値 5.41 (信頼区間 5.38-5.45、標準誤差 0.02)、罵倒語を含むリポジトリ
約10万時間を要した宇宙論的シミュレーションを数秒で再現することに阪大が成功
大阪大学(阪大)は5月27日、10万時間におよぶ宇宙論的シミュレーションから得られた銀河間物質のガス分布(特に中性水素)を、機械学習技術によって数秒で再現できる新しい数値計算手法を開発することに成功したと発表した。 同成果は、阪大大学院 理学研究科の長峯健太郎教授、同・清水一紘特任研究員(現・四国学院大学 准教授)、スペイン・カナリアス天体物理学研究所(IAC)のフランシスコ・シュウ・キタウラPI、同・フランチェスコ・シノガリア大学院生(スペイン・ラ・ラグーナ大学/イタリア・パドヴァ大学にも在籍)、同・アンドレス・バラゲーラ・アントリネス研究員らの国際共同研究チームによるもの。詳細は、米天体物理学専門誌「The Astrophysical Journal」に2本の論文として掲載された。 現在の天文観測から、宇宙で我々が観測可能な通常物質は5％ほどで、残りはダークマターが約25％、宇宙を膨張
チューリング賞、コンパイラ技術の開発に貢献した研究者2人に
コンパイラと呼ばれる重要なソフトウェア開発ツールがなければ、コンピューターを制御するために、人間には理解が難しい機械語の世界まで降りていく必要が生じていたことだろう。この功績を称えて、高い権威を誇るチューリング賞の2020年の受賞者に、コンパイラの開発に貢献したAlfred Aho氏とJeffrey Ullman氏が選ばれた。 計算機学会（ACM）は毎年チューリング賞の受賞者を選出し、100万ドル（約1億1080万円）の賞金を授与している。ACMによると、コンパイラ技術の先駆けとなったUllman氏とAho氏の共同研究は、1967年にAT&Tの著名な研究施設であるベル研究所で始まった。 現在、Ullman氏はスタンフォード大学の名誉教授で、コンピューターサイエンス関連のeラーニング企業Gradianceで最高経営責任者（CEO）を務めている。Aho氏はコロンビア大学の名誉教授だ。
『マリオカートWii』では“32768周逆走”すると、2ラップでゴールできるようになる。研究家が奇妙なバグ挙動を報告 - AUTOMATON
10年以上前のゲームでありながらもいまだにTASなどの研究が非常に盛んである『マリオカートWii』において、また新たなバグ挙動の研究成果が発表されている。今回の内容は本作のラップカウントシステムの仕様の穴を突くものとなっている。その手段とは、32768周逆走である。これによって、本来ゴールには3ラップする必要があるが2ラップになったり、「LAP 8/3」といったありえない表示がゲーム内で実現してしまうほか、2フレームというとんでもなく短いラップタイムが実機でも実現してしまう可能性があった。TASユーザーのMalleo氏が解説動画を投稿しており、本稿では主に動画内で解説されている内容に触れる。 今回『マリオカートWii』のラップカウントシステムが研究の対象となったのは、プレイヤーのラップ記録に使われているメモリが、現実的な範囲でアンダーフローを起こせる仕様であったことに起因する。オーバーフロ
格闘ゲーム『北斗の拳』バグ研究者に聞く。バスケから都市伝説の解明まで、13年を経てここまで進化
2005年からアーケードで稼働を開始した『北斗の拳』をご存じだろうか。 かつて存在していた公式サイトにて公開されていた「YOUはSHOOCK」 （画像は北斗の拳 公式サイトより） 同名漫画を原作とする対戦格闘アーケードゲームとしては初の作品。7つの星をすべて奪えば一撃必殺技で敵を倒せる「死兆星システム」や、ブーストゲージを消費して相手を吹き飛ばす「バニシングストライク」など、世紀末格闘ゲームとして意欲的なシステムを多数備えていた。しかし、いざ稼働すると北斗の次兄「トキ」が病身から蘇ったかのような強烈な強さを発揮したことが知れ渡り、多くのプレイヤーからバランスが崩壊したゲームの扱いを受け衰退していくことになる。 だがその後、先人の研究により実はトキのみならず、そもそも全キャラが壊れていることが判明。仕様なのかバグなのかわからない謎の技術の研鑽によって、一周回って超絶技巧を持つプレイヤー同士が
作業が早いプログラマーと遅いプログラマーの差の比は4:1
An empirical study of working speed differences between software engineers for various kinds of task プログラマーの作業速度には差がある。作業速度が早いことだけをもって優秀なプログラマーとは限らない。そのソフトウェアの保守性が悪いかもしれないからだ。しかし、やはり作業速度の早いプログラマーは優秀と見られがちだ。特に、転職界隈では、優秀なプログラマーは、その作業速度の速さを形容して、「ニンジャ」とか「10倍プログラマー」などというタイトルで喧伝されている。さて実際には、プログラマーの作業速度は、全体としてどの程度違うのか。 プログラマーの作業速度が早いものと遅いものの比は、従来、28:1であると言われてきた。この数字には根拠となる研究がある。1967年にGrantとSackmanが公開した論文
コンピューター科学のアカデミック業界の残念な現状
mhoye on Twitter: "Extremely angry with the state of academic CS research right now. (1/n)" MozillaでFirefoxのエンジニアリングコミュニティマネージャーであるMike Hoyeが、コンピューター科学におけるアカデミック研究の残念な現状に激怒している。 コンピューター科学のアカデミック研究の現状に激怒している。 MozillaがBugzillaを始めとした多数の情報を公開した結果として、多くの研究論文が書かれている。 我々はそのような研究には注目している。論文はじっくり読んでいるし、研究結果にしたがって今後の方向性も決めている。 しかし、我々は常に変化する世界に生きている。そのため、我々はデータをもとに結果を再検証して、仮定が正しいことを確認する。 ここで我々が行いたいことは、我々はある意
リファクタリングしてもコードの質は改善されないという実験結果 | スラド デベロッパー
ソースコード中の記述を整理したり、変数名や関数名を分かりやすく書き換えることはリファクタリングと呼ばれているが、実験の結果、リファクタリングを行ったとしてもコードの質が格段に良くなるものでもないことが分かったそうだ（ITWorld、Slashdot）。 調査を行ったのはスリランカの研究チーム。リファクタリングによりソフトウェアの品質が外部的・内部的にどれほど向上するのかを調べたそうだ。実験には、オンラインドキュメント評価のスケジューリングおよび管理を行う小規模のアプリケーション（4,500行ほどのC#コード）が用いられ、10個の一般的なリファクタリング技術が適用された。 実験の結果、実際の統計では大きな差はみられなかったもの、参加者らの採点によればリファクタリングされたコードの方が解析性が劣り、コードのバグ修正と実行にはより時間がかかるようになったという。また、リファクタリングしたからとい
C言語の開発者によるgoto文の使い方を対象とした実証研究の結果、「goto文は無害だと考えられる」 | スラド デベロッパー
Edsger Dijkstra氏がgoto文の危険性を主張したのは1968年。それから50年近く経過した現在もgoto文は使われ続けているが、Dijkstra氏が懸念したようなgoto文の無制限な使用が行われているのかどうかという点や、それがバグの原因となるような有害なものなのかどうかといった点については、よくわかっていなかったという。こういった点に関する実証研究が本家/.で紹介されている。 本家/.「Empirical Study On How C Devs Use Goto In Practice Says "Not Harmful"」より 200万近いC言語のファイルと1万1千件を超えるプロジェクトからランダムに抽出した統計的に有効なサンプルを質的および量的に分析したところ、開発者はほとんどの場合gotoの使用を適切に制限しており、Dijkstra氏が懸念したような無制限な使用は行わ
精度95%以上！ ソースコードは指紋、作者はほぼ特定できる
精度95%以上！ ソースコードは指紋、作者はほぼ特定できる2015.02.11 19:0010,327 ほぼドンピシャでバレバレです。 スペースやタブ、大文字やアンダーバーを組み合わせた命名規則、コメント…コードの書き方には、人によってスタイルがありますよね。それはもう指紋のようなもので、それさえ見えれば、誰がコードを書いたかほとんどわかってしまう…そんな驚きの研究結果が発表されました。 米ドレクセル大学、メリーランド大学、プリンストン大学、独ゲッティンゲン大学の共同チームの研究によると、自然言語処理と機械学習によるコード分析により、95%の精度で作者は特定できるそうです。 解析されるのは、レイアウトや語彙の特性と、｢抽象構文木（AST）｣です。ASTとは、｢コードの書き方からまったく影響を受けずに、コードの型の特性をとらえる｣もので、つまり、関数の名前、コメント、スペース入れ方などのクセ
Facebook、ディープラーニング技術をオープンソースに
印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます 米国時間1月16日、Facebookは人工知能に関する研究開発を促進するため、同社が推進する人工知能プロジェクト「Torch」のディープラーニング（深層学習）モジュールをオープンソース化し、企業や開発者に対して公開すると発表した。 Facebookにはオープンソースのコミュニティに貢献してきた歴史があり、過去には自身のデータセンター技術を公開したこともある。今回Facebookがオープンソース化する、Torch用に最適化されたディープラーニングモジュールや関連ツールなどの技術は、人工知能に関する各種分野の研究開発をおおいに促進する可能性がある。また、現時点でTorchを主に利用しているのは、学術機関の研究室や、Google、Twitte
プログラミング言語がソフトウェアの品質に与える影響 | スラド デベロッパー
あるプログラミング言語がその仕事に適したものであるかといった議論は論争に発展しがちだ。時には宗教戦争の様相を呈することがあるものの、プログラミング言語がコーディングプロセスだけでなく完成した製品の特性にも影響することは多くの方が同意するところだろう。これについてカリフォルニア大学デイビス校のコンピューターサイエンス研究者らが、プログラミング言語のソフトウェア品質に与える影響(PDF)に関する調査結果を発表した。研究ではGitHubの729プロジェクト(17言語、29,000人が書いた8,000万行のソースコード、150万コミット)を分析。大きなサンプルサイズを利して混合研究法のアプローチをとり、複数の回帰的モデリングやテキスト解析を組み合わせて静的型付けと動的型付け、型付けの強弱といったプログラミング言語の特徴がソフトウェアの品質に与える影響を調べた。異なる手法による調査結果を組み合わせ、
400年の難問、｢ケプラー予想の証明｣やっと100％終わる
400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0018,572 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中
高校生がスーパーコンピュータを使って5×5魔方陣の全解を求めることに成功 | 筑波大学 計算科学研究センター
概要 筑波大学計算科学研究センターは、全国共同利用施設として、一般公募による「学際共同利用プログラム」※1を実施しています。平成25年度に、茨城県立並木中等教育学校4年次（高校1年）の杉﨑行優（すぎざき・ゆきまさ）君の申請が採択されました。杉﨑君は筑波大学計算科学研究センターの朴泰祐教授と共同研究を進めた結果、スーパーコンピュータ「T2K-Tsukuba」※2を使った並列計算により、5×5の魔方陣の全ての解を求めることに成功しました。 魔方陣とは、正方形のマス目に、縦・横・斜めの合計が同じになるよう数字を置いたものです。5×5の魔方陣の全解は2億7530万5224通りあることがすでにわかっています。杉﨑君は「枝刈り法」を改良した求解アルゴリズムを考案し、スパコンに並列計算させるためのプログラムを開発しました。朴教授は、並列データの収集や並列化に関する詳細なアドバイスを行いました。並列計算
Google Glassとセキュリティの懸念
世界のセキュリティベンダーのブログから、サイバーセキュリティに関する最近の話題を紹介する。今回は、ちょっと変わった話題から。米グーグルのめがね型ウエアラブルコンピュータ「Google Glass」のセキュリティに関する問題である。米シマンテックがブログで提起している。 Google Glassは4月下旬に、「Glass Explorer」と呼ばれる一般ベータテスター向けにリリースされた。Glass Explorerは、ハッシュタグ「#ifihadglass」を付けた50ワード以内のエッセイを応募し、Google Glassを1500ドルで購入する権利を獲得した人々である。 Google Glassは、あらゆることができそうなデバイスという賞賛の声が聞こえる一方で、議論も呼んでいる。Google Glass購入権を得た8000人は厳しいユーザーライセンス契約を結ばなくてはならない。ライセンス
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
天体望遠鏡で“宇宙の彼方”をひたすらスキャン：ビッグデータ解析で、ダークエネルギーの謎に近づけるか
一般人がプログラミングで、ヒッグス粒子の謎に迫る：コンテスト開催中
文字コードの脆弱性はこの3年間でどの程度対策されたか?
脳と同じように機能するコンピューター