強いAI(人工知能)ver0.0.1
at TECH
563:片山博文MZ ◆0lBZNi.Q7evd
12/02/13 13:11:33.97
>>562
URLﾘﾝｸ(katahiromz.web.fc2.com)
私からも。
与えられた一階述語論理式を節形式に変換するプログラムを作れ。
論理式はTeX表記で。言語は自由。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5074日前に更新/150 KB
担当:undef