2011-05-21から1日間の記事一覧
Prelude なにげにClojureのお話 Awodey 2.8 Exercises 2.8.1 背理法を使わないで証明する方法はないか。 コンセプタンでoto_oto_otoさんが、背理法以外の証明法を紹介していました。 http://d.hatena.ne.jp/oto-oto-oto/20110406/1302109498 http://d.hatena…
Prelude なにげにClojureのお話 Awodey 2.8 Exercises 2.8.1 背理法を使わないで証明する方法はないか。 コンセプタンでoto_oto_otoさんが、背理法以外の証明法を紹介していました。 http://d.hatena.ne.jp/oto-oto-oto/20110406/1302109498 http://d.hatena…