1. X
  2. Linuxmetel
Log inSign up
Linuxmetel
34.3K posts
Image
user avatar
Linuxmetel
@linuxmetel
興味:  情報関連:Lisp / Emacs / Arch  数学:代数幾何 / 可換代数 / 圏論  歴史:西欧中世史(特に仏) Discord:linuxmetel 鍵:@format_macro 重要な連絡は Discord の DM へ 質問箱(?)は bio のリンク
Rex Francorum Occidentalium
mond.how/ja/linuxmetel
Born July 1
Joined July 2020
1,626
Following
1,486
Followers
RepliesRepliesMediaMedia
  • user avatar
    Linuxmetel
    @linuxmetel
    55m
    これの In other words って univalent 仮定しちゃってる? まだ univalent 導入してないんだが
    Image
  • user avatar
    Linuxmetel
    @linuxmetel
    13h
    これ部族の部だと思っているがどうなんだ?
  • user avatar
    Linuxmetel
    @linuxmetel
    13h
    sembler と ensemble,ラテン語の形容詞 similis まで辿れば同じ由来だが,割と早くに分化してたのか(見た目が似てるけれどそこまで近くなかった)
  • user avatar
    Linuxmetel
    @linuxmetel
    17h
    えいどすなぁだと思ったら、εἶδος なぁだった回
  • user avatar
    Linuxmetel
    @linuxmetel
    17h
    Twitter とかって直後に言い直すみたいな仕組みがないので、副詞の呼応とかが会話よりも壊れやすい

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Advertisement
Advertisement