■

A葉山のAさんと電話．別件で電話したんだけど，（うっかり）GNLの扱い方についておもしろい話をした．ネットワーク構造をダイレクトにGNLで返す．ようなモデルを考える．ということについてはたと理解した．でもってそれをSに早速話すと，それはmultiplicationが（ほぼ）無限になるので（Πexpα(Vi)みたいな形式）ムリではないかと．しかし，それがVan Vlietの証明に近い話であって，diversionの形式を一個上流のαに集約させて順番の記述できればいいわけで，最初に列挙する必要はないはず．少なくともone-to-manyに関しては定式化可能だと思う．でだから，いやそれは，いやいやそれは，で延々3時間くらい話続ける．でまだ続けてる．