20/04/05 07:46:29 cTzpxuVq.net
>>177
ありがとう
・で、SS側は そのラベルの議論を単純化すると こんな矛盾が導かれるぞ!
・で、M&H側は 単純化しずぎ!! ラベル付けは途中で忘れるから、その事例はあてはまらね~!!
で、結局平行線で五日間の時間切れで終わったんだったかな(2018年3月)
(参考)
URLリンク(www.kurims.kyoto-u.ac.jp)
URLリンク(www.kurims.kyoto-u.ac.jp)
2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた (および関連文書)
報告書 URLリンク(www.kurims.kyoto-u.ac.jp)