One fun problem I solved in TJCTF 2020

SMT

Reverse Engineering

From Models to Computation Graphs (Part I)

Note on Converting a PyTorch model to a computation graph. The second part will be about compiling the model back to a python source file.

PyTorch

Machine Learning

Proof of Commutativity (+) in Haskell

Using GADTs and dummy dependent-type in Haskell

Haskell

Theorem Proving

Programs as Proofs I

Notes taken while reading / studying PLFA & PL generally.

Agda

Programming Languages

Final Report of Culture III and History I

My final paper of Culture III and History I took @ Waseda Summer Session 2019. Culture III is Japanese Popular Culture and Globalization and History I is Heisei History (see https://ad1024.space/about).

Japanese Studies