HaskellたんとRubyたんとCoqたん、投下します
↓2013年工大祭にて。西8にてその場でボードにペンで描かせていただきました!(((o(*ﾟ▽ﾟ*)o)))
西8号館の8階の渡部研に、私が今描いたcoqたんとhaskellたんを額に入れて飾っていただきました！！！！ヽ(；▽；)ノううっ
感動ですヽ(；▽；)ノありがとうございます！！ pic.twitter.com/Ghqf35P2oW
— ちょまど (@chomado) 2013, 10月 12
→ LazyKについて
Copたんについて
ProofSummit2013(詳細)で発表させていただいた時のスライド
https://docs.google.com/presentation/d/1epexTUrAR9ibsdAzT_bkhA2NCJEZ1GX5gTBKJp1TUwk/pub?start=false&loop=false&delayms=3000
シールにもなりました!(((o(*ﾟ▽ﾟ*)o)))
Coqたんシールたくさんいただきました！(((o(*ﾟ▽ﾟ*)o))) 欲しい方いらっしゃいましたらどうぞ(((o(*ﾟ▽ﾟ*)o))) #ゆるkell pic.twitter.com/BHFh1Zdbvi
— ちょまど (@chomado) 2013, 6月 22
百合とか最高すぎます。Coqという言語知らなかったので調べてみました。証明する言語なのですね。自分でiPadを使ってゲームに使用する絵をかいてもあまりにも下手すぎるので羨ましいです。