概要
ADPRINTというサービスを使って誰でもじぇねらるたんの形のシールを作ってもらうことができる。値段は1枚あたり約12円1。
ProofGeneral とは
じぇねらるたんは ProofGeneralというツールの公式キャラクターであるが、このツールはCoqなどの対話的証明支援器で証明を対話的に開発するための Emacs プラグインである。
手順
ADPRINTではじぇねらるたんのデータを入校する前に、シールの大きさやタイプを指定して注文を先にする必要がある。
注文方法
- まずADPRINTの注文画面へアクセス: http://www.adprint.jp/OrderMall/Order/TotalOrder.aspx
- 画像を参考に項目を入力
- 左上から順に「シール・ステッカー」「一般接着(ラミネートなし)」「横 50mm x 縦 60mm」
- 裁断は「特殊系」
- 数量は欲しい枚数を (500枚以上がおすすめ)
- 「カートに入れる」 -> 注文手続きへ
データ入校
シールのためのデータは @mzp さんが作ってくれた chibi-generaltan-sticker.ai を使う。(mzpさんに感謝すべし)
- 上記からaiデータをダウンロード
- ADPRINTのマイページから該当する注文を選択
- 「データ入稿はこちらから」から「データ入稿」ボタンを押して上記のaiファイルを指定する
環境
以下の環境で実際に注文した
- Mac OS X Sierra (10.12.6)
- Google Chrome 59.0.3071.115
参考リンク
注釈
-
500枚注文した場合1枚11.98円(送料は除く) ↩