12:["$","div",null,{"className":"Post_post__BuG2d","style":{"display":"flex","flexDirection":"column","gap":"0.1rem","width":"100%","boxShadow":"0.2rem 0.2rem 0.4rem var(--shadow-color), inset 0.08rem 0.12rem 0.06rem var(--grow-color), inset -0.08rem -0.12rem 0.06rem var(--shade-color)","borderRadius":"none","padding":"1.4rem 8vw"},"children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap"},"children":[false,[["$","a","22B1",{"href":"/22B1","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"Prolog"}],["$","a","6165",{"href":"/6165","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"LLM"}],["$","a","C9B0",{"href":"/C9B0","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"述語"}],["$","a","67AE",{"href":"/67AE","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"単語ベクトル"}],["$","a","1C2A",{"href":"/1C2A","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"文章ベクトル"}],["$","a","22F3",{"href":"/22F3","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"ベクトル述語論理"}],["$","a","FE8E",{"href":"/FE8E","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"個体"}]]]}],["$","article",null,{"className":"article","children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"space-between","flexWrap":"wrap"},"children":[["$","h2",null,{"style":{"margin":"0.6rem"},"children":["$","a",null,{"href":"///7E9B","children":"あれ"}]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"end","alignItems":"center","flex":"1","textAlign":"right","whiteSpace":"nowrap"},"children":["$","div",null,{"children":"2024/6/2 14:26:00"}]}]]}],["$","div",null,{"className":"article_body","dangerouslySetInnerHTML":{"__html":"

課題感
- Prologだと個体と述語に名前をつけないといけない
- 「名前」は異なる個体を指示したいにも関わらず衝突する
解決策
- 単語ベクトルや、文章ベクトルを個体や述語の名前として扱う
余談
- Prologの演算で得られたベクトルをLLMにぶち込めたら面白そう
- Prologプログラムの実行で得られたベクトルをNNで自然言語に翻訳できると面白そう

"}}]]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap"},"children":[["$","a","",{"href":"/","style":{"border":"solid 1px var(--post-edge-color)","borderTop":"none","borderRadius":"0 0 0.6rem 0.6rem","padding":"0.1rem 0.5rem","opacity":0},"children":"あれ"}],[]]}]]}]