Week 22 - 2020
The weeknote for 5/25 - 5/31.
Tech
OCaml
- 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.
Life
Tax Document
-
I finally finished the tax document of 2019.
確定申告 Done! pic.twitter.com/t4clKnehIb
— Yoshiya/肩/Deno澤🧗♂️ (@kt3k) May 29, 2020
Nino
-
We brought our dog, Nino, to the hospital in Yokohama. She's been suffered from lymphoma for a long time.
#kt3kdog わんこ pic.twitter.com/L9R9H0BKWQ
— Yoshiya/肩/Deno澤🧗♂️ (@kt3k) May 31, 2020
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#kt3kwalk みなとみらい21 pic.twitter.com/XVyVAq7Tsx
— Yoshiya/肩/Deno澤🧗♂️ (@kt3k) May 31, 2020