これは、2014/2/12時点での情報です。不定期に更新されます。
Twitterでmentionを飛ばせば、取って置くこともできます。
なごやこわいセット
内容は下の方に書いてあると思います。個別のものより小さめ。左下のジェネラルたんは初。とげとげは高解像度版になっています。
ラムダ・ザ・ギャザリング
Lambda: the Gatheringというカードゲームの絵柄の一つ。関数を組み合わせて対戦するというゲームです。
高階ことり(配布休止中)
汎用関数型キャラクター
@dico_lequeさんが書く(予定の)モナドのの薄い本のイメージキャラクターです。 ただし、それ以外の用途にも自由に利用できます。
名前の読み方は『たかしな ことり』です。
高階ことりの画像は、CC BY-SA 3.0の範囲で自由に利用できます。
- リンク
じぇねらるたん
ProofGeneralというEmacsの定理証明支援プラグインで、Coq や Isabelle/HOL や LEGO などにも対応している。
ProofGeneralにもキャラクターがいますが、ただGeneral(将軍)という名前通りの姿なので”かわいらしいイメージ”のキャラクターに書きなおしてもらったものです
- リンク
とげとげ(配布休止中)
SML#の公式マスコットキャラクター
SML# はStandard MLの定義と後方互換性を保ちながら，我々の基礎研究で得られた実用上重要な成果を取り入れて設計されています．
諸事情により今あるのは低解像度版です。今のものがはければ高解像度版作成される可能性があります。
- リンク
Coqたん(配布休止中)
定理証明支援系言語Coqの擬人化キャラクラー
ProofCafeのロゴとして書かれています。ProofCafeは名古屋でプログラムの証明についての勉強会です
作画は、@chomado さん
- リスト
Welcome | The Coq Proof Assistant
ProofCafe
@chomado
@Chomado
その他
どこでもらったかも忘れたなんだかよくわからない間にか
