旅行

某学会2018 3日目

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

某学会2018 1日目

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

移動

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

初日の出とモナド

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