じぇねらるたんシールの注文方法

概要

ADPRINTというサービスを使って誰でもじぇねらるたんの形のシールを作ってもらうことができる。値段は1枚あたり約12円¹。

ProofGeneral とは

じぇねらるたんは ProofGeneralというツールの公式キャラクターであるが、このツールはCoqなどの対話的証明支援器で証明を対話的に開発するための Emacs プラグインである。

手順

ADPRINTではじぇねらるたんのデータを入校する前に、シールの大きさやタイプを指定して注文を先にする必要がある。

注文方法

1. まずADPRINTの注文画面へアクセス: http://www.adprint.jp/OrderMall/Order/TotalOrder.aspx
2. 画像を参考に項目を入力
   • 左上から順に「シール・ステッカー」「一般接着(ラミネートなし)」「横 50mm x 縦 60mm」
   • 裁断は「特殊系」
   • 数量は欲しい枚数を (500枚以上がおすすめ)
3. 「カートに入れる」 -> 注文手続きへ

データ入校

シールのためのデータは @mzp さんが作ってくれた chibi-generaltan-sticker.ai を使う。(mzpさんに感謝すべし)

• https://github.com/yoshihiro503/generaltan/tree/master/sticker

1. 上記からaiデータをダウンロード
2. ADPRINTのマイページから該当する注文を選択
3. 「データ入稿はこちらから」から「データ入稿」ボタンを押して上記のaiファイルを指定する

環境

以下の環境で実際に注文した

• Mac OS X Sierra (10.12.6)
• Google Chrome 59.0.3071.115

参考リンク

• 萌えキャラを作ってみたよ: Making of じぇねらるたん - みずぴー日記
• コミュニティとしてのcodefirst その1: オリジナルステッカーの作り方 - codefirst::blog

注釈

1. 500枚注文した場合1枚11.98円(送料は除く) ↩