鈴木潤(盲点, The Blind Spot)
banner
cut-elimination.bsky.social
鈴木潤(盲点, The Blind Spot)
@cut-elimination.bsky.social
論理学、特に線形論理を研究しております。副業でアニメ研究。https://researchmap.jp/cut_elimination
本日は仏蘭西語とか線形論理の某研究×3とか!
November 29, 2025 at 5:20 PM
本日は仏蘭西語とか線形論理の某研究×4とか!
November 28, 2025 at 5:09 PM
本日は仏蘭西語とか線形論理の某研究×3とかルディクスとか!
November 27, 2025 at 4:30 PM
本日は仏蘭西語とかフィクション論とか線形論理の某研究×3とかルディクスとか!
November 26, 2025 at 4:21 PM
本日は仏蘭西語とかフィクション論とか線形論理の某研究とかルディクスとか!
November 25, 2025 at 5:12 PM
本日は仏蘭西語とかフィクション論とか線形論理の某研究とかルディクスとか!
November 24, 2025 at 3:51 PM
本日は仏蘭西語とかフィクション論とか線形論理の某研究とかルディクスとか!
November 23, 2025 at 5:49 PM
本日は仏蘭西語とか線形論理の某研究×2とかルディクスとか!
November 22, 2025 at 4:25 PM
本日は仏蘭西語とか線形論理の某研究とか!
November 21, 2025 at 4:13 PM
本日は仏蘭西語とかRocqとか証明論とか線形論理の某研究とかルディクスとか!
November 20, 2025 at 5:27 PM
本日は仏蘭西語とかブランダムとかRocqとか証明論とか線形論理の某研究とか!
November 19, 2025 at 5:36 PM
本日は仏蘭西語とかブランダムとかRocqとか線形論理の某研究×2とかルディクスとか!
November 18, 2025 at 4:53 PM
本日は仏蘭西語とかブランダムとか線形論理の某研究×2とかルディクスとか!
November 17, 2025 at 2:57 PM
本日は仏蘭西語とか線形論理の某研究とかルディクスとか!
November 16, 2025 at 7:55 PM
本日は仏蘭西語とか線形論理の某研究とかルディクスとか!
November 15, 2025 at 5:11 PM
本日は仏蘭西語とか圏論とか線形論理の某研究とかルディクスとか!
November 14, 2025 at 4:57 PM
本日は仏蘭西語とか線形論理の某研究×2とか!
November 13, 2025 at 4:50 PM
本日は仏蘭西語とかブランダムとか線形論理の某研究×2とか!
November 12, 2025 at 4:30 PM
本日は仏蘭西語とか線形論理の某研究×2とか!
November 11, 2025 at 5:22 PM
本日は仏蘭西語とかブランダムとか余代数とか線形論理の某研究×2とか!
November 10, 2025 at 2:48 PM
本日は仏蘭西語とかブランダムとか余代数とか線形論理の某研究×2とか!
November 9, 2025 at 5:18 PM
本日は仏蘭西語とか圏論とか余代数とか線形論理の某研究とか!
November 8, 2025 at 7:19 PM
本日は仏蘭西語とか圏論とかRocqとか分離論理とか線形論理の某研究×2とか!
November 7, 2025 at 4:37 PM
本日は仏蘭西語とか圏論とかRocqとか線形論理の某研究とか!
November 6, 2025 at 4:30 PM
本日は仏蘭西語とかブランダムとか圏論とかRocqとか!
November 5, 2025 at 4:44 PM