タグ

2013年3月11日のブックマーク (4件)

  • Webサイト高速化対策の現状

    はじめに はじめまして、こんにちは。クラスメソッド株式会社でWebを担当している野中です。 この度、「これから身につけるWebサイト高速化テクニック」と題して記事を連載させていただくこととなりました。 連載ではWeb担当者やWebデザイナー、コーダーの方々に向けて高速化に関する手法や技術について調べ、身につけたテクニックを細かな解説を加えて紹介していきます。中には少し難しいテクニックも含まれますが、できる限り分かりやすく、すぐに実践できるよう紹介していきたいと思います。とても長い連載ですが、よろしくお願いいたします。 なお、連載はクラスメソッド開発ブログで連載されている「身につけておきたいWebサイト高速化テクニック」の増補改訂版です。 連載の流れ 連載はできるだけ多くの方に興味を持っていただけるように、最初に高速化対策の全体像と必要な知識を紹介します。その後、具体的な高速化対策と

    uokada
    uokada 2013/03/11
  • コンパイルは(テストではなく)証明である - あどけない話

    「プログラムのテストはバグの存在を示すことにかけてはとても効率的な方法ですが、バグの不在を示すことにかけては絶望的なほどに不適切です。プログラムの信頼性を顕著に向上させる唯一の方法は、その正当性に対して説得力のある証明を与えることです」 -- Edsger W. Dijkstra 静的型付き言語では、コンパイル時に型が検査される。この型検査に関連して型推論という機能を持つ言語がある。型推論は、大きく分けて2つの意味で使われているようだ。 命令型言語の多くに見られる型推論:型検査の過程で、省略された型を補うこと 関数型言語の多くに見られる型推論:未知の型を変数として方程式を立て、方程式を解いて未知の型を求めること。型推論自体が型検査の役割を果たす この記事では、後者の型推論を話題にする。 静的型付き関数型言語の利点として、よく「コンパイルはテストである」という説明がなされる。プログラムは式で

    コンパイルは(テストではなく)証明である - あどけない話
    uokada
    uokada 2013/03/11
  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • シリコンバレーで活躍する20代エンジニアが考える、転職に失敗しない企業の選び方【上杉周作×野口勝也】 - エンジニアtype

    「シリコンバレーで働くエンジニアのジョブチェンジの周期は、1~2年程度が平均的だと思います」 そう話すのは、弊誌の連載でもおなじみの上杉周作氏だ。大学時代にApple、Facebookでのインターン経験を経て、パランティア・テクノロジーズ、Quoraにてそれぞれ、エンジニア、Webデザイナーとして活躍。現在は、EdSurgeという教育系スタートアップにてエンジニアとして奮闘している。 エンジニアとして日で働くことと、シリコンバレーで働くことには、どんな違いがあるのだろうか。そんなことを、エンジニアとしてのキャリアをシリコンバレーでスタートさせ、「今後も、主戦場はシリコンバレー」と話す上杉氏と、同じくシリコンバレーでエンジニアとして活躍する野口勝也氏に聞いてみた。 野口氏は、米国Twitter初の新卒エンジニアとして、フロントエンドからバックエンドまで幅広い領域の開発に従事。現在は、Gum

    シリコンバレーで活躍する20代エンジニアが考える、転職に失敗しない企業の選び方【上杉周作×野口勝也】 - エンジニアtype
    uokada
    uokada 2013/03/11