Week 22 - 2020
The weeknote for 5/25 - 5/31.
- 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.
#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
Edit this page