プログラマーのための圏論を読んでいて、(プログラム) 意味論なる概念が出てきた。 代表的なものとして、次の3つがあるらしい。 表示的意味論 操作的意味論 公理的意味論 これらの雰囲気を知りたくて調べて...

『プログラマーのための圏論』第3章を読み、空圏・自由圏・順序・モノイドを圏として捉え直す。

大学院修了と就職に伴う引っ越しに向けて進めていたお部屋探し (東京～神奈川エリア) がついに完了したので、記録を残したいと思います！ これからお部屋探しをする方の参考になれば嬉しいです。 # 希望条件...

初投稿です。 最初なので、自己紹介とこのブログの説明をしようと思います。 # 自己紹介 私についての基本的な情報は下記の通りで、大雑把には「数学を専攻していて、趣味で色々作ってる人」です。もう少しでW...