先週の反省をふまえて、 素直に矢作川を上る。 旧R155からR153、この辺が特に走りにくい。 R419と別れる交差点、ここからがいよいよ矢作川。 信号待ちで給水。 ここまで約21km。 川沿いのR153をしばらく行き、 それを離れると、 あれれ、R153に合流。 道が分…

「数学セミナー」を久しぶりに買ったら、 「ののぐらむ」が復活していた。 さっそくやってみる。 広いのに簡単すぎるのが難点。

岐阜まで自転車で行きたかったが、 雨のため電車で。

9人目 今まで8人同士のカプリングを考えてきたが、 今度は9人で考える。 このとき、64ビットで表せなくなるので、 配列を使う。 結果 メモリが足りなかった。 もう一工夫 女の方の並びのことをほとんど考えていなかったので、 ちょっとだけ工夫する。 行列の…

おさらい 2部グラフをあるルールに従ってランダムに作ったとき、 完全マッチングする確率を求める。 擬似乱数を使ってグラフを作ってもよいが、 正確に求めるために、全ての場合を考える。 ただし、場合の数は約135億あるから、 同型のグラフはなるべくまと…

愛好会用コースの下見のつもり。 トヨタ町南の交差点で信号待ちに給水。 ここまで約18km。 そのまま東へ。 地図を持っておらず、記憶だけを頼りに。 道を間違える。 矢作川沿いに、R301合流。 ここのコンビニで地図を確認。 ついでにピザまん購入。 肉まんに…

NHKで浜名湖に整備されている自転車道についてレポートしていたが、 あんまり舗装がよくないような気が。 1日500円で借りられるとか。

Dst 49.04 Mx 39.0 Tm 2.25.15 Av 20.2 行きはふつうに48号を使ったが、 帰りは美矢井橋から道なりに西に。 どこを走っているのか全然分からない。 最後はR419に合流。 Avは色々変な道を走ったため 途中まで19.4だったが、 最後のほう飛ばしてなんとか20を確…

簡単なところから。 STLは遅いので、クラスを作って使いやすく、速くする。 基本的には、2部グラフの2つの点集合の点をそれぞれ0,1,2,…として、辺でつながっていたら、その辺の両端を行番号と列番号とする要素を1とする行列で表現する。 2部グラフは、 bipar…

6:07 浜松 〜 刈谷 7:20

6:55 刈谷 〜 浜松 8:25 8:33 浜松 〜 熱海 11:06 11:14 熱海 〜 国府津 11:54 12:23 国府津 〜 二宮 13:13 徒歩 約4.8km 暑い 13:22 二宮 〜 平塚 13:31 13:37 平塚 〜 品川 14:24 アクティ 14:28 品川 〜 浜松町 14:34 京浜東北線 15:00 浜松町 〜 六本木 …

3.0km 15分53秒

これの続きhttp://d.hatena.ne.jp/inamori/20051008 マッチするかの判定法 1. まず、次数0の点があれば それは明らかにダメ 2. 次数1の点があれば それは男のほうだが、 その男はペアとなるべき女が決まるので、 その男と女はグラフから取り除く。 このとき…

CD-Rでもらった画像を全て幅500に変換。 WSH/JScriptで画像ソフトを操って変換するも、色々と不具合が。 コマンドラインツールがあれば楽だけど。 あとは手抜き。

8:02 刈谷 〜 大垣 8:54 40秒遅れ 9:06 大垣 〜 米原 9:40 9:56 米原 〜 大阪 11:14 11:15 大阪 〜 心斎橋 11:55 歩き 12:46 心斎橋 〜 北新地 13:24 歩き 13:30 北新地 〜 尼崎 13:41 東西線 13:45 尼崎 〜 六甲道 14:06 14:08 六甲道 〜 尼崎 17:21 歩き …

ディーゼルの記事が載っていたけど、 これを読むとあたかもディーゼル作っているのはヨーロッパのみのようだ。

0:13 刈谷 〜 東京 4:42 4分遅れ 4:45 東京 〜 大船 5:43 横須賀線 5:57 大船 〜 根岸 6:15 6:15 根岸 〜 みなとみらい 9:37 約10km 約105分 17:22 みなとみらい 〜 横浜 17:32 ジョギングがてら 約2km 17:43 横浜 〜 熱海 19:06 19:10 熱海 〜 静岡 20:20 2…

妹が私の名前で出したハガキが来ないからどうしたのかなと思っていたが、 市民会館から電話が来て、落選だと。 ハガキが戻ってきたらしい。 たぶん妹が住所を間違えて書いたのだろう。 定員600名で、 うわさでは6000枚くらい来たらしいから、 一人1枚か2枚だ…

Av 20.5 Dst 52.57 Mx 37.0 Tm 2.33.23 Maxは最後の直線だが、 前に車がトロトロ走っていてジャマされた。

2.5km 14:59 これくらいだとかなりリラックスして走れる。 いくらでも走れそう、どこかが痛くならないかぎり。

ジョギングしながら考えてた。 そうか、男の次数が同じなら女のほうでソートすればいいんだ。 （ビットを立てるのところ） っていうか、男の次数は関係なくて、女のほうだけでソートすればいいのか。 なんだ、プログラムがだいぶ簡単になる。 5人目 614656→3…

男女各8人で合コンしたとする。 そこで女がそれぞれ気に入った男を2人選んだとする。 その選び方が全くのランダムなとき、 8組のカップルができる確率を求める。 最初に考えた問題は、数学的には同じだが、上と違う例だった。 しかし、グラフ理論ではこうい…

雨天中止。

最後ぐらい歩いて帰りたかったが、 なかなかそうもいかず。 関ヶ原以来まともに歩いてない。

なかなか机が片付かない

手続きのため住民票取ったりと。

6:08 刈谷 〜 大垣 7:12 大垣 〜 揖斐 〜 （揖斐川マラソンコース） 〜 大垣 Dst 80.93 Mx 47.0 Tm 4.43.34 Av 17.1 まあ色々あったのだが、 「鮎は美味しかった」 とだけ記しておこう。 16:55 大垣 〜 刈谷 17:42 実際には3分遅れ