読者です 読者をやめる 読者になる 読者になる

日記 2017/03/26

やや体調が悪くて,わりとゆっくりしていた. その分自分の数学が捗った.

日記 2017/03/24

昨日は書きにくいことが色々あって疲れた. 酔った勢いで,某会のLTの申し込みなどをしたけど, 話すことはたくさんあるので別に良い. なるべく毎日この日記を書くようにしたいが,なかなか難しいなあ.

日記 2017/03/22

ギリギリ午前起床. 午前中は,院試の勉強のため,データ構造とアルゴリズムと,オートマトンと言語理論の問題をちょこっと作った. 午後はそれらの問題を解いてもらいながら,ダラダラしていた. 特に進捗はなし.

日記 2017/03/20

午前中は,某HaskellのSkype勉強会に参加していた.Functorとか,Applicative Functorとか. まだ圏論とHaskellのつながりがよくわかっていない. 午後は,ブログを開設したり,\(\LaTeX\)でレイアウトに苦戦したりした. そのあと,久しぶりに自分の数学を…