this repository mainly consists of two things, my lisp codes written in order to learn Lisp and notes in reading SICP.
I am a beginner of Logic and CS. Someday, I shall research Logic and Computation, which seem to be the different appearances of the single thing to me.
What I want to do in reading SICP is to construct Mathematics in some sense, or to follow the history of formalization of Math by myself.
I put Scheme codes written for a coding practice in this directory. There might be a simple and tiny codes.
I call simply SICP the book "Structure and Interpretation of Computer Programs" by Abelson, Sussman, and Sussman.
This book is freely available here: https://github.com/sarabander/sicp
In the directly whose name is "sicp" contains my solutions to the exercises in SICP.