目次

プロフィール
研究活動
プログラム

プロフィール

戸田貴久

電気通信大学, 大学院情報理工学研究科, 助教

todat(at)acm.org

研究室ウェブサイト

研究活動

  • キーワード: アルゴリズム, 論理, 推論, 探索, 離散構造
  • 論文など

プログラム