松田 明

フリーランスのテクニカルアドバイザー業, 技術顧問

藤村 大介

新 日出海

ヤフー株式会社, 株式会社エウレカ

松田 顕

ファーストアカウンティング株式会社, 共同創業者

芳賀 雅樹

λ Kansai in Summer 2026 登壇

AI 時代は (誰かに責任を押し付ければ) コードを読まずに品質保証できるのかもしれない

AI 時代はコードを読まずに品質保証するだって？？

「2026 年に読む “The Definition of Standard ML” 〜 現代の堅牢なソフトウェア設計の源流として」というタイトルで，関数型プログラミングのアカデミックな部分と現代の開発との橋渡しとなるような発表をします．
勤務先のプレスリリース：https://prtimes.jp/main/html/rd/p/000000435.000024873.html

関数型まつり 2026 登壇予定 (採択済み)

カンファレンスの運営に携わっています．

関数型まつり 2026 コアスタッフ

ソフトウェア工学をコンピュータサイエンスとよぶのはおかしい

不動点コンビネータと無名再帰

2025 年の振り返り

Cloud Spanner の記事を書きました (+ 技術的な蛇足)

当日スタッフとしてカンファレンスの運営に携わりました

関数型まつり 2025 スタッフ

株式会社スリーシェイク / Sreake 事業部 アプリケーション開発支援チーム

山下 大介

株式会社ヤプリ, 技術戦略室 室長 / QA&CS部 部長

Standard ML

Knuth-Bendix Completion in Standard ML

吹奏楽部での活動

実績

Google Cloud Certified Professional Security Operations Engineer

Google Cloud Certified Professional Machine Learning Engineer

応用情報技術者試験 (合格)

Google Cloud Certified Professional Cloud Network Engineer

Google Cloud Certified Professional Cloud Database Engineer

AWS Certified AI Practitioner

Google Certified Associate Google Workspace Administrator

Google Cloud Certified Professional Cloud Security Engineer

Google Cloud Certified Professional Cloud DevOps Engineer

Google Cloud Certified Professional Data Engineer

AWS Certified SysOps Administrator – Associate

Google Cloud Certified Associate Data Practitioner

Google Cloud Certified Professional Cloud Developer

Google Cloud Certified Generative AI Leader

Google Cloud Certified Professional Cloud Architect

Google Cloud Certified Associate Cloud Engineer

Google Cloud Certified Cloud Digital Leader

AWS Certified Solutions Architect – Associate

AWS Certified Cloud Practitioner

修士 (工学)

学士 (工学)

受賞と資格

【株式会社豊田自動織機ITソリューションズ様】モダンな開発プロセスの導入からAIエージェント開発まで——TIISとスリーシェイクが共に切り拓いたAI駆動開発の現在地 | 活用事例

AI を紡ぐ者たち #1 登壇

順序の不確実性と決定性 〜 Cloud Dataflow における可換モノイド

芳賀雅樹

芳賀雅樹

芳賀 雅樹

芳賀 雅樹

芳賀雅樹

芳賀雅樹