350万人が利用する会社訪問アプリ
呉 培宏
2017年6月より、C2Cのシェアリングサービス事業を立ち上げしています。 コンサル出身で、スタートアップの経営メンバーとしても2社経験しており、戦略と実行の両面ができることが強み。中国関連の事業や、新規事業立ち上げ、グロース戦略と実行ができます。 ・日本最大の人間ドック予約プラットフォームMRSOにて海外インバウンドと、MRSO.JPウェブプラットフォームの責任者。海外インバウンドは、海外からの健診売上で業界一位まで成長。 ・中国・上海の游仁堂(http://yo-ren.com/en/)でCOOとして、中国での小売り向けモバイルCRM事業(日系大手コンビニ、スーパー、現地企業100万名にサービス提供、購買データの活用)の立ち上げ、日系ブランドの中国でのデジタルマーケティング事業の拡大 ・IBCS時代は、経営コンサル、業務コンサルに加え、人工知能を用いた事業開発に従事
山岡 大貴
人材営業→不動産・シェアリングエコノミー 小学校から高校まで野球にのめり込み、高校は甲子園を本気で目指す高校球児。 大学からは教育系団体で代表として活動。イベント企画や人材教育を行い、日本全国にある4団体の統括チームの運営も行う。 新卒で大手人材企業に入社し一環して営業として勤務。1年目から新卒採用にも携わり、当時の最多タイの学生を採用。 営業では全国トップを2度受賞。現在では新卒採用に加え、後輩、新人の育成・マネジメントにも従事。 その後、現職に営業として入社。 不動産仕入れ、不動産事業者との提携営業、AM企業へのアセット運用提案などをプレーヤーとして実施。 また営業マネージャーとして5名ほどのメンバーと営業事務メンバーのマネージメント業務を行う。 取締役直轄の部署として、KPI・CACの管理や予算管理、事業マネージメントを行う。 現在はコロナウイルスの影響もあり、新規事業の営業・OP構築を実施中。
花田 ステパノ
■要約 闘う論理の哲学エンジニア ■言語 好きな言語はコプト語です。 ■最近のトピック 最近は、形式手法やML系言語に熱をあげている。 アッカーマン関数は再帰的関数であり、アッカーマン関数のグラフは原始再帰的であることの証明をこの前読み解きました。 TLA+で遊んでた。"Practical TLA+"と"Specifying Systems"も読み終えた。"Auxiliary Variables in TLA+"は全くわからない。 Isabelleで遊んでいる。Concrete Semanticsを読んでるけれど、練習問題が面白すぎて無限に時間が溶ける。 SMLで遊んでた。StandardML入門の解答例を作っていたら筆者が解答例を公開してくれたので、その解答例の修正を一通り終えた。 最近はRustで遊んでいる。 ■経歴 論理学の哲学を専攻し、計算不可能性について考えていたりしていたはずですが、なぜか計算可能な世界でいかに素早く計算するかを考えるようになりました。 大学院時代は、実体を求めない立場、特に関数型言語の思想を研究していたはずなのですが、Real Estateという真逆の業界を扱っております。 当初は何かと思想の違いで混乱することがありましたが、最近は落ち着いてきました。 私の略歴は以下の通りです。 済済黌+壺溪塾の四年制高校を卒業後、熊本大学文学部に入学、実存系の哲学をやっていたはずが、必要に駆られて論理学をやることになりました。在学中に予習復習をやっていたら、証明論、再帰理論、超準理論が好きになって、卒業論文は矛盾許容論理(Paraconsistent Logic)を対象にしました。 その後、北海道大学大学院文学研究科に入り、プログラミング言語の思想史、特に、圏論的意味論の思想を追いかけていました。その橋がけとして、認識論理の証明論的アプローチとして、抜き打ちテストのパラドックスを対象にした研究を修士論文でまとめました。 他にもアリストテレスやキリスト教についても研究していました。 研究してきた内容とはだいぶ異なる事柄を現在はやっておりますが、研究の中で培われた技術・能力・知性は仕事でもしっかり活かせることを実感しております。 ■仕事でやってること コーディングしたり、技術コンサルやったり、テスト仕様書作ったり、APIの改善の提案をしたり、1on1をしたり、いろいろやってます。
0人がこの募集を応援しています
会社情報
2016/08に設立
140人のメンバー
東京都新宿区高田馬場2-5-23 第一桂城ビル4F