ボロボロ

研究 主テーマ

有限性とか、クロスすればOKとかいってましたが、いろいろ、形式化をちゃんとやって精査すると、全然成り立たないことが判明。

クロスしようが、だめになるケースがあります。だめにならないケースは、事例でしめすしかない（証明を展開できない）ていたらくです。

わからないことがわかったぐらいの進捗で、ドラフトを遅れるのか。。。

今日は父親の命日でした。。