kotsubu-chan https://blog.hatena.ne.jp/kotsubu-chan/ 続・ひよ子のきもち https://kotsubu-chan.hatenadiary.org/ VDM++ での演算 dom/rng に準拠するように（モジュール VDM_Map で）関数 dom/rng を実現します。def dom(m): """ dom m ; map A to B -> set of A ; ; Domain ; yields the domain (the set of keys) of m. """ return VDM_Set(m.dict.keys())関数 dom は、写像 m のキー集合を生成して、これをリターン値とします。 《関連記事》Python の組み込み型 dict には、次のメソッドが規定されています。 a.keys() 変数 a が dic… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkotsubu-chan.hatenadiary.org%2Fentry%2F20061023%2F1220665424" title="演算 dom/rng を実現する - 続・ひよ子のきもち" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-10-23 10:43:44 rich https://kotsubu-chan.hatenadiary.org/entry/20061023/1220665424 1.0 100%