和木 慎一郎
- いいね数 9,816/8,668
- フォロー 811 フォロワー 159 ツイート 6,570
- 現在地 山口県岩国市由宇町 / 広島県廿日市沖塩屋
- Web http://b.hatena.ne.jp/sin16waki
- 自己紹介 私ツイート/コメントは一部閲覧注意なブックマーク/リンク集。 http://booklog.jp/users/shinwaki http://bookmeter.com/users/459004 http://bit.ly/2FMgAyS https://amzn.to/3w3ZEPB
Favolog ホーム
» @WakiShinichiro
» 2014年04月16日
並び順 : 新→古 | 古→新
2014年04月16日(水)
定理証明支援系を用いた数学の現状やら課題やらについて。 / “Formally Verified Mathematics | April 2014 | Communications of the ACM” htn.to/DUcHpbo
タグ：
posted at 21:49:52
社会から無能者、脱落者と烙印された際に、自己責任でダメ人間の粗大ゴミ扱いされるのは、女性も変わりませんね。むしろ、「女性は誰もが“容易く”結婚して家庭に入ることができる」という考えが根強く残っていることが、若い女性の貧困問題を見えにくくしているという側面もあるんですけどね。
タグ：
posted at 18:55:14
どの世代にも一定数のバカは必ずいて、そのバカなカタマリの人たちは、その時代の流行に乗っかって似たようなことをやらかすわけですが、だからって、その一番目立つバカな烏合の衆が、その世代の代表というわけではありません。
タグ：
posted at 18:48:30
関数型プログラミング、「難しくないです！」系主張はもうどこにでもある気がするし、「こういうことが楽にできます！」という類の主張をもっと積極的にやっていく必要性を感じている。
タグ：
posted at 17:45:58
非公開
タグ：
posted at xx:xx:xx
スポンサーリンク
