タグ

2010年2月8日のブックマーク (2件)

  • Flashがオープンソース化できず、FirefoxがYouTubeのHTML5動画を再生できない理由。H.264

    「Flashをオープンソース化できない主な理由は、H.264のようにアドビが所有していない技術が含まれているから」と説明するのは、アドビシステムズでオープンソース担当ディレクタのDave McAllister氏。 McAllister氏が自身のブログにポストしたエントリ「Following the open trail. 」で、こう説明されています。 The main reason we can't release Flash Player as open source is because there is technology in the Player that we don't own, such as the industry standard hi-def video codec, H.264. われわれがFlash Playerをオープンソースとして公開できな主な理由は、Pl

    Flashがオープンソース化できず、FirefoxがYouTubeのHTML5動画を再生できない理由。H.264
    nitoyon
    nitoyon 2010/02/08
    ライセンス料が必要なH.264を利用しているFlash・Safari・Chrome、オープンソースなOgg Theoraのみに対応のFirefox、GoogleがOn2を買収してオープンソース化するという予想。
  • ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記

    ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり

    ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記
    nitoyon
    nitoyon 2010/02/08
    大学で最初見たときは何がなんやらさっぱりだったが、関数型言語を少しかじったおかげで理解しやすい。が、途中からわけわからなくなった。