いでさんのページ

プログラミング意味論に興味がある。 プログラムを数学的にどう捉えるか、体系的に知りたい。