@yoshihiro503
名古屋合同懇親会2017忘年会
| @yoshihiro503 | |
| 株式会社ドワンゴ | コンテンツ基盤開発部 |
| 名古屋大学 | 客員准教授 |
| トップSE | 講師 |
個人の体験、感想です
O笠原さん、Kいごさん、O橋さんと楽しくOCamlやCoq
2015年 取引先から契約不履行される
リーダー「経営が悪くなる前に解散しようか」
私「いや、もうちょっと頑張りたい」
2016年 リーダー離職
引き継いで頑張るが、経営よくならず
2017年 休止
関数型言語や証明支援器関係の知人のいる会社4つにエントリー
| A社 | 異装でなければ |
| B社 | 自由 |
| C社 | 自由 |
| D社 | 自由 |
| A社 | 10:00 - 18:00 |
| B社 | 要相談 |
| C社 | 完全自由 |
| D社 | 完全自由 |
| A社 | Haskell, Java(古), PHP |
| B社 | ? |
| C社 | Scala |
| D社 | Scala, Erlang, OCaml |
| A社 | git, mercurial, CVS |
| B社 | GitHub Enterprise |
| C社 | GitHub Enterprise |
| D社 | GitHub Enterprise |
| A社 | 社外勉強会 会場提供 |
| B社 | 学会 |
| C社 | 社外勉強会 会場提供 |
| D社 | 毎週社内LT会, 社外勉強会, イベント会場提供 |
| A社 | 東京 |
| B社 | 東京 |
| C社 | 名古屋 |
| D社 | 東京 |
| 勤務 | 服 | 言語 | コード 管理 | 勉強会 | 名古屋 | |
|---|---|---|---|---|---|---|
| A | x | ◯ | △ | △ | △ | x |
| B | ? | ◯ | ? | ◯ | ◎ | x |
| C | ◎ | ◯ | ◯ | ◯ | △ | ◯ |
| D | ◎ | ◯ | ◯ | ◯ | ◎ | x |