Prologサーバで事実を動的に追加・削除するlikers
- Kohki Yamagiwa@tamanobi
Vim/Python/C++/Common Lisp/PHP/JavaScript/データ分析/機械学習/画像解析/NEM
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
1 / 1
Vim/Python/C++/Common Lisp/PHP/JavaScript/データ分析/機械学習/画像解析/NEM
定理証明系や論理プログラミングに興味をもっています。