FC2ブログ

30分でできる日記

ぴたごらす

何だか某fla氏に煽られたので、S**L**で疲れて放置していたピタゴラス数の証明を急いで証明して、公開してみる。


http://www.fiberbit.net/user/mne0df/pita.v

coqのVernacularCommand列です。
「a * a + b * b = c * cならば、aかbは3の倍数である」
という命題が証明されているような気がします。

ここまで汚いともはや精神的に有害な気もするので、精神が弱い方は閲覧をお控え下さるようお願いいたします。
スポンサーサイト





  1. 2006/07/17(月) 23:38:59|
  2. プログラミング|
  3. トラックバック:0|
  4. コメント:2

P*U2746 | ホーム | P*U2742

コメント

これはすごい

どうもありがとう.
大変にマゾ的でよろしいですね.
  1. 2006/07/18(火) 07:22:50 |
  2. URL |
  3. fla #- |
  4. 編集

 ヽ(・ω・)/   ズコー
 \( \ ノ
  1. 2006/11/01(水) 00:21:28 |
  2. URL |
  3. #sSHoJftA |
  4. 編集

コメントの投稿


管理者にだけ表示を許可する

トラックバック

トラックバックURLはこちら
http://henge.blog66.fc2.com/tb.php/39-0ceaa728

| ホーム |