Leanの定理証明ガードレールで AI エージェントに業務ルールを守らせる
- Go
- Lua
- TypeScript
- Git
生成AIの活用状況
最終更新日:最新の情報についてはカジュアル面談や選考の中で確認ください。
生成AI技術/ツールの導入・活用状況
生成AIモデルの開発・LLM技術の研究開発を行っているプロダクト/サービスへの組み込みを実施・推進している社内活用による業務効率化を目的に導入・活用している
開発組織において公式に導入・活用されているAIツール・機能・技術
GitHub Copilot, Amazon Bedrock, Gemini, Cline
AI活用に関する資料一覧
技術ブログ
税法を定理証明支援系 Lean で書いて、プロダクト実装を「全入力で」確かめる
- Python
- Ruby
- Go
- PHP
2026/10/16 Nagoya Tech Talk #4 〜データ活用のリアル〜 「dbt platform導入後の今」登壇資料
- Go
- ASP
- Gin
- dbt