2021-01-16から1日間の記事一覧

依存型の話

m-hiyama.hatenablog.com 上記の記事を読んで、また少し、依存型についてのイメージが明確になったように思う。 圏論を勉強する途中で、その例として何度か依存型には出くわしているし、それとは独立の流れでも、「依存型っていうものがあるらしいけど、まだ…

大きなシステムのトラブルを起こしてみると

転職したのがそれなりに、というかかなり、というかめっちゃでかいシステムを扱う会社なので、トラブルが起きた時も被害がすごいんですよね。一時間システムが止まっただけで被害額がこれだけになる、と上司や同僚から聞かされるにつれ、そういったトラブル…