@cut-elimination.bsky.social
論理学、特に線形論理を研究しております。副業でアニメ研究。https://researchmap.jp/cut_elimination
本日は仏蘭西語とかブランダムとかRocqとか線形論理の某研究×2とかルディクスとか！
18.11.2025 16:53 — 👍 0 🔁 0 💬 0 📌 0本日は仏蘭西語とかブランダムとか線形論理の某研究×2とかルディクスとか！
17.11.2025 14:57 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか線形論理の某研究とかルディクスとか！
16.11.2025 19:55 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか線形論理の某研究とかルディクスとか！
15.11.2025 17:11 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか圏論とか線形論理の某研究とかルディクスとか！
14.11.2025 16:57 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか線形論理の某研究×2とか！
13.11.2025 16:50 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とかブランダムとか線形論理の某研究×2とか！
12.11.2025 16:30 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか線形論理の某研究×2とか！
11.11.2025 17:22 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とかブランダムとか余代数とか線形論理の某研究×2とか！
10.11.2025 14:48 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とかブランダムとか余代数とか線形論理の某研究×2とか！
09.11.2025 17:18 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか圏論とか余代数とか線形論理の某研究とか！
08.11.2025 19:19 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか圏論とかRocqとか分離論理とか線形論理の某研究×2とか！
07.11.2025 16:37 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか圏論とかRocqとか線形論理の某研究とか！
06.11.2025 16:30 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とかブランダムとか圏論とかRocqとか！
05.11.2025 16:44 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とかブランダムとか証明論とか線形論理の某研究とか！
04.11.2025 17:35 — 👍 0 🔁 0 💬 1 📌 0深夜の研究終了。ダラダラしてたらド深夜になってしまった！
04.11.2025 16:26 — 👍 0 🔁 0 💬 0 📌 0本日は英語とか仏蘭西語とか分離論理とか詰将棋とかブランダムとか線形論理の某研究×2とか！
03.11.2025 14:18 — 👍 0 🔁 0 💬 1 📌 0夕方の研究終了。中間論文、少し進む。
03.11.2025 08:40 — 👍 0 🔁 0 💬 0 📌 0本日は仏蘭西語とか分離論理とか圏論とかブランダムとか詰将棋とか！
02.11.2025 16:34 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか詰将棋とか！
01.11.2025 16:39 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とかRocqとか詰将棋とかアニメ研究とか線形論理の某研究とか！
31.10.2025 17:04 — 👍 0 🔁 0 💬 1 📌 0夕方の研究終了。伝説へ。
31.10.2025 09:30 — 👍 0 🔁 0 💬 0 📌 0本日は仏蘭西語とか証明論とか！
30.10.2025 16:39 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とかブランダムとか分離論理とか線形論理の某研究とか！
29.10.2025 16:41 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とかRustとか詰将棋とかアニメ研究とか線形論理の某研究とか！
28.10.2025 16:33 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか余代数とか詰将棋とか！
27.10.2025 14:40 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とか余代数とかアニメ研究とか！
26.10.2025 17:09 — 👍 0 🔁 0 💬 1 📌 0夕方の研究終了。
26.10.2025 09:57 — 👍 0 🔁 0 💬 0 📌 0本日は仏蘭西語とか分離論理とか詰将棋とかアニメ研究とか！
25.10.2025 16:34 — 👍 0 🔁 0 💬 1 📌 0本日は仏蘭西語とかRustとか詰将棋とか線形論理の某研究とか！
24.10.2025 16:54 — 👍 0 🔁 0 💬 1 📌 0
