Updated on 2026/02/28
博士 (情報学) （ 2011.9 総合研究大学院大学 ）
システム生物学
Propositional Satisfiability Testing (SAT)
制約プログラミング
Informatics / Software
Informatics / Information theory
Informatics / Biological, health, and medical informatics
Informatics / Intelligent informatics
Nagoya University Graduate School of Informatics Department of Computing and Software Systems Associate Professor
2025.8
Kobe University Information Infrastructure and Digital Transformation Initiatives Headquarters Associate Professor
2022.4 - 2025.7
神戸大学 情報基盤センター 准教授
2019.4 - 2022.3
Kobe University Assistant Professor
2012.4 - 2019.3
サントリー株式会社
2006.4 - 2008.3
The Graduate University for Advanced Studies School of Multidisciplinary Sciences
2008.4 - 2011.9
Kobe University
2004.4 - 2006.3
Kobe University Faculty of Engineering Department of Electrical and Electronic Engineering
2002.4 - 2004.3
Country： Japan
人工知能学会
情報処理学会
日本ソフトウェア科学会
電子情報通信学会
Workshop on Programming and Programming Languages (PPL) Program Co-Chair
2026
Workshop on Programming and Programming Languages (PPL) Program Committee
2025
International Conference on Theory and Applications of Satisfiability Testing (SAT) Program Committee
2025
JSAI Annual Conference Organized Session: AI and Constraint Programming (Organizer)
2024
International Symposium on Combinatorial Search (SoCS) Program Committee
2024
International Joint Conferences on Artificial Intelligence (IJCAI) Program Committee
2024
JSAI Annual Conference Organized Session: AI and Constraint Programming (Organizer)
2023
International Symposium on Combinatorial Search (SoCS) Program Committee
2023
International Joint Conferences on Artificial Intelligence (IJCAI) Program Committee
2023
JSAI Annual Conference Organized Session: AI and Constraint Programming (Organizer)
2022
Workshop on Programming and Programming Languages (PPL) Program Committee
2022
International Symposium on Combinatorial Search (SoCS) Program Committee
2022
International Conference on Theory and Applications of Satisfiability Testing (SAT) Program Committee
2022
International Joint Conferences on Artificial Intelligence (IJCAI) Program Committee
2022
Annual AAAI Conference on Artificial Intelligence (AAAI) Program Committee
2022
JSAI Annual Conference Organized Session: AI and Constraint Programming (Organizer)
2021
International Symposium on Combinatorial Search (SoCS) Program Committee
2021
International Conference on Theory and Applications of Satisfiability Testing (SAT) Program Committee
2021
International Joint Conferences on Artificial Intelligence (IJCAI) Program Committee
2021
International Joint Conferences on Artificial Intelligence (IJCAI) Program Committee
2020
日本ソフトウェア科学会 編集委員
2019.4
情報処理学会・論文誌プログラミング 編集委員
2019.4 - 2023.3
情報処理学会・プログラミング研究会 運営委員
2019.4 - 2023.3
International Workshop on Pragmatics of SAT (PoS) Program Committee
2019
International Conference on Theory and Applications of Satisfiability Testing (SAT) Program Committee
2019
International Conference on Theory and Applications of Satisfiability Testing (SAT) Program Committee
2018
Workshop on Programming and Programming Languages (PPL) Program Committee
2017
International Workshop on Pragmatics of SAT (PoS) Program Committee
2017
International Joint Conferences on Artificial Intelligence (IJCAI) Program Committee
2017
Doctoral Consortium of International Conference on Logic Programming Program Committee
2017
JSAI Annual Conference Organized Session: Theory, Implementation, and Applications of SAT Technology (Organizer)
2016
International Conference on Theory and Applications of Satisfiability Testing (SAT) Program Committee
2016
Doctoral Consortium of International Conference on Logic Programming Program Committee
2016
JSAI Annual Conference Organized Session: Theory, Implementation, and Applications of SAT Technology (Organizer)
2015
Workshop on Programming and Programming Languages (PPL) Program Committee
2015
International Workshop on Pragmatics of SAT (PoS) Program Committee
2015
Doctoral Consortium of International Conference on Logic Programming Program Committee
2015
JSAI Annual Conference Organized Session: Theory, Implementation, and Applications of SAT Technology (Organizer)
2014
Doctoral Consortium of International Conference on Logic Programming Program Committee
2014
JSAI Annual Conference Organized Session: Theory, Implementation, and Applications of SAT Technology (Organizer)
2013
2023 XCSP23 Main CSP track 2nd place
2023.8 XCSP Competition Organization Fun-sCOP
Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura
10-year Test-of-Time Award (ICLP 2023)
2023.7 International Conference on Logic Programming ICLP 2023
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub
2022 XCSP3 Competition Sequential CSP Solver track 2nd place
2022.8 Fun-sCOP
Takehide Soh, Daniel Le Berre, Hidetomo Nabesima, Mutsunori Banbara, Naoyuki Tamura
2019 XCSP3 Competition Sequential CSP Solver 2nd Place
2019.10 XCSP3 Competition Organization Fun-sCOP
Takehide Soh, Daniel Le Berre, Hidetomo Nabesima, Mutsunori Banbara, Naoyuki Tamura
7th Best Review Paper Award (2018)
2019.8 Japan Society for Software Science and Technology SAT-based Constraint Programming Systems and Related Technologies
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
JSAI Annual Conference Award 2019
2019 The Japanese Society for Artificial Intelligence A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition
Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
情報処理学会 2018 年度特選論文
2018.9 情報処理学会 SAT技術を用いたペトリネットのデッドロック検出手法の提案
寸田 智也, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 井上 克巳
2018 XCSP3 Competition 2部門優勝 (逐次CSPソルバー部門, 並列CSPソルバー部門)
2018.8 XCSP3 Competition Organization sCOP
Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
PPL2017発表賞（一般の部）
2017.3 日本ソフトウェア科学会 プログラミング論研究会 SATソルバーの最新動向と利用技術
SOH TAKEHIDE, TAMURA NAOYUKI
2016年度全国大会優秀賞
2017.3 人工知能学会 SAT型制約ソルバーによるナンバーリンクの解法とその評価
迫 龍哉, 川原 征大, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 鍋島 英知
第20回研究論文賞
2016.3 日本ソフトウェア科学会 パッキング配列問題の制約モデリングとSAT符号化
則武 治樹, BANBARA MUTSUNORI, SOH TAKEHIDE, TAMURA NAOYUKI, 井上 克巳
最優秀賞
2015.8 情報処理学会DAシンポジウム2015 SAT型制約ソルバーを用いたナンバーリンクの求解と解の最適化
迫龍哉, 川原征大, 田村直之, 番原睦則, 宋剛秀, 鍋島英知
アルゴリズムデザインコンテスト2015 最優秀賞 (DAシンポジウム2015)
2015.8 情報処理学会 SLDM研究会 iSugar+GlueMiniSat
迫 龍哉, 川原 征大, TAMURA NAOYUKI, BANBARA MUTSUNORI, SOH TAKEHIDE, 鍋島 英知
第31回大会高橋奨励賞
2014.9 日本ソフトウェア科学会 Scala上で実現されたSAT型制約プログラミングシステムのための開発ツール
SOH TAKEHIDE
アルゴリズムデザインコンテスト2014 最優秀賞 (DAシンポジウム2014・SWEST16)
2014.8 情報処理学会 SLDM研究会 Sugar+GlueMiniSat
TAMURA NAOYUKI, SOH TAKEHIDE, BANBARA MUTSUNORI, 鍋島 英知
アルゴリズムデザインコンテスト2014 最優秀賞
2014.8 情報処理学会DAシンポジウム2014 SAT型制約ソルバーを用いたナンバーリンクの解法
田村直之, 宋剛秀, 番原睦則, 鍋島英知
学長賞
2010.4 総合研究大学院大学 SATとASPを用いた生物学におけるパスウェイの解析
SOH TAKEHIDE
２００９年度全国大会優秀賞
2009.9 人工知能学会 Finding Minimal Sub-pathways in Metabolic Pathways by Model Generation
SOH TAKEHIDE
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital Reviewed International coauthorship
Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub, Takehide Soh
In Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro and Miroslaw Truszczynski: Proceedings 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, 12-19th September 2025, Electronic Proceedings in Theoretical Computer Science Vol. 439 page： 334 - 348 2026.1
SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints Reviewed International coauthorship
Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura
28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) page： 24:1 - 24:10 2025.8
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling Reviewed International coauthorship
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Proceedings of the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) Vol. 15245 page： 57 - 70 2025
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks Reviewed International coauthorship
Rei Higuchi, Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara, Naoyuki Tamura
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2025) page： 2601 - 2609 2025
Dominating Set Reconfiguration with Answer Set Programming Reviewed International coauthorship
Masato Kato, Mutsunori Banbara, Torsten Schaub, Takehide Soh, Naoyuki Tamura
Theory and Practice of Logic Programming Vol. 24 ( 4 ) page： 755 - 771 2024.7
Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
Proceedings of the International Symposium on Combinatorial Search Vol. 17 page： 285 - 286 2024.6
Scalable Hard Instances for Independent Set Reconfiguration. Reviewed
Takehide Soh, Takumu Watanabe, Jun Kawahara, Akira Suzuki, Takehiro Ito
22nd International Symposium on Experimental Algorithms(SEA) page： 26 - 15 2024
A Study on Production Scheduling Methods for Ready-Made Meal Industries. Reviewed
Hinari Hamada, Nobutada Fujii, Shunsuke Watanabe, Takehide Soh, Ruriko Watanabe, Kohei Nakayama, Yuji Mishima, Kazuo Yoshinaga
APMS (2) page： 266 - 277 2024
Hamiltonian Cycle Reconfiguration with Answer Set Programming Reviewed International coauthorship International journal
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
In: S. Gaggl et al. (eds.), Logics in Artificial Intelligence, Proceedings of the 18th European Conference (JELIA 2023), Lecture Notes in Artificial Intelligence Vol. 14281 page： to appear - 16p. 2023.9
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks Reviewed International coauthorship
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies page： 163 - 174 2023.3
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems. Reviewed
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
CPAIOR page： 167 - 183 2023
Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
35th IEEE International Conference on Tools with Artificial Intelligence(ICTAI) page： 294 - 302 2023
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks Reviewed International coauthorship
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
Proceedings of the International Conference on Computational Methods in Systems Biology (CMSB 2023) Vol. 14137 page： 175 - 183 2023
Towards CEGAR-based Parallel SAT Solving Reviewed
Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
Proceedings of the Pragmatics of SAT 2021 2021.7
teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Reviewed International coauthorship
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
Annals OR Vol. 275 ( 1 ) page： 3 - 37 2019
A SAT Encoding of Pseudo-Boolean Constraints via Boolean Cardinality Constraints Reviewed
南 雄之, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
Computer software Vol. 35 ( 3 ) page： 65 - 78 2018.8
Recent Advances in SAT Solvers and their Utilization Technologies. Reviewed
SOH Takehide, BANBARA Mutsunori, TAMURA Naoyuki, NABESHIMA Hidetomo
Computer Software Vol. 35 ( 4 ) page： 72 - 92 2018
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings Reviewed
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
International Journal on Artificial Intelligence Tools Vol. 26 ( 1 ) page： 1 - 29 2017.2
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. Reviewed International coauthorship
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017) Vol. 10416 page： 596 - 614 2017
SAT-based Constraint Programming Systems and Related Technologies Reviewed
SOH Takehide, BANBARA Mutsunori, TAMURA Naoyuki
Computer Software Vol. 34 ( 1 ) page： 1_67 - 1_80 2017
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. Reviewed International coauthorship
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
The 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR-17) page： 265 - 278 2017
An incremental SAT solving library and its applications Reviewed
Tatsuya Sako, Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Hidetomo Nabeshima, Katsumi Inoue
Computer Software Vol. 33 ( 4 ) page： 16 - 29 2016.11
Implementing efficient all solutions SAT solvers Reviewed
Takahisa Toda, Takehide Soh
ACM Journal of Experimental Algorithmics Vol. 21 ( 1 ) page： 1 - 44 2016.10
インクリメンタルSAT解法ライブラリとその応用 Reviewed
迫 龍哉, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 鍋島 英知, 井上 克巳
コンピュータソフトウェア Vol. 33 ( 4 ) page： 16 - 29 2016.7
Teaspoon: Solving the curriculum-based course timetabling problems with answer set programming Reviewed International coauthorship
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
PATAT 2016 - Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling page： 13 - 32 2016
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings Reviewed
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
2015 IEEE 27TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2015) Vol. 2016-January page： 421 - 428 2015
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Reviewed International coauthorship
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings Vol. 9345 page： 112 - 126 2015
Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem Reviewed International coauthorship
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura
Proceedings of the 5th International Workshop on Pragmatics of SAT (PoS 2014) page： 1 - 12 2014.7
Constraint Modeling and SAT Encoding of the Packing Array Problem Reviewed
NORITAKE HARUKI, BAMBARA MUTSUNORI, SO TAKEHIDE, TAMURA NAOYUKI, INOUE KATSUMI
コンピュータソフトウェア Vol. 31 ( 1 ) page： 116 - 130 2014
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. Reviewed International coauthorship
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura, Stephanie Roussel
Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings Vol. 8761 page： 684 - 693 2014
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. Reviewed
Naoyuki Tamura, Mutsunori Banbara, Takehide Soh
2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013 page： 1020 - 1027 2013.11
Answer set programming as a modeling language for course timetabling Reviewed International coauthorship
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
THEORY AND PRACTICE OF LOGIC PROGRAMMING Vol. 13 ( 4/5 ) page： 783 - 798 2013.7
SAT符号化を用いたパッキング配列の構成 Reviewed
則武 治樹, 番原 睦則, 宋 剛秀, 田村 直之, 井上 克巳
第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013) 論文集 Vol. 15 2013.3
System Architecture and Implementation of a Prototyping Tool for SAT-based Constraint Programming Systems⋆ Reviewed International coauthorship
Soh, Takehide, Tamura, Naoyuki, Banbara, Mutsunori, Le Berre, Daniel, Roussel, St{\'e}phanie
In the Proceedings of Pragmatics of SAT 2013 (PoS-13) page： 1 - 14 2013
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems. Reviewed
Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings Vol. 7962 page： 429 - 436 2013
Evaluation of the Prediction of Gene Knockout Effects by Minimal Pathway Enumeration Reviewed
SOH Takehide, INOUE Katsumi, BABA Tomoya, TAKADA Toyoyuki, SHIROISHI Toshihiko
International Journal On Advances in Life Sciences Vol. 4(3-4):154-165 2012.12
Predicting Gene Knockout Effects by Minimal Pathway Enumeration Reviewed
Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada, Toshihiko Shiroishi
The 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies page： 11 - 19 2012.3
Enumerating minimal active metabolic pathways by model generation Reviewed
Takehide Soh, Katsumi Inoue
Transactions of the Japanese Society for Artificial Intelligence Vol. 27 ( 3 ) page： 204 - 212 2012
Analyzing pathways using ASP-based approaches Reviewed International coauthorship
Oliver Ray, Takehide Soh, Katsumi Inoue
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 6479 page： 167 - 183 2012
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Reviewed
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
FUNDAMENTA INFORMATICAE Vol. 102 ( 3-4 ) page： 467 - 487 2010.11
高速SATソルバーの原理 Reviewed
鍋島英知, SOH TAKEHIDE
人工知能学会論文誌(解説論文) Vol. 25 ( 1 ) page： 68 - 76 2010
Finding Minimal Reaction Sets in Large Metabolic Pathways Reviewed
Takehide Soh, Katsumi Inoue
Workshop on Constraint Based Methods for Bioinformatics (co-located with ICLP 2010) page： 54 - 54 2010
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Reviewed
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Vol. 451 ( 16 ) page： 25 - 39 2008.12
A competitive and cooperative approach to propositional satisfiability Reviewed
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura
DISCRETE APPLIED MATHEMATICS Vol. 154 ( 16 ) page： 2291 - 2306 2006.11
Lemma Reusing for SAT based Planning and Scheduling Reviewed
Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma
In the proceedings of the International Conference on Automated Planning and Scheduling 2006 (ICAPS 2006) page： 103 - 112 2006
Experimental results for solving job-shop scheduling problems with multiple SAT solvers Reviewed
Takehide Soh, Katsumi Inoue, Mutsunori Banbara, Naoyuki Tamura
Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (held in conjunction with CP'05) Vol. pp.25-38 2005.10
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital International journal
Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub, Takehide Soh
CoRR Vol. abs/2506.13600 2025.6
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming International coauthorship International journal
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
CoRR Vol. abs/2405.11305 page： 11p. 2024.5
Core Challenge 2022: Solver and Graph Descriptions. International journal
Takehide Soh, Yoshio Okamoto, Takehiro Ito
CoRR Vol. abs/2208.02495 2022.9
Solver Description of Fun-sCOP
Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura
Solver Descriptions of XCSP3 Competition 2019 (XCSP19) page： 1 - 2 2019
sCOP: SAT-based Constraint Programming System
Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
Solver Descriptions of XCSP3 Competition 2018 (XCSP18) page： 1 - 2 2018
Vol. 57 ( 8 ) page： 710 - 715 2016.7
BANBARA Mutsunori, SOH Takehide, TAMURA Naoyuki, INOUE Katsumi, Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue
Journal of Japanese Society for Artificial Intelligence Vol. 28 ( 2 ) page： 343 - 348 2013.3
Studies on Applying Incremental SAT Solving to Optimization and Enumeration Problems(Foundations of AI,<Special Issue>Doctorial Theses on Aritificial Intelligence)
宋 剛秀
Journal of Japanese Society for Artificial Intelligence Vol. 27 ( 1 ) page： 84 - 84 2012.1
Solving Shop Scheduling Problems by SAT encoding (in Japanese)
Naoyuki Tamura, Akiko Taga, Mutsunori Banbara, Takehide Soh, Hidetomo Nabeshima, Katsumi Inoue
Proceedings of the Scheduling Symposium 2007 2007.9.26 Scheduling Society of Japan
SugarTracer: SAT型制約ソルバーSugarのトレースツール
吉玉 元和, 寸田 智也, 南 雄之, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017.3 日本ソフトウェア科学会 プログラミング論研究会
System Architecture and Implementation of a Prototyping Tool for SAT-based Constraint Programming Systems International conference
Takehide Soh, Naoyuki Tamura, Mutsunori Banbara, Daniel Le Berre, Stéphanie Roussel
The 4th International Workshop on Pragmatics of SAT 2013.7 PoS
Towards Incremental SAT-based CSP Solving: Experimental Results for the Hamiltonian Cycle Problem International conference
SOH Takehide, FUNAKOSHI Taisuke, TAMURA Naoyuki, BANBARA Mutsunori
The 2012 CRIL-NII Collaborative Meeting on Reasoning about Dynamic Constraint Networks 2012.11 CRIL, NII
ZDDを用いた組合せ遷移ソルバー
伊藤健洋, 川原純, 中畑裕, 宋剛秀, 鈴木顕, 照山順一, 戸田貴久
日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集 2022.9.15 Operations Research Society of Japan
インクリメンタルSAT解法を用いた高速ナンバーリンクソルバー
迫 龍哉, 川原 征大, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 鍋島 英知
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) 2016.3 日本ソフトウェア科学会プログラミング論研究会
Encoding Curriculum based Course Timetabling Problems into Pseudo-Boolean Optimization Problems
鈴江 美奈, 田村 直之, 番原 睦則, 宋 剛秀, 鳩野 逸生
日本ソフトウェア科学会第29回大会講演論文集 2012.8.22
Solving Optimal Software Component Configuration Problem in Cloud
TAMURA NAOYUKI, 井上 克巳, 鍋島 英知, BANBARA MUTSUNORI, SOH TAKEHIDE
人工知能基本問題研究会(第100回) 2016.3.27 人工知能学会
ショップ・スケジューリング問題のSAT変換による解法
田村 直之, 多賀 明子, 番原 睦則, 宋 剛秀, 鍋島 英知, 井上 克巳
スケジューリング・シンポジウム2007講演論文集 2007.9.26 Scheduling Society of Japan
チャネリング制約を用いた alldifferent 制約の SAT 符号化
小菅脩司, 宋剛秀, 田村直之, 番原睦則
情報処理学会第84回全国大会講演論文集 2022.3
ハミルトン閉路問題に対するCut-arc集合制約を用いたSAT型CEGAR解法
第41回日本ソフトウェア科学会大会講演論文集 2024.9.9 Japan Society for Software Science and Technology
パッキング配列問題の制約モデリングとSAT符号化
則武 治樹, BANBARA MUTSUNORI, SOH TAKEHIDE, TAMURA NAOYUKI, 井上 克巳
日本ソフトウェア科学会第30回大会 2013.9 日本ソフトウェア科学会
A SAT Encoding of Pseudo-Boolean Constraints via Boolean Cardinality Constraints
南 雄之, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
日本ソフトウェア科学会第34回大会講演論文集 2017.9.18 日本ソフトウェア科学会
A SAT Encoding of Pseudo-Boolean Constraints via Boolean Cardinality Constraints
MINAMI Yushi, SOH Takehide, BANBARA Mutsunori, TAMURA Naoyuki
JSAI Technical Report, SIG-FPAI 2017 The Japanese Society for Artificial Intelligence
Finding Minimal Sub-pathways in Metabolic Pathways by Model Generation
宋 剛秀, 井上 克巳
人工知能学会全国大会論文集 2010 人工知能学会
ライフゲームを逆向きに動かす
日本ソフトウェア科学会第38回大会ポスター発表 2021.9.10 Japan Society for Software Science and Technology
分子ネットワーク上の状態推定とその可視化による知識発見支援
平沼 祐人, 山本 泰生, 守屋 央朗, SOH TAKEHIDE, 岩沼 宏治
第45回バイオ情報学研究発表会 2016.3 情報処理学会
制約充足問題のASP符号化に関する一考察
坡山 直樹, BANBARA MUTSUNORI, SOH TAKEHIDE, TAMURA NAOYUKI
2017年度人工知能学会全国大会(第31回)論文集 2017 人工知能学会
制約充足問題のハイブリッド符号化に向けて
SO TAKEHIDE, SAKODA ATSUSHI, BAMBARA MUTSUNORI, TAMURA NAOYUKI, SOH TAKEHIDE, 佐古田 淳史, BANBARA MUTSUNORI
人工知能学会人工知能基本問題研究会資料 2015.3.18 人工知能学会
Studies on a Design of Constraint Answer Set Programming Systems
宋 剛秀, 則武 治樹, 番原 睦則
日本ソフトウェア科学会大会論文集 2014.9.7
Effective SAT Planning and SAT Scheduling by Lemma Reusing
NABESHIMA Hidetomo, SOH Takehide, INOUE Katsumi, IWANUMA Koji
IEICE technical report 2006.5.11 The Institute of Electronics, Information and Communication Engineers
効率的なSATプランニングとSATスケジューリングのための補題利用 (in English)
鍋島 英知, 宋 剛秀, 井上 克巳, 岩沼 宏治
信学技報, AI2006-4 2006
The characteristics of Japanese Vowel using frequency analysis
Nishida Shigeki, Soh Takehide, Mashima Ryou
Research reports of Nara Technical College 2002 Nara National College of Technology
有界モデル検査による独立集合遷移問題の解法に関する考察
戸田 貴久, 伊藤 健洋, 川原 純, 宋 剛秀, 鈴木 顕, 照山 順一
情報処理学会 研究報告アルゴリズム（AL） 2022.1
正方形詰込み問題の制約モデルとSAT符号化を用いた解法
佐古田 淳史, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
2013年度人工知能学会全国大会 2013.6 人工知能学会
正規制約に対するSAT符号化手法の提案と評価
Tetsuya Ikuta, Naoyuki Tamura, Takehide Soh, Mutsunori Banbara
The 22th Workshop on Programming and Programming Languages (PPL 2020) 2020
正規制約のSAT符号化とその性能評価
生田 哲也, TAMURA NAOYUKI, BANBARA MUTSUNORI, SOH TAKEHIDE
日本ソフトウェア科学会第35回大会 2018.8
独立集合遷移問題に対する有界組合せ遷移の改良に関する一考察
第41回日本ソフトウェア科学会大会講演論文集 2024.9.9 Japan Society for Software Science and Technology
Solving Post-Enrollment Course Timetabling using Cardinality Constraint and SAT Solvers
佐古田 淳史, 宋 剛秀, 番原 睦則
人工知能学会全国大会論文集 2014 人工知能学会
組合せテストケース生成問題に対する制約解集合プログラミングの適用
KANEYUKI HIROMASA, BAMBARA MUTSUNORI, SO TAKEHIDE, TAMURA NAOYUKI, INOUE KATSUMI, 兼行 大将, BANBARA MUTSUNORI, SOH TAKEHIDE, 井上 克巳
人工知能学会全国大会論文集(CD-ROM) 2015 人工知能学会
Solving Job-shop Scheduling Problems with Multiple SAT Solvers
SOH Takehide, INOUE Katumi
IEICE technical report. Artificial intelligence and knowledge-based processing 2004.6.14 The Institute of Electronics, Information and Communication Engineers
生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
SOH TAKEHIDE, 井上克巳
電子情報通信学会技術研究報告. AI, 人工知能と知識処理 2004.6 社団法人電子情報通信学会
解集合ソルバーを用いた様相命題論理の充足可能性判定
Naoki Iino, Naoyuki Tamura, Takehide Soh, Banbara Mutsunori, Katsumi Inoue
The 22th Workshop on Programming and Programming Languages (PPL 2020) 2020
解集合プログラミングによるカリキュラムベース・コース時間割編成 Invited
BANBARA MUTSUNORI, 井上克巳, ベンジャミン カウフマン, トルステン シャウブ, SOH TAKEHIDE, TAMURA NAOYUKI, フィリップ ワンコ
第29回RAMPシンポジウム論文集 2017 日本オペレーションズ・リサーチ学会 常設研究部会数理計画
Satisfiability Testing of Propositional Modal Logic K with Answer Set Programming
IINO Naoki, TAMURA Naoyuki, SOH Takehide, BANBARA Mutsunori, INOUE Katsumi
Proceedings of the Annual Conference of JSAI 2020 The Japanese Society for Artificial Intelligence
解集合プログラミングを用いた優先度付き巨大近傍探索の実装と評価
桑原和也, 宋剛秀, 田村直之, 番原睦則
情報処理学会第84回全国大会講演論文集 2022.3
解集合プログラミングを用いた制約組合せテストケース生成
兼行 大将, 番原 睦則, 宋 剛秀, 田村 直之, 井上 克巳, 沖本 天太
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) 2016.3
解集合プログラミングを用いた多層ナンバーリンクの解法
坡山 直樹, 川原 征大, 迫 龍哉, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017.3 日本ソフトウェア科学会 プログラミング論研究会
順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化
宋剛秀, 番原睦則, 田村直之, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
日本ソフトウエア科学会大会講演論文集(CD-ROM) 2015.9.9 Japan Society for Software Science and Technology
SATソルバーとそのアプリケーション開発について (SAT型制約ソルバー) Invited
SOH TAKEHIDE
人工知能学会 第9回AIツール入門講座 2015.12 人工知能学会
SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用
SO TAKEHIDE, LE BERRE DANIEL, ROUSSEL STEPHANIE, BAMBARA MUTSUNORI, TAMURA NAOYUKI, SOH TAKEHIDE, Daniel Le Berre, Stéphanie Roussel, BANBARA MUTSUNORI
人工知能学会全国大会論文集(CD-ROM) 2014 人工知能学会
SATソルバーの使い方 —問題をSATに符号化する方法—
TAMURA NAOYUKI, SOH TAKEHIDE, BANBARA MUTSUNORI
第58回プログラミング・シンポジウム予稿集 2017.1 情報処理学会
SATソルバーの最新動向と利用技術
SOH TAKEHIDE, TAMURA NAOYUKI
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 2017.3 日本ソフトウェア科学会 プログラミング論研究会
SATソルバーを用いた一層平面配置配線問題の解法に関する考察
日本ソフトウェア科学会第37回大会ポスター発表 2020.9.10 Japan Society for Software Science and Technology
SATソルバーを用いた制約プログラミングシステムとその応用
SOH TAKEHIDE
第57回プログラミング・シンポジウム 2016.1 情報処理学会
SATソルバーを用いた様相命題論理S4の充足可能性判定
飯野 有軌, TAMURA NAOYUKI, BANBARA MUTSUNORI, SOH TAKEHIDE
日本ソフトウェア科学会第35回大会 2018.8
SATソルバーを用いた部分グラフ探索のための制約モデル
川原 征大, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
2016年度人工知能学会全国大会(第30回)論文集 2016 人工知能学会
SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価
川原征大, 宋剛秀, 番原睦則, 田村直之, 川原 征大, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
日本ソフトウエア科学会大会講演論文集(CD-ROM) 2015.9.9 Japan Society for Software Science and Technology
Analyzing Pathways through a Translation into SAT Problems
宋 剛秀, 井上 克巳
論文集 2009 人工知能学会
SAT型制約ソルバーによるナンバーリンクの求解と解の最適化
Ryuya Sako, Seidai Kawahara, Naoyuki Tamura, Mutsunori Banbara, Takehide Soh, Hidetomo Nabeshima
DA Symposium 2015 2015
SAT型制約ソルバーによるナンバーリンクの解法とその評価
迫 龍哉, 川原 征大, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 鍋島 英知
2016年度人工知能学会全国大会(第30回)論文集 2016 人工知能学会
SAT型制約ソルバーを用いた3次元ナンバーリンクの解法
寸田 智也, 南 雄之, 宋 剛秀, 田村 直之
DAシンポジウム2017 2017.8 情報処理学会システムとLSIの設計技術研究会
Solving Numberlink by a SAT-based Constraint Solver
TAMURA NAOYUKI, SOH TAKEHIDE, BANBARA MUTSUNORI, 鍋島 英知
DAシンポジウム2014論文集 2014.8.21 情報処理学会システムとLSIの設計技術研究会
SAT型制約ソルバーを用いた多層ナンバーリンクの解法
寸田 智也, 南 雄之, 吉玉 元和, SOH TAKEHIDE
DAシンポジウム2016 2016.9 情報処理学会 システムとLSIの設計技術研究会（SLDM）
SAT技術を用いた正規ペトリネットのデッドロック検出手法の提案
寸田 智也, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
日本ソフトウェア科学会第33回大会講演論文集 2017 日本ソフトウェア科学会
Scala 上で実現されたSAT型制約プログラミングシステムのための開発ツール Scarab について
SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, Daniel Le Berre, Stéphanie Roussel
日本ソフトウェア科学会第30回大会 2013.9 日本ソフトウェア科学会
Scala 上に実現した生物の代謝パスウェイ解析用のドメイン特化言語について
SOH TAKEHIDE, 馬場 知哉
日本ソフトウェア科学会第32回大会 2015.9 日本ソフトウェア科学会
Prototyping Tool for SAT-based Constraint Programming Systems in Scala
宋 剛秀, 番原 睦則, 田村 直之
日本ソフトウェア科学会大会論文集 2014.9.7
Scarab: Scala上で実現されたSAT型制約プログラミングシステムのための高速開発ツール
宋 剛秀, 田村 直之, 番原 睦則
第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013) 2013.3 日本ソフトウェア科学会
Scarab: 高度なSAT解法を利用可能な制約プログラミングシステム
SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
第17回プログラミングおよびプログラミング言語ワークショップ (PPL 2015) 2015.3 日本ソフトウェア科学会プログラミング論研究会
Predicting Gene Knockout Effects on E. coli by Minimal Active Pathway Enumeration
SOH Takehide, INOUE Katsumi, BABA Tomoya, TAKADA Toyoyuki, SHIROISHI Toshihiko
情報処理学会研究報告(CD-ROM) 2012.2.15
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation International conference
Takehide Soh, Katsumi Inoue
The Sixth Conference on Prestigious Applications of Intelligent Systems (PAIS 2010) 2010
heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装
Irumi Sugimori, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima, Mutsunori Banbara
The 26th Workshop on Programming and Programming Languages (PPL 2024) 2024
Diet-Sugar: ハイブリッドSAT符号化を実装したSAT型制約ソルバー
SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI
第58回プログラミング・シンポジウム予稿集 2017.1 情報処理学会
CSPSAT Projects and their SAT Related Tools International conference
Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, Katsumi Inoue
The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), Combined tool demo and poster session 2013.7 SAT
Studies on a Parallelization Method of SAT-based CSP Solvers using CEGAR and the Share of Counterexamples
宋 剛秀, 鍋島 英知, 番原 睦則, 田村 直之, 井上 克巳
人工知能基本問題研究会 2020.3.8
CDCL型SATソルバーの内部動作可視化ツール
日本ソフトウェア科学会第38回大会ポスター発表 2021.9.10 Japan Society for Software Science and Technology
Answer Set Programming as a Modeling Language for Course Timetabling
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
第16回プログラミングおよびプログラミング言語ワークショップ 2014.3 日本ソフトウェア科学会プログラミング論研究会
An Implementation of Model-based Abduction and its Application to Systems Biology International conference
Takehide Soh, Katsumi Inoue
The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09), Bastia, France 2009
alldifferent制約のブール基数制約への符号化手法の提案とクイーングラフ彩色問題への応用
大野周亮, 番原睦則, SOH TAKEHIDE, TAMURA NAOYUKI
人工知能学会研究会資料 2019.3 人工知能学会
A-7-4 Parallel Implementation of the Block Lanczos Algorithm on the Dual-CPU Workstation
Soh Takehide, Kuwakado Hidenori, Morii Masakatu, Tanaka Hatsukazu
Proceedings of the Society Conference of IEICE 2005.9.7 The Institute of Electronics, Information and Communication Engineers
A SAT-based Method for Analyzing Metabolic Pathways International conference
Takehide Soh, Katsumi Inoue
Poster presentation at: Systems Biochemistry 2010 2010
A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition
SOH Takehide, BERRE Daniel Le, BANBARA Mutsunori, TAMURA Naoyuki
Proceedings of the Annual Conference of JSAI 2019 The Japanese Society for Artificial Intelligence
A SAT-based Approach for Analyzing Biochemical Pathways International conference
Takehide Soh, Katsumi Inoue
The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08), Takayama, Japan 2008
(2H3-3)SAT問題への変換を用いたフィードバックを含むパスウェイの解析
SOH TAKEHIDE, 井上克巳
人工知能学会全国大会 2009.6
iSugar:インクリメンタルSAT解法が利用可能なSAT型制約ソルバー
迫龍哉, 宋剛秀, 番原睦則, 田村直之, 鍋島英知, 井上克巳, 迫 龍哉, SOH TAKEHIDE, BANBARA MUTSUNORI, TAMURA NAOYUKI, 鍋島 英知, 井上 克巳
日本ソフトウエア科学会大会講演論文集(CD-ROM) 2015.9.9 Japan Society for Software Science and Technology
ASP-based Approach to Solving Combinatorial Reconfiguration Problems and its Extension to Optimal Reconfiguration
Grant number：25K03097 2025.4 - 2028.3
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (B)
Grant type：Competitive
解空間の形状に着目した組合せ遷移の理論：計算量解析の高精細化とソルバー新技法
Grant number：24H00686 2024.4 - 2028.3
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (A)
Grant type：Competitive
Speeding-up SAT-based Constraint Optimization Solvers
Grant number：23K11047 2023.4 - 2027.3
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Authorship：Principal investigator
Grant amount：\4160000 （ Direct Cost: \3200000 、 Indirect Cost：\960000 ）
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
Grant number：22K11973 2022.4 - 2025.3
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Research and Development on SAT-based Integration of Systematic and Stochastic Search
Grant number：21K11828 2021.4 - 2024.3
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone
Grant number：20H05794 2020.4 - 2023.3
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Transformative Research Areas (B)
Acceleration of SAT-based CSP Solvers using MDD
Grant number：20K11748 2020.4 - 2023.3
Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)
Authorship：Principal investigator
Grant amount：\4290000 （ Direct Cost: \3300000 、 Indirect Cost：\990000 ）
Grant number：18K11242 2018.4 - 2021.3
Japan Society for the Promotion of Science Grant-in-Aid for Scientific Research (C)
Grant type：Competitive
High Performance SAT-based Constraint Programming System using Hybrid Encoding
Grant number：16K16036 2016.4 - 2019.3
Japan Society for the Promotion of Science Grant-in-Aid for Young Scientists (B)
Authorship：Principal investigator Grant type：Competitive
Research and Development of a New Constraint Programming System based on SAT
Grant number：16H02803 2016.4 - 2019.3
Japan Society for the Promotion of Science Grant-in-Aid for Scientific Research (B)
Grant type：Competitive
Research and Development on Constraint Answer Set Programming Using SAT Encoding
Grant number：15K00099 2015.4 - 2018.3
Japan Society for the Promotion of Science Grant-in-Aid for Scientific Research (C)
Grant type：Competitive
Research and Development of Constraint Programming Systems for Metabolic Pathway Analysis
Grant number：25730042 2013.4 - 2016.3
Grant-in-Aid for Young Scientists (B)
Authorship：Principal investigator Grant type：Competitive
Grant amount：\2340000 （ Direct Cost: \1800000 、 Indirect Cost：\540000 ）
Grant number：24300007 2012.4 - 2015.3
Grant-in-Aid for Scientific Research (B)
Grant type：Competitive
SAT変換を用いた制約充足問題の解法とシステム生物学への応用
Grant number：10J02321 2010 - 2011
言語工学（-15）
（Kobe University）
Theory of Programming Languages
（Kobe University）
プログラミング言語特論
（Kobe University）
プログラミング言語論及び演習（-15）
（Kobe University）
情報基礎
（Kobe University）
情報基礎特論
（Kobe University）
言語工学
（Kobe University）
Advanced Theory of Informatics
（Kobe University）
Advanced Course on Programming Languages
（Kobe University）
Introduction to Computer Literacy
（Kobe University）
Paradigm of Programming Languages and Practice
（Kobe University）
