Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. yutakang_jp

yutakang_jp (@YutakangJ)

投稿一覧（最新100件）

1 0 0 0 Towards United Reasoning for Automatic Induction in Isabelle/HOL

2020年度人工知能学会全国大会（第34回）で数学的帰納法を用いた証明の自動化について話しました。まだ完了していない研究ですが、もう少しで自動化を進められる…はずです！https://t.co/jw3qO0fhWI

お気に入り一覧（最新100件）

フォロー（1ユーザ）の投稿一覧（直近7日間）

フォロワー（72ユーザ）の投稿一覧（直近7日間）