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


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)))


コメントを残す

メールアドレスが公開されることはありません。