強いAI(人工知能)ver0 ..
[2ch|▼Menu]
563:片山博文MZ ◆0lBZNi.Q7evd
12/02/13 13:11:33.97
>>562
URLﾘﾝｸ(katahiromz.web.fc2.com)

私からも。
与えられた一階述語論理式を節形式に変換するプログラムを作れ。
論理式はTeX表記で。言語は自由。

次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch
5074日前に更新/150 KB
担当:undef