Botaniaは工業modか？：Minecraftの工業modの定義と要素の明文化について。