旅行

西戸崎まで歩く2018秋

米の山峠も復活したらしいので,西戸崎まで歩く.2017 年 11 月 5 日,2018 年 4 月 8 日に続き,3 回目の西戸崎行き. varnothing.hatenablog.com varnothing.hatenablog.com 今回は昨年より早めの 6:30 出発.もはや Google の案内が必要ないほど慣れてき…

某学会2018 3日目

昨日はしっかり寝たので割と意識があった.以下感想. 微妙な朝飯より朝風呂だ,というわけで朝飯食ってない.おなかすいた. ブロックチェーンが何者なのか初めて知った.やっとなんとなくわかった.が,あれがどうやって仮想通貨と結びつくのかよく理解し…

某学会2018 1日目

昨日は思いがけず到着が遅くなって,見られなくなってしまったので,朝早くから起きてホテルの周りを歩き回る. 90 m ぐらいの山を登って?,米子城跡.朝の運動としてちょうどよい. んで,そんなこんなで朝飯.スーパーホテルの朝食バイキングうまいよね. …

移動

某イベントのために前日から移動.ぎりぎり前泊基準に乗っかるらしい. ということで,ちょっと気合い入れて早めに始発で出ようとしたけんども,1番ホームに行くべきところを,癖で2番ホームに行ってしまって,気付いた時にはすでに遅し.あー…. んで,山陰…

初日の出とモナド

初日の出を拝むために,Kさんの車で阿蘇山につれていってもらう.ここを 03:00 ごろ出発して,5:30 ごろつく.まだまだ暗い. 寒すぎるので一旦車に戻り,N さんと「モナドは単なる自己函手の圏におけるモノイド対象だよ。何か問題でも?」という話をした.…