ログインしてさらにmixiを楽しもう

コメントを投稿して情報交換！
更新通知を受け取って、最新情報をゲット！

Haskellコミュの自動定理証明。

ログインして参加する

  • mixiチェック
  • このエントリーをはてなブックマークに追加

自動定理証明。

mixiユーザー 2008年10月10日 02:21


自動定理証明のプログラムってどんなものか興味があるのですが、
サンプルソースをお持ちの方、いませんか〜？

そんなに簡単には、見せてもらえないかぁ。。。。

コメント(2)

[1] mixiユーザー 10月10日 04:20

未来型言語Agdaなんかはどうでしょう？

http://d.hatena.ne.jp/yoriyuki/20080627/p1

[2] mixiユーザー 10月12日 17:21


面白そうですね。
時間をかけてよく考えて見ます〜。

ログインすると、みんなのコメントがもっと見れるよ

mixiユーザー
ログインしてコメントしよう！

Haskell 更新情報

Haskellのメンバーはこんなコミュニティにも参加しています

星印の数は、共通して参加しているメンバーが多いほど増えます。

Haskell

人気コミュニティランキング

困ったときには

関連ワード

mixiで趣味の話をしよう
新規登録（無料）

このページの上部へ