コンテンツへスキップ

亜美と智也のAI論文解説

最新AI論文の知見を分かりやすく解説!

タグ: Coq

12月 19 2024
0

Rango: ソフトウェアの未来を変える自動証明ツール

投稿者: ユウ

解説 ねえ、トモヤ!この「Rango」っていう論文、面白そうだね!内容…

5月 08 2024
0

証明アシスタントとPythonの新しい出会い

投稿者: ユウ

解説 ねえ智也くん、この「CoqPyt: Proof Navigati…

Archives

  • 2026年3月
  • 2026年2月
  • 2026年1月
  • 2025年12月
  • 2025年1月
  • 2024年12月
  • 2024年11月
  • 2024年10月
  • 2024年9月
  • 2024年8月
  • 2024年7月
  • 2024年6月
  • 2024年5月
  • 2024年4月
  • 2024年3月

Categories

  • 3Dモデリング
  • AI
  • テキスト生成
  • 人物-物体相互作用
Proudly powered by WordPress | テーマ: Futurio