メチャクチャ暑いです

気持ち悪いくらい蒸し暑いです、ハイ

論理数学の証明のプログラムなんて書けるかーッ
そもそも証明の過程がイマイチ飲み込めて無いので、
アルゴリズムが組めないのです。
提出明後日まで間に合えば良いんだけど・・・

----------------------------------

タルいのでプログラム書く気が起きず適当にネットを見てると発見。
エレベータの裏技↓
http://homepage1.nifty.com/crux/evcancel.html

間違えて押した階のキャンセルなんてあるんだ・・・
でも、最近エレベータなんて使ったこと無いな
とか思ったりするわけですが。
これは最低4階層くらい無いと試す価値無いと思われる素敵に無駄な知識かも知れないですね。

-------------------------------

　プロ野球のオールスターファン投票が大変なことになってるようです。
なんでも2chの野球板で中日の川崎憲次郎をファン投票で
1位にするというものらしいのですが・・・
この川崎投手、野球板では給料泥棒と言われてるらしく
今回の投票もいわば皮肉でやってるものなんですが
以前に田代祭りで作られた田代砲の発展型川崎砲なんてのが
現在稼動しているようで例によって投票1位になってしまったようです。
ネット投票なんてしなきゃ良いと思うんですが

トップになった川崎投手本人は辞退する方向で動いてるようです。
私的には川上あたりが出ればヨシ(・∀・)b

関連
↓ネット大量投票で川崎が投手部門トップに！(ZAKZAK)
http://www.zakzak.co.jp/top/top0617_3_05.html

↓川崎憲次郎（中日ドラゴンズオフィシャル）
http://dragons.cplaza.ne.jp/member/03member/20_kawasaki.html