CEOの吉田です。matsuri technologiesは旅行、不動産の分野をテクノロジーで変えようとする企業です。
そのために宿泊施設や賃貸物件（ホテル、民泊、マンスリーマンション）
を保有したり、保有するためにファンドを開発したり、フィリピンの拠点で24Hクラウドで運営施設をオペレーション管理しています。

また本人確認ソフトウェアや業務管理ソフトウェアなど多種多様なソフトウェアを自社で開発しています。

ソフトウェア以外のオペレーションやファンドを充実させている理由はレガシーな産業を変えるとき、“一点のみを変えることは意味がない”ことだと考えているからです。ソフトウェアの進化に合...

■要約
闘う論理の哲学エンジニア

■言語
好きな言語はコプト語です。

■最近のトピック
最近は、形式手法やML系言語に熱をあげている。

アッカーマン関数は再帰的関数であり、アッカーマン関数のグラフは原始再帰的であることの証明をこの前読み解きました。
TLA+で遊んでた。"Practical TLA+"と"Specifying Systems"も読み終えた。"Auxiliary Variables in TLA+"は全くわからない。
Isabelleで遊んでいる。Concrete Semanticsを読んでるけれど、練習問題が面白すぎて無限に時間が溶ける。
SMLで遊んでた。Stan...

Webエンジニアとして働いています。
主にアーキテクチャについて考えるのが好きで、コードの書き方からAWSにおけるサービスの構成やエンジニア組織設計についても興味があります。

プログラミングは高校生の頃からはじめました。その頃はPythonなどを学びごく簡単なゲームやGUIアプリケーションを作って遊んでいました。
大学に上がってからHaskellを学び、以来修士を卒業するまでほぼHaskellしか書いていません。大学院卒業後Webエンジニアとして働くようになってからは、仕事と趣味でGo, TypeScript, Rust等を書くことが多いです。
純粋関数型言語かつアカデミアで未だに研究...

コンサルティングファーム勤務の後、スタートアップの経営陣として、中国と日本で計３社経験。戦略策定から、スピーディな実行の両面ができることが強み。