朝
NotionというWebアプリを使ってみた．文章を書いたり，Todoリストを作ったり，簡単な表計算ができる．いろいろまとめるのに使えそうだと思ったのだが，自分でまとめないといけないのがめんどくさい．これは当たり前なのだが，面倒があると使わなくなってしまうので大事だ．
Scrapboxから乗り換えられるかなーと思って使ってみたがあまり自分にはなじまなかった．
夜
最近これを参照しながら，型推論をする言語処理系を作ろうとしている．
インタプリタとして実装している．昨日までで足し算，掛け算，if式を実装していて，今日let束縛を実装した．まだ大したことはできないけどそのうち大きくなるはず．
