Week 22 - 2020
The weekly report from 5/25 to 5/31. You can edit this page (on github) if you find any error.
- Started following the ocaml tutorial. This week I installed opam (via asdf) and dune. I started feeling the atmosphere of the language. One of the goals of learning this language is to write the interpreter of logical formulas which appear in Principia Mathematica by Alfred North Whitehead and Bartrand Russell, the book which is considered a huge milestone of mathematical logic and set theory.
I finally finished the tax document of 2019.
確定申告 Done! pic.twitter.com/t4clKnehIb— Yoshiya/肩/Deno澤🧗♂️ (@kt3k) May 29, 2020
We brought our dog, Nino, to the hospital in Yokohama. She's been suffered from lymphoma for a long time.
Minato Mirai 21
We went to Minato Mirai 21 on Sunday. It was a really beautiful day.
今日もみみちらするか〜(ストーカーなう pic.twitter.com/6cFDZikznd— あずき (@okomekirai) May 31, 2020
ウォーリーを探せ！ pic.twitter.com/LSEttkIXdf— あずき (@okomekirai) May 31, 2020
See any mistakes? Please fix!