月曜日． 労です． 新年なのでいろいろありました．忘れました． 昨日やるつもりだったお仕事を無事片づけたので，それはそれで良かったです．新しくdockerでGROWIというアプリを試したりもしました．意外と楽しいですが，馴染むかは分からないですね．主に…