FreeStyleWiki

東ロボの論文時系列まとめについてメモ

このエントリーをはてなブックマークに追加

[数学,東ロボ]

東ロボの論文時系列まとめについてメモ

Trelloで現在やっていることのタスクを管理する東ロボmock project

Epicレベルの話はここにも記載する

  自然言語の問題文を一階述語論理に変換する

  • 数式入りのPDF(or 画像) -> Tex + 自然言語
    • Mathpixが使えそうだが、最初はこの辺は無視してテキストになったデータを変換する方がよさそう
  • Tex + 自然言語 -> FOL
    • ccg2lambda

  限量記号消去法(QE)について調査する

  QEを実行できるフリーのATPを調査する

  東ロボmock project外部設計検討

  • ここまでの成果をまとめて設計を検討する

東ロボmock project外部設計検討