ふりかえり(2023) 今年やったこと(技術編) いろいろと技術書は読めたと思うが,何かを作るのに熱中して手を動かすという機会が減ってしまったので来年はそのような機会をつくっていきたい(CPUエミュレータの実装とかなんかのプロトコルスタックの実装とかネタ…

平日は仕事,土日は図書館で読書をくりかえしている 読んでいる本 - トゥー多様体 - ドラーム理論の章をゆっくり読んでいます - すべての概念はkan拡張である - とりあえず随伴の定義と例(忘却関手の随伴として(密着|離散)位相を入れる関手がとれることなど)…