This is coyell.net... すぐにsiteに移動する

自然言語による本格的な思考Programming

連立言葉方程式による極めて柔軟な述語論理

相対的な価値観と程度を加味した推論

証明の失敗としての否定と科学的/道徳的な一括否定が可能な発想合成

利用者定義の利用者間自動問い合せによる現場の最新推論規則の機械学習

「有意義で楽しい話し相手」話し相手に不足した世界中の人々