やったこと

REwPLB→HFAの変換を定義した

これは間違ってないと思う。のだけど証明ができない。なんとなくアイディアは降ってきたのでやっていきたい。

難しい。

疲れた

なんでか分からないけどめちゃくちゃ疲れてる。しんどい。休みたさがある。