なんかしらんが証明は一応できた. ここ一月ほど, いろんな文献からワザをかき集めて来た成果であろうか？ が, 今できたばっかりということもあるのだが, かなりダサい感じ. なんとか refine したいが, やる気レスであり, どっかに走りに行きたい気分. しかし雨が降っている. 明日も雨らしい. ええかげんにせえや.
プログラミングで憶えたてのワザをたくさん使うと ダサいコードができがちですが, それと全く同じことが証明でも言えますね. 笑. つうか, ダサい証明ってダサいコードと一緒で バグ (間違い) がありがちで, しかも, それが判りにくいんすよ.
しかもやってて全然楽しくない. あー. やだやだ.
てゆうか, 今ごろになって, ネタ仕込んでんじゃねえよ. そんなことより, 発表の準備だよ！キバヤシ！！
ちょっと調べたところ, 奥多摩方面に行けば, けっこう 蛍が居るらしい. シーズンは 6月 中旬から 7月あたまくらいかな.
水がきれいでも, 河川改修なんかしてしまうと いろいろと居なくなってしまうので, 蛍も消滅する. このへんが, 見所を捜す上で難しいところだ. それから, 相手は昆虫ですから, 特に人間がオイタしなくても勝手に増えたり減ったり移動したりするわけで.
蛍情報の掲示板などもあるので, もうすこし シーズンが迫って来て実際に出て来たら見に行くことにしよう.
わしの実家方面はけっこう田舎なので, 昔はずいぶんと居たものだ. まるでクリスマスツリーのように涌いてるところもあったのだが, あるとき帰省すると河川改修で殲滅されていた. 最近は川がずいぶん汚れて来たので, もう, 居ないんじゃないか？
房総方面なんかでは, 6月上旬から出るらしい. 東北では 7月中旬まで 見られる. なんてところは, シーズンが短いところもまるで桜前線ですね.
蛍というとゲンジホタルとヘイケホタルがメジャーですが, 他にもいろいろ居るらしい. そんなに明るくデカくなくても けっこう渋めのが居るのです. 川が無くても育つ連中もわりと居て, あるとき, まさかホタルなんか出るとは思ってないところでキャンプしてて, 小さいのがゆらゆらと, けっこうな数が飛んでるのに気づいたときは 驚いた. ヘッドランプを消さないと気づかないくらいの弱い光だった. 地面に寝転がって見てると, 自分の上を何匹もゆらゆらと飛んで行くときがあって, なんだか水の底に居るような感じなのだ.
抜粋.
いいねー. 即刻死刑ですよ.
汚点器かよ. ブラックだぞ. やるな, 「かんな」め.
てゆうか, やっと晴れたよ. 全然発表の準備はできてないが, 飽きちゃったので, 一発走ってくるかな.