<< Formally Verifying Information Flow Type Systems for Concurrent and Thread Systems | ホーム | 本 >>

ドライブ

昨日のドライブまとめ。もとの予定ではもっと西のほうに行くつもりだったけど、宝塚あたりの渋滞が嫌で紀伊半島を反時計回りにぐるっと回ることに。阪和道の南端まで行って、海沿いの 42 号を走って、紀勢道で帰るルート。行きの下津辺りと帰りの亀山辺りの渋滞で 2,3 時間ロスした感じで、結局渋滞は避けられず。いつも通りちょくちょく道の駅に寄りながら移動。すさみの辺りでオート三輪とすれ違ってびっくりした。子供の頃に 1,2 回見たことがあるくらいで、今でも走ってるとは思わなかった。昨日の走行距離は 580km 程度。渋滞で左足がしんどかった。もとの予定だったところは休日 1000 円のうちに行くつもり。

タグ : ,



コメント追加 トラックバック送信