haskell-ja > Archives > 2013/05/05

Back to the chat room

2013/05/05 04:08:27 UTCsakai

ikegami__ さん。昨日話したシンデレラは http://www.amazon.co.jp/dp/4431709665/ です。

2013/05/05 11:46:37 UTCikegami__

sakai さん、このたびはいろいろありがとうございます。

シンデレラはまだ生きています : https://sites.google.com/site/cinderellajapan/ : http://cinderella.de/tiki-index.php

Coq が裏で走る系で GeoProof というのがあります : http://home.gna.org/geoproof/

2013/05/05 11:55:33 UTCikegami__

大人が本気出すと中線の定理の証明をすっぱりとできるんですね… : http://www.cl.cam.ac.uk/~jrh13/atp/index.html にある geom.ml の最終具体例

あれ、でも中線の定理はコメントアウトされているぞ？？？

2013/05/05 13:14:04 UTCsakai

ikegami__さんこそ、発表ありがとうございました＆昨日はお疲れ様でした。シンデレラはフリーになってたんですね！

Back to the chat room