Home | Notifications | New Note | Local | Federated | Search | Logout
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-10 00:34:20) このあと、Listとその長さの依存和とVecが同型であることを示して、同型をパスにして変換できるようにするのをやってみたいReply
たぶん、Listで定義した非効率で Vec からは定義しにくい rev を Vec から間接的に使えるようになるはず…
---Replies---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-01-10 11:50:27) ListとVecは多分特別に難しいから別のにしよう。。。