最近みた TechTalks

2007-04-21

これも溜めてしまった. 微妙に最近でないのも (そして中味を覚えてないのも) ある... 見た順でメモしとこう.

The Paradox of Choice - Why More Is Less

う. abstract がない... 同名の書籍をネタにしゃべったもの. 選択肢が多すぎると選ぶコストなどからかえって不幸になるよね, という話. スーパーでシリアルを選ぶところからインフォームド・コンセントまで, 話題は幅広い. 本は和訳も出ている. けっこう面白かった.

本は消費者向けにかかれたものなのだけれど, more is less 理論をサービスの提供者の視点から見るとどうなるのか. 後半はそういう話に進む. これは本に書かれていない議論. 多機能 UI よりシンプル UI, というような話題に通じる話だけれど, 聴衆が Google 社員だけに "google は more is less の解決に役立っている" なんて話も. 大量にあるウェブページは過剰な選択肢そのものというわけ. 過剰な選択肢を絞りこんであげる商売は promising だよなと思わせる. ただ, そうなると今度は principal agent problem が起きるため, そこでどう振る舞うかが大事だというような結論だった, と記憶しております.

Crime: The Real Internet Security Problem

要約:

Internet の犯罪は深刻かつ増大している問題だ. フィッシング, 高度な支払いや消費者向けの詐欺は警告すべきところまで増え続けている. Internet 犯罪は一部の人にとって莫大な富を生むビジネスになっている. 過去十年, セキュリティはユーザの最優先事項に挙がっていたにもかかわらず, インターネット犯罪に退行し, それを効率的に抑える仕組みはほとんど何も開発されていない.

インターネット犯罪の歴史を概観し, それから現状の問題点や演者らのとりくみを紹介する. クレジットカート番号を売買するブラック商取引サイトみたいのが出てきてびびった. ふつうに web で売り買いするのか...

そういえば ACMQ の cybercrime 特集にあった Criminal Code: The Making of a Cybercriminal は似たような話題を扱っている. ロシア系の国で仕事がなくプータラしているハッカーが, ひょんなことからネット犯罪に手を染めていく. そして...というフィクション仕立ての物語. 面白かった.

You Are What You Say: Privacy Risks of Public Mentions

要約:

データに恵まれた今日のネットワーク界で, 人々は多くの側面からその生活をオンラインに表現している. 側面が変われば表現する場所もかわるのが普通だ. 匿名のブログで映画の感想を書きつつ, 実名のフォーラムで医療倫理に関する学術的な議論をするといった具合に. しかし, これら別々のアイデンティティを紐付けることができてしまうかもしれない. なぜならあなたが言及する映画や論文, 著者などは関連をあらわす疎な空間(数人のユーザだけに関連づいた要素など)にあり, その特性からアイデンティティを特定しなおすことができるからだ. この一般的な問題を具体的な設定の元で試してみた: 映画に関するウェブの公開フォーラムを使い, 匿名の映画格付けデータからユーザを再特定する.

匿名のつもりが文脈のせいで誰だかバレバレというケースを, 具体的にアルゴリズムで再現しましたという話. 想像はつくけれど, 実例をまのあたりにすると少しぎょっとするね.

Compiling Dynamic Languages

python のコードを OCaml のコードに変換するという話. 色々期待外れだった. 静的型に落とす以上 python のコードもなんとか型推論っぽいことをするのかなーと思ったら全然そういうのはないし, 実現されている機能の subset もだいぶ小さい. しょんぼり. まあ難しい問題ということなんだろうけれど.

どうせなら IronPython とか JRuby の人の話が聞きたいなあ. どっちも CLR/JVM 向けにコンパイルするらしいから.

Concepts Extending C++ Templates For Generic Programming

探したら日本語の紹介があった. ありがたや: 本の虫: Concepts Extending C++ Templates For Generic Programming

もう C++ に機能を追加するのはやめてよ...という善良な弱音をさておくと, まともな機能ではある. 本体の定義と別にあとだしできる型システムは ML とかに近いかんじ. どうせ普通に使えるようになるのは 5 年後くらいだろうから, 細かい話は気にしなくてもいいかな. その頃には忘れてるよきっと...

最近みた Channel9 : Anders Hejlsberg, Herb Sutter, Erik Meijer, Brian Beckman: Software Composability and the Future of Languages

最近といっても年明けくらいです...

概要:

並列と合成の時代, 手続型の言語は開発者の要求からどんな姿に進化するのだろうか? 真の合成可能性を実現するのに, プログラミング言語が果たすべき役割は何だろうか? LINQ が意味するものとは, マネージド(CLSベース)言語と非マネージド(C++)言語の未来は? ぼくらの手続き型(や静的型)言語はどうやって関数型(や動的型)言語に変化してくのだろうか. 開発者のもつ静的言語での "経験" を生かしすにはどうしたらいい?
こうした問いの答え, それ以上のものが, Microsfot の言語設計リーダーたち数人に対するこのインタビューであきらかになる. Anders Hejlsberg, 技術で C# のチーフ・アーキテクト., Herb Sutter, C++ 言語設計グループのアーキテクト. Erik Meijer VB.net と C# 言語設計グループのアーキテクトであり, プログラミング言語のグル. そして Brian Beckman, 物理学者, VB.net のアーキテクト.
この座談会はすごい. 業界随一の影響力をもつプログラミング言語設計者が数人あつまっている. 耳を澄ませ. 君は自分が学ぶことに驚くかもしれない.

基本的には MS 職業言語おたくの社内オフ会というかんじ. 色々面白い. MS は CLR という基盤があるおかげで複数言語の共存が楽だから, 不毛な争いにはなりにくいのかも. 言語が複数のあるのは大前提で議論が進むのは新鮮.

個人的に面白かったのは, F# を使ったユーザに "これは最高の動的型言語だ" と言う人がいたという話. 要するに型名を書かないのが重要みたいだね, というような議論があった. F# は VisualStudio の plugin があって, こいつはコード補完も効くらしい. いいなあ. Scala の Eclipse plugin がそのくらい動けばみんな使うだろうに.