Discover companies you will love
Share this post via...
加藤拓真
matsuri technologies 新規事業部の4事業担当愛知県生まれ名古屋市経由の東京育ち高校時代にロックバンドに心を撃ち抜かれバンドを始める「絶対にそこそこのライブハウスでワンマンやるぞ」22歳の頃に街コンのスタッフを始め、そのまま街コンを主催している会社へ入社「自分でやった方が稼げる」と気づいてしまいそのまま独立、個人事業主を経て法人を立ち上げる。日本全国20都道府県でイベントを開催。総参加人数は10,000人は軽く超えたくさんの男女を繋げてきた中ふと「自分は、、?」と物思いにふける。その後事業をやめ、流れるようにmatsuri technologiesへ入社し、全然そこそこのライブハウスでワンマンやらずに今に至る。
Stephen Satoru Hanada
闘う論理の哲学エンジニア 好きな言語はコプト語です。 アッカーマン関数は再帰的関数であり、アッカーマン関数のグラフは原始再帰的であることの証明をこの前読み解きました。 最近はTLA+で遊んでいます。"Practical TLA+"を読み終えました。 論理学の哲学を専攻し、計算不可能性について考えていたりしていたはずですが、なぜか計算可能な世界でいかに素早く計算するかを考えるようになりました。 大学院時代は、実体を求めない立場、特に関数型言語の思想を研究していたはずなのですが、Real Estateという真逆の業界を扱っております。 当初は何かと思想の違いで混乱することがありましたが、最近は落ち着いてきました。 私の略歴は以下の通りです。 済済黌+壺溪塾の四年制高校を卒業後、熊本大学文学部に入学、実存系の哲学をやっていたはずが、必要に駆られて論理学をやることになりました。在学中に予習復習をやっていたら、証明論、再帰理論、超準理論が好きになって、卒業論文は矛盾許容論理(Paraconsistent Logic)を対象にしました。 その後、北海道大学大学院文学研究科に入り、プログラミング言語の思想史、特に、圏論的意味論の思想を追いかけていました。その橋がけとして、認識論理の証明論的アプローチとして、抜き打ちテストのパラドックスを対象にした研究を修士論文でまとめました。 他にもアリストテレスやキリスト教についても研究していました。 研究してきた内容とはだいぶ異なる事柄を現在はやっておりますが、研究の中で培われた技術・能力・知性は仕事でもしっかり活かせることを実感しております。 最近は、以前やっていた超準理論で、定理証明支援とかプログラミング言語意味論とかできないかと、妄想しております。
Daiki Yamaoka
人材営業→不動産・シェアリングエコノミー 小学校から高校まで野球にのめり込み、高校は甲子園を本気で目指す高校球児。 大学からは教育系団体で代表として活動。イベント企画や人材教育を行い、日本全国にある4団体の統括チームの運営も行う。 新卒で大手人材企業に入社し一環して営業として勤務。1年目から新卒採用にも携わり、当時の最多タイの学生を採用。 営業では全国トップを2度受賞。現在では新卒採用に加え、後輩、新人の育成・マネジメントにも従事。 その後、現職に営業として入社。 新規事業スケールのための営業と組織マネジメントに従事しつつ、社内の仕組み作りや採用活動にも参画中。
0 recommendations
Company info
Founded on 08/2016
140 members
東京都豊島区高田3丁目14ー29 KDX高田馬場ビル5F