https://zen.ac.jp/zmc/topics/jwz-o8xr3v6f
星裕一郎「定理3.11から系3.12を導く論理について、LANAプロジェクトのメンバーの多くが、その中に何か超えられない壁があると感じている」

何か超えられない壁とは？　お気持ち表明で終わらせず、どのような壁かきちんと説明すべきでは？　進捗報告としてはちょっとお粗末では？