@cut-elimination.bsky.social

論理学、特に線形論理を研究しております。副業でアニメ研究。https://researchmap.jp/cut_elimination

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app