言語擬人化学園もの @chomado chomado: https://twitter.com/chomado HaskellたんとRubyちゃんの絵 Rubyちゃん単体絵 @myuon_myon myuon_myon: https://twitter.com/myuon_myon Haskellちゃん @pasberth pasberth: https://twitter.com/pasberth Coq-proof-assisたん @mathink mathink: https://twitter.com/mathink Coqたん