GKC
@gaxiiiiiiiiiiii
クリプト/Coq/Lean
가입 August 2014
1.6K 팔로잉 중 1K 팬
情報リテラシーの問題に帰結させてるけど、そういう問題じゃなくない？HWWの利用はベンダーへのトラストを仮定してた、ってのが浮き彫りになった訳で、HWWって在り方自体が危ぶまれてるんじゃない？
더 보기
인기 있는 사용자
