2020年の目標 - 7月まとめ
引きこもり生活5ヶ月目。
どうせフルリモートだし、チームメンバーもいつもより出力速度が遅いので、もっと適当に仕事してもいいんじゃないかと思って勤務時間を勝手にシフトし始めた。だいたい夜のほうが調子がよいので、朝から昼のミーティングに出てコードレビューとかしたら昼寝して、夜にちゃんとコード書いたり面倒な設計とか考えたりする感じで……。あと夜がんばって仕事したら翌日は遅く起きるとか。そもそも眠い時に頑張って起きててもロクな出力は出てこないので寝るのが正しいと思う。
ゲーム。ICFPCやった。アトリエシリーズに敬意を表してチーム名はAtelier Manarimoにした。
今年の問題は盛りだくさんで、序盤は謎の記号列からコンビネータ計算の計算規則を推測するパズル、その次は実際に処理系を書いて与えられたプログラムを実行してGUIを作る、そしてGUI上で実装されたゲームを探索するという、過去のICFPCの面白いエッセンスを抽出したような感じ。24時間が過ぎた後は宇宙空間で宇宙船を操縦してPvPするゲームのAI作りになった（こんな感じのゲーム）。
今年は運営のインフラがかなり良くできていて、インフラ作りが得意な人としてはあんまりやることがなかった。もっとAI作りにアイデア出したりして参加すればよかったなあと思う。前半の解析ゲーはめちゃくちゃ面白かったので、それだけで72時間やっていたかった。
最終提出での上位20チームが決勝ラウンドに選出され、8月のICFP開催時に決勝の結果が発表される。Atelier Manarimoはちゃんと上位20チームには入れたので、決勝でよい結果を出せることを祈っている。打倒Unagi（合言葉）。
もういっこゲーム。ICFPCが終わって暇になったのでリディー＆スールのアトリエを始めた。これでようやく不思議シリーズを制覇できる。今は第7話まで進んだ。アトリエシリーズのNormal難易度はゲームとしてはヌルいことが分かってきたので、最初からHardでやっている。そのおかげかボス戦はなかなか歯ごたえがあった。
イルちゃんが師匠になってるし、落ち着きも増してて感慨がある。フィリスも成長したけど落ち着きがないのは変わってない。ソフィー先生はなんか……伝説みたいになってない？リディーとスーは不思議シリーズのメインキャラとしては珍しく天才タイプじゃないので、錬金術の腕前そのもので壁にぶつかって悩んでいてちょっと新鮮味がある。フィリスのアトリエではソフィーで聞いた曲やアレンジがかかるたびに感動していたけど、今回はイルちゃんやフィリスのテーマに安心感と感慨がある。
錬金システムはちょっと複雑すぎる気がする。錬金成分にめちゃくちゃ種類があっていちいち名前がついてるのはフレーバーとしては面白いし好きだけど、素材選びとなるとマス数に加えて色も吟味しないといけないのが面倒くさい……。触媒の効果も記号が多すぎて選ぶのが面倒なので、いつも適当にミスティックハーブとか入れている。
戦闘システムは面白い。前衛と後衛の組み合わせを考えてうまくコンボが繋がるように悩むのが楽しい。ただ戦闘システムについてゲーム中での説明が少なすぎると思う（後衛はだんだんHPが回復していくとか、ヘルプを読んで初めて知った）。まあ説明書ちゃんと読めってことなんだろうけど……。
ゲームシステムはフィリスを引き継いだまま、シナリオ構成はソフィーのような一本道＋個別キャラシナリオに戻っている。昔のキャラがどんどん出てくるのが楽しいし感慨がある（感慨ばっかり言ってるな）。ただ逆に、ソフィーの時のような新鮮味はちょっと薄れてるかな……。今のところ、良くも悪くも不思議シリーズファンディスクみたいなものという印象。
8/1現在で24時間くらいやっている。これも全クリまで60時間くらいなのかな。
株。見てない。というかあんまり変わってないね。
体重。63.9kgらしい。だんだん増えてるな……。ちょっと真面目に運動を考えないといけなさそう。
新しい技術。ICFPCのために、Tsurezureで培ったRust力を使って簡単なチームポータルサイトを作ったりしていた。結局使わなかったけど。Herokuで有料のDynoやPostgreSQLを使うやつを初めてやった。どちらもめちゃくちゃ簡単にセットアップできて、確かにこれは便利だと思った。
あと、Linuxの環境をちくちくメンテナンスするのが嫌になってきたのと、WSL2が結構いい感じらしいと各所で見聞きするとので、思い切ってメイン環境をWindowsに切り替えた。Linux環境はちゃんと動いている分にはいいんだけど、ちょっと標準から外れた周辺機器とか設定とかを入れようとすると途端にデバイスドライバレベルくらいまで低レイヤの知識が要求されるのがつらい。今のところはmikutterも不自由なく動いているし、プログラミングも特に困ることなくできている。VSCodeのRemote Extensionがとてつもなく良くできていて、WSL2でdocker-composeを動かしながらコンテナ上でVSCodeのRemote extensionを動かし、Windows上で動いてるガワからRemote extensionに繋いで補完も実行もサーバ側でやりつつ表示はWindowsなので高速＆ネイティブのキーバインドで使える、というのが特に複雑な設定をすることなく動いてしまう。Microsoftがこんなに高機能な環境を無料で提供するようになるなんて、十数年前から考えると時代が変わったなあと思う。
中国語。月の初めに数回Ankiをやって、それからモチベーションが尽きてやらなくなってしまった。やっぱり積極的に使う理由がないと、半年くらいがモチベーションの限界という感じがある。
本。芳文社のセールがあったのでいろいろ買った。特に「幸腹グラフィティ」と、同作者（川合マコト）の「甘えたい日はそばにいて」がよかった。緻密な心情描写で作品の中に引き込まれる。特に「甘えたい日はそばにいて」は半端にSFが混ざった恋愛ものという感じの作品で、普通ならこういうのは粗が気になって途中で読むのを諦めてしまうんだけど、この作品はSF考証の粗さをストーリーの良さが大幅に上回っているタイプで、違和感を置いて一気に読んでしまった。
Twitterで流れてきた「うちの師匠はしっぽがない」もよかった。キャラがかわいいのもさることながら、落語というなんとなく知っていそうであんまり知らない距離感の題材が好奇心を刺激する。気力が出たら落語を聞きたい。
本ではないけど、ここ2ヶ月くらいは寝る前ややる気が出ないときにNileRedというYoutubeチャンネルの化学動画を見ている。
いろいろな化学反応を試してみたり、変なものを作ったりする過程をひたすら解説する動画シリーズで、見ているだけでも楽しいし知識欲が満たされる。水銀が絡む反応とか、知識では知っているものの実際に実験で扱ったことはないし、おいそれと試せるものではないのでこういう動画で見られるのは面白い。英語だけど発音がめちゃくちゃきれいだし、何より化学だからだいたい言ってることは推測できるので、リスニングの練習としてもちょうどいい。
9月から日本に逃げようかと思っていたら、7月末から日本でコロナの感染が広がり始めていてちょっとどうしようかと迷っている。旅行が自粛ムードになってるならあんまり日本にいる意味ないし……。地方で新規感染者が出るたび鬼の首を取ったようにバッシングする風潮になっているあたり、あまりコロナウイルスの防疫に関して教育が進んでいるように見えないので、だんだん悪化しそうな気がしている。同じダメならアメリカにいる方が入国後隔離とかもなくて楽だしね……。
最近はちょっと本を読む気力が復活してきたので、8月にはDatabase Internalsを読み終えたいところ。他の目標は追い追い考えていきましょう。
WSL2でmikutterを動かす
WSL2すごいですね。みなさん使っていますか？僕は使っています。
WSL2 + Docker + VSCodeの環境ならWeb開発もあまり不自由なくできそう……ということで思い切ってメインマシンをWindowsにしたんですが、この環境の弱点の一つとして、令和三種の神器のひとつであるmikutterの動かし方があまり明らかではないという問題があります。WSL1でmikutterを動かすことについてはすでに id:cobodo さんによる記事があるんですが、WSL2だとネットワークが分離されているようで追加の設定が必要になっています。せっかくなので2020年7月現在の正解として、他の部分も含めてまとめておきます。
cobodoさんの記事はこれです。 cobodo.hateblo.jp
mikutterと必要なものを入れる
WSL2の身上は高速なディスクアクセスです。ゲストはホストを無視してLinuxのファイルシステムに書き込むので、普通にLinuxを使っているかのような速度でI/Oしてくれます。mikutterもちゃんと ~/mikutter とかに入れてあげましょう。
$ cd ~ $ git clone git://mikutter.hachune.net/mikutter.git
まっさらなUbuntu（この記事では全面的にUbuntuを仮定します）にはあんまり開発に便利なものが入っておらず、一部gemのnative extensionを入れるときにコケるので入れます。あと依存ライブラリとフォントも入れます。不思議な旅をしたい人は 開発環境部分については bundle install の出力とにらめっこしながら1つずつ解消していってもいいと思いますが、フォントは闇なのでおとなしく先人の知恵を借りたほうがいいと思います。
$ sudo apt update $ sudo apt install gcc make ruby libgtk2.0-dev libidn11-dev fonts-noto fonts-noto-cjk fonts-noto-mono ttf-ancient-fonts $ sudo gem install bundler $ bundle install --path=vendor
たぶん今からWSL2を始める人がUbuntuを入れると20.04が降ってくるんですが、Rubyはなんと2.7.0p0が入ります。Ubuntuで最新リリースが使えるなんて夢みたいですね（2020/7/4現在）。あと上記コマンドでは面倒なので bundler をグローバルに入れています。どうせ仮想環境だし……。気になる人は rbenv 使ったり GEM_HOME いじったりして頑張ってください。僕は大丈夫です。
X serverを立てる
VcXsrvを使ってWindows上にX serverを立てます。どうでもいいけどSourceforgeの見た目がきれいになっててびっくりしました。
WSL1ではWSL環境がWindowsと同一ホスト上で動いていたらしく DISPLAY=:0.0 を指定するだけでVcXsrvに繋げたようなのですが、WSL2ではネットワークが分離されたため、普通に繋ごうとするとWindowsのファイアウォールが邪魔をしてきます。"WSL2 Xorg"とかでぐぐると以下のStack Overflowが出てきます。
要点は
- VcXsrv起動時に"Disable access control"をチェックしておく
- VcXsrvのpublic domain上でのBlock ruleを無効化する（これがあると他のルールを無視して問答無用でブロックされるため）
- Public domain上でInboundのTCP 6000を開ける（環境によっては6000-6063を全部開けたほうがいいかも？）
DISPLAY環境変数に接続先IPを指定する
の4点です。
2と3はWindows Defender Firewallのルールです。タスクバーの便利ボックスにWindows Defender Firewallとか入れると出てきます。Block rule無効化のやつはDisable access controlを忘れてWindows Defenderにファイアウォールを設定してもらうと作られる設定っぽいので、存在しないなら存在しないでよいです。Windows Defender Firewallでは以下のようにルールが見えます。Allowルールは緑のチェック、Blockルールは赤の止まれ、無効化されてるルールは無のアイコンが表示されます。
TCP 6000はX serverが待ち受けてるポートです。WSL2上で見えるIPはプライベートIPなのになんでPublic domainをいじる必要があるのかWindows初心者なのでいまいち分かってないですが、とりあえずこれで動きます。
今回はTCP 6000を開けるためにこんなルールを作りましたが、VcXsrvがこのポートで通信できればなんでもいいです。
上記SOからリンクされてるwsl-windows-toolbar-launcherのREADMEも情報としておすすめです。 github.com
DISPLAY 環境変数に入れるIPアドレスは /etc/resolve.conf を見ると書いてあります。と上記SOに書いてあります。 ~/.profile に以下の設定を書いとくとよいと思います。
export DISPLAY=$(awk '/nameserver / {print $2; exit}' /etc/resolv.conf 2>/dev/null):0
SOの回答には export LIBGL_ALWAYS_INDIRECT=1 も書いてあるんですが、これが何をするのかよく分からないのと、mikutterに関してはなくても動いてるので無視してます。OpenGLを使うタイプのアプリケーションだと影響してくるのかな。
IMを入れる
WSLはunixソケットに対応していなくてdbusが使えない……という情報がインターネットで散見されますが、最近は使えるっぽいです。使えるのはうれしいので fcitx-mozc を入れましょう。以下の記事がよくまとまっていますが、情報が古いためか不要な操作がそこそこ挟まっているようです。2020/7/4現在では本記事の通りにやればうまく動くはずです。
$ sudo apt install fcitx-mozc dbus-x11 $ fcitx-autostart
無事に起動したら fcitx-config-gtk3 からIMを設定して完了です。注意点なのですが、fcitx-autostart は DISPLAY 環境変数が正しく設定されてない場合、正常終了したように見せかけて無の fcitx を起動してきます。この状態で fcitx-config-gtk3 を起動するとdbusに繋げないよーみたいなログが端末に出てくるのと、IM一覧が空っぽになるので分かります。そうなってしまったら pkill fcitx して再チャレンジしましょう。 fcitx-autostart は謎が多く、エラーメッセージっぽいものが出ていても動作に支障がないことも多々あります。究極的には実際に日本語入力できるかどうかで判断するしかないと思います。
XやGTKやQtにIMを使ってもらうには環境変数を適切に設定する必要があります。~/.profile とかに書いときましょう。
export XMODIFIERS=@im=fcitx export GTK_IM_MODULE=fcitx export QT_IM_MODULE=fcitx
mikutterを使う
念のため新しいWSLシェルを開いて実行すると環境変数の設定漏れとかが防げておすすめです。fcitxのデフォルトではCtrl + SpaceでIM切り替えです。
$ cd ~/mikutter $ bundle exec ruby mikutter.rb
𝕎𝕖𝕝𝕔𝕠𝕞𝕖 𝕥𝕠 𝕦𝕟𝕕𝕖𝕣𝕘𝕣𝕠𝕦𝕟𝕕...
2020年の目標 - 6月まとめ
引きこもり生活4ヶ月目。なんかもう1年くらい経ってる気がする。
テキサスは全面的に経済封鎖を解除したところ、すごい勢いで新規感染者数が増えてロックダウンっぽい状態に戻ってしまった。でも完全には巻き戻っていなくて、レストランは依然として営業できているっぽい（おそらく一度再開した業種は全部そのままになっている）。まあ経済をずっと止めててもそれはそれでヤバそうではある。
ゲーム。6/10まででフィリスのアトリエを全部終わらせた。いやたぶんゲームとして全てを遊び尽くしてはいないんだけど、ソフィー先生は倒したし、時間切れエンドも不合格エンドも見たし、地図は埋めたし、トロコンもした。一部強敵は面倒になって諦めてしまった。不合格エンドはちょっと身に覚えがありすぎて胸が痛くなってしまった。
予想通り、フィリスのアトリエは結局100時間くらいプレイしたことになる。先月の記事にも書いたとおり、遊べば遊ぶほど味が出てくるゲームなので、早解きとか縛りプレイとかで周回すれば延々と遊んでいられそう。他にやるゲームがなくなったらそういう時間の使い方もいいのかなあ。
フィリスの後はプログラミングの方に時間を使っているので他にゲームはやってない。次はリディスーやって、そしたらアーランドシリーズかなあ。そういえばアルトネリコもガスト開発だと言うことを知ったのでやりたい気持ちが高まっている。
株。あんまり見てない。一応通算プラスは維持されている。
体重。63.5kgくらいで安定している。先月は63kgって書いてあるからちょっと増えてるな……。
新しい技術。ようやく真面目にRustを始めた。1年くらい前に入門した時はライフタイム周りで結構ハマった記憶があるんだけど、今回は既存のフレームワークに乗っかる形で学習を進めたからか、常識的なエラーにしか遭遇しなくて快適だった。Non-lexical lifetimeという改善がちょうど間の時期に導入されたっぽいのも効いているのかな。
Rustの習作として、かねてより欲しかった雑なことを書き留めておくブログを作った。shinhさんの「はじめてのにき」を全面的に意識している。Twitterは自分のコントロール下にないのが嫌だし、はてなブログはちょっとオフィシャル感が強くてどうしても身構えてしまうので……。
アプリケーション本体はHerokuの無料プランで動かしていて、独自ドメインでSSLを使うためにAWS CloudFrontを噛ませている。フロントエンドは面倒なのでReactで書いている。ロード時間とかアクセシビリティとかを真面目にやるならサーバ側でレンダリングするべきだとは思うけど、その手の処理をサーバ側に書くのは面倒なのと、まあ基本的には自分用だし……ということでこういう実装になっている。気が向いたらSSRとかしたいね。
数学はやってない。まあRustが楽しかったのでよし。そういえばICFPCの練習でAWS Batchも触り始めた。あんまり今年の問題はAWS Batchが役に立つ雰囲気ではなさそうだけど。
中国語。Ankiやってるけどだんだん飽きてきて頻度が落ちてきた。以前は1〜2日に1回やってたけど、今は3〜4日に1回くらいのペースになっている。Twitterとかでたまに流れてくる中国語がそこそこ読めるようになってるのは楽しいけど、あんまり他にモチベーション源がない。文法より語彙を増やす方に切り替えたほうがいいかなあ。
本。なんか映画化するとかで話題になってたので「夏への扉」を読んだ。小説読むのかなり久しぶりな気がするな……。ラノベっぽい展開で読みやすかった。
7月は待ちに待ったICFPC。今年こそはうなぎに勝ちたい（テンプレ）。在宅勤務でちょっと体力が余ってるので、今から色々と練習をしている。
あとは重めの書き物……。取り掛かるきっかけがなかなか掴めなくて難しいね。秋あたりから新年まで日本で遊ぼうと思っているので、その間に温泉旅館にこもって執筆とかしたい（願望）。まあまだ半年もあるので何かしらできるでしょう。
やることリスト（2020/06/06現在）
どっかで一覧できる形にしとかないと忘れたり優先順位付けに失敗して永久に何も進まなかったりするのでメモ。思いついた順に片付けていきましょう（願望）。
- ログ取りの話を書く
- とりあえず書きたいトピックだけ並べる
- 例外の話を書く
- とりあえず書きたいトピックだけ並べる
- はてなブログのダウンローダーを書く
- Mastodonのダウンローダーを書く
- 可能な限りメタデータを残しておく
- 手元にあるデータをElasticsearchに突っ込む。メタデータを適宜抽出してフリーフォーマットでタグ付けする。正規化はデータが溜まったら考える。入れたいもの：
- Elasticsearchのフロントエンドを書く
- あずにゃんゴーストを作る
- Ninix-aya http://ninix-aya.osdn.jp/
- 伺かの情報が散逸している上、InfoseekやGeocitiesの閉鎖によってunreachableな情報があまりにも多い。表示部分のガワだけ借りて自分で中身を作り直すのが楽かもしれない……。
- サーバ（ancient-one）が安定的にmDNSで解決できるようにする（なんで今そうなってないのか謎）
- サーバ上で動いてるもののメトリクスをCloudWatchに送る
- ブログほど他人に見られることを意識したものではない、適当に思ったことを書き捨てておくための場所が必要っぽい。shinhさんのはじめてのにきみたいなやつ……。
- こういうのこそ練習プロジェクトにいいのでは？RustかScalaで書いてみたいね
2020年の目標 - 5月まとめ
引きこもり生活3ヶ月目。必要以上に人と関わらなくていいの楽でいいですね。
オースティンに限ってもアメリカ全国的にもコロナウイルスが収束している気はしないんだけど、なぜかトランプは経済活動を再開させてしまった。まあずっと止めてるとそれはそれでヤバいというのは分かるけどさ……。記録のためCDCの新規感染者数チャート（5月28日現在）を貼っておこう。
ソース www.cdc.gov
レストランは入店率を25%以内に抑えるという条件下でイートイン営業が許可されたものの、自分がよく行く店は5月中は相変わらず様子見でテイクアウトしかやってなかった。Domain（ショッピングモール）のバーとかは結構開いてたらしい。6月から順次色々なところが復活していくっぽい。床屋も5月半ばから営業再開したけどまだ行ってない。
仕事が完全にリモートでなんとかなっているので、これはもはや家にいる必要すら無く旅をしながら仕事することも可能なのでは……？とか考えていた矢先に日本人の同僚が日本に避難すると言っていたので、ちょっと羨ましくなって帰国に必要な手続きとかメリットデメリットとかを調べた。今の所、入国拒否地域が111カ国・地域あり、ここに滞在してた人は日本国籍か永住権がない限り日本には入国できないっぽい。拒否されてない地域は大半がアフリカとアジアにある。アメリカは当然無理。そして日本に入国すると強制的に検査を受けることになり、陰性でも14日間の自己隔離が要請されている。逆にアメリカに入国する方はかなりザルで、中国やヨーロッパ諸国のいかにもヤバそうなところから以外は基本入れる。まあアメリカもヤバいリストの一員だからね……。
とにかく、今日本に行っても自由に動けないし、そもそも飲食店もあんまり営業してないっぽいので積極的に行く意味はなさそうだなあという結論になった。自宅の引きこもり環境が完璧すぎて、そのへんのホテルに引きこもるくらいなら自宅にいたほうが数百倍QoLが高い。14日間隔離さえなければ温泉旅館に逗留とかしに行ったかもしれないけど……。あと医療の質やそもそも日本語が通じるかという問題はあるが……。まあコロナウイルスはかかったら即病院行かないと死という感じの病気ではないっぽいので、平時より極端に危ないということはないかと思っている。
コロナウイルスはそれとして、今は暴動の方がヤバい。黒人が警官に殺された事件を発端として各地でデモが起きており、その参加者が暴徒化して店を襲ったりしているらしい。5月の終わりの方で始まって、オースティンにも30日くらいに到達してしまった。ニュース映像のぱっと見ではダウンタウン近くのI-35をデモ隊が練り歩いてる感じで暴徒化してないのかな？と一瞬思ったが、6th streetの店は略奪の被害に遭ったらしい。極左が暴動を煽っているという話もありなんともきな臭い。そうでなくてもみんな自粛続きでフラストレーションが溜まってるんだろうなあとは思う。とにかく平和に収束してほしい……。
ゲーム。ずっとフィリスのアトリエをやっていた。ソフィーのアトリエは5/3に裏ボスとDLCボス以外の要素をクリアしたので一段落着いたことにして、そのままフィリスのアトリエに切り替えた。6/1現在で90時間プレイしている。DLC抜きで一通りエンディングを見た後で強敵討伐がてらDLCキャラを攻略し終えるまでで87時間くらいかかって、それも一段落ついたので2周目を始めた。2周目は未回収の要素（キルシェとノルベルトの推薦状とかバッドエンドとか）とソフィー先生討伐のトロフィーの回収が目的。たぶん合計で100時間ちょいプレイすることになると思われる。ライザとソフィーが60時間ちょっとで一通り終わったことを考えるとフィリスは明らかにボリュームが多い。自由度が高いので初見だとあんまり機械的にストーリーを進めることができないのも一因だと思う。
ゲームの方向性は完全に後から味が出てくるタイプで、正直開始から15時間くらいは慣れる間もなく新要素と新キャラがガンガン出てきて、しかも個々の要素にあんまり深い掘り下げがないので何をやっていいのかかなり迷った。仲間キャラはあんまり脈絡なく出会うのでパーティに入れようという気持ちになれないし、広いオープンワールドを楽しもうにも日数制限が気になってしまい自由に探索できない。そもそもあんまり強いアイテムが作れないので強めの敵と戦いづらい。こういった要素が重なった結果、最初の方は結構精神負荷が高くて、1日3時間くらいプレイしたら疲れて終了してしまっていた。
結局ライゼンベルグには160日くらい余らせて到着した。なんだよ全然余るじゃん！！公認試験を突破して日数制限がなくなってからは精神的に余裕ができたので、早々にスカイフリーカーを錬金してあちこちを開拓して回った。仲間のイベントも最初の数個を見るとキャラの人となりが分かるようになるので、そこからはいい感じにストーリーに入り込めるようになった。どのキャラもいいんだけど、やっぱりリア姉とイルちゃんのストーリーは明らかに力が入っていて面白い。イルちゃんがあまりにもかわいいので、攻略し終えた後もずっと戦闘パーティに入れていた。ソフィー先生もかわいいので（以下同様）。レシピ発想もソフィーのアトリエに引き続き好きなシステムだけど、ソフィー式の最初から条件が見えてる方が分かりやすくて好き。
つまるところ公認試験突破（20時間くらい）まではチュートリアルでそれからが本番なんだけど、こんなに長いチュートリアルなのにそれといって示唆がないし、あんまり導線もはっきりしていないので不親切だと感じた。逆にチュートリアルさえ終わらせれば、広い世界の冒険と個性豊かなキャラのシナリオの両方を制限なく遊べるようになって、ソフィーのアトリエの拡張版のような気持ちで楽しめるのでかなり満足感がある。公式サイトでは公認試験合格後の流れについても結構ネタバレされているので、そこまで読んでいる前提なんだろうか。
フィリスのアトリエを一通り遊んでからmikutterの薄い本 vol.11に載ってるしじんさんのエロ漫画を読んだら、ネタが全部分かるようになっていてかなり良かった。というかこの本の内容は大部分が悪いオタクの妄想だと思ってたんだけど、実際のところかなり原作に忠実で驚いた。アトリエすごいな。
線を引いたけど他のゲームの話（当ブログはアトリエブログではありません）。まあ他のゲームはプレイしてはいないんだけど。先週くらいからTwitterで話題になっているHelltakerというのが気になっている。
ゲーム自体は1時間くらいで終わる倉庫番らしいけど、キャラがかわいい。サクッと終わりそうなのでフィリスが終わったらやろうかな。
Youtubeを眺めていたら、CelesteのMODの動画を見つけた。これは人間辞めてるWR保持者がSpeedrunしてるとこ。
CelesteにMOD文化があったことがまず驚きだし、こういう完全に新しいギミックを追加できるとも思っていなかった。面白い。
株。なんか知らんが順調に回復したのと、Datadog株が突然+50%とか叩き出したのとで通算勝ち越しになっている。まあ現時点の通算にどれだけ意味があるのかは謎。まだ売る気はないし……（いい感じになったら売ろうと思って買った航空株は死んでいる）。
体重。全然運動してないので流石に単調増加していて、63kg前後になっている。4月中はなんか安定してたんだけどまた増え始めた。もうちょっと真面目に運動するべきか。
新しい技術。Database Internalsをちょこちょこ読み進めている。あんまり進まない。
Twitterで、階段状の折れ線を細かくしていくと斜線に収束するっぽいけど、長さが連続的に√2へ漸近しなさそうなのはなんで？という話題が出てきたので議論を追っていた。
夜中に目が覚めてしまって寝れないから、起きてる賢い人は俺が中3で√を習った時に感じた疑問をわかりやすく解説してくれ。
— じゃむ®︎ (@Jum516) May 23, 2020
斜めの線を階段状に見立てて段数を無限大にして細かくすると直線に見立てられそうなのだが、なぜ2のまま収束せず直線になると急に√2になるのか。 pic.twitter.com/i7hwqWSA7p
自分の当初の理解では斜線に収束するというのがそもそも誤謬だと思っていたんだけど、どうも常識的な位相（ハウスドルフ空間）では斜線に収束すると考えてよいらしい。ただし曲線が収束することと、距離関数が連続的に収束することは別問題である、というのがこの問題の肝になっているようだ。確かにそう言われた上でよく考えてみると、曲線がだんだん収束して一致するという時に考えている「曲線間の距離」と、曲線そのものの長さを測る「曲線関数の積分値」は違うものを指している。
参考
極限をとる順番は関係なく、あの折れ線は線分に収束します。曲線の収束がその長さの収束を導かないだけです。その背景として、極限の交換が関係しているということです。
— Hiroyasu Kamo ((φ→ψ)→φ)→φ (@kamo_hiroyasu) May 25, 2020
https://note.com/keyneqq/n/n2ead38a59af5note.com
集合と位相についての理解が浅すぎて困ることがよくあるので、この機会にちゃんと勉強しておきたい。ルベーグ積分くらいは理解したい。
技術と言うか広い意味での物作りとしては、ちょっと思い立ってアイコンを改造してソフィーのコートを着せた。
頭に付けてるバンダナ（っていうのか？スカーフ？）も再現したかったんだけど、どうしてもいい感じにならなかったので諦めた。まあいいんじゃないでしょうか……。フィリスのアトリエのモデルを見るとヘアバンドっぽくなっているので、なんかひらひらの付いたヘアバンドだと思って描くといいのかな。
中国語。相変わらずAnkiをやっている。Chinese Grammar WikiのA2レベルがほぼ終わった。
本。バーナード嬢曰く。の5巻を読んだ。あと進撃の巨人。あとハンチョウ。哲学書はブームが過ぎてしまったので積んである。そのうちまたブームが来るでしょう。
3月末から始まったアトリエ漬けの生活も、フィリスの終わりが見えてきたらなんとなく落ち着いてきた気がする。この後リディー＆スールもやるけど……。6月はアトリエ以外の進捗を出したいですね。draftcodeさんと飲むたびに、例外の話の記事楽しみにしてます！！！などと言って煽られるのでそのへんを解決したい。
2020年の目標 - 4月まとめ
早いもので1年がもう1/3も終わってしまった……まで書いて先月のエントリを見直してみたら同じような始まり方だった。なんなら先々月もそうだった。日々何もできていないことがわかる。
相変わらずStay home令が発動中なのでひきこもりをエンジョイしている。テキサス州知事は5月から徐々に経済活動を再開させていくと言っていたけど、感染者数がリニアに増え続けている（ArcGIS Dashboards）中でやるのは正直意味がわからん……。経済が動かないと困るのはそうだけど、このタイミングで再開したら感染数が爆発してしまうと思う。経済が止まるのが予想以上に辛かったのでノーガード戦法に移行するということなんだろうか。
ゲーム。ライザのアトリエは2週間で70時間くらいプレイして、DLCのクリアと錬金レシピ・素材図鑑埋めまで完了したので一応満足した。自分で使うアイテムを自分で作るシステムはやっぱり面白くて、アイテムに付与したい効果と特性の組み合わせを考えて試行錯誤しているとあっという間に時間が経っていく。DLCボスに負けた後はちょっと面倒になったので攻略サイトを見て、賢者の石を使った無限ジェム稼ぎと手抜き錬成に逃げてしまったけど……。
ライザの次にプレイするべきアトリエシリーズを聞いたところ、Mastodonで識者（@toshi_a）に詳細なプロファイリングを受け、フィリス・ソフィー・トトリの順に推薦を受けた。ソフィーとフィリスは同じシリーズの1作目とと2作目らしいのでソフィーからプレイすることにした。
ソフィーのアトリエは錬金システムがライザと違い、グリッド状の盤面にポリオミノを敷き詰めていくことで品質やアイテムの効果を上げていく仕組みで、グラフをたどっていくライザのシステムよりも好きな感じだった。ゲーム中で特定の行動を取ると錬金レシピを思いつくというシステムも面白い。あとソフィーが普通にかわいい。ライザみたいに暴力的なえっちさではなく、正統派にかわいくてすごく好き。
ストーリーはちゃんとあるけど存在感は弱めで、10人くらいいる主要キャラの個別シナリオを好きなタイミングで進めていくのがメインの体験という感じ。結構早い段階で仲間とマップが増えるので、中盤あたりでは進められるものが多すぎて正しく進行しているのかちょっと不安になったけど、全体的にはキャラ魅力にフォーカスしたゆるいゲームという雰囲気で良い。特に、メインシナリオの戦闘にソフィー以外が強く絡んでこない構成が個人的には評価が高い。パーティが自由に決められるゲームで、○○と共闘して敵をやっつけよう！みたいなイベント戦闘にそのキャラが参加しないことに強く違和感を覚えてしまうタイプなので……。
現時点で40時間くらいプレイして、ラスボスを倒すところまで進んだ。今はクリア後シナリオを遊んでいる。サクッと終わるという話だったけど、普通にライザと同じくらいのプレイ時間になりそう……。
線を引いたけど引き続きゲーム（アトリエの話が長くなりすぎたので）。日本で定期的にMagic: the Gatheringのドラフトをやってたメンバーと、MTG Arenaでイコリアのシールド戦をやった。最近は全然マジックをやってなかったけど、久しぶりにやると結構楽しかった。変容はオーラみたいなものだと思って過小評価していたけど、変容するたびに起動する能力がどんどん積み上がっていくので思った以上に強かった。
MTGシールドの後、流れでPrismataをやった。これも勧められて以来、2年くらい積まれてたゲーム。
やってみるとめちゃくちゃ面白い。ターン制の拡大再生産ゲーなんだけど、ランダム要素がまったくなく、プレイヤー視点で不確定要素になるのはAIの思考だけ。しかも敵の行動結果に対しても、攻撃のダメージをどのように割り振るかなどある程度介入できたり、無限にUndoができたりするなど、自由度が高めのパズルゲームという体のデザインになっている。実際に高難易度では、ある瞬間での最適手を諦めて全体最適を達成するような手順が求められるステージもある。
アトリエシリーズが一段落するまではあんまり触れないと思うが、どう考えても面白いゲームなので早めに消化しておきたい。
株。普通のゲームで忙しかったのと、コロナウイルスの状況が全然改善していないのに株価が上がっていくのが完全に意味不明だったので、4月は定期的に資産状況を見る以外はほとんど何もしなかった。WTI原油先物が負の価格になったのはちょっと予想外ですごかった……。実物があれば0を割ることはないだろうから価格崩壊したら買ったもん勝ちだと思っていたけど、保管コストでやられるんですねぇ。
体重。62kg後半をキープしている。今年の初めと比べると1kgぐらい増えたところで安定しているんだけど、どう考えてもコロナの影響で運動しなくなったせいだよね……。明らかに筋肉が落ちたことによる体調の悪さを感じるので、たまに思い出したらスクワットと腕立て伏せをしている。
新しい技術。起きてて仕事してない時間は全部アトリエに注ぎ込んでいたのでなにも進んでいない。ロギングの話と例外ハンドリングの話でブログを書きたいと思って幾星霜……。というか、在宅といえども仕事が終わると精神力が尽きていて、こういう集中して思想を練るアクティビティが全然できない。つらい。
コンピュータの技術の話ではないが、家にずっといるという利点を活かしてラーメンを作った。豚骨スープの写真しか残ってないけど、昆布と煮干しダシも合わせたトンコツ煮干しラーメン。
初めてにしては意外とうまくできた。特にオースティンでは煮干しラーメンというものが食べられないので、煮干しの味が身体にしみる……。店で食べると油っぽかったり塩味が強かったりするけど、自作なら味付けを自分好みに調整できるのもポイントが高い。トンコツは8時間くらいひたすら煮込んでいたけど、仕事しながら1時間毎に水位を見てお湯を足すだけなので楽だった（火を使っているので昼寝ができないのは少し辛い）。麺は最初はスーパーで売ってた細麺を使っていたけど、その後で試しにやってみたフェットチーネを重曹で茹でた麺もかなり中華麺っぽくておいしかった。縮れ麺にこだわりがなければ重曹スパゲッティで十分戦えると思う。
餃子も作った。既製品の冷凍餃子もいくつか買って試してみたけど、どれも味がいまいちだったので自作するしかないなと思った。
生のまま冷凍しても日持ちするし、凍ったまま蒸し焼きにするだけで手軽に焼けるので便利。しかも市販品より遥かにうまいので、常備菜にしようと思う。
中国語。2〜3日に1回のペースでAnkiをやっている。本来は毎日やるべきだけど、継続しているのでまあよし。
本。Twitterで見かけて以来好きだったけんさんの「雑な生活」を読んだ。この人の漫画は思考のスキマを突いてくるというか、日常的に経験しているけど深くは考えないような絶妙な存在感のものを、いかにも大切そうに切り取って見せてくるので、シュールだけど納得もしてしまうという面白い感覚になる。
https://www.amazon.co.jp/dp/product/4047360783
（なんか知らんがAmazonが書影付きのリンクを生成してくれない）
Database Internalsは進んでない。
アトリエに時間を吸われた月だった。5月もほぼほぼ吸われる予定。まあなんもしないよりはゲームしてる方がよっぽど有意義でしょう……。
ところで、1ヶ月毎にまとめを書く形式だと結構忘れてしまっているイベントがありそうな気がしてきた。ログを残したいなら頻繁にブログを書いたほうが良さそう。
