タグ

ブックマーク / yukoba.hatenablog.jp (5)

  • JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた - yukobaのブログ

    現在、Shibuya.js が開催中です!Ustream で http://www.ustream.tv/channel/shibuyajs にて放送されています。これから、このブログの内容をしゃべります! 今回「テスト」がテーマなうえ、Shibuya.js は「役に立つ話担当」「ネタ担当」に分かれていて、僕は「ネタ担当」なんですが(笑)、いつも通りネタです。でも、遠い未来の役立つネタです! きっかけは、id:t-wada さんに、GUIの自動テスト関係の質問をしたら、凄くいいことを教えてもらいました。 全てのテストはサンプリングテストである (少し表現違ったらごめんなさい)話の流れで、部屋を移動しなくていけなくて、たしか、それしか話ができなかったのですが、要するに、サンプリングテストである以上、全ての入力パターンをテストすることは不可能であり、できることは、限られたコストの中で、効率よく

    JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた - yukobaのブログ
  • WebSoocketではなくTCPSocketが欲しい! - yukobaのブログ

    現在、WebSocket は既存のHTTPプロキシを通した際にセキュリティ上の問題があるという理由で、Firefox 4 beta と Opera 11 で無効になっています。Chrome や Safari も悪意のある攻撃が始まったら無効にすると言っています。 そして、どのようなプロトコルにするかを IETF のメーリングリストであーだーこーだ議論されています。→ hybi Discussion Archive - Date Index つまみいで読んだだけですが、話し合いは全然まとまっていないみたいです。TLSは重いからXORがいいとか、クッキーが使えるように普通のHTTPヘッダを使いたいとか、なんか色々です。(つまみいなので間違っていたらごめんなさい) そもそも、既存のHTTPプロキシを通すSocketを作るというところにだいぶ無理があります。Skypeがルーター越えをするという

    WebSoocketではなくTCPSocketが欲しい! - yukobaのブログ
    teppeis
    teppeis 2010/12/27
    「僕は、JavaScript は21世紀のC言語だと思っているのですが、仕様として用意すべき物はC言語同様、プリミティブな物にすべきだと思います。」
  • 中規模開発でのエクストリーム・プログラミング - yukobaのブログ

    アジャイル開発のエクストリーム・プログラミング(XP)は好きなんですが、開発規模が大きくなった時に、どうやるんだろう、と最近考えていて、考えをメモします。 開発規模の定義として、僕は、100行=小規模、1万行=中規模、100万行=大規模と定義します。それぞれの規模でベストな手法が違います。大規模で、100人以上のメンバーがいる場合は、どうやってグループを管理するかという問題とかもあります。僕は、ほとんどが中規模開発なので、今回は、これ限定です。 エクストリーム・プログラミングを説明した最も有名なは1999年に出た、XPエクストリーム・プログラミング入門―ソフトウェア開発の究極の手法 ですが、年々微妙に変化していて、最近の著者さんのスタンスを一番反映しているのは、http://www.extremeprogramming.org/ での説明かなと思います。 設計の終焉? でマーチン・ファウ

    中規模開発でのエクストリーム・プログラミング - yukobaのブログ
    teppeis
    teppeis 2010/12/13
  • 汎用的にcurrentTarget,target,pageX,pageYをJavaScriptのイベントでとる方法 - yukobaのブログ

    何度やっても忘れてしまうので、自分へのメモ。JavaScriptはIEだけ、イベントが特殊なので、汎用的に扱うための方法。今、僕が欲しいのは、currentTarget, target, pageX, pageYの4つです。何かの参考にどうぞ。IEは5以降に対応してます。Firefox 3.6, Chrome 4, Safari 4, Opera 10で確認。 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <head><script type="text/javascript"> window.onload = function() { document.getElementById("a").onclick = fu

    汎用的にcurrentTarget,target,pageX,pageYをJavaScriptのイベントでとる方法 - yukobaのブログ
    teppeis
    teppeis 2010/08/17
  • スマートフォンのJavaScriptのベンチマークのまとめ - yukobaのブログ

    スマートフォン向けのIntel Atom Z600 1.5GHzのベンチマークが発表になっていますが、驚異的な速さですね!iPadよりも5倍近く速いそうです。2010年末〜2011年前半くらいに出るそうです。Performance: Moorestown Rocks? - Intel Unveils Moorestown and the Atom Z600, The Fastest Smartphone Platform?。 Android 2.2も速いし、もう、ムーアの法則というレベルではなく、毎年3倍くらい速くなっています。2009年のiPhone 3GSはSunSpiderで17secでしたが、2010年のAndroid 2.2は6sec、2011年のIntel Atom Z600 1.5GHzは2sec…。 というわけで、スマートフォンやパソコンの SunSpider のベンチマー

    スマートフォンのJavaScriptのベンチマークのまとめ - yukobaのブログ
  • 1