Logo image
UEC Website Open Policy Finder
サインイン
戻る

Takahisa TODA (戸田 貴久)

0110100_Ⅰ類(情報系), 0110000_情報理工学域, The University of Electro-Communications

Constraint Satisfaction | 制約充足  Satisfiability | 充足可能性  論理と推論  Artificial Intelligence | 人工知能  Discrete Algorithm | 離散アルゴリズム

研究業績リスト

会議発表プレゼンテーション

by Takahisa TODA

公開済 18/09/2025

IPSJ/SIGSE Software Engineering Symposium (SES2025)

会議発表プレゼンテーション

by Takahisa TODA

公開済 17/09/2025

ソフトウェアエンジニアリングシンポジウム2025

会議発表プレゼンテーション

by Takahisa TODA

公開済 05/09/2025

情報科学技術フォーラム トップコンファレンスセッション

会議発表プレゼンテーション

by Takahisa TODA

公開済 11/07/2025

機械学習工学研究会 夏合宿2025

会議発表プレゼンテーション

by Takahisa TODA

公開済 07/03/2025

コンピュテーション研究会

会議発表プレゼンテーション

by Takahisa TODA

公開済 07/03/2025

第27回プログラミングおよびプログラミング言語ワークショップ

会議発表プレゼンテーション

by Takahisa TODA

公開済 29/11/2024

ソフトウェア工学の基礎ワークショップ

会議発表プレゼンテーション

by Takahisa TODA

公開済 06/11/2024

第27回情報論的学習理論ワークショップ

会議発表プレゼンテーション

by Takahisa TODA

公開済 06/11/2024

第27回情報論的学習理論ワークショップ

ジャーナル論文 - rm_published_papers: International Conference Proceedings   査読済み

by Takahisa TODA

公開済 27/10/2024

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2284 - 2288

Logo image