スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
1 件のツイート · 2025/12/13 6:20
RT @arntzenius: HOPE 2025 プレゼンテーション「段階的効果と関連性型による有限関数型プログラミング」のスライド: https://t.co/Bb…