プログラミング言語擬人化


HaskellたんとRubyたんとCoqたん、投下します

左がHaskellたん、右がRubyたんです

左がHaskellたん、右がRubyたんです

↓2013年工大祭にて。西8にてその場でボードにペンで描かせていただきました!(((o(*゚▽゚*)o)))

左がCoqたん、右がRubyたんです。百合です

左がCoqたん、右がRubyたんです。百合です

Rubyたんです

Rubyたんです

LazyKをイメージです! でも、LazyKっていったら全裸ってイメージがあるみたいで…いつか書き直したいです

LazyKをイメージです! でも、LazyKっていったら全裸ってイメージがあるみたいで…いつか書き直したいです


LazyKについて

Copたんについて

ProofSummit2013(詳細)で発表させていただいた時のスライド
howToDrawCoqtan
https://docs.google.com/presentation/d/1epexTUrAR9ibsdAzT_bkhA2NCJEZ1GX5gTBKJp1TUwk/pub?start=false&loop=false&delayms=3000

シールにもなりました!(((o(*゚▽゚*)o)))