実現を切に希望 随時追加予定 続きを読む
圏論のバイブル『圏論の基礎』があらゆる書店から消え、Amazonも「現在お取り扱いできません」状態。版元にも在庫がない模様。 @SpringerJapan さん、どうか増刷お願いします m(_ _)m 続きを読む
2011年7月5日、東京・名古屋・大阪の3元中継でまことしやかに行われていたらしい ICSE2011（International Conference on Software Engineering） one-day輪講会。 参加したかった… 続きを読む
個人用メモ 続きを読む
Coq覚えようかにゃー と一言つぶやいてみた途端に始まったCoq談義。 ・入門者向けのチュートリアルの話 ・ツールは何を使うのがいいのかという話 ・Coq vs Agda さらに両者の歴史 いろいろ.. 続きを読む
