2018-10-07
日曜日
12時間ぐらい寝た
文化的な朝ごはんを食べた
サラダ
サラダチキン
ゆで卵3
弱火でゆで時間8分
もう少しゆでてもよさそう
トラックをした
横転した
シャワーを浴びた
単純型なしラムダ計算のインタプリタを書こうとして型保存定理が成り立たない計算体系のインタプリタができた
α同値をなにも考慮してない
そもそもβ簡約になってなさそう
De Brujin Indexを使うとできるぽい
https://en.wikipedia.org/wiki/De_Bruijn_index
洗濯をした
若者たちの
飲み
に混ざった
部室で寝落ち
した
今日の
これすき
https://soundcloud.com/poru417/yurikuma
http://www.nicovideo.jp/watch/sm33833175
https://soundcloud.com/tribetrigger/childlike-edits
#日報