本郷部室にて

今日も今日とて数学をしている。ハイパーグラフだけで考えていても埒が明かないので、性質のよく分かっている（と思われる）二部グラフに変換して考えることにした。ハイパーグラフの辺集合Ｍが完全マッチングになっている必要十分条件と思われる条件を発見。しかしこいつが線形にならないんだな、これが...
今日も本郷にお泊り。ちゃんちゃん。