⇒ ダイヤモンド
出典 平凡社「最新 地学事典」最新 地学事典について 情報
…16世紀の中ごろに転訛して現在の語となった。和名は金剛石。天然産のものは世界で年間12tほど生産され,そのうちの20%は宝石用,残りの80%と人工ダイヤモンドのすべては工業用である。…
※「金剛石」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
家屋,工場,劇場,鉱山などで,内部空気を生活ないし労働に必要な状態に保つため,外気などの清浄な空気で入替えて調節すること。内部空気は,二酸化炭素で代表される呼吸排気,一酸化炭素やメタンガスで代表される...