Music List, 2020

From Concerts, Self-entertaining. HONOR 398 (Music)

Music
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