2023-03-28

何もかも

やったこと

• 趣味コードのリファクタ（Rust）
• 『何もかも憂鬱な夜に』を読んだ

BiMap というデータ構造があることを知った。簡単に言うと双方向マップで、KVでK->VだけでなくV->Kのアクセスもできるイメージ。bimapは bijection map の略で、bijectionは日本語で全単射を意味する。

何もかも憂鬱な夜に

夕方にふと思い立って読み始めた。感想を書こうと思ったけど、うまく言葉にできる気がしない。もう何回か読んでいろいろ腑に落ちたら感想を書くかも。

状態機械と変分原理

状態機械で言うところの状態を仮定するメンタルモデルは、手続きの連続で動作を表現するメンタルモデルと距離が近くて、さらにそれらは時間における変分で動きを捉えようとする微分とも距離が近い、みたいなことを考えていた。

自分の知っている微分の定義を状態機械に適用するとどのような定義になるのか知りたい。正規表現の微分という概念を聞いたことがあるけど、たぶんこういう話じゃないかと思ってる。