Proof of Commutativity (+) in Haskell

Theorem Proving
Programs as Proofs II

Programs as Proofs continued

Agda
Programming Languages
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
Music List

Music pieces I listened to recently...

Music
How to Make SPFA TLE

SPFA: Using a queue to optimize Bellman-Ford Algorithm. The time complexity is $O(k|E|)$, where k is a small constant related to how many times a node is pushed into the queue more than once.

Algorithm
Chtholly Tree

Chtholly Tree is an optimized brute force approach to maintain sequence of numbers.

Data Structure

An Interesting Proof

An Interesting problem given by my Math 125 TA.

Graph Theory
Dynamic Programming - Problem Collection