BUILT あなたが気づけばマナーは変わる。

RT @shiatsumat: 線形論理はもともと coherent space での線形代数として得られて、そのあと推論規則が与えられたらしい、面白い!!
"Linear logic first appeared as a kind of linear algebra bui…

@lotz84_ 2019/01/04 19:13

家に帰ったら例大祭申し込まなきゃ……

@built_in_stb 2019/01/04 22:36

usurp２簒奪する、不法使用するjusə́ːrp
forgery（文書）偽造fɔ́ːrdʒ(ə)ri
vacate（場所を）明け渡すvéɪkeɪt
tenancy借用期間ténənsi
vanquish打ち負かすvǽŋkwɪʃ

@Voca_built 2019/01/04 07:19