2017-01-10
前日からの徹夜だ。
朝までずっと働いていた。前日と合わせると、連続１８時間ぐらい働いていた……。
あり得ない……。
しかも、それでも仕事は終わらない。
徹夜で働いたことで、真鍋さんにワーカホリック呼ばわりされ、一連の流れでとても悲しくなった。それで私は完全にキレてしまい、真鍋さんとの関係を絶った。
徹夜だけでもたまらないのに、真鍋さんまで失うとは、傷口に塩を塗るとはこういうのを言うのだろう。
非常に残念だ。
真鍋さんがいなくて寂しい。
しかし仕方ない。
徹夜明けだったので、正午ころに、１時間～２時間ぐらい気を失った。（寝落ち）
私はふだん寝落ちすることはないのだが。
夜はひさしぶりに（４か月ぶり！？）『型システム入門』を勉強した。５章（型無しラムダ計算）をやった。
真面目に勉強してみると、ベータ簡約，評価戦略などをちゃんと理解できたのでうれしかった。
集中すれば別に難しくない。
