RT @geoffreylitt: 「ニューロシンボリックプログラム合成」が「AIは端末を使ってループ内で型チェッカーを呼び出す」になってしまったのはちょっと面白い。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
1 件のツイート · 2025/11/05 23:37
RT @geoffreylitt: 「ニューロシンボリックプログラム合成」が「AIは端末を使ってループ内で型チェッカーを呼び出す」になってしまったのはちょっと面白い。