和木 慎一郎
- いいね数 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
» 2015年10月16日
並び順 : 新→古 | 古→新
2015年10月16日(金)
数学セミナー11月号「コンピュータにできる数学・できない数学」www.nippyo.co.jp/magazine/maga_...
「コンピュータに証明できること・できないこと 照井一成」
「カリー-ハワード同型対応 竹内 泉」
「Coq:型理論から来た証明支援系 Jacques Garrigue」他
タグ:
posted at 01:45:21
「SE職に労働組合はそぐわない」
「ブラックとかいうのはライバル業界が吹聴してるだけ」
「育ててやるから金をくれ」
「育てられた奴は恩返しでタダ働きね」
新卒で入った会社ん時に、「中途で入ってきたやつは(よそを知ってるから)扱いづらい」って経営層が言ってたの思いだした。
タグ:
posted at 12:18:18
スポンサーリンク