- saichi takamasa@s4ichi
Hello world
- @pocket7878
2013年に株式会社Azitを共同創業してから、幅広くプロダクト開発を担当しています。 2021年からはCTOになり、サーバーサイドの開発、技術戦略の立案ならびに実行、エンジニア採用等を担当しています。 普段は散歩や植物観察、写真が好きで長時間散歩をしたり、植物園に行って花の写真を撮ったりしています。
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- @masquerade0324
Standard ML is the best programming language, isn't it?
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。