いでさんのページ 復刊リクエスト投票 プログラム意味論 (情報数学講座) 【著者】横内 寛文 プログラミング意味論に興味がある。 プログラムを数学的にどう捉えるか、体系的に知りたい。(2011/08/28)
復刊リクエスト投票
プログラム意味論 (情報数学講座)
【著者】横内 寛文
プログラムを数学的にどう捉えるか、体系的に知りたい。(2011/08/28)