from <a href="/ja/%E6%97%A5%E8%A8%982025-01-10">日記2025-01-10</a>
第66回 プログラミング・シンポジウム
<a href="https://prosym.org/66/cfa.html">参加募集のご案内 | 第66回 プログラミング・シンポジウム</a>
<a href="/ja/Conflict-Driven-Clause-Learning">Conflict-Driven-Clause-Learning</a>
<a href="/ja/%E9%AB%98%E9%80%9FSAT%E3%82%BD%E3%83%AB%E3%83%90%E3%83%BC%E3%81%AE%E5%8E%9F%E7%90%86">高速SATソルバーの原理</a>
<a href="/ja/DeepSeek-Prover">DeepSeek-Prover</a>
<a href="/ja/Sarashina">Sarashina</a>
Completionは2019年のGPT-2頃から可能になってきた
<ul>
<li><a href="/ja/InstructionGPT">InstructionGPT</a>がその後くる</li>
<li><a href="/ja/DPO">DPO</a><ul>
<li><a href="/ja/Direct%20Preference%20Optimization">Direct Preference Optimization</a></li>
</ul>
</li>
</ul>
<a href="/ja/Die%20with%20Zero">Die with Zero</a>
<ul>
<li><a href="/ja/%E3%83%88%E3%83%B3%E3%83%81%E3%83%B3%E4%BF%9D%E9%99%BA">トンチン保険</a></li>
<li>「<a href="/ja/%E9%95%B7%E7%94%9F%E3%81%8D%E3%81%97%E3%81%A6%E3%81%97%E3%81%BE%E3%81%86%E3%83%AA%E3%82%B9%E3%82%AF">長生きしてしまうリスク</a>」に対する備え</li>
</ul>

第66回 プログラミング・シンポジウム

第66回プログラミング・シンポジウム