タグ

関連タグで絞り込む (1)

タグの絞り込みを解除

あとで読むに関するyamazのブックマーク (2)

  • ScaleOut | Supership

    TARGETING正確かつ豊富なデータで きめ細やかなターゲティング 独自データによるユーザーの属性や興味関心などの精緻なセグメントで的確にアプローチが可能です。 Post Cookie時代の次世代マーケティングプラットフォームを通じて、独自開発の広告配信用ID「Hyper ID」で、プライバシーに配慮した高精度のターゲティング広告配信が可能です。 次世代マーケティングプラットフォームとHyper IDターゲティングについて詳しくはこちら

    ScaleOut | Supership
    yamaz
    yamaz 2015/04/06
    弊社SSPが150億impに達しました。2月の100億発表から150%の伸張です。引き続きメディア様、ディベロッパー様の収益にコミットしていきますので、よろしくお願いします!
  • たらいまわし関数の停止性証明 - 数学猫の生活と意見

    http://d.hatena.ne.jp/kururu_goedel/20060504/1146723100ノートを取ってみましたが、合っているように見えます。k.inabaさんの観察により引数は自然数に限定できるので、f(x,y,z)の計算が停止して、f(x,y,z)=if x max(x,y,z)Case 1. y = n+1xCase 2. y xについてのsubinductionを考えます。xyと仮定し、x=kまで仮定が成り立つとします。xf(k+1, y, n+1) = f(f(k, y, n+1), f(y-1,n+1,k+1), f(n+1, y, k+1)) = f(n+1 , n+1, k+1) = n+1によりk+1についても帰納法の仮定が成り立ちます。Case3. x=n+1, y, z f(x, y, z)=f(f(n,y,z), f(y-1, z, n+1),

    yamaz
    yamaz 2006/05/26
    たらいまわし関数の停止性
  • 1