works
作品
blog
ブログ
about
自己紹介
Blog
2020年を振り返る
January 3, 2021
2019年を振り返る
December 28, 2019
TaPL Summary Part 2: Adding Operations on Natural Numbers
January 22, 2019
TaPL Summary Part 1: Untyped Arithmetic and Proofs about Languages
January 16, 2019
VJってやつをやりました
January 14, 2019
2018年を振り返る
December 31, 2018
Multiobjective Optimization Algorithms
December 13, 2017
September 2017
October 3, 2017
Using TravisCI for a Simple Deploy Tool
May 2, 2017