Takahisa TODA (戸田貴久)

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

Constraint Satisfaction | 制約充足

Satisfiability | 充足可能性

論理と推論

Artificial Intelligence | 人工知能

Discrete Algorithm | 離散アルゴリズム

Course

Inter-University Freshman Seminar | 3大学協働基礎ゼミ

Takahisa TODA (戸田貴久)

07/2025–09/2025

Course

Information Engineering Laboratory | 情報工学工房

Takahisa TODA (戸田貴久)

04/2024–03/2025

Course

Fundamental Programming | 基礎プログラミングおよび演習（K課程）

Takahisa TODA (戸田貴久)

04/2022

Course

Computer Literacy | コンピュータリテラシー

Takahisa TODA (戸田貴久)

04/2022

Course

Information Engineering Laboratory | 情報工学工房

Takahisa TODA (戸田貴久)

04/2022–03/2023

Course

MICS実験第二

Takahisa TODA (戸田貴久)

2021

Course

Takahisa TODA (戸田貴久)

04/2020

Course

Seminar | K課程輪講

Takahisa TODA (戸田貴久)

04/2020–03/2021

Course

計算量の理論

Takahisa TODA (戸田貴久)

04/2019

Course

Computer Science Laboratory II | MICS実験第二

Takahisa TODA (戸田貴久)

04/2019