Saturday, 20 January 2018

温泉三昧


いや、一応学会なんですけどね。

裏山にあるお寺に階段経由で登ってみました。もちろん、Ingress なポータルあるし。

途中に「新松原タワーホテル」の廃墟が。20年前ぐらいにつぶれてそのままらしいです。

Friday, 19 January 2018

プロシン59

いつものに来てます。伊東は

  ロマンスカーを使う (新宿、小田原経由)

のが好きなんですが、学生がいきなり間に合わないというわざを。まぁ、待っていてもいいんだけど置いてきました。なんとか辿り着いたらしい。

踊り子号に自由席がないのはちょっと困ったけど。

Wednesday, 17 January 2018

BDレコーダー

SKP75を二台使ってるんですが、古い方がだいぶ怪しい。

  録画は番組名毎にフォルダに入るのだが、それが乱れる
  番組名で自動録画されるはずだが重複がちらほら
  BD-Rの書き込みにたまに失敗。BD-REは問題ない

新しい方にはそういう症状はないんだが、さらに、

  ちょっとHDDの音が変

んん〜 そろそろ補修部品怪しいから修理にだすべきだろうなあ。HDD/BDドライブを交換してもらえれば、もう少し使えるんじゃないかと。

おそらくは、スカパーもあと数年だろうと思う。

ただ、現在の囲い込み系の音楽動画サービスに移行するのはちょっとなぁ。今の録画エコシステムは自由度高いのが気に入っているので。

Tuesday, 16 January 2018

出張 1/17-1/22

1/17-1/22
自費研修 東京 
伊東 プログラミングシンポジューム

です。

Monday, 15 January 2018

風邪で一回休み

肉山と次の日の午前中くらいがピークだったかも。今朝は少し熱があって37.4でしたが、まぁ、自分的には高めの平熱ぐらい。でも、宴会ウィークが少しつらかったので、今日は一日寝てました。

だいぶ良くなったかな。

でも、熱がでないからインフルエンザではないってことはないらしく。実はそういうの多いんじゃないかな。インフルエンザの多い冬に卒論修論入試やるのやめて欲しいんですけどね。まぁ、沖縄だと9月だと台風という問題があるんだが。

Sunday, 14 January 2018

宴会ウィーク終了


センタ試験でも仕事していましたが。もつ鍋、肉山、親戚、で、〆はカッキーと鴨澤さん宅で、

  中華饅頭

でした。結構、それっぽくできるものだな。

Thursday, 11 January 2018

Agda のプログラミングの続き

結構順調に進んでいて、

  assert 見たいなところに等式を書いて refl で証明!

みたいにできるんですが...

  二分木に4個入れた所で沈黙

おい。直前に入れたものは取れるのだが、二つ前だとダメだな。

でも、refl でなければ普通に eval で値は返ってくるんですけどね。まあ、Agda にはAgdaの都合があるんでしょう。

昨日はもつ鍋でしたが、さすがにテンパってるM2は釣れないか。いや、来てくれた人も。