>>513
>これ本人だとすると全くleanわかってない
>公式文書読めよ

うん
１）まず、本人かどうかだが、下記の全33件で 最初が 2016.11.25で
　このときから 本人かどうかが問題になった
　が、それから10年、いまでは、まずご当人だろうとされている
（当人しか書けそうもないことも書いてあるから）
２）”全くleanわかってない”は、自身でも発言しているし 正しいだろう
　だから、leanチームとのインターフェイスは 星さんが担ってきた
３）ゆえに、leanチームの許諾を得て、現状のleanコードを公開してもらって
　それを 遠アーベル関係者（仏国も含め）で共有して
　leanに詳しい京大の人にも入って貰って、3.11→3.12を いろいろ突き回すことも検討しないとね

そう思うわけです
私も leanは 詳しくないが
ともかく オープンにすること、衆知を集めること、マンパワーを増やすこと
ここらが、基本ですね

(参考)
　>>479 より
新一の「心の一票」
https://plaza.rakuten.co.jp/shinichi0329/diaryall/
新着記事一覧(全33件)

https://plaza.rakuten.co.jp/shinichi0329/diary/201611250000/
はじめまして
ブログを開設しました。仕事で忙しくてそれほど頻繁に更新することはできないかもしれませんが、とりあえず、この通り、略式でブログ開設のご挨拶をさせていただきたいと思います。どうぞよろしくお願い致します。（因みに上の画像は富士山の写真です。もう少し補足しますと、2015年11月、親戚の結婚式に出席するために静岡を訪問した際に撮った写真です。）
2016.11.25