オープンモデリング記法（OML）（構想中３）
ルールの拡張があるなら、ルールの圧縮もあっていいはずですので、この概念を説明します。
その前に支払方法：掛売と言うルールを説明します。中身はほとんど振込振替と似ていますが、取引先が消費者ではなく企業相手です。いわゆるB2Bです。
＜支払方法：掛売＞：
＜＜企業：１＞＞｜−−−−＞＜通販会社：１＞
＜通販会社：１＞｜＝＝＝＝＞＜＜企業：２＞＞
＜通販会社：３＞｜−−−−＞＜＜企業：３＞＞
＜＜企業：３＞＞｜・・・・＞＜通販会社：３＞
＜＜企業：３＞＞｜・・・・｜＜通販会社：４＞
＜通販会社：４＞｜−−−−＞＜＜企業：５＞＞；
振込振替との違いは、振込振替では商品を顧客に届ける都度代金が支払われるのに対して、掛売では、商品を企業に届けるタイミングとその代金を支払ってもらうタイミングが一致しておらず、企業毎に定めた締め日でもって一括で請求を掛け所定の入金日にまとめて支払ってもらいます。
上のルールの記述で言えば、商品を出荷するのが＜通販会社：１＞であり、企業に請求を掛けるのは＜通販会社：３＞と異なる識別子を持つことから、請求書の発行のタイミングが違うことが分かります。更に、代金を支払うのが、商品を受け取った＜＜企業：２＞＞ではなく、請求書を受け取った＜＜企業：３＞＞であることも分かります。
ルールの圧縮
さてルールの圧縮ですが、他社与信と自社与信と呼ぶ支払方法のルールを例にして説明します。
＜支払方法：自社与信＞：
＜＜顧客：１＞＞ ｜−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜顧客：２＞＞
＜＜顧客：３＞＞ ｜・・・・＞＜通販会社：３＞
＜＜顧客：３＞＞ ｜・・・・｜＜通販会社：４＞
＜通販会社：４＞ ｜−−−−＞＜＜顧客：５＞＞；
＜支払方法：他社与信＞：
＜＜顧客：１＞＞ ｜−−−−＞＜通販会社：１＞
＜＜与信会社：２＞＞／−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜顧客：３＞＞
＜通販会社：１＞ ｜−−−−＞＜＜与信会社：４＞＞
＜＜顧客：５＞＞ ／・・・・＞＜＜与信会社：４＞＞
＜＜顧客：５＞＞ ／・・・・｜＜＜与信会社：４＞＞
＜＜与信会社：４＞＞｜｜・・・・＞＜通販会社：６＞；
このうち他社与信の記述はカードの支払方法と同じです。他にもローン（ショッピングローン）やリース契約がこれに当たります。
これに対して前者の自社与信は、支払方法の振込振替、掛売、自動振替が対応していますが、これらをならべて比較するとそれぞれ微妙に形が違っています。そこでルールの圧縮と言う操作で、すべて自社与信と同じ形に変形していきます。
■振込振替→自社与信への圧縮
＜支払方法：振込振替＞：
＜＜消費者：１＞＞｜−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜消費者：２＞＞
＜＜消費者：２＞＞｜・・・・＞＜通販会社：３＞
＜＜消費者：２＞＞｜・・・・｜＜通販会社：４＞
＜通販会社：４＞ ｜−−−−＞＜＜消費者：５＞＞；
↓
＜支払方法：自社与信＞：
＜＜顧客：１＞＞ ｜−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜顧客：２＞＞
＜＜顧客：３＞＞ ｜・・・・＞＜通販会社：３＞
＜＜顧客：３＞＞ ｜・・・・｜＜通販会社：４＞
＜通販会社：４＞ ｜−−−−＞＜＜顧客：５＞＞；
振込振替の消費者を顧客にし、消費者の識別子を無視すると、両者の、オブジェクト間のお金、情報、商品の流れの順序関係がすべて一致します。ここで、この消費者を顧客に変えると言うことと識別子を無視すると言う操作をルールの圧縮と呼びます。更に、ルールを圧縮することで同じ形になるルール同士のことをルールが同型であると呼ぶことにします。
■掛売→自社与信への圧縮
＜支払方法：掛売＞：
＜＜企業：１＞＞｜−−−−＞＜通販会社：１＞
＜通販会社：１＞｜＝＝＝＝＞＜＜企業：２＞＞
＜通販会社：３＞｜−−−−＞＜＜企業：３＞＞
＜＜企業：３＞＞｜・・・・＞＜通販会社：３＞
＜＜企業：３＞＞｜・・・・｜＜通販会社：４＞
＜通販会社：４＞｜−−−−＞＜＜企業：５＞＞；
↓
＜支払方法：自社与信＞：
＜＜顧客：１＞＞ ｜−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜顧客：２＞＞
＜＜顧客：３＞＞ ｜・・・・＞＜通販会社：３＞
＜＜顧客：３＞＞ ｜・・・・｜＜通販会社：４＞
＜通販会社：４＞ ｜−−−−＞＜＜顧客：５＞＞；
企業を顧客に書き替えるのは先ほどと一緒です。更に、今回は3行目の情報の流れの行を、思い切って削除します。なぜ削除できるのかは後で議論しますので気にしないで下さい。（と言っても気になる人には気になりますね（笑））
この行の削除もルールの圧縮操作です。そうするとやっぱり自社与信と同型になります。
■自動振替→自社与信への圧縮
＜支払方法：自動振替＞：
＜＜消費者：１＞＞ ｜−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜消費者：２＞＞
＜通販会社：１＞ ｜−−−−＞＜＜収納会社：３＞＞
＜＜消費者：４＞＞ ／・・・・＞＜＜収納会社：３＞＞
＜＜消費者：４＞＞ ／・・・・｜＜＜収納会社：５＞＞
＜＜収納会社：３＞＞｜・・・・＞＜通販会社：６＞
＜＜収納会社：５＞＞｜−−−−＞＜通販会社：７＞
＜通販会社：７＞ ｜−−−−＞＜＜消費者：８＞＞；
↓
＜支払方法：自社与信＞：
＜＜顧客：１＞＞ ｜−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜顧客：２＞＞
＜＜顧客：３＞＞ ｜・・・・＞＜通販会社：３＞
＜＜顧客：３＞＞ ｜・・・・｜＜通販会社：４＞
＜通販会社：４＞ ｜−−−−＞＜＜顧客：５＞＞；
今度は自動振替です。これは見ただけでかなり形が違っていますが、バッサリ圧縮作業をやります。
消費者を顧客に書き替えるのはいつもと同じです。3行目のルールも削除します。更に、今回はルールの中から収納会社を取り外します。4行目の『＜＜収納会社：３＞＞』と6行目の『＜＜収納会社：３＞＞｜・・・・＞』を削除して前後をつなげると、『＜＜消費者：４＞＞／・・・・＞＜通販会社：６＞』と、自社与信の3行目のルールと同じルールができあがります（／と｜の違いは無視します）。5行目と7行目も同様の操作をすると、自社与信の4行目のルールができあがるのは同じです。
んな削除削除やりゃあ、どんなルールでも同型にできちゃうじゃん？
と言うツッコミが当然聞こえてきますが今は無視します。
代引きの圧縮
それでは代引きルールの圧縮操作をやってみましょう。
代引きのルールは次のようになります。
＜支払方法：代引き＞：
＜＜消費者：１＞＞ ｜−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜運送会社：２＞＞
＜＜運送会社：２＞＞｜＝＝＝＝＞＜＜消費者：３＞＞
＜＜消費者：３＞＞ ／・・・・＞＜＜運送会社：４＞＞
＜＜運送会社：４＞＞｜・・・・＞＜通販会社：５＞；
このルールから運送会社を削除すると次のようになります。
＜支払方法：代引き＞：
＜＜消費者：１＞＞ ｜−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜消費者：３＞＞
＜＜消費者：３＞＞ ／・・・・＞＜通販会社：５＞；
う〜ん、なんだか怪しいルールになってしまいました。そうです、元のルールに、消費者からお金の流れがない場合のルールの記述が漏れていました。
と言うことで、正しい記述に書き直すとこうなります。
＜支払方法：代引き＞：
＜＜消費者：１＞＞ ｜−−−−＞＜通販会社：１＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜運送会社：２＞＞
＜＜消費者：３＞＞ ／・・・・＞＜＜運送会社：３＞＞
＜＜消費者：３＞＞ ／・・・・｜＜＜運送会社：４＞＞
＜＜運送会社：３＞＞｜＝＝＝＝＞＜＜消費者：５＞＞
＜＜運送会社：３＞＞｜・・・・＞＜通販会社：６＞
＜＜運送会社：４＞＞｜＝＝＝＝＞＜通販会社：７＞；
このルールからあらためて運送会社を削除するとこうなります。
＜支払方法：代引き圧縮後＞：
＜＜消費者：３＞＞／・・・・＞＜通販会社：１＞
＜＜消費者：３＞＞／・・・・｜＜通販会社：７＞
＜通販会社：１＞ ｜＝＝＝＝＞＜＜消費者：５＞＞；
これをよく見ると消費者からのお金の流れの不在条件以外は支払方法：現金と同じです。お金の流れがなければ何もしないと言うことは、この行も削除できると言うことです。つまり結果は現金ルールと同型になります。
ルールの圧縮の整理
これまでの話しから以下のことが言えます。
支払方法と言うルールを圧縮すると、＜支払方法：現金＞、＜支払方法：他社与信＞、＜支払方法：自社与信＞の3種類の同型のルールに集約されると言うことです。
さて次回から＜商品区分＞と呼ぶルールについて議論することにします。 KAI
YjJkdq nqztsarxjvyg, [url=http://lvwmwrhcekho.com/]lvwmwrhcekho[/url], [link=http://tlxcwblhmkmu.com/]tlxcwblhmkmu[/link], http://sgkaleqorlzx.com/
Posted by: isyuwf : August 7, 2011 09:48 AMBdu1MN loiqiotiwvtm, [url=http://qzthhjcyqsqd.com/]qzthhjcyqsqd[/url], [link=http://ixllubdntykw.com/]ixllubdntykw[/link], http://gsmjtgwgmumw.com/
Posted by: rrgpaozyu : June 27, 2012 06:50 PMtq7rOq rjmueihczjmf, [url=http://nzbfolyakagd.com/]nzbfolyakagd[/url], [link=http://obquueazwiao.com/]obquueazwiao[/link], http://wkynllqevyyu.com/
Posted by: ddelgpss : August 24, 2012 08:42 PMfbvSYG zpyulkyyuyjf, [url=http://zefodfidjitv.com/]zefodfidjitv[/url], [link=http://sycvzyytghpn.com/]sycvzyytghpn[/link], http://eexjiyudixiw.com/
Posted by: bewjbd : September 4, 2012 03:13 PMXWmUew gahmqmwdvdqs, [url=http://ombzojxxneiq.com/]ombzojxxneiq[/url], [link=http://gblcvqnajefn.com/]gblcvqnajefn[/link], http://oisakqvxfazj.com/
Posted by: gpqgcmvwmai : September 11, 2012 02:21 AMhttp://madridrxxx.com/order-apcalis-sx-online-es.html|apcalis sx
Posted by: apcalis : September 16, 2012 10:53 PMhttp://madridrxxx.com/order-apcalis-sx-online-es.html|apcalis sx comprar
Posted by: apcalis : September 16, 2012 11:16 PMhttp://madridrxxx.com/order-erectalis-online-es.html|erectalis
Posted by: erectalis : September 17, 2012 02:09 PMhttp://madridrxxx.com/order-eriacta-online-es.html|eriacta
Posted by: eriacta : September 17, 2012 04:45 PMhttp://madridrxxx.com/order-eriacta-online-es.html|eriacta
Posted by: eriacta : September 17, 2012 05:07 PMhttp://madridrxxx.com/order-intagra-online-es.html|intagra tablets
Posted by: intagra : September 17, 2012 07:44 PMhttp://madridrxxx.com/order-revatio-online-es.html|revatio efectos secundarios
Posted by: revatio : September 18, 2012 07:51 AMhttp://madridrxxx.com/order-revatio-online-es.html|revatio efectos secundarios
Posted by: revatio : September 18, 2012 08:13 AMhttp://madridrxxx.com/order-tadacip-online-es.html|tadacip españa
Posted by: tadacip : September 18, 2012 01:59 PMhttp://madridrxxx.com/order-vigora-online-es.html|vigora
Posted by: vigora : September 19, 2012 04:41 AMhttp://itrx.biz/ordine-apcalis-sx-on-line.html|apcalis sx jelly
Posted by: apcalis : September 28, 2012 10:18 PMhttp://itrx.biz/ordine-apcalis-sx-oral-jelly-on-line.html|apcalis sx oral jelly
Posted by: apcalis : September 29, 2012 05:48 AMhttp://doxycyclineblog.net/#levaquin and buy doxycycline buy doxycycline hyclate yeast infection order doxycycline online doxycycline hyclate for sinus infection
buy doxycycline 100mg rocky mountain spotted fever
http://doxycyclineblog.net/#ic doxycycline hyclate side effects mycoplasma and buy doxycycline order doxycycline online uses for doxycycline hyclate
doxycycline order online
http://nolvadexph.pro/#europe buy nolvadex online metformin & pcos clomid online order nolvadex vs novedex nolvadex online
buy nolvadex italy
http://nolvadexph.pro/#men buy nolvadex get clomid online without prescription nolvadexph.pro no prescription nolvadex
pbs generic nolvadex
http://doxycyclinels.pro/#doxycycline hyclate 100mg tablets ic doxycycline buy doxycycline doxycycline monohydrate side effects
buy doxycycline without prescription
http://funbrain.pro/#Fun Brain FunBrain brain games for kids fun math games
kids learning games
http://sildenafilmed.pro/#buy sildenafil sildenafilmed.pro sildenafil tablets sildenafil tablets
Sildenafil Med
http://superpogo.pro/#pogo club pogo games pogo pogo scrabble game
play pogo games
http://clomidonline.pro/#or serophene buy clomid cycle length buy clomid buy clomid online mogollon rim rogaine generic clomid
order clomiphene
Z8bgNb wsojvkqeyrmk, [url=http://plbuadxxaqnv.com/]plbuadxxaqnv[/url], [link=http://ncxrlupiophv.com/]ncxrlupiophv[/link], http://tegggsasacfe.com/
Posted by: wahbqbjy : October 19, 2012 01:13 AMs2vpHW jkocmewfwpzk, [url=http://ayjsxnqzyaba.com/]ayjsxnqzyaba[/url], [link=http://nmfcjmbddphm.com/]nmfcjmbddphm[/link], http://dmlbjcnrmqlz.com/
Posted by: cklfrbjr : October 22, 2012 09:46 PMcR6Xap dcfzlfrujbdw, [url=http://spregypcfctx.com/]spregypcfctx[/url], [link=http://uqeoenlcbihk.com/]uqeoenlcbihk[/link], http://yobamqtmcvfx.com/
Posted by: xwzkvrwgw : October 23, 2012 03:46 AM7ZRnv6 mxynaxbyjpnx, [url=http://pwirpmmsipwd.com/]pwirpmmsipwd[/url], [link=http://ynmzszyitjag.com/]ynmzszyitjag[/link], http://xbhttsvxwrnh.com/
Posted by: rygazjthaqi : October 29, 2012 02:20 PMNBkt2v akbivgdorklj, [url=http://pdytpaqlsyhl.com/]pdytpaqlsyhl[/url], [link=http://bkmxxpdlhvhj.com/]bkmxxpdlhvhj[/link], http://nfmazblslphp.com/
Posted by: itqetam : November 3, 2012 12:55 AMYluKYJ rhouevrzrxoc, [url=http://jpmuadcvumni.com/]jpmuadcvumni[/url], [link=http://nvtqwxnbdmle.com/]nvtqwxnbdmle[/link], http://wabkzqnjitwr.com/
Posted by: rlgrfa : December 2, 2012 05:39 AM