Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
Taiki Todo Last modified date:2024.04.26

Graduate School
Undergraduate School

E-Mail *Since the e-mail address is not displayed in Internet Explorer, please use another web browser:Google Chrome, safari.
 Reseacher Profiling Tool Kyushu University Pure
Academic Degree
Doctor of Information Science
Country of degree conferring institution (Overseas)
Field of Specialization
Game Theory, Multi-Agent Systems
ORCID(Open Researcher and Contributor ID)
Total Priod of education and research career in the foreign country
Research Interests
  • Applying Game Theory into Mining Software Repositories
    keyword : Game Theory, Mining Software Repositories
  • Theory for Exchange of Multiple Indivisible Goods
    keyword : Top-Trading-Cycles algorithm, exchange market, core assignments, kidney exchange
  • Effect of False-Name Manipulations in Market Design Environments
    keyword : Game Theory, Mechanism Design
Academic Activities
1. Koji Osoegawa, Taiki Todo, Makoto Yokoo, False-Name-Proof Facility Location on Wheel Graphs, Proceedings of PRIMA 2022, 10.1007/978-3-031-21203-1_9, 2022.11.
2. Sung-Ho Cho, Taiki Todo, Makoto Yokoo, Two-Sided Matching over Social Networks, Proceedings of IJCAI 2022, 10.24963/ijcai.2022/27, 2022.07.
3. Bo You, Ludwig Dierks, Taiki Todo, Minming Li, Makoto Yokoo, Strategy-Proof House Allocation with Existing Tenants over Social Networks, Proceedings of AAMAS 2022, 2022.05.
4. Ilan Nehama, Taiki Todo, Makoto Yokoo, Manipulation-resistant false-name-proof facility location mechanisms for complex graphs, Autonomous Agents and Multi-Agent Systems, 10.1007/s10458-021-09535-5, 2022.01.
5. Taiki Todo, Ryoji Wada, Kentaro Yahiro, Makoto Yokoo, Lazy Gale-Shapley for Many-to-One Matching with Partial Information, Proceedings of ADT 2021, 2021.09.
6. Zhaohong Sun, Taiki Todo, Makoto Yokoo, New Algorithms for Japanese Residency Matching, Proceedings of IJCAI 2021, 2021.08.
7. Takehiro Kawasaki, Ryoji Wada, Taiki Todo, Makoto Yokoo, Mechanism Design for Housing Markets over Social Networks, Proceedings of AAMAS 2021, 2021.05.
8. Takehiro Kawasaki, Nathanael Barrot, Seiji Takanashi, Taiki Todo, and Makoto Yokoo, Strategy-Proof and Non-Wasteful Multi-Unit Auction via Social Network, The 34th AAAI Conference on Artificial Intelligence (AAAI-2020), 2020.02, Auctions via social network, pioneered by Li et al. (2017), have been attracting considerable attention in the literature of mechanism design for auctions. However, no known mechanism has satisfied strategy-proofness, non-deficit, non-wastefulness, and individual rationality for the multi-unit unit-demand auction, except for some naı̈ve ones. In this paper, we first propose a mechanism that satisfies all the above properties. We then make a comprehensive comparison with two naı̈ve mechanisms, showing that the proposed mechanism dominates them in social surplus, seller’s revenue, and incentive of buyers for truth-telling. We also analyze the characteristics of the social surplus and the revenue achieved by the proposed mechanism, including the constant approximability of the worst-case efficiency loss and the complexity of optimizing revenue from the seller’s perspective..
9. Etsushi Fujita, Julien Lesca, Akihisa Sonoda, Taiki Todo, Makoto Yokoo, A complexity approach for core-selecting exchange under conditionally lexicographic preferences, Journal of Artificial Intelligence Research, 10.1613/jair.1.11254, 63, 515-555, 2018.11, Core-selection is a crucial property of rules in the literature of resource allocation. It is also desirable, from the perspective of mechanism design, to address the incentive of agents to cheat by misreporting their preferences. this paper investigates the exchange problem where (i) each agent is initially endowed with (possibly multiple) indivisible goods, (ii) agents' preferences are assumed to be conditionally lexicographic, and (iii) side payments are prohibited. We propose an exchange rule called augmented top-trading-cycles (ATTC), based on the original TTC procedure. We first show that ATTC is core-selecting and runs in polynomial time with respect to the number of goods. We then show that finding a beneficial misreport under ATTC is NP-hard. We finally clarify relationship of misreporting with splitting and hiding, two different types of manipulations, under ATTC..
1. Taiki Todo, Housing Markets over Social Networks, Dagstuhl Seminar 21241: Coalition Formation Games, 2021.06.
2. Taiki Todo, Social Choice with Variable Populations, The 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2020), 2020.11, [URL], Social choice theory is one of the well-studied mathematical foundations of decision making for multi-agent systems. In the literature of social choice theory, the number of agents in the system is usually assumed to be a constant, and different social choice functions can be applied to different populations. When the number of agents is treated as a variable, e.g., not observable a priori, however, a social choice function must be carefully designed so that it can accept any possible population as input. Indeed, for the open, anonymous, and dynamic environments, the number of agents is not likely observable for the decision maker. In this talk, I will review some traditional models of social choice, introduce possible extensions of them for variable populations, and discuss the relation with mechanism design..
3. Taiki Todo, Market Design with Uncertainty, the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI-2020), 2021.01, [URL], My research is summarized as mechanism design with uncertainty. Traditional mechanism design focuses on static environments where all the (possibly probabilistic) information about the agents are observable by the mechanism designer. In practice, however, it is possible that the set of participating agents
and/or some of their actions are not observable a priori. We therefore focused on various kinds of uncertainty in mechanism design and developed/analyzed several market mechanisms that incentivise agents to behave in a sincere way..
4. Etsushi Fujita, Julien Lesca, Akihisa Sonoda, Taiki Todo, Makoto Yokoo, A Complexity Approach for Core-Selecting Exchange with Multiple Indivisible Goods under Lexicographic Preferences, Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15), 2015.01.
Membership in Academic Society
  • Association for Computing Machinery (ACM)
  • Association for the Advancement of Artificial Intelligence (AAAI)
  • Japan Society for Software Science and Technology
  • The Japanese Society for Artificial Intelligence
  • Information Processing Society of Japan
Other Educational Activities
  • 2022.07.