別に Windows 厨というほど使い倒してるワケではないんですが、Windows でも GVM (Groovy enVironment Manager →) を使いたいなぁと思って試してみました。 GVM は Groovy 関連のツールを簡単にダウンロード & インストールできるツールです。 Groovy をはじ…

日記今更ながら、数学の写像関連で使う矢印記号 \( \rightarrow ,\,\mapsto \) の違いを確認。 まぁ、集合 \( \rightarrow \) 集合、要素 \( \mapsto \) 要素って違いで、包含関係の \( \in ,\, \subset \) のように集合自体か要素かの違いだろうとは思って…