mzp @mzp

プログラムの正しさの検証・証明に興味があります。サンダルが好きです。開発者向けチャットツール http://bit.ly/asakusasat つくってます。

http://d.hatena.ne.jp/mzp/

フォローする

プログラミング 思い出

  • lispの瘴気
    18975pv 178 41 users 20
1

いま話題のタグ

ペンネーム30 海外2806 鎌倉殿の13人427 BeReal3 平安時代180 腐女子726 車椅子541 鈴木亮平42 ミント54 麒麟がくる117 注意喚起744 サイゼリヤ320 コミュニティノート117 りりちゃん9 インターネット老人会392