ねむかった。nemu-katta.
仕事はあまり生産的でない時間が長かった。というかなんかJenkinsにやらせているcarthageのビルドが壊れてしまったので対応していた。どうもcarthageは時々「シミュレータがないよ！」というエラーでコケるのだが、これの対応方法がよくわからない。まあ別にcarthageが悪いと決まったわけでもなくて、テストを動かすならXcodeが同じようなトラブルを起こす可能性はあるけれども。とにかく難儀して二時間くらい潰してしまった。やれやれだ。
夕方はすこしCDKを触った。今日はCloudwatch→SNS→Chatbot→Slackを実現した。いいね。これが全部コマンド一つで手に入るのだ。いいね。
夜はすこし趣味コードを触っていた。数日離れていたので何を実装しようとしていたのか思い出すのに苦労した。まだ足りていない機能がいろいろある。こんなことでいいのだろうか。難しいな。
ねむいので寝ましょう。
sa sa no ha sa-la sa la.
今日は健康診断だったので午前中はなにも食べることができず空腹。最近朝食をとるようになったから忘れていたが朝食を抜くとこんなにお腹がすく。
健康診断はつつがなく終わった。なんか空いてたし。身長は170.2 cm、体重は57.3 kg。体重が増えていたらどうしようと心配だったが変わっていないようだった。よかった。血圧も正常だったらしい。あとは血液検査を待つ。
仕事はまたCDKをいじる。生のCloudFormationが顔を出してくるとちょっと辛い。しかし今回作りたいものはほぼ作れたのではないかと思う。あとは細かいチューニングとかだけど。Cloudwatchにも詳しくなりたいし。
今日は疲れた。他人を信頼するのは僕には難しいのかもしれない。他人の話はなんでもわりと信じるくせに。
とても具合が悪い朝だった。いや、朝はとても具合が悪かったのか？とにかく午前中はほとんど死んでいた。寝不足のせいかもしれないし、普通に風邪かなにかなのかもしれない。熱はなかったのでのろのろと仕事をした。
仕事はまたAWS CDKでズドンとやるやつ。今日はDynamoDBからいろいろやってSlack通知を飛ばすところまでやった。当初はChatbotに投げればいいのかなと思っていたのだけど、こいつはどうも特定のサービスからしか送れないらしい。なんだ。なのでLambdaから直接投げたけど、じゃあChatbotは何のためにあるんだとは思う。まあいいや。
明日は健康診断。怖いねえ。
昼前に起きて、のろのろと活動、今週分のつくりおきをやって、夕方はほこらんさんと馬を食べに行った。なんだかでも急に具合が悪くなってしまったのであまり話せなかった。昨夜そんなに飲酒したわけではないし、ほぼ純粋にメンタル的なものに思われるのだけど、最近けっこう多いのよね。薬で良くなったりするんだろうか。うーむ。
メンタル的なものだと思っていたのだけど、夜になってちょっと本格的にしんどくなってしまった。体温は36.9℃なんだけど、うーむという感じ。今はちょっと元気だけど。なんだろうなあ、これ。そういえばもうじき健康診断です。怖いなあ。
そういえば都知事選でしたね。選挙ってやるたびに「いかにインターネットの人たちが特に世論とは関係がないか」を感じるものになりつつあり、今回もそうでした。
個人的には、選挙に行くのは自分の意見を政治に反映させるためではない、と考えている。もちろん、選挙というものが存在するのは国民の意見を政治に反映させるためだけど、個々人がそれに参加するというのは、べつに個々人の意見を反映させるためではなく、個々人の意見を通して浮かび上がってくる「国民」の意見を抽出するためだと考えている。だから僕は別に自分の投票した候補者が当選しなくても何も気にする必要はないし、必ずしも僕が最善の候補者を選択する必要もないのだ。こういう考えかたに名前がついているのかは知らないけど。一般意志とかってこういう話？
さて寝ます。明日は元気だといいなあ。いつもそう言っている気がするけど。
昼前に起きてすこしコードを書いた。最近いろいろ考えていて、いろんなアイデアを思いついているので順番に実装している。まあこんなのそこまで時間をかけることでもないのはわかってるのだけど、とはいえDSL的なものを用意する技法としても実りがあるとは思うのでもう少し試したい。
午後は妻と出かけて都知事選の投票をした。僕は投票に行くのは初めてなんだけど、まあなんかよくわからんなと思う。理念としてはこれが政治を「民主的」にやることの最大の裏付けなんだろうけど、出馬してきた候補者はどれも一長一短に思え、我々に認められた「主権」とはこんなにも制限されたものなのかと思う。そもそも我々は政治の場で実際に起こっていることを把握することもできない。いや、がんばればできるのかもしれないが、そこまでのコストを割けない。その態度が民主主義に反するという批判は有効だと思うが、それを言うなら僕はそもそも民主主義自体をそこまで信頼していないのだし。信頼とかそういうのではないのが民主主義というものだとも思うけど。
夜はすこし買いものをした。そういえばひさびさに現実の大型書店というものに行った。「この棚の本ぜんぶほしいな」という気持ちは、Amazonでは味わえないものの一つだと思った（まあ、味わったからといって実際に本棚一つ買えるわけではないのでどうでもいいのですが）。
明日は日曜日。できるだけ家から出ずに趣味コードに時間を使いたいなあ。
最近仕事と趣味コードのことばかり考えていて日記に彩りがないですね。まあ彩りがなくたって書くのが日記というものなのですが。脱走したサーバルキャットは元気にしているでしょうか。そのうちどこか、コンビニの裏なんかで目撃されたりしないでしょうか。バス停あるとこのコンビニあんじゃん？ファミマでしょ？そうそう、あそこでサーバルキャット見たんだよね。
仕事はAWS CDK。今日はついにFargateをズドンとデプロイするところまでやりました。いやあ、CloudFormationって便利そうだけど記法が絶対辛いじゃんと長いこと思っていたんですが、まさかCloudFormationの方から歩み寄ってくれるとは。ただ、どうもCloudFormationは失敗時の挙動が微妙で、たとえば削除できないリソースの削除に失敗するのはいいんだけど、それと依存関係のあるリソースの削除失敗がすごく遅くなる。できないならサッと無理ですと言ってくれればいいのにね。
Fargateが仮で動いたので、DynamoDB→Lambda→SNS→Chatbot→Slackの流れを作ろうと試みている。今回はNATを置かない構成にするつもりなので、VPC Gateway経由でDynamoDBでデータを受け渡すしかないんだよね。うーむ。
夜は趣味コードをいじった。ルーティングの記法、Wrapped Propertyを使うと簡便性が実現できそうな気がするのでその方向で進めているが、まだ微妙にうまくできないところもある。しかしまあ、概ねこの路線でいいだろう。テクニカルな詳細は明日以降詰めていく。
さて週末。明日は都知事選の不在者投票に行く予定。別に不在でもなんでもないのだけど、三ヶ月以内に転居したから選挙人名簿上は旧居になっていて、でもそこまで投票に行くのが面倒なのでこうなった。
選挙が何らかの意味で正しい制度だとは今でもあまり思っていないけど、民主主義を打倒する覚悟めいたものも今のところないので、それならまあやっておくか、というような感情がある。せめて正当化しないと虚無の制度だからな。
あいかわらず中途覚醒がひどい。早朝に目が覚めてしまうのだが、これはなんでなんだろう。ウーン。また眠剤とか出してもらうほうがいいのだろうか。
仕事はAWS CDKをいじる。昨日までに描いた絵のとおりにコードを書いてリソースをポンポン生成する。いろいろ調べながらなのでゆっくりだが一応順調だ。明日くらには何かしらできるのではと期待しているが、まあわからない。
あと別案件で本番環境にSSHで入って作業をするという恐怖体験をした。というかAWSぽちぽちで終わる予定だったのだがなぜかpumaが突然死したので救出に向かった。いやはや怖い怖い。本番環境内での作業には危険作業手当みたいなものがついてもいいと思う。寿命が縮んだ。
夜は趣味コードを書いていた。ルーティングの表現をずっと考えていたのが、今日ようやくいいアイデアを思いついて、それなりに動かせるようになった（と思う）。けっこうトリッキーなことをしてしまったが、トリック部分は隠蔽できるはずなので、まあいいだろう。本当か？
今日は疲れた。明日も疲れるだろうが。今夜はもう寝たい。
今年も後半らしいですが、またどうせもう半年前のことなんか覚えていないのでこの知識にあまり意味はないですね。
仕事はAWSお絵描きをしていた。2020年に作る最低限まともなサーバー構成にできたのではないかと思うが、如何せんネットワークのことは詳しくないので不安もある。あと結局NATは使わずに通すことにしたのだけど（高いので）、本当にそれでいいのかは自信がない。
夜は趣味コードを少しだけ触った。Swiftに最近追加された文法を活用して、なんとかスマートで型安全なルーティングの表現をできないかと考えているが、まだうまくいっていない。もうすこし考える。
雨が続いて気が滅入る。自転車に乗れないから買いものにも行きづらいし。やれやれ。
今朝もなんだか眠かった。雨と眠さの相関を調べてもいいかもしれない。
仕事は比較的暇だったと思う。AWS CDKのワークショップを一通り終わらせて、それからAWS Fargateについて調べたり試しに作ったりしていた。AWSのネットワークに関する機能、あまり理解せずに雰囲気でやってきてしまっていたのでいろいろ難儀したが最終的にはテンプレートからどういうリソースが生成されてどう動いているのかを把握できるようになった。あとはこの構成をちょっとセキュアに拡張して、それからCDKで自動生成できるようになりたい、が。ふーむ。
夜はまた趣味プログラミングをしていた。ルーティングの仕組みそのものはだいぶ出来てきたが、画面階層の表現をすこし改善したい。今はprotocolとして扱っているが、それだと情報が落ちすぎる（キャストしないと何もわからないがキャスト先は画面によって異なるので一般性を欠く）ので、もうすこしいい方法を考えたいが、どうなることやら。アイデアはあるがまだ上手く動くかは考えていない。
寝ます。
ういろうってneumorphismだと思うんですよね。
諸事情あって寝不足。仕事はAWS CDKのチュートリアル。API GatewayとLambdaとDynamoDBをサッと立てて簡単なカウンターサービスを生成するところまで。これはいい。TypeScriptでエディタの支援も受けられるし、再利用もできる。npmで公開できるのもいい。いい道具は手にしたときから何かを作ってみたくなるものだ。早く使う機会がほしい。まああるのだが。
夜は趣味コード。ルーティングをちまちまやっていたがどうにか形になりそうな気がしてきた。してきたがまだ細かい課題はある。あと思ったほど格好いいものにもならないっぽい。まあ使えればなんでもいい。
今夜も夜更かししてしまった。寝なきゃいけないのに。でも今月はもう勤務時間的には残業寄りだから、明日はサッと帰ればいい。そういってサッと帰ったことなんかあまりないのだが。