chao情報

運用は投資信託を考えているが、これは長期的にやるものであっていつでも引き出して生活資金に充てられるものではない。調べていくうちに生活防衛資金という言葉を知った。とりあえず貯金用の普通預金口座（元本割れがなくいつでも引き出せることが重要）を作り、そこに月収の６ヶ月分の貯金を作れたら余剰金で投資信託を始めようと思う。６ヶ月分というのは感覚で決めたが、歳を取って健康のリスクが増大したら増やす必要があるだろう。

初のOSSコミット

Dota2の情報サイトにOPENDOTAというのがある。オープンソースだ。そこに日本語訳の不十分な箇所や間違っている箇所があったのでプルリクエストを送ったところ、すんなりマージされた。日本語話者にとって翻訳の修正というのは最も手っ取り早くOSSに貢献できる方法だろう。機能面でも改善できる箇所があるのでこの調子でやっていきたい。

オイスターソース舐め妖怪で学ぶ共変・反変

普通のソース焼きそばに飽きてきたのでオイスターソース焼きそばを作ろうと思ってツイートしたら、ゆーちきプロから怪文書が送られてきた。

オイスターソース <: ソース
--------------------------------------------
オイスターソースやきそば <: ソースやきそば

— ゆーちき (@yuchiki1000yen) May 12, 2019

これはプログラミングにおける共変という概念だ。「A <: B」はAがBを継承していることを表す。大雑把に言えばAの代わりにBを使えるという意味だ（実際はこの文脈ではオイスターソースはソースの下位分類ではないが、それは忘れよう）。横棒は上ならば下という前提条件を表す。

さて、上記ツイートは妥当だろうか。つまりソースの種類と、それを使った焼きそばは共変だろうか。（なんでもいいから）ソースを求められた場面でオイスターソースを使うことはできる。何でもいいからソースがかかった焼きそばを出せと言われたときにオイスターソース焼きそばを出してもまあいいだろう。だから共変。

反変という概念もある。オイスターソースがソースを継承しているという前提条件はそのままに、オイスターソース舐め妖怪とソース舐め妖怪の関係を考えてみる。

オイスターソース舐め妖怪はオイスターソースだけ舐めることができる
ソース舐め妖怪はソースならなんでも舐めることができる

このとき、どちらがどちらの代わりになれるだろうか。もちろん「ソース舐め妖怪がオイスターソース舐め妖怪の代わりになれる」が正しい。つまりソース舐め妖怪はオイスターソース舐め妖怪を継承している（と解釈して問題が生じない）。

オイスターソース <: ソース
---------------------------
ソース舐め妖怪 <: オイスターソース舐め妖怪

前段と後段で継承関係が入れ替わるのだ。

本質はなにか。オイスターソース焼きそばは客にソースの情報を提供する側だが、オイスターソース舐め妖怪はソースの情報を受け取る側。たぶんそういうことだと思う。具体例をつかってイメージするのは大事。

今日の日記長すぎない？

2019年5月12日

冒険しない性格/Dota2ざんまいの休日

免許の更新をしようと思っていたのだが、近所の警察署だと平日しかできないことに気づいた。やることがなくなったので何をしようかと考え、何もしないことにした。

昼食は亀戸ぎょうざに行った。餃子ライスセットは以前食べたので他のものを食べようと思っていたのだが、うっかり同じものを注文してしまった。僕はある程度のリターンが保証された行動を無限に繰り返してしまう性格だ。だが新しい選択肢にチャレンジしないと自分がベストな選択をしているかわからない。だから多少は冒険をするようにしたいといつも思っている。

帰宅してからはずっとDota2をやっていた。数日前に毎年恒例のBattle Passが発売された。これは8月の世界大会TI9に向けた各種ゲーム内特典のセットだ。お値段9.99ドル。この売上の一部がTI9の賞金に上乗せされていくシステムがあるおかげでDota2は世界最大の賞金額を誇るゲームとなっている。去年の優勝賞金は1100万ドルだった。

Dota2でも僕は少数の得意ヒーローをひたすら使いまくるプレイヤーだ。バージョン7.20からはDazzleをスパムしている。Dazzleはサポートとしてよく使われるヒーローで、味方を回復するスキルや5秒間死ななくするスキルを持つ。一方で耐久力は低いので、集団戦では敵から逃げつつ味方にスキルを当てられる繊細な位置取りが求められる。

Dazzleを使い続けることでAncient1（全プレイヤーの上位13％相当）に到達したので他のヒーローはあまり使いたくないのだが、Battle Passを買ってみると困ったことが起きた。Battle Passの特典としてDazzleのスキンが追加されたのだが、それを手に入れるためには他のヒーローを使って地図を探索しなければならないのだ。