プログラム合成が解放されたプログラム合成が解放された効果的なコード生成のための自動化手法。計算機科学における論理プログラム合成の進展：実現可能性と実現論理実現可能性と実現論理を使った自動プログラム生成に関する研究。2025-08-31T06:39:06+00:00 ― 1 分で読む