D
Editor
群 / モノイド / 関手
Typed lambda calculus, Cartesian Closed Category
Dream, Sign, Topos
Διόνυσος και Λόγος και Ἀπόλλων
Software Testing
Test enables large scale / sustainable development of software
enable testing in new platform
Letter e.g. D
Drawing logo
Implementing Web Service
Unfinishedness
Pondering on language
はこにわ