タグ

プログラムに関するAOI-CATのブックマーク (2)

  • Re:釣り!? (#1643878) | 関数型プログラミング言語「Agda」の研修コースを産総研が開催 | スラド

    > バグのないプログラム開発に興味のあるみなさんも参加してみてはいかがでしょうか 当に「バグのないプログラム開発」なんて絵空事が実現できるなら参加してみたいかもw だって、仕様書にバグがあった場合とか、仕様書を読む人間の理解度不足による実装ミス(バグ) はどんな言語を使っても回避不可能でしょ。<多くのバグの発生箇所ってここでしょw 基的にプログラムは書いた通りにしか動かないわけだし。 また、勝手にコンパイラやリンカに書き換えられても迷惑だしなw <最適化とかでも酷い目にあうのにw

  • OreScript時代の幕開け - yukobaの日記

    先日、MozillaでECMAScript(JavaScript)の仕様を作っているJohn Resigさんが来日しました。 その際、1時間ほどのQ&Aの司会と、ライトニングトークでの発表を私させていたただきました。 その際、基調講演をしてくださった、etoさん(http://eto.com/d/PresenForJohnResig.html)のコメント。 こないだのJohn Resigによる講演の後に一緒に飲んだんですけど, その席で聞いた話がすんごく面白かったな. いろいろ面白かったんだけど,特にjquery2が面白かった. http://ejohn.org/apps/jquery2/ このURLなんですけど,コードはこんな感じ. <script src="http://jquery.com/src/latest/"></script> <script src="parse.js"><

    OreScript時代の幕開け - yukobaの日記
  • 1