>>111
>形式化でGAPが見つかることはあっても埋まることは無いだろう
いや
その過程でLANA参加者がアイデア出して埋めちゃうかもってこと