About 槌本 裕二

えっとワークのシステムを作っています。

こんなツイートを見つけました。

ぶち嬉しいです!😉

スクショを保存して、10日前の掲載と比較して貰えるWebサイトなんて、世界に無限にあるWebサイトの中で、一体どれだけあるか考えると、こうして楽しみにして見ていただけていることが本当にありがたいと思います。

10月15日といえば、広島に連勝して、このまますんなりマジックを減らしていけるか!? って勢いの時でしたね。そして、16日から25日までは、まさかの、2勝5敗1分1雨。優勝決定日確率のピークが4日ぐらい後ろにずれてしまうのは、野球に詳しい方なら直感で分かると思います。

15日時点での「現状」と、25日時点での「現状」を、正直に数字にしているだけで、優勝決定日を「予想」しているわけではないことが分かっていただける例になったと思います。

こうした記事が書けるのも、15日の状態を保存してくれていた人が居たから。これからも試合結果に一喜一憂した後、このサイトを見てまた一喜一憂して貰えたら最高に嬉しいです。


Windows10 に、ネイティブの OpenSSH が入りました。めでたい!

エージェントサービスを起動する

「スタートメニューで右クリック」→「コンピューターの管理」→「サービスをアプリケーション」→「サービス」から「OpenSSH Authentication Agent」を選ぶ

「サービス」から「OpenSSH Authentication Agent」を選ぶ

「スタートアップの種類」を「自動」にし、「サービスの状態」が「実行中」でなければ「開始」を押して「実行中」にする。

サービスの起動と自動起動の設定

鍵を登録する

$.ssh> ssh-add id_ecdsa
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ WARNING: UNPROTECTED PRIVATE KEY FILE! @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
Permissions for 'id_ecdsa' are too open.
It is required that your private key files are NOT accessible by others.
This private key will be ignored.

Linux のノリで ssh-add をすると、パーミッションがオープンなので秘密鍵として登録できない(このまま使うと危険)という警告が出て登録できないことがあります。

Linux なら “chmod 600 id_ecdsa” で解決なのですが、パーミッションの概念が大きく異なるWindows だとどうしたら良いのでしょうか。


キーファイルを右クリックして「プロパティ」→「セキュリティ」→「詳細設定」

プロパティ」→「セキュリティ」→「詳細設定」

所有者を自分に→継承の無効化→自分以外の権限を削除

所有者を自分に→継承の無効化→自分以外の権限を削除

もし、無効化でダイアログが出たら「継承されたアクセス許可をこのオブジェクトの明示的なアクセス許可に変換します」を選択

継承されたアクセス許可をこのオブジェクトの明示的なアクセス許可に変換します

これで登録できるはずです!

$.ssh> ssh-add id_ecdsa
Enter passphrase for id_ecdsa:
Identity added: id_ecdsa (id_ecdsa)


まだシーズンが終わったわけではありませんが、今年一番驚いた苦情のDMは「勝手に確率を決めないでください」でした。気持ちは分かりますが、私は神ではないので確率を決める力はありません。そんな力を持っていたら広島を優勝させます。

確率は確率でしか無いので、優勝するともしないとも言ってません。数字を見たみなさんの心が、希望や絶望を作っているのです。降水確率を見て、傘を持っていくかどうかは皆さんの心次第なのと同じです。私はいつでも小さな折りたたみ傘を持っていきます。


とはいえ「事後確率」って、教育カリキュラムの中で目にすることがない人も多いと思うんです。サイコロとかコインとか、確率が変わらないものしか教科書に出てこなかった人の方が、もしかしたら多いかも。そういう方にとっては、毎日確率が変わるってどういうこと? みたいな混乱もあるのかもしれません。

勉強に年齢制限は無いので、これを機に「事後確率」「ベイズ統計」などにも興味を持ってもらえたら嬉しいです。


ソフトバンクとロッテが熾烈な優勝争いを繰り広げているパ・リーグ。

今日からの直接対決の初戦をロッテがとって一歩リードしました。

ここで、これまでの優勝確率の推移をふり返ってみましょう。

パ・リーグ優勝確率の推移

8月終盤から両チームが抜きつ抜かれつを繰り返しながら、他の4チームを引き離していきました。この瞬間はロッテが上に居ますが、推移を見ると、ロッテが頭を出すと、ソフトバンクが粘って抜き返して、ソフトバンクの方が上に居る時間が長くなっています。

時系列で見ると、ソフトバンクが有利に戦いを進めているように見えますが、ペナントレースは終了の瞬間に上に居た方が勝ちですから、今後の動向に目が離せませんね!


順延分の追加日程が発表されました。

パ・リーグの、ソフトバンクとロッテの優勝争いは、最終カードの直接対決までもつれ込めば、直接対決で今季勝っているロッテが有利とみられていましたが、発表された追加日程で、これまでの最終カードの後に、それぞれ西武戦が一試合ずつ組まれました。

最終盤の西武戦まで持ち込めば、西武に勝てていないロッテに不利となり、西武が勝つことでソフトバンクの優勝が決まるシナリオの可能性も数パーセント出てきました。

ソフトバンクとロッテの、優勝決定日確率

これから佳境に突入するパ・リーグの優勝争いから目が離せません!


広島とヤクルトの2位確率、四捨五入するとどちらも1%ですが、薄い灰色の広島は1%以上(1.5%未満)、濃いめの灰色のヤクルトは1%未満(0.5%以上)です。

0% でも、黒地になったらいよいよ終戦です。モンテカルロ法なので、最後の最後、数千万分の一かの確率が残っていても、表示が黒になる事があります。

これは、灰色・黒だけでなく、赤いほう(確率が高い方)でも同じです。100% でも、濃い朱色になるとほぼ確定です。(残り試合数が少なければ優勝確定と連動しますが、数千万分の一ほど優勝を逃す可能性が残っていても確定職になる事があります。

このような、極めて微少な確率を見逃してしまうのは、計算手法上の宿命なので、許してください。速報値では特に出やすいので、シーズンが佳境に入ってきたら、速報を楽しんだ後、全試合終了時点での計算をお待ちください。


このような状況の時、それぞれの数字の意味を短くまとめました。

質問があれば @tsuchim まで

ソフトバンクの数字の意味

  • 現在、約75% の確率で優勝できるペースです
  • 残り18試合を 10勝8敗で行けば、95%の確率(ほぼ自力)で優勝できそうです
    • 10勝できなくても(確率は下がりますが)優勝の可能性は十分あります
      • 10勝しても優勝できない可能性もあります
    • マジックが点灯すれば、それを消化すれば100%優勝が決まります
      • 豪華版には、マジック点灯前でも「100%優勝決定勝利数」を掲載しています
  • 期待順位も 1.3 と、1位にかなり近いですが、油断はなりません

ロッテの数字の意味

  • 現在、約25%の確率で優勝できるペースです
  • 残り19試合を 16勝3敗で行けば、95%の確率(ほぼ自力)で優勝できそうです
    • ただ、残り19試合を、16勝3敗ペースで勝てる可能性は高くありません
    • それでも、ソフトバンクがこれから大連敗するかもしれませんし、その他のシナリオを3億通り考慮して全部足した数字が「25%」です
    • 4敗以上しても(かなり低くなりますが)優勝確率が残ることもあります
    • (おそらく)16勝の内訳として上位戦は落とせません
  • 期待順位は 1.8 と、2位に近いところ、やや1位寄りに居ます

楽天の数字の意味

  • 現在、約0%の確率で優勝できるペースです
    • 値は四捨五入されているので、完全にゼロではありません
    • 諦める必要はありませんが、相当に厳しいです
  • 優勝までが「-」なっています。残りを全勝しても、他のチームが相当都合の良いバランスで負けてくれないと優勝できません。
  • 期待順位は 3.4 と、西武よりは3位に近いけど、全く油断はできない位置です

共通すること

  • これらの数字は「予想」ではなく、現状の勝敗ペースを確率という数字で表したものです。皆さんの「予想」の材料の一つとしてお役立て下さい。
  • これまでの対戦成績を維持すると仮定して、確率的な揺らぎも考慮して、これからの対戦が考慮されています。偶然と必然の割合を(統計理論に従って)変えながら、3億通りのシナリオを計算し、最終順位の割合を確率で表示しています。
  • 故障者が出たり、日程が過密だったりするなど「これまでのペース」が維持できそうにない状況になれば、それを皆さんが加味して予想して下さい。


120試合のシーズンも残り49試合となって、早くも、巨人のセ・リーグ優勝が濃厚になってきました。イレギュラーな2020年シーズンを序盤からリードし、小さな浮き沈みはあれど、シーズンのほとんどを、苦手チームを作ることなく順調に勝ち進んできました。

この調子で行けば、10/20~10/25の週あたりに優勝が決まるペースです。

このまま優勝を決められるか、まだ数パーセントの可能性を残す阪神かDeNAが猛追を見せるか、ペナントレースは早くも佳境です!


2020年のクライマックスシリーズはパ・リーグのファイナルステージのみの開催となりました。優勝争いを続けるソフトバンク・ロッテそれぞれが優勝した場合の、クライマックスシリーズの勝敗確率を計算しました。

パ・リーグCS 勝敗確率

直接対決が(9/13現在)かなりロッテ有利なので、全体的にロッテ有利ですが、それでも、アドバンテージと地元開催がどれだけ有利になるかが数字で分かります。

日本シリーズに関しては、2020年は交流戦すら無かったので、全く何も言えません。


当サイトで計算している「優勝確率」は、「○% の確率で優勝します(しません)」という「予想」や「未来予知」ではありません。もちろん「確定的事実」でもありません。

「現在、○% の確率で優勝するペースです」という「現在の状態」を「確率という形で表現したもの」です。現在の「勝率」や「ゲーム差」と合わせて、どのぐらい優勝に近い位置に居るかという現状把握にお使い下さい。

それらを合わせて、選手やチームの状態などを考慮して、総合的に「優勝を予想」するのは、ファンの皆さんそれぞれの楽しみの範疇です。予想の材料の一つとして加えていただければと思います。


適切な例えが思いつかないのですが、天気予報も、現在の気圧配置や気温・湿度、気象衛星からの画像などを元に「現状を把握」して、これまでの経験則から「今現在予測される、明日の天気」を計算します。「今のところ、明日の降水確率は○%」という数字が発表されます。

「現状」がよほど極端な時、例えば目前に台風が迫っているようなときには、ほぼ確定的な大雨警報が出ますが、それでも、警報が出た地域全てで大雨が降るとは限りません。それでも、気象予報は人命や経済を守るために必要なので、多くの予算をかけ、たくさんの頭脳と情報を集め、精度の高い予報を出しています。

一方、この「優勝確率」は、天気予報に比べればとても単純な統計モデルを用いていますし、用いているデータにも限りがあります。天気予報でも、一週間後の天気はなかなか予測できないのに、この優勝確率が、何ヶ月も先の結果を正確に言い当てることはできません(そもそも「言い当てる」計算ではありません)。

それでも、週間天気予報や長期予報を、災害への備えや休暇の過ごし方の計画に役立てられる人が居るように、この優勝確率も、その性質を分かっている皆さんの応援の役に立てて貰えればと思います。特に、優勝決定日確率は、遠征計画のお役に立てればと思って計算を始めました。


なお、その「優勝決定日確率」ですが、10%ぐらいの値でも「この日が一番確率が高い」事を過大評価される方も多いように感じています。その日が一番確率が高いとしても、確率が10%なら、90%はその日ではない事を忘れないで下さい。

また、個人的に感じる傾向として、早期の確率分布からは、実際の優勝決定日が「若干後ろにずれ気味」になります。理由の一つに雨天順延による日程の変更がありますが、もっと大きな要因は、優勝が決定的になる時というのは、だいたい勝ちが続いた時になります。その後、そのペースが少し落ちたり、優勝目前で足踏みする事があれば「それまでのペース」よりも若干優勝が遠ざかり、決定日が後ろにずれます。

もちろん、シーズンによっては、マジック点灯からほぼ最短で勝ち進むこともありますので、毎回後ろにずれるわけではありません。こうしたばらつきのうち、統計モデルで説明できるものは織り込んでいますが、このままのペースが続きそうか、ペースが上がりそうか、下がりそうかは、皆さんで判断して下さい。その上で参考になれば嬉しいです。

当サイトの情報は「限られたデータを元に計算された現状」ですので、その他の要因もあわせて、皆さんの「予想」の材料の一つとしてお楽しみ下さい。