Yuji Chinen

@YChinen

1
Posts 31
Followees 0
Followers

個人でいろいろエンジニアリングやってます。

Location

日本

Following Organizations(21)See all

...

Following tags(16)See all

データサイエンス機械学習統計学数理最適化 Z3 ChatGPT Coq Linux Docker LLM 生成AI 個人開発 AIエージェント AI TypeScript Python

$ analyze @YChinen

posted articles:

Coq:100%
TypeScript:100%
Z3:100%
AI:100%
形式手法:100%

answered questions:

No data

Articles Questions Likes Public Stock Lists

Posted Questions Answered Questions