Radikoを使っていて、不快な出来事があった。 日本国内から、日本経由のVPNで接続しているにもかかわらず、利用を拒否された。 表示は「エラー」という体裁を取っているが、正確に言えばこれはエラーではない。設計の失敗だ。 そこに見えたのは一サービスの…

構造の類似性：ユークリッド互除法と数学オリンピックを結ぶ「双方向の論理」 数学において、二つの対象が等しいことを証明する際、最も美しく、かつ強力な手法の一つが「互いに相手を縛り上げる」論法である。一方向からの証明（A ≦ B）にとどまらず、逆方…