無限の計算を静的な幾何学に圧縮することはできません。しかし、有界論理問題（三段論法、因果グラフ、集合論など）の場合、論理的含意が距離のように振る舞うように、モデルの隠れ状態を強制的に配置することができます。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
tokenbender（@tokenbender）のスレッド
1 件のツイート · 2025/11/19 19:02
作者情報
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
1 件のツイート · 2025/11/19 19:02
無限の計算を静的な幾何学に圧縮することはできません。しかし、有界論理問題（三段論法、因果グラフ、集合論など）の場合、論理的含意が距離のように振る舞うように、モデルの隠れ状態を強制的に配置することができます。