本家/.「Ask Slashdot: What Makes Some Code Particularly Good?」より

何がソースコードを特に「良い」ものとするのかについて開発者が話すとき、一握りの特徴が繰り返し言及される傾向がある(動作する、読みやすい、テストできる)。皆さんなら何をリストに加えるだろうか。

元記事のITworldでは良質なコードの特徴として、以下の8つを挙げている。

1. 正しく動作すること
2. 読みやすいこと
3. テストできること
4. メンテナンスしやすいこと
5. きれいに整形されていること
6. 変更しやすいこと
7. シンプルであること
8. 効率が良いこと

いくら推測が難しいと思われるパスフレーズを考えても、1秒間に1兆回の試行が可能なコンピューターを使われれば簡単に破られてしまう。The Interceptでは、比較的容易に覚えられ、推測の困難なパスフレーズを生成する「Diceware」という方法をMicah Lee氏が紹介している(The Interceptの記事、 本家/.)。

ランダムなパスフレーズを考える場合にも、関連する単語を組み合わせてしまったり、文法に従った語順に並べてしまったりと、人間はどうしてもパターンから逃れることはできないのだという。歌詞や名言、慣用句などを元にした場合、大文字小文字を取り混ぜたり、記号を挟んだりしてもランダムなパスフレーズよりも弱くなる。既存の単語を使わずに、完全にランダムな文字と記号を組み合わせてしまうと覚えるのが難しくなってしまう。

Dicewareでは7,776個の英単語によるリスト(PDF)を使用してパスフレーズを生成する。各単語には各桁が1～6の数字で構成された5桁の数が割り当てられており、サイコロを5回振って出た目の数により単語を選択していく。使用する単語がわかっているので1回目の試行で破られてしまう可能性もあるものの、5つの単語を使用した場合にはおよそ2,800京通りの組み合わせがあるため、平均では1,400京回の試行が必要となる。2013年にエドワード・スノーデン氏が警告したような1秒間に1兆回の試行が可能なコンピューターを使用すれば平均で6か月以内に破られてしまうが、6つの単語を使用すれば平均3,505年、7つの単語では平均2,700万年かかる計算となる。コンピューターの性能が向上すればもっと短時間で破られることになるが、7つの単語なら当面は安全と考えられるとのこと。

(続く...)

あるAnonymous Coward 曰く、

3月26日にバージョン1.9がリリースされた Dart言語だが、前日の25日にDartプロジェクトはDart VMをChromeに統合しないことを発表している( Dart News & Updatesの記事、 マイナビニュースの記事、 TechCrunch Japanの記事)。

DartはJavaScriptに替わるWebプログラミング言語として開発された。いずれはChromeにDart VMが搭載され、他のブラウザもそれに追従すると期待されていたが、方針の転換が行われたようだ。今後Dartは、JavaScriptへのトランスパイル言語の一つとしての活躍が期待される。

Dartを使用する開発者のフィードバックには、JavaScriptとのよりよい統合を求める意見や、開発したアプリをすべてのモダンブラウザで容易にデバッグや最適化を実行できるようにしてほしいとの要望がみられたという。そのため、Google ChromeだけでなくユーザーとWebにとって最も良い方針として、DartのJavaScriptへのコンパイルに注力することを決めたとのことだ。ChromeにDart VMは搭載されないが、開発者向けツールやサーバー、モバイルアプリ向けのDart VMの最適化や改善は引き続き行っていくとしている。

大型水槽で展示するクロマグロなどが相次いで死に、展示数が激減している東京・江戸川区の葛西臨海水族園では27日、展示回復に向けてアカシュモクザメなどを追加する計画を明らかにした(東京ズーネットの記事、 毎日新聞の記事、 YOMIURI ONLINEの記事、 朝日新聞デジタルの記事)。

大量死の原因究明のために外部研究機関に依頼した病理検査で3検体から検出されたウイルスについては、大量死をもたらすウイルスではないことが確認されているという。原因の調査は引き続き行われるが、水槽の環境を安定させて段階的に展示機能の回復を目指していくとのこと。今後の予定としては、第1段階として3月31日にアカシュモクザメ2～3匹およびタカサゴ約500匹を追加。4月中旬には第1段階の結果をふまえてスマとハガツオを追加し、6月中に小さいサイズのマグロを追加することを予定している。投入するアカシュモクザメは体長70～80センチメートルの個体で、生き残っているクロマグロよりも小さいため捕食する危険はないという。また、アカシュモクザメとタカサゴはマグロと同じ病気にかかりにくいとのことだ。なお、大水槽では24日にクロマグロ1匹が死に、残りはクロマグロ1匹となっている。

28日に函館市の五稜郭で行われた将棋電王戦FINAL第3局は、やねうら王が稲葉陽七段を破り、コンピューター側が初勝利を飾った(週アスPLUSの記事、 日本経済新聞の記事、 毎日新聞の記事、 47NEWSの記事)。

やねうら王は今回が電王戦出場2回目。初出場した前回の第3回将棋電王戦では、事前提供していたソフトウェアのバグ修正で注目を集めたが、本番ではバグ修正前のバージョンを使用して佐藤紳哉六段を破っている。今回は稲葉七段が序盤若干優勢に対局を進めていたが、勝負を急いだことで午後には形勢が逆転。夕食後には稲葉七段が入玉できる体制を固めて粘ったものの、19時42分に116手でやねうら王が勝利した。序盤はYSSの評価値がプラスとなっていた稲葉七段だが「優位な局面と感じたことはなかった」と対局後のインタビューで語ったという。一方、やねうら王を開発した磯崎氏は「勝ったという実感はまだない」とし、「事前研究に対する研究が打てなかったところが反省点です」と語ったとのことだ。

第3局の勝利でコンピューター側は1勝2敗。4月4日に奈良の薬師寺で行われる第4局は、村山慈明七段とponanzaが対局する。

現代の旅客機の操縦室は侵入者に対する最後の防衛線となっている一方、内部からの脅威に対して航空会社がとれる対策は少ないそうだ(The New York Timesの記事、 本家/.)。

2001年の同時多発テロ事件以降、航空機の重要な安全対策の一つとして操縦室は要塞化している。しかし、先日発生したジャーマンウイングス9525便墜落事故では、副操縦士がこれを逆手にとって機長を操縦室から締め出し、故意に旅客機を墜落させた。米国では旅客機の操縦室へのアクセスは厳しく制限されており、乗客は操縦室のドア付近に集まることは認められない。操縦室のドアが開いているときはその手前のトイレを利用することもできず、通常は乗務員が通路をふさぐ。時には機内食用のカートを使用して通路をふさぐこともあるという。米連邦航空局(FAA)では操縦士のいずれか1人が客室に出る場合、乗務員が操縦席に座ることを義務付けている。欧州では操縦室で操縦士が1人になることを禁じていないが、米国と同様の規定を設けることについて議論しているとのこと。

操縦士による自殺行為は多発しているわけではないものの、1982年の日本航空350便墜落事故など過去にも何度か発生している。2013年に発生したモザンビーク航空470便墜落事故ではジャーマンウイングスの事故と同様に、機長がトイレに行った副操縦士を締め出して墜落させている。乗客を巻き添えにして自殺しようとする精神状態は、自分一人で自殺する場合の精神状態とは大きく異なると専門家は指摘する。これは学校で銃を乱射して多くの人を殺害した後に自殺するのとあまり変わらないという。ジャーマンウイングスの事故は、ストレスの多い環境で集中と規律が要求される操縦士の精神的な問題に対し、十分な検査が行われていない可能性を示すものでもあるとのことだ。

ソフトウェア開発者の間では一般的に、ディスクアクセスを避けてできるだけメモリー上で処理することが実行時間の短縮につながると考えられているが、これに逆行する研究結果をカナダ・カルガリー大学とブリティッシュコロンビア大学の研究チームが発表した(論文: PDF、 ITworldの記事、 本家/.)。

実験はJavaおよびPythonを使い、WindowsおよびLinux上で1バイト、10バイト、1,000バイトの文字列をそれぞれ100万バイトになるまで繰り返し結合し、結果をディスクに書き込むというもの。比較対象としては同じく1バイト、10バイト、1,000バイトの文字列を結合せずに計100万バイトになるまで直接ディスクに書き込んでいる。また、同じコードにより100万バイトの文字列を処理する実験も行っている。

その結果、Javaで1バイトの文字列を結合処理してからディスクに書き込んだ場合、ディスクへの直接書き込みと比べて約9,000倍の時間がかかったという。PythonではJavaほどの速度低下は見られなかったものの、直接書き込みの方がメモリー上での処理よりも数百倍高速だったとのこと。また、Linux上で実行したPythonのコードでは、元の文字列に新しい文字列を結合する方が新しい文字列に元の文字列を結合するよりも高速だったとしている。

論文ではこのような結果になった原因として、OSによるバッファリングがあるためにディスクへ直接書き込んでも速度がそれほど低下しないと指摘。また、OSのメモリー管理がメモリー上での処理を低下させる原因になる可能性もあるとし、開発者はOSやライブラリーなどについてより多くの知識を持つことでパフォーマンスを改善できるなどと結論付けている。ただし、論文の最後に掲載されているコードを見ればわかるように、文字列の結合には「+=」または「+」を使用しており、効率の良い処理を選択しているとはいえない。論文には「JavaではStringBuilderやStringBufferといったミュータブルなデータ型を使用すれば結果が大幅に改善する」といった記述もある。本家/.では結論に合わせた結果が出るように実験したのではないかとの指摘もみられるが、皆さんはどう思われるだろうか。

あるAnonymous Coward 曰く、

やや旧聞となるが、PHPコミュニティは数年にわたる議論と幾度もの投票の果てに、PHPの次期バージョン(PHP7)で関数の引数や返り値でintやstringなどのスカラー型の宣言を可能にする提案を3月17日に可決したという(PHP RFC: Scalar Type Declarations、東北ギークの記事)。

今回導入が決定された機能は「スカラー型宣言(Scalar Type Declarations)」と呼ばれるもので、これまでオブジェクトや配列でしか使用できなかった型宣言(タイプヒンティング)を拡張し、新たにint, float, string, boolのスカラー型も指定できるようにするもの。PHP7では元々返り値の型宣言の導入も予定されていたため、スカラー型宣言は引数と返り値の両方で使用可能となる。

興味深いことに、スカラー型宣言には暗黙の型変換を行うデフォルトの「弱い型検査」の他、ファイルの先頭でモードを宣言する「厳密な型検査」が搭載されるという。これは元々コミュニティに弱い型検査を求める人々と厳密な型検査を求める人々がおり、RFCが2010年頃から何度も提出されつつも双方が対立して可決に必要な3分の2に達しなかったことから、共倒れを避けるため両方の仕様が採用されたためとのこと。

本家/.「Wikipedia Admin's Manipulation "Messed Up Perhaps 15,000 Students' Lives"」より

2月にWikipediaの最高裁判所として機能するArbCom (Arbitration Committee)が、ある管理者アカウントに対して編集禁止などの処分を決定した。このアカウントのユーザーは、数年にわたってインドの偽ビジネススクールに関するWikipedia記事から批判を削除し、賞賛を追加するなどの操作を行い、重要な広告戦略の一つとして学校が利用できるようにしていたという。学校の約束と広告を信じ、家族は多額の学費を払って息子や娘を学校に通わせたが、子供たちは無価値な学位を得たことに気付く結果となった。インドのジャーナリストのコメントによれば、長期間にわたり記事が掲載されていたことから、Wikipediaは15,000人の学生の人生を台無しにした可能性もあるとのこと。インドは数千万人のインターネットユーザーに対し、Wikipediaへの無料アクセス「Wikipedia Zero」が提供されている国の一つだが、他のWebサイトにアクセスするためのデータ通信料金を支払えない人も多く、実質的にWikipediaが人々の「インターネット」になっているとの意見もある。

このビジネススクールはIndian Institute of Planning and Management(IIPM)という名称で、18の分校で数万人の学生が学んでいると宣伝。MBA取得を約束し、欧米の大学とも提携しているなどとして勧誘していたという。しかしデリー高等裁判所は昨年9月、IIPMの約束は誤解を招くものであり、いかなる学位を授与することも認められていないとの判決(PDF)を出しているとのことだ。

AppleのCEO、ティム・クック氏がFortune誌に対し、全財産を慈善事業に寄付する計画を明らかにしたそうだ(Fortuneの記事、 Reutersの記事)。

計画をすぐに実行に移すというわけではなく、10歳の甥に大学を卒業させた後になるとのこと。記事によれば、クック氏はおよそ1億2千万ドル分のApple株を保有しており、すべて支給されれば6億6千5百万ドル相当になる制限付き株式の権利もある。そのため、甥の学費を払っても、多額の財産が寄付されることになるものとみられる。既にクック氏は寄付を始めているそうだが、単に小切手を切るだけでなく、慈善活動に対する体系だったアプローチの開発に時間をとることを計画しているという。クック氏にとって世界を変えることは、金を稼ぐよりも常にAppleの重要な課題となっているとのことだ。

本家/.「Developers and the Fear of Apple」より

UIデザイナーのEli Schiff氏が、ソフトウェア開発コミュニティーでのAppleに対する「恐怖の風潮」について記事を投稿している。記事では開発者が気軽に批判した発言が記録され、その発言を撤回する結果になることが多い点や、公表された適度な批判が追従や宣伝に終わることが多い点などを指摘する。

さらに、利益を生むためにはAppleの閉ざされた庭に依存していられないことに業界が気付いている点を指摘。不透明なレビュープロセスや価格競争、App Storeでの適切なアプリ紹介をAppleが拒むことにより、より大きな組織やベンチャー企業に個人のアプリ開発者を追いやっているという。AppleはAndroidで先にアプリをリリースした開発者に対する連絡を絶つことでも知られている。また、「恐怖の風潮」はジャーナリストにも影響する。否定的な記事を書いたジャーナリストはAppleから拒否されるだけではなく、Appleファンや他のジャーナリストからアンチAppleとして扱われるようになるとのことだ。

fukusuke003 曰く、

3月28日、29日の両日、幕張メッセにてコミケットスペシャル6「OTAKU SUMMIT」が開催されます(コミケットスペシャル6公式Web)。

5年に1度開催されるコミケットスペシャルは毎回、何らかのテーマが決まっていますが、今回は「国際交流」。海外のサークルや世界のオタクたちが集まり交流することをテーマに、海外サークルの招致、海外イベント団体とのラウンドテーブルなどを実施します。さらに29日15:00より1981年に富野由悠季監督他ガンダム関係者の方々が実施した「2・22アニメ新世紀宣言大会」に習い、「オタク新世紀宣言」と題しまして世界のオタクたちの今についてシンポジウムを実施します。

その他にも、小林幸子さんも出演する「OTAKU SUMMIT SUPER LIVE(28日夜)」、経済産業省後援で各地の萌え特産品の紹介者や日本のオタクイベントを紹介する「OTAKU EXPO」、古参/.Jerならどこかで見たことがある公式コスプレスタッフなど、お祭りの名にふさわしい様々なイベントがありますのでお時間のある方は幕張メッセに足を運ばれてはいかがでしょうか。

なお通常コミケと違いカタログが入場券となっておりますので、参加される方は会場にてカタログをご購入ください。

taraiok 曰く、

Bulletin of the Atomic Scientists（原子力科学紀要）の編集者であるJohn Mecklin氏によれば、弾頭数の上では、核軍縮競争は終わったかもしれない。しかし、核兵器の近代化には弾みが付きつつあるという。そして、核兵器の近代化とともに、新たな核戦争の危機が迫っているとしている（FP、Slashdot）。

1960年代に開発されたB61核爆弾は、尾翼などを装備したB61-12型に更新されることで精密誘導が可能となった。これにより、周囲に対する被害の減少と、放射性物質の汚染範囲を減少させることができる。しかし、精度の向上と被害範囲の減少は、核兵器を紛争に利用する誘惑に駆られるのではないか、というリスクも出てくる。米国議会は1990年代に空軍が求めた精密誘導核兵器の導入を拒否したことがあるが、これは上記のような理由からだったという。

別の問題としては、非核保有国の忍耐が無くなってきていることだ。保有を宣告している5か国と実質的に所有しているイスラエルに加え、近年、インド、パキスタン、北朝鮮が核兵器所有国となった。核軍縮の流れとしては、来月、米ニューヨークで開かれる核拡散防止条約（NPT）再検討会議がある。こうした場で新しいタイプの核軍拡競争が世界中で展開されていることを公的に認識させる必要があるとしている。

あるAnonymous Coward 曰く、

JASRACは集めた著作物使用料を著作者に分配する際、一定の管理手数料を差し引いて収入としている。この管理手数料について、ネットでの「インタラクティブ配信」において料率を11％から10％に引き下げることを発表した（AV Watch）。

権利処理システムの利用が進み、JASRACによる管理作業の負担が減ったためとのこと。

あるAnonymous Coward 曰く、

海上自衛隊ヘリコプター搭載護衛艦「いずも型」一番艦の「いずも」が25日就役しました（NHK）。

前級の「ひゅうが型ヘリコプター搭載護衛艦」は全長197m、基準排水量13,950t、満載排水量19,000t、建造費1000億円だったのに比べ、武装やレーダー、ソナー等を簡略化して、全長248m、基準排水量19,500t、満載排水量27,000tと大型化するも建造費は1,200億円止まりと相対的にお得になっています。

これでも排水量40%規模の「あたご型ミサイル護衛艦」の建造費1,400億円よりは安価で、いかに武装や電子装備が高く付くかが分かります。

航空機運用専用化が進行する過程がうかがわれ、赤城・加賀が建造時20センチ砲を装備し、改装時に撤去したのに軌を一にしており、海自が過去に何ら学んでいないか、あるいはそうせざるを得ない要因の存在がうかがわれます。

実際最初のヘリコプター搭載護衛艦「はるな型」一番艦「はるな」建造開始が半世紀近く前の1970年、実際には軽空母装備は警備隊期（1952～1954）や第1次防衛力整備計画（1957制定）からの半世紀越えの引き継ぎ事項でしたから、正規空母装備妨害者との永い戦いは今なお続いている様です。

「いずも型」は恐らく日本海軍・海上自衛隊史上初めてデッキサイド式エレベータを装備した事も特筆すべき事項です（前部エレベーターはインボード式）。

しけがきついためか、日本海軍・海上自衛隊のデッキサイド式エレベータ嫌い、インボード式エレベータ偏愛は際立っていますが、それが今後是正されるか否か、この後部右舷デッキサイド式エレベータの運用実績が決めるのでしょう。