私が歌川です

@utgwkk が書いている

夏真っ盛り日記

3連休の初日なので日記です。夏っぽい要素はそんなにない気がする。

💉

8/4に1回目のワクチン接種を済ませた。ファイザーです。

副反応がどれくらい出るか分からないので、ロキソニンSやゼリー飲料を買って備えていたけれど、3日経過した今まで左肩が筋肉痛っぽいぐらいしか出ていない。発熱も頭痛もなくて平穏な感じがする。

2回目の接種まで副反応対策グッズを保管しておく必要がある。自宅の容積は有限……。

💰

昇給したしボーナスも出た。よかったですね。

お金以外の側面でいうと、チームを引っ張るメンバーとしての活躍が期待されているということなので、振る舞いに意識的になっていきたい。

🪑

ISUCON11 個人スポンサー特典グッズを受け取った。めっちゃアウトドアグッズという趣でおもしろい。キャンプに行くとよい気がするけど自動車免許を持ってないという問題がある。

isucon.net

📖

いっぱい届いた。ありがとうございます。自宅の容積は有限。

三体

三体

Amazon

ダークウェブの教科書 匿名化ツールの実践 (ハッカーの技術書)

ダークウェブの教科書 匿名化ツールの実践 (ハッカーの技術書)

  • 作者:Cheena
  • データハウス
Amazon

テスト駆動開発

テスト駆動開発

Amazon

自閉症は津軽弁を話さない　自閉スペクトラム症のことばの謎を読み解く (角川ソフィア文庫)

自閉症は津軽弁を話さない　自閉スペクトラム症のことばの謎を読み解く (角川ソフィア文庫)

Amazon

「集合と位相」をなぜ学ぶのか ―数学の基礎として根づくまでの歴史

「集合と位相」をなぜ学ぶのか ―数学の基礎として根づくまでの歴史

Amazon

モノリスからマイクロサービスへ ―モノリスを進化させる実践移行ガイド

モノリスからマイクロサービスへ ―モノリスを進化させる実践移行ガイド

Amazon

思考としてのランドスケープ 地上学への誘い ―歩くこと、見つけること、育てること

思考としてのランドスケープ 地上学への誘い ―歩くこと、見つけること、育てること

Amazon

失敗の本質―日本軍の組織論的研究 (中公文庫)

失敗の本質―日本軍の組織論的研究 (中公文庫)

Amazon

ベイビー・ブルー・クラスター １ (MFコミックス　アライブシリーズ)

ベイビー・ブルー・クラスター １ (MFコミックス　アライブシリーズ)

Amazon

21世紀の民俗学

21世紀の民俗学

Amazon

🏠

一念発起して、HOMESの物件ページをスクレイピングしてスプレッドシートで可視化できるようにしたところ、だいたいの相場が分かったような気がした。IMPORTXML 関数が便利だけど使いすぎると情報がぜんぜん取得できなくなるので、先にwgetしておいてPythonでスクレイピングしている……。

学生時代の物件と比較するのがそもそもおかしいという話題はある。ひとたび生活の質を上げれば、下げるのは難しい。動かなければ動かない、みたいな意識になっている。

AWS Lambda + DynamoDBでzatsu_monitorをサーバーレスで動かす

技術

モチベーション

zatsu_monitorはシンプルなURL監視ツールです。crontab等で定期的に指定したURLにリクエストを送信し、ステータスコードに変化があれば通知してくれます。詳しくは作者の id:sue445 氏の記事をご覧ください。

sue445.hatenablog.com

手軽にURLを監視したいけどサーバーの管理はしたくない、というモチベーションで実装を進めることにしました。

方針

ここではAWSを使うことにします。GCPなど他のクラウドサービスにも対応するコンポーネントがあると思うので、適宜読み替えたら再現できると思います。

サーバーレスといえばLambda、ということでzatsu_monitorをLambdaで定期実行する大方針を固めます。単に実行するだけなら main 関数をちょっと差し替えればできます。ところで、zatsu_monitorはファイルシステム上に状態*1を持っているので、これをLambdaでどう扱うか考えなければいけません。

ぱっと思いつく方針としては以下があります。

  • LambdaからEFSをマウントする
  • DynamoDBに状態を持つように修正する

コードを修正する量を考えると、LambdaからEFSをマウントするほうが手間が少ないかもしれません。しかし、EFSの容量や料金を気にするよりは、もっとサーバーレスに寄せたストレージに書き込む方がよさそう*2、と判断してDynamoDBを使うようにコードを書き換えることにしました。

完成品

forkしたリポジトリの dynamodb ブランチに実装をpushしています。大きなみどころは以下の2つです。

DynamoDBのテーブルを作って、LambdaのトリガーにEventBridge (CloudWatch Events)を設定し、5分おきに関数を実行するようにして完成です。テーブル構成は本当にシンプルなkey-value storeになっています。

改善したい点

Lambda関数のzipに設定ファイルを同梱してデプロイする形なので、zatsu_monitorの設定を修正する場合はデプロイが必要になります。また、LambdaのWebコンソールから設定内容を確認することができません。

おわりに

サーバーレス元年ということで、便利なツールがサーバーレス環境で動くように改造するのもよいかもしれません。

*1:前回リクエスト時のステータスコード

*2:DynamoDBを触ってみたかった、という裏テーマもある

Pythonソースコードの文法チェックを行うテストを書く

技術

src ディレクトリ以下のPythonソースコードの文法チェックを行いたい。テストとして回せるとよさそう。

pytestを使って書くならこういう感じになりそう。Python 2.7対応のためにglob2ライブラリを使っているけど、Python 3.5以降なら標準のglobモジュールで事足りる。

py_compileはPythonソースコードをバイトコードにコンパイルする組み込みモジュールだけど、コンパイルする際に文法エラーがあったらコンパイル失敗するので、これを活用できないだろうか、というアイデア。

from glob2 import iglob
import py_compile
import pytest

python_files = iglob('src/**/*.py', recursive=True)

@pytest.mark.parametrize("path", python_files)
def test_syntax(path):
    try:
        py_compile.compile(path, doraise=True)
    except py_compile.PyCompileError as ex:
        pytest.fail(ex.msg)

ちょっと試した範囲ではうまく動作していそう。

github.com

gyazo.com

背景

Pythonソースコードの文法エラーがあったら、GitHub Actionsで落ちたテストをアノテーションするpytestプラグインでアノテーションしたいという話題があった。

github.com

Python 2.7対応を考える場合は文法の互換性に気をつける必要があるので、欲求はよくわかる。一方で、文法エラーがあるモジュールを読み込んだ時点でSyntaxError例外を送出してテストが終了するので、単体ではアノテーションするのが難しいと思う。

ところで、文法エラーがあったら落ちるテストを用意できればプラグインの実装を変えずにリーズナブルに実現できるのではないか、と思って書いた。

25歳になった

誕生日

7/28で25歳になりました。

2021年には退学をしました。人生の岐路ともいえるのですが、決まってからの一連の手続きは高速に済んでいきました。こうやって突き進んでいくんですね。

退学を決めた頃のプライベートな日記を見返してみると、あまりにスピード感がありすぎるとビビっている様子が伺えます。人生は決断の連続って感じですね。

25歳になるということで、25歳のアイドルのことを思い出しました。25歳のモデルケースは他にもある気がするけど真っ先に思い付いたので仕方ないです。温泉に行きたいし健康的な飲酒をやりたい。ブログには書いてなかったと思うけど、健康診断の結果のみどころは特にありませんでした。

blog.utgw.net

とりあえず欲しい本のウィッシュリストを貼っておきます。ほかにもオススメの本がありましたらウィッシュリスト外から送ってください。

読書カテゴリやScrapboxにある本は、読んだことがあるか、もしくは持っています。

日常を取り戻した暁には飲みに行きましょう。

あと、Kindleで買えるオススメの百合漫画があったら教えてください。

TypeScript + JSXでrenderするコンポーネントに型引数を書ける

技術

子ネタだしタイトルが全てだけど、おもしろかったので共有します。

たとえば、react-router (react-router-dom) v5 の Link コンポーネントの to propには、文字列・オブジェクト・関数を渡すことができる。

ここで、react-router-domの型定義を見ると、<Link> コンポーネントはジェネリックな関数・インタフェースとして定義されていることが分かる。

これらを踏まえて以下のようなコードを書いてみると、コンパイルが通るし動作することが分かる。renderしたいコンポーネントに型引数を書くことができる。

type State = ...;

export const WrappedLink = () =>
  <Link<State> to={(location) => ...} />

こすると to propの関数の location 引数の型が Location<State> に推論されて便利だけど、見た目はおもしろい。関数呼び出しだと思うと、ここに型引数が書けるのはそういうものかとも思う。

2021/7/26 12:54 追記: コンポーネントのrender時に「型注釈」を渡す、と書いていたけど正しくは「型引数」だったので修正しました。

■

艦これリキュールを飲んで連休ラストスパートに差しかかりつつある。

catatsuyさんの社内ISUCONで26万点を取った。3年前にも解いたことがあるけどそのときよりも遥かに点数が高い。解いたことがあるとはいえ手数が増えたということだと思う。小手先テクニックも覚えている……。

blog.utgw.net

2021/7/25 追記: 27万点まで伸びた。

www.youtube.com

7月の終わりが近づいている、ということを意識した。誕生日まであと4日。