あめ
c81c7999f7276387317878e59d7c321093a433977ee6811ca76dc3a9738e1869
数学と低レイヤ
バナーはたーごいるさん
おきにゃ
10時間寝たい
お米券…
8時間睡眠、普通につらいな…？
ぐえー
寝て
「先にする」とかだと前だな…
寝ないわけに行かないので起きたらみるかな
全部、やりたいんだなあ
空間だと「前」も「先」も同じ方向だけど時間だと逆（唐突な話題転換）
わたしは寝ないんですか？
用語の歴史を追ったり古い文献を漁ったりしてみたいですね
写像で矢印を使うようになったのもそのあたりみたいな
公理的集合論と圏論の発生時期が同じくらいっぽい？
圏論の発生わからない
箙（数学用語）
数学の論理の部分は論理記号でやろう（）
技術についての歴史はよく語られるけど用語についての歴史はあまり語られないよな
寝よね
x86、セグメントとかページングとかアドレッシングのあれが多くてあれ