SyncTimer に Google Analytics を導入した

たぶん使ってる人はいるんだろうなー、と思いつつも利用報告をしてくれるユーザーはほぼいない。 それは当然で、報告するメリットもないし、不具合があったり使い勝手が悪いなーと思っても似たような手段はいくらでもあるので別のツールに切り替えるだけになる。 だったら自分で調べるしか無いよね、ということで Google Analytics を導入して実際のアクセスを調査するしか無いのである。

今回は Elm で書いたアプリケーション内のイベントをGA4に送信する実装のお話。

Read full post gblog_arrow_right

続・ランダム生成IDの衝突確率について

前回 では数学的な側面として誕生日パラドックスに関する確率を求めた。 \[\] $$ P_{\text{nc}}(n) = \frac{M}{M}\frac{M-1}{M} \dots \frac{M-(n-1)}{M} = \frac{M!}{M^n (M-n)!} $$ $$ P_{\text{c}}(n) = 1 - P_{\text{nc}}(n) = 1 - \frac{M!}{M^n (M-n)!} $$ これは余事象である「一度も衝
Read full post gblog_arrow_right