Seeker's eye
Thursday, 4 January 2018
今日から学校
いや、授業は明日かららしいんですが。OSの採点もしないとな。
研究室に行ったら学生がぞろぞろ出ていく。これからお参りだそうです。
で、居残った学生のテーマではないんだけど「たまには違うことやる?」で、Agda をいじってました。
で、帰ってきたそのテーマの学生と続き。いろんなテーマを見てみるのが面白いよね。
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment