SPINを業務へ使用してみたくなったので、SPIN初ネタを見直した。 初ネタでは証明が失敗した時の反例を数えることを予定していたが上手く行かず。。汗） よくよく考えると反例を過不足無く出力って、補集合を出力ですか！！ 「おとなの階段登る～～♪♪君はtype…

初SPINネタの続きです。 前回は ./pan -e としていましたが。。オプションが足りませんでした。。汗） ./pan -e -c0 です。 -eはファイルに書き出すで-c0が全ての反例を出力-cの後ろに数値を入れると数値分の反例を出力 "0"は全てです。 でもこれで実行する…

SPINネタで良いのが無いか探していたら。。 「ビートたけしのコマ大数学科」を扱ったweb http://gascon.cocolog-nifty.com/blog/2009/01/index.html があり、１１９講：バスケットボールを解いてみることにした。 問題：バスケットボールの得点は、フリース…