CEOの吉田です。matsuri technologiesは旅行、不動産の分野をテクノロジーで変えようとする企業です。 そのために宿泊施設や賃貸物件（ホテル、民泊、マンスリーマンション） を保有したり、保有するためにファンドを開発したり、フィリピンの拠点で24Hクラウドで運営施設をオペレーション管理しています。 そしてもちろんソフトウェアは民泊業界トップシェアで本人確認ソフトウェアや業務管理ソフトウェアなど多種多様なソフトウェアを自社で開発しています。 ソフトウェア以外のオペレーションやファンドを充実させている理由はレガシーな産業を変えるとき、“一点のみを変えることは意味がない”ことだと考えているからです。ソフトウェアの進化に合わせたビジネスを泥臭いことも含めてやっていきます 我々と一緒にこの国に必要な産業を新しく創り変えに行きませんか。

2017年6月より、C2Cのシェアリングサービス事業を立ち上げしています。 コンサル出身で、スタートアップの経営メンバーとしても2社経験しており、戦略と実行の両面ができることが強み。中国関連の事業や、新規事業立ち上げ、グロース戦略と実行ができます。 ・日本最大の人間ドック予約プラットフォームMRSOにて海外インバウンドと、MRSO.JPウェブプラットフォームの責任者。海外インバウンドは、海外からの健診売上で業界一位まで成長。 ・中国・上海の游仁堂（http://yo-ren.com/en/）でCOOとして、中国での小売り向けモバイルCRM事業（日系大手コンビニ、スーパー、現地企業100万名にサービス提供、購買データの活用）の立ち上げ、日系ブランドの中国でのデジタルマーケティング事業の拡大 ・IBCS時代は、経営コンサル、業務コンサルに加え、人工知能を用いた事業開発に従事

アッカーマン関数は再帰的関数であり、アッカーマン関数のグラフは原始再帰的であることの証明をこの前読み解きました。 最近はTLA+で遊んでいます。 雇用契約書には哲学者が一番に書かれて、エンジニアが二番に書かれています。 しかしながら、もっぱらエンジニアやってます。 論理学の哲学を専攻し、計算不可能性について考えていたりしていたはずですが、なぜか計算可能な世界でいかに素早く計算するかを考えるようになりました。 大学院時代は、実体を求めない立場、特に関数型言語の思想を研究していたはずなのですが、Real Estateという真逆の業界を扱っております。 当初は何かと思想の違いで混乱することがありましたが、最近は落ち着いてきました。 私の略歴は以下の通りです。 済済黌＋壺溪塾の四年制高校を卒業後、熊本大学文学部に入学、実存系の哲学をやっていたはずが、必要に駆られて論理学をやることになりました。在学中に予習復習をやっていたら、証明論、再帰理論、超準理論が好きになって、卒業論文は矛盾許容論理(Paraconsistent Logic)を対象にしました。 その後、北海道大学大学院文学研究科に入り、プログラミング言語の思想史、特に、圏論的意味論の思想を追いかけていました。その橋がけとして、認識論理の証明論的アプローチとして、抜き打ちテストのパラドックスを対象にした研究を修士論文でまとめました。 他にもアリストテレスやキリスト教についても研究していました。 研究してきた内容とはだいぶ異なる事柄を現在はやっておりますが、研究の中で培われた技術・能力・知性は仕事でもしっかり活かせることを実感しております。 最近の哲学的な観点は主に以下の二つです。 一つは、メタ言語と対象言語との区別が機械学習で活かせられるか、統計的処理が果たして本当にメタな規則には従っていない点で、果たして本当に言語を分析できるのか、といった哲学的な疑問を抱きつつあります。 もう一つは、タイプとトークンの違いを表現できる言語とはいかなる言語であるか、またそれを表現できるとするなら、それに時空間を加え、どこまでリソースセンシティブに処理できるのだろうか、と。 最近は、以前やっていた超準理論で、定理証明支援とかプログラミング言語意味論とかできないかと、妄想しております。