khibinoさんのページ 復刊リクエスト投票 暗号と確率的アルゴリズム入門 【著者】林 芳樹 (翻訳) 興味あります。(2019/09/21) プログラム意味論 (情報数学講座) 【著者】横内 寛文 型付きラムダ計算について述べられている数少ない日本語書籍であると認識していますので是非復刊をお願いいたします。(2011/12/13) 圏論の基礎 【著者】S・マックレーン ようやく少しは圏論が理解できるようになり、買おうと思ったら絶版でした。(2011/07/27)
復刊リクエスト投票
暗号と確率的アルゴリズム入門
【著者】林 芳樹 (翻訳)
プログラム意味論 (情報数学講座)
【著者】横内 寛文
圏論の基礎
【著者】S・マックレーン