Discover companies you will love
Yuzo Kuwajima
大学にも普通に進まず、きっと人と同じ先が見えてしまうことが嫌いなタイプの人間です。 高校卒業後、一年ホテルマンとして仕事をして、一年半アメリカへ留学。 その後英語を使った仕事ができる環境を求めて、オーストラリアへ一年ワーホリへ。 戻ってきてから、営業ができればいつか自分でビジネスを起こしやすいのでは!?と思い。 不動産の立ち上げに関わる。 ここで、リクルート出身の上司にいろんなビジネスの基礎を教えてもらい、事業計画や新規事業を起こすことの楽しみを学びました。 日々どれだけ自分たちが大きくなるかわからないくらい、順調に進む事業の楽しさにも触れました。 その後、外資生命保険会社へ転職。 自身の接点がある人をスカウトして、プレイングマネージャーとして従事。 買ってくださいの営業ではなく、"継続貢献営業"をモットーに法人、開業医マーケトを中心に営業活動を行う。 OYO LIFEのアーリステージに参画。 ユニコーン企業のスピードと仕事量を実感しつつ、外資生命保険会社とは大きく異なる業務に順応しつつMgrからOsaka Headへ昇格し、様々な角度でマネージメントを学ぶ。 現職へ転職。 最初は1人組織から始まり、現状既存4部門の事業責任者として、Biz側の実務をリード。
Stephen Satoru Hanada
■要約 闘う論理の哲学エンジニア ■言語 好きな言語はコプト語です。 ■最近のトピック 最近は、形式手法やML系言語に熱をあげている。 アッカーマン関数は再帰的関数であり、アッカーマン関数のグラフは原始再帰的であることの証明をこの前読み解きました。 TLA+で遊んでた。"Practical TLA+"と"Specifying Systems"も読み終えた。"Auxiliary Variables in TLA+"は全くわからない。 Isabelleで遊んでいる。Concrete Semanticsを読んでるけれど、練習問題が面白すぎて無限に時間が溶ける。 SMLで遊んでた。StandardML入門の解答例を作っていたら筆者が解答例を公開してくれたので、その解答例の修正を一通り終えた。 最近はRustで遊んでいる。 ■経歴 論理学の哲学を専攻し、計算不可能性について考えていたりしていたはずですが、なぜか計算可能な世界でいかに素早く計算するかを考えるようになりました。 大学院時代は、実体を求めない立場、特に関数型言語の思想を研究していたはずなのですが、Real Estateという真逆の業界を扱っております。 当初は何かと思想の違いで混乱することがありましたが、最近は落ち着いてきました。 私の略歴は以下の通りです。 済済黌+壺溪塾の四年制高校を卒業後、熊本大学文学部に入学、実存系の哲学をやっていたはずが、必要に駆られて論理学をやることになりました。在学中に予習復習をやっていたら、証明論、再帰理論、超準理論が好きになって、卒業論文は矛盾許容論理(Paraconsistent Logic)を対象にしました。 その後、北海道大学大学院文学研究科に入り、プログラミング言語の思想史、特に、圏論的意味論の思想を追いかけていました。その橋がけとして、認識論理の証明論的アプローチとして、抜き打ちテストのパラドックスを対象にした研究を修士論文でまとめました。 他にもアリストテレスやキリスト教についても研究していました。 研究してきた内容とはだいぶ異なる事柄を現在はやっておりますが、研究の中で培われた技術・能力・知性は仕事でもしっかり活かせることを実感しております。 ■仕事でやってること コーディングしたり、技術コンサルやったり、テスト仕様書作ったり、APIの改善の提案をしたり、1on1をしたり、いろいろやってます。
0 recommendations
Company info
Founded on 08/2016
140 members
〒169-0075 東京都新宿区高田馬場2-5-23 第一桂城ビル4F