タグ

2017年10月10日のブックマーク (3件)

  • OPcache の最適化器の今

    PHP Conference 2017 での発表資料です。 PHP 7.1 から OPcache 内部の最適化器にデータフロー解析が実装され、より効率的なバイトコードが生成されるようになりました。過去と現在の OPcache の最適化器の処理について簡単に紹介したものです。Read less

    OPcache の最適化器の今
  • 日本版GPS衛星「みちびき」4号機打ち上げ成功 | NHKニュース

    スマートフォンなどの位置情報システムの性能を飛躍的に高める日版GPS衛星「みちびき」の4号機が10日午前7時1分すぎ、鹿児島県の種子島宇宙センターからH2Aロケット36号機で打ち上げられました。ロケットは順調に飛行を続け、およそ28分後の午前7時半ごろ、「みちびき」を予定の軌道に投入し、打ち上げは成功しました。

    日本版GPS衛星「みちびき」4号機打ち上げ成功 | NHKニュース
  • 差分検出アルゴリズム三種盛り - Object.create(null)

    こんばんは. 気がつけばもうずいぶんと涼しくなってきました. 勢い余って凍ってしまったりせぬよう, くれぐれも普段の言動にはお気をつけください. はじめに さて, 我々人類にはどうしても二つの文字列 (あるいは行ごとに区切られたテキスト) 間の差分を求めなければいけない瞬間が発生します. 先人たちはそういった時のために diff のようなツールを開発し, それを利用することで文明はめざましい発展を遂げてきました. しかしながら, 使用するアルゴリズムを比較検討したい場合, 「差分」の定義を変えるなどして既存のアルゴリズムに変更を加えたい場合, diff のない異世界に飛ばされて自分で実装しなければいけない時などにおいては, 差分検出アルゴリズムについての理解が必要不可欠です. というわけで, この記事では文字列間の差分検出とは何かということと, 差分を求める三種類のアルゴリズムの紹介・解説

    差分検出アルゴリズム三種盛り - Object.create(null)