こんにちは世界 ほげ（h1） ふー（h2） ばー（h3） 犬はいません。 馬はいません。 猫はいます。 またh3 終わり。

私は存在しない。これを説明する。

自由群の剰余群で群を表示するというアプローチがある。 典型的な群論の導入では、元の集合があって、そこに演算を定義していくため、「元の集合」と「逆元の集合」とが分離しているイメージはない。一方で自由群の場合、まず自由モノイドを用意して、そこに…

Hello, World!