Lambdaを使うサンプルくらいはさらっと動かせるようになりたいところ。 https://explore.skillbuilder.aws/learn/course/898/play/26005/introduction-to-aws-lambda Task1 S3を確認したら，説明には記述されていないBucketがある(awslab-resources)。 31.の…

Steve Awodeyの"Category Theory"という本がある。PDFで公開されている。 https://www.andrew.cmu.edu/course/80-413-713/notes/ 製本された書籍もある。Amazonで検索したら，自分は2010年に購入していた。私が関数型言語に興味を持って，読んではみたが全く…

久しぶりに散歩をする。 I take a walk after a long time. このところ，平日は朝から研修待機なので外出できなかった。 慌ててメールに返事をしてしまった。 I panicked and replied to the email. 英語メール。何か返しておこう，とは思ったものの，忙殺さ…