仕様メモ
・DBへの登録とwebページへの記述を通して word, Prop, Thm を蓄積する