政治としてのテスト・バグ・仕様 『ビューティフルテスティング――ソフトウェアテストの美しい実践』をざっと読んだ。 感想――絶望。 「完全な仕様書」なるものを考えよう。そのまま実行できるか、少なくとも完全なテストスイートを生成できる仕様書だ。「完全なテストスイート」とは、それをパスすれば必ず仕様を満たしていると言えるテストスイートだ。ただし、これらはあくまで思考実験上の存在である。現実的な時間内に実行を終えられるかどうかは問わないし、実在できなくてもかまわない。 1913年、ホワイトヘッドとラッセルは、算術の完全な仕様書を書いた。タイトルを『Principia Mathematica』という。算術、つまり、1+1=2や4x4=16といった操作が、この仕様書には定義されている。 ウィトゲンシュタインはこの仕様書を次のように批判した。 「足し算引き算割り算掛け算は、世界中の人間が毎日やっている。

■ 「個人情報」定義の弊害、とうとう地方公共団体にまで 現行個人情報保護法の「個人情報」の定義に不備があることを、これまでずっと書き続けてきた。「どの個人かが（住所氏名等により）特定されてさえいなければ個人情報ではない」（のだから何をやってもよい）とする考え方がまかり通ってしまいかねないという危機についてだ。 2003年からはRFIDタグ、2008年からはケータイIDによる名寄せの問題を中心に訴えてきたが、当時、新聞記者から説明を求められるたび、最後には「被害は出ているのでしょうか」と、問われたものだった。当時は悪用事例（不適切な事例）が見つかっておらず（表沙汰になるものがなく）、これが問題であるという認識は記者の胸中にまでしか届かなかった。 それが、昨年夏から急展開。スマホアプリの端末IDを用いた不適切事案が続々と出現し、それぞれそれがなぜ一線を越えているか説明に追われる日々になった。ス

せっかくのゴールデンウィークですが、旅行にも行かず、ソーシャルメディアからもなるべく足を遠ざけて、僧侶のように写経をする毎日です。 実は、SXSW で面白かったセッションの一つが、「 コードの書き方を勉強して、 自分が作りたいソフトウェアを作れるようになろう 」というセッ...

公開: 2012年4月8日16時40分頃 首相官邸 (www.kantei.go.jp)のサイトがリニューアルしたそうで。 4500万円かかったと報じられていますが、何をやったのかが分からないので、高いか安いかは評価のしようがないですね。単純に規模から「やるべき事」を考えてみると、CMS抜きで4500万円かかっても不思議ではないと思います。戦略をみっちりやったり、それなりなCMSを入れたりすれば足りなくなるかもしれません。 そして実際にサイトを見てみると、まず、見た目だけで以下のような点が気になるわけです。 背景にうっすらと写真が敷かれていますが、肝心な部分がコンテンツの下敷きになってよく見えない上に、「首相官邸」というタイトルまわりが読みにくくなってしまっています。プロがこういう中途半端な写真の使い方をすることはまずありません。写真を見せたいならちゃんと見せるでしょうし、見せなくても良い

自分はTraktor派です。 ニューヨークのベテランDJ、という表現では軽過ぎる気がしますが、DJのフランソワ・ケヴォーキアン（François Kevorkian、François K）がFacebookで「デジタルDJ」についての議論をしています。 フランソワ・ケヴォーキアンは近年パソコンを使ってのデジタルDJスタイルに移行しているそうですが、トップDJに対する期待なのか、彼がパソコンでDJをすることに対して直接的・間接的に中傷を受けることがあるようで、それらの声に対してFacebookに熱い文章を投稿してます。これが興味深い内容だったので一部を翻訳してみました（いつもの感じの雑な訳ですが）。 ■ Living In A Digital World - Part Seventy-Two. (..the ongoing saga)（Facebook） Deep Spaceに2人のゲストD

江添亮 自由ソフトウェア主義者 C++ Evangelist C++標準化委員会の委員 ドワンゴ社員 C++11本を執筆した。 株式会社ドワンゴで働いている。 Mail:boostcpp@gmail.com Twitter:@EzoeRyou GitHub: https://github.com/EzoeRyou 江添亮のマストドン@EzoeRyou 筆者にブログのネタを提供するために、品物をアマゾンお気に入りリスト経由で送りたい場合： Amazon.co.jp: 江添亮: 江添のほしい物リスト 筆者にブログのネタを提供するために、直接に品物を送りたい場合、住所をメールで質問してください。 View my complete profile ► 2020 (31) ► December (2) ► November (2) ► September (2) ► August (4) ► Jul

2012/2/249:50 山形浩生は何を語ってきたか（後編）　山形浩生×荻上チキ ■大文字の固有名詞で語る時代は終わった 荻上　最近は、SFの分野などでも、量産されている作品群の中で良質なものを読みなおそう、発掘していこうという動きが続いています。どの分野でも、読むべき本の再紹介みたいなまとめは、「○○がすごい」系のムックから２ちゃんのまとめに至るまで、あれこれ出ていますから。 芹沢一也はかつてのあり方を、「オレの父ちゃん強いんだぞ競争」と呼んでいました（笑）。誰の翻訳者であるのか、どんな大文字の哲学者を「召喚」できるのかという、イタコ芸のような、あるいはカードゲームのような文法がありました。「オレのターン、カント！」「こざかしい、デリダ！」みたいな。最近はそうした文法も見なくなってきた。非常にいいことだと思います。 山形　カントが偉かった時代は2世紀ぐらい続いたんでしょうけど、今、特に

2012/2/239:52 山形浩生は何を語ってきたか（前編）　山形浩生×荻上チキ SF、科学、経済、文化、コンピューターなど幅広い分野で翻訳や評論活動を行う山形浩生さん（47）。大手調査会社の研究員として地域開発にも携わり、貧困国の開発支援をテーマにした翻訳本『貧乏人の経済学』（エスター・デュフロ、アビジット・バナジー著）が近く上梓される予定だ。海外の先端学問を取り入れ、論客としても数々の論争を繰り広げてきた山形氏が、日本の言論空間に残してきたものは何だったのか。荻上チキが鋭く迫った。（構成/宮崎直子・シノドス編集部） ■他人がやらないことを面白がる 荻上　今日は、「山形浩生は何を語ってきたか」というテーマでお話を伺いたいと思います。8年前、ライターの斎藤哲也さんが行った「山形浩生はいかにして作られたか」と題されたインタビューがありましたね。 “読者としての山形浩生”が、自身の読書遍歴を

Marco Armentという人をご存知だろうか？ Instapaperという「ブックマークして後で読む」アプリの作者として知られており、アメリカで大人気のブログサービスTumblrの共同創業者でもある。彼は2010年にTumblrを離れ、今はInstapaper一本にしぼって仕事をしている。主な収入源は$4.99のiOS用Instapaperアプリで1、アプリのダウンロード数が常時ランクインしていることを考えると、十分生活できるだけの額だろう。 今日のお話は至極単純なもので、ウェブ業界で起業したい人たちは、Mark ZuckerbergでもSteve JobsでもなくてMarco Armentをお手本にするべきだという話だ。ここですでに納得なら、残りを読む必要はない。 ぼくがMarcoをお手本とするべきだというには、3つの理由がある。 Marcoがウェブプロダクト制作に関して平均的に能力

Mark Zuckerberg / 青木靖 訳 2012年2月1日 Facebookは元々会社にしようと作ったのではありませんでした。世界をもっとオープンで繋がり合ったものにするという社会的なミッションのために始めたのです。 私たちにとってこのミッションがどんな意味を持ち、私たちがどのように決断し、私たちがどんな理由でやっているのかを、Facebookに投資される皆さんに理解していただくことは非常に重要だと考えています。このメッセージで私たちのやり方の概要を示せればと思います。 Facebookで働く私たちは、人々が情報を広め消費する方法に革命をもたらしたテクノロジーに触発されます。私たちは印刷術やテレビのような発明についてよく話します。単にコミュニケーションをより効率的に行えるようにすることで、社会の重要な部分の多くがすっかり変容を遂げることになりました。より多くの人が意見を言えるように

Why History Needs Software Piracy | PCWorld SOPAとPIPAのような反海賊法を巡っての議論において、我々の関心は、主として現代と近未来に置かれがちである。職と利益に対する被害に対しては、今日、誰が被害をうけるのかということに着目しがちである。 ここでひとつ、ソフトウェア海賊に対して、別の視点からの関心ごとを述べてみようと思う。未認可のソフトウェアの複製が、短期的にみて、いくらかの商業的利益を損ねることに疑いはないが、ここで一歩下がってみると、すこし違った状況が見えてくる。歴史的に考えると、ソフトウェア海賊のもたらす利益は、短期的な損失を大幅に上回っているのだ。もし、技術史を気にかけるのであれば、許諾なくソフトウェアをコピーする連中がいることに、感謝しなければならないのだ。 一件奇妙に聞こえるかもしれないが、海賊が救ったソフトウェアの数は、破壊し