Researchers Information System

日本語に切り替えるswitch to english

Yamamoto, Akihiro

Graduate School of Informatics, Department of Informatics Professor

Yamamoto, Akihiro
list
    Last Updated :2024/10/23

    Basic Information

    Faculty

    • 工学部 工学部 情報学科

    Concurrent Affiliation

    • Center for the Promotion of Interdisciplinary Education and Research (C-PiER), 高度情報教育基盤ユニット, ユニット長
    • Institute for Liberal Arts and Sciences, データ科学イノベーション教育研究センター, センター長

    Professional Memberships

    • 日本ソフトウェア科学会
    • 人工知能学会
    • 情報処理学会

    Academic Degree

    • Doctor of Science(Kyushu University)

    Academic Resume (Graduate Schools)

    • Kyushu University, 大学院総合理工学研究科情報システム学専攻博士後期課程, 修了
    • Kyushu University, 大学院総合理工学研究科情報システム学専攻, 修了

    Academic Resume (Undergraduate School/Majors)

    • Kyoto University, Faculty of Science, 卒業

    Language of Instruction

    • English

    ID,URL

    researchmap URL

    list
      Last Updated :2024/10/23

      Research

      Research Topics, Overview of the research

      • Research Topics

        Machine Learning and Knowledge Discovery, as application of Mathematical Logic, Theory of Computation, and Formal Language Theory
      • Overview of the research

        My research focuses on inductive inference, with the aim of establishing new mathematical foundations of intelligent systems. Inductive inference is to extract knowledge from available data and to provide principled approaches to analyze new, unseen data. A typical academic field where investigating the inference with algorithmic technique is machine learning. I investigate theoretical foundations and implementations of inductive inference, using different approaches such as: computation theory;data structure; optimization theory. I also interested in developing coherent systems for knowledge discovery, and clarify relationships between machine learning, mathematical logic, and algebra.

      Research Interests

      • 計算機科学
      • 知能情報学
      • 情報工学
      • 情報科学
      • 情報学
      • Computer Science
      • Intelligent Informatics

      Research Areas

      • Informatics, Intelligent informatics
      • Informatics, Information theory

      Papers

      • On representing the set of all parse trees with a decision diagram
        Kei Amii; Masaaki Nishino; Akihiro Yamamoto
        Transactions of the Japanese Society for Artificial Intelligence, 2019
      • CEUR Workshop Proceedings: Preface
        Katsumi Inoue; Hayato Ohwada; Akihiro Yamamoto
        CEUR Workshop Proceedings, 2015
      • Link prediction on bipartite networks using matrix factorization with negative sample selection.
        Siqi Peng; Akihiro Yamamoto; Kimihito Ito
        PloS one, 2023
      • Data Science Curricula on the Viewpoint of Data Science Process
        Akihiro Yamamoto
        Journal of Japan Soceity of Information and Knowledge, Dec. 2021, Invited, Lead author, Corresponding author
      • HTML-LSTM: Information Extraction from HTML Tables in Web Pages Using Tree-Structured LSTM
        Kazuki Kawamura; Akihiro Yamamoto
        Discovery Science - 24th International Conference (DS 2021) Proceedings. Lecture Notes in Computer Science 12986, Oct. 2021, Peer-reviewed
      • Event Time Extraction from Japanese News Archives
        Siqi Peng; Akihiro Yamamoto; Shinsuke Mori; Tatsuki Sekino
        2022 IEEE International Conference on Big Data (Big Data), 17 Dec. 2022, Peer-reviewed
      • Robustness Evaluation of Text Classification Models Using Mathematical Optimization and Its Application to Adversarial Training.
        Hikaru Tomonari; Masaaki Nishino; Akihiro Yamamoto
        AACL/IJCNLP (Findings), 2022
      • Differentiable Inductive Logic Programming for Structured Examples.
        Hikaru Shindo; Masaaki Nishino; Akihiro Yamamoto
        CoRR, 2021
      • Differentiable Inductive Logic Programming for Structured Examples.
        Hikaru Shindo; Masaaki Nishino; Akihiro Yamamoto
        Thirty-Fifth AAAI Conference on Artificial Intelligence(AAAI), 2021
      • Metric Learning for Ordered Labeled Trees with pq-grams.
        Hikaru Shindo; Masaaki Nishino; Yasuaki Kobayashi; Akihiro Yamamoto
        ECAI 2020 - 24th European Conference on Artificial Intelligence(ECAI), 2020
      • Mining Disjoint Sequential Pattern Pairs from Tourist Trajectory Data.
        Siqi Peng; Akihiro Yamamoto
        Discovery Science - 23rd International Conference(DS2020), Lecture Notes in Computer Science 12323, 2020
      • Guest Editorial: Special issue on Discovery Science.
        Takuya Kida; Tetsuji Kuboyama; Takeaki Uno; Akihiro Yamamoto
        Mach. Learn., 2020
      • Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem.
        Yasuaki Kobayashi; Kensuke Kojima; Norihide Matsubara; Taiga Sone; Akihiro Yamamoto
        CoRR, 2019
      • Automatic Source Code Summarization with Extended Tree-LSTM.
        Yusuke Shido; Yasuaki Kobayashi; Akihiro Yamamoto; Atsushi Miyamoto; Tadayuki Matsumura
        CoRR, 2019
      • Automatic Source Code Summarization with Extended Tree-LSTM.
        Yusuke Shido; Yasuaki Kobayashi; Akihiro Yamamoto; Atsushi Miyamoto; Tadayuki Matsumura
        Proceedings of the International Joint Conference on Neural Networks, 2019, Peer-reviewed
      • Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem.
        Yasuaki Kobayashi; Kensuke Kojima; Norihide Matsubara; Taiga Sone; Akihiro Yamamoto
        Combinatorial Optimization and Applications, 2019, Peer-reviewed
      • Using Binary Decision Diagrams to Enumerate Inductive Logic Programming Solutions.
        Hikaru Shindo; Masaaki Nishino; Akihiro Yamamoto
        Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), 2018
      • Extending Various Thesauri by Finding Synonym Sets from a Formal Concept Lattice
        IKEDA Madori; YAMAMOTO Akihiro
        Journal of Natural Language Processing, 2018, Peer-reviewed
      • Extending Various Thesauri by Finding Synonym Sets from a Formal Concept Lattice
        Ikeda Madori; Yamamoto Akihiro
        Information and Media Technologies, 2017
      • Improved Methods for Computing Distances between Unordered Trees Using Integer Programming.
        Eunpyeong Hong; Yasuaki Kobayashi; Akihiro Yamamoto
        CoRR, 2017
      • Discovery Science - 20th International Conference, DS 2017, Kyoto, Japan, October 15-17, 2017, Proceedings
        DS, 2017
      • Protein-Protein Interaction Extraction from Text by Selecting Linguistic Features.
        Thi Thanh Thuy Phan; Takenao Ohkawa; Akihiro Yamamoto
        17th IEEE International Conference on Bioinformatics and Bioengineering(BIBE), 2017
      • On the Sizes of Decision Diagrams Representing the Set of All Parse Trees of a Context-free Grammar.
        Masaaki Nishino; Kei Amii; Akihiro Yamamoto
        Proceedings of the 3rd Workshop on Advanced Methodologies for Bayesian Networks(AMBN), 2017
      • Special issue on inductive logic programming.
        Katsumi Inoue; Hayato Ohwada; Akihiro Yamamoto
        Mach. Learn., 2017
      • Improved Methods for Computing Distances Between Unordered Trees Using Integer Programming.
        Eunpyeong Hong; Yasuaki Kobayashi; Akihiro Yamamoto
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, Peer-reviewed
      • Outlier detection using binary decision diagrams.
        Takuro Kutsuna; Akihiro Yamamoto
        Data Min. Knowl. Discov., 2017, Peer-reviewed
      • Learning concepts and their unions from positive data with refinement operators.
        Seishi Ouchi; Tomohiko Okayama; Keisuke Otaki; Ryo Yoshinaka; Akihiro Yamamoto
        Ann. Math. Artif. Intell., 2017, Peer-reviewed
      • Periodic Pattern Mining with Periodical Co-occurrences of Symbols
        OTAKI Keisuke; YAMAMOTO Akihiro
        IPSJ Journal (TOM), Feb. 2016, Peer-reviewed
      • Inductive Logic Programming - 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
        ILP, 2016
      • Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, Kyoto University, Kyoto, Japan, August 20th to 22nd, 2015.
        ILP (Late Breaking Papers), 2016
      • Inductive Logic Programming: Challenges.
        Katsumi Inoue; Hayato Ohwada; Akihiro Yamamoto
        Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence(AAAI), 2016
      • Abstraction and refinement of mathematical functions toward SMT-based test-case generation.
        Takuro Kutsuna; Yoshinao Ishii; Akihiro Yamamoto
        Int. J. Softw. Tools Technol. Transf., 2016, Peer-reviewed
      • Periodical Skeletonization for Partially Periodic Pattern Mining.
        Keisuke Otaki; Akihiro Yamamoto
        DISCOVERY SCIENCE, DS 2015, 2015, Peer-reviewed
      • Tree PCA for Extracting Dominant Substructures from Labeled Rooted Trees.
        Tomoya Yamazaki; Akihiro Yamamoto; Tetsuji Kuboyama
        DISCOVERY SCIENCE, DS 2015, 2015, Peer-reviewed
      • アイテム集合間の包含関係に基づく飽和アイテム集合族の更新手法,
        西村 翔一; 吉仲 亮; 山本 章博; 宇野 毅明
        第93回人工知能基本問題研究会, Mar. 2014
      • Causal Discovery in a Binary Exclusive-or Skew Acyclic Model: BExSAM.
        Takanori Inazumi; Takashi Washio; Shohei Shimizu; Joe Suzuki; Akihiro Yamamoto; Yoshinobu Kawahara
        CoRR, 2014
      • A Sparse Parameter Learning Method for Probabilistic Logic Programs.
        Masaaki Nishino; Akihiro Yamamoto; Masaaki Nagata
        Statistical Relational Artificial Intelligence, 2014
      • Local Feature Selection by Formal Concept Analysis for Multi-class Classification.
        Madori Ikeda; Akihiro Yamamoto
        TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 2014, Peer-reviewed
      • Outlier Detection Based on Leave-One-Out Density Using Binary Decision Diagrams.
        Takuro Kutsuna; Akihiro Yamamoto
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, Peer-reviewed
      • A parameter-free approach for one-class classification using binary decision diagrams.
        Takuro Kutsuna; Akihiro Yamamoto
        Intell. Data Anal., 2014, Peer-reviewed
      • Fast Computation of the Tree Edit Distance between Unordered Trees Using IP Solvers.
        Seiichi Kondo; Keisuke Otaki; Madori Ikeda; Akihiro Yamamoto
        DISCOVERY SCIENCE, DS 2014, 2014, Peer-reviewed
      • Predicate-argument Structure based Textual Entailment Recognition System of KYOTO Team for NTCIR-10 RITE-2.
        Tomohide Shibata; Sadao Kurohashi; Shotaro Kohama; Akihiro Yamamoto
        Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies(NTCIR), 2013
      • Semi-supervised learning on closed set lattices.
        Mahito Sugiyama; Akihiro Yamamoto
        Intell. Data Anal., 2013, Peer-reviewed
      • Learning figures with the Hausdorff metric by fractals - towards computable binary classification.
        Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto
        Mach. Learn., 2013, Peer-reviewed
      • Semi-Supervised Ligand Finding Using Formal Concept Analysis
        Sugiyama Mahito; Imajo Kentaro; Otaki Keisuke; Yamamoto Akihiro
        IMT, 2012
      • Discovering causal structures in binary exclusive-or skew acyclic models
        Takanori Inazumi; Takashi Washio; Shohei Shimizu; Joe Suzuki; Akihiro Yamamoto; Yoshinobu Kawahara
        CoRR, 2012
      • Privacy Preserving Using Dummy Data for Set Operations in Itemset Mining Implemented with ZDDs.
        Keisuke Otaki; Mahito Sugiyama; Akihiro Yamamoto
        IEICE Trans. Inf. Syst., 2012, Peer-reviewed
      • Learning Families of Closed Sets in Matroids.
        Ziyuan Gao; Frank Stephan 0001; Guohua Wu; Akihiro Yamamoto
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Peer-reviewed
      • Semi-supervised ligand finding using formal concept analysis
        Mahito Sugiyama; Kentaro Imajo; Keisuke Otaki; Akihiro Yamamoto
        IPSJ Online Transactions, 2012, Peer-reviewed
      • Learning from graph data by putting graphs on the lattice.
        Viet Anh Nguyen; Akihiro Yamamoto
        Expert Syst. Appl., 2012, Peer-reviewed
      • Efficient Mining of Closed Tree Patterns from Large Tree Databases with Subtree Constraint.
        Viet Anh Nguyen; Koichiro Doi; Akihiro Yamamoto
        Int. J. Artif. Intell. Tools, 2012, Peer-reviewed
      • Mining of closed frequent subtrees from frequently updated databases.
        Viet Anh Nguyen; Akihiro Yamamoto
        Intell. Data Anal., 2012, Peer-reviewed
      • Knowledge-leveraged Computational Thinking through Natural Language Processing and Statistical Logic (NII Shonan Meeting 2011-4).
        Sadao Kurohashi; Akihiro Yamamoto; Kentaro Inui; Sebastian Riedel 0001
        NII Shonan Meet. Rep., 2011
      • Discovering causal structures in binary exclusive-or skew acyclic models.
        Takanori Inazumi; Takashi Washio; Shohei Shimizu; Joe Suzuki; Akihiro Yamamoto; Yoshinobu Kawahara
        UAI 2011(UAI), 2011
      • Mining Closed Weighted Itemsets for Numerical Transaction Databases.
        Yuichi Kameda; Akihiro Yamamoto
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, Peer-reviewed
      • Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses.
        Madori Ikeda; Masaaki Nishino; Koichiro Doi; Akihiro Yamamoto; Susumu Hayashi
        KNOWLEDGE, INFORMATION, AND CREATIVITY SUPPORT SYSTEMS, 2010, Peer-reviewed
      • Topological properties of concept spaces (full version).
        Matthew de Brecht; Akihiro Yamamoto
        Inf. Comput., 2010, Peer-reviewed
      • Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data.
        Matthew de Brecht; Akihiro Yamamoto
        Theor. Comput. Sci., 2010, Peer-reviewed
      • 代数学・数学基礎論における機械学習
        山本 章博
        人工知能学会誌, 2009, Peer-reviewed
      • The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009).
        Akihiro Yamamoto; Kouichi Hirata; Shin-ichi Minato
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2009, Peer-reviewed
      • Intentional kernel functions
        K. Doi; T. Yamashita; T. Tanaka; A. Yamamoto
        Transactions of the Japanese Society for Artificial Intelligence, 2008, Peer-reviewed
      • Intentional Kernel Functions
        Doi Koichiro; Yamashita Tetsuya; Tanaka Takayuki; Yamamoto Akihiro
        Transactions of the Japanese Society for Artificial Intelligence, 2008, Peer-reviewed
      • 人工知能における計算論的学習理論とNoether環
        小林正典; 徳永浩雄; 山本章博
        数学, 2007, Peer-reviewed
      • The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007).
        Akihiro Yamamoto; Kouichi Hirata
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2007, Peer-reviewed
      • Machine Learning: Foreword
        Tamás Horváth; Akihiro Yamamoto
        Machine Learning, Sep. 2006, Peer-reviewed
      • The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006).
        Akihiro Yamamoto; Kouichi Hirata; Ken Satoh
        New Frontiers in Artificial Intelligence, JSAI 2006 Conference and Workshops(JSAI), 2006
      • Foreword.
        Tamás Horváth 0001; Akihiro Yamamoto
        Mach. Learn., 2006
      • Hypothesis finding with proof theoretical appropriateness criteria.
        Bertram Fronhöfer; Akihiro Yamamoto
        Theor. Comput. Sci., 2006, Peer-reviewed
      • Foundations of inductive logic programming and recent research topics
        A. Yamamoto
        Computer Software, 2006, Peer-reviewed
      • Inductive Logic Programming: Yet Another Application of Logic.
        Akihiro Yamamoto
        Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management(INAP), 2005
      • Workshop on Learning with Logics and Logics for Learning (LLLL).
        Akihiro Yamamoto; Kouichi Hirata
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2005, Peer-reviewed
      • 精密化演算子を用いた帰納メタ論理プログラミング
        山本章博
        コンピュータソフトウェア, 28 Sep. 2004, Peer-reviewed
      • Similarity of Documents Based on the Vector Sequence Model.
        Akihiro Yamamoto; Akira Ogiso
        INTUITIVE HUMAN INTERFACES FOR ORGANIZING AND ACCESSING INTELLECTUAL ASSETS, 2004, Peer-reviewed
      • Discovery Science, 6th International Conference, DS 2003, Sapporo, Japan, October 17-19,2003, Proceedings
        Discovery Science, 2003
      • Unifying various knowledge discovery systems in logic of discovery
        T Kikuchi; A Yamamoto
        INFORMATION MODELLING AND KNOWLEDGE BASES XIV, 2003, Peer-reviewed
      • Finding Similar Stories by Using Sequences of Occurence Vectors.
        Akira Ogiso; Akihiro Yamamoto
        INFORMATION MODELLING AND KNOWLEDGE BASES XV, 2003, Peer-reviewed
      • Hypothesis finding based on upward refinement of residue hypotheses.
        Akihiro Yamamoto
        Theor. Comput. Sci., 2003, Peer-reviewed
      • A Theory of Hypothesis Finding in Clausal Logic.
        Akihiro Yamamoto; Bertram Fronhöfer
        Progress in Discovery Science, 2002
      • Minimised Residue Hypotheses in Relevant Logic.
        Bertram Fronhöfer; Akihiro Yamamoto
        ALGORITHMIC LEARNING THEORY, PROCEEDINGS, 2002, Peer-reviewed
      • A software environment for operating various discovery systems based on the logic of discovery
        Toshiyuki Kikuchi; Akihiro Yamamoto
        Transactions of the Japanese Society for Artificial Intelligence, 2002, Peer-reviewed
      • A software environment for operating various discovery systems based on the logic of discovery
        Toshiyuki Kikuchi; Akihiro Yamamoto
        Transactions of the Japanese Society for Artificial Intelligence, 2002, Peer-reviewed
      • Modelling Semi-structured Documents with Hedges for Deduction and Induction.
        Akihiro Yamamoto; Kimihito Ito; Akira Ishino; Hiroki Arimura
        Inductive Logic Programming(ILP), 2001
      • New Conditions for the Existence of Least Generalizations under Relative Subsumption.
        Akihiro Yamamoto
        Inductive Logic Programming(ILP), 2000
      • Hypotheses Finding via Residue Hypotheses with the Resolution Principle.
        Akihiro Yamamoto; Bertram Fronhöfer
        ALGORITHMIC LEARNING THEORY, PROCEEDINGS, 2000, Peer-reviewed
      • Inductive logic programming: From logic of discovery to machine learning
        H Arimura; A Yamamoto
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, Jan. 2000, Peer-reviewed
      • A Constructive Learning Algorithm Which Invents New Predicates Based on Schemata and Queries
        ITO Kimihito; YAMAMOTO Akihiro; Kimihito Ito; Akihiro Yamamoto; Department of Electrical Engineering Hokkaido University; Division of Electronics and Information Engineering Hokkaido University
        Journal of Japanese Society for Artificial Intelligence, 01 Jul. 1999, Peer-reviewed
      • Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses
        ITO Kimihito; YAMAMOTO Akihiro; Kimihito Ito; Akihiro Yamamoto; Department of Electrical Engineering Hokkaido University; Division of Electronics and Information Engineering Hokkaido University
        Journal of Japanese Society for Artificial Intelligence, 01 Jul. 1999, Peer-reviewed
      • 等式プログラミングにおける複雑化を用いた帰納推論
        山本 章博
        人工知能学会誌, 01 May 1999, Peer-reviewed
      • Inference of Equational Programs by Inverse Reduction
        山本 章博
        Journal of Japan Society for Artificial Intelligence,14/3,504-519, 1999, Peer-reviewed
      • A Constructive Learning Algorithm Which Invents New Predicates Based on Schemata and Queries
        山本 章博
        Journal of Japan Society for Artificial lutelhgence,14/4,686, 1999, Peer-reviewed
      • An Inference Method for the Complete Inverse of Relative Subsumption.
        Akihiro Yamamoto
        New Gener. Comput., 1999, Peer-reviewed
      • Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Program.
        Akihiro Yamamoto
        New Gener. Comput., 1999, Peer-reviewed
      • Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses.
        Kimihito Ito; Akihiro Yamamoto
        DISCOVERY SCIENCE, 1998, Peer-reviewed
      • Logical Aspects of Several Bottom-Up Fittings.
        Akihiro Yamamoto
        ALGORITHMIC LEARNING THEORY, 1998, Peer-reviewed
      • Theoretical Foundations of Inductive Logic Programming
        YAMAMOTO Akihiro; Akihiro Yamamoto; Division of Electronics and Information Engineering Hokkaido University
        Journal of Japanese Society for Artificial Intelligence, 01 Sep. 1997, Peer-reviewed
      • Extensions of Deductive Logic Programming for lnductive Logic Progromming
        山本 章博
        Deduction : Dagstubl Seminar Report 170,, 1997, Peer-reviewed
      • Generalization in Typed Equational Programming and Their Application to Learning Functions.
        Akira Ishino; Akihiro Yamamoto
        New Gener. Comput., 1997, Peer-reviewed
      • Learning Logic Programs Using Definite Equality Theories as Background Knowledge.
        Akihiro Yamamoto
        IEICE Trans. Inf. Syst., 1995, Peer-reviewed
      • Learning from Examples with Typed Equational Programming.
        Akira Ishino; Akihiro Yamamoto
        Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference(AII/ALT), 1994
      • Generalized Unification as Background Knowledge in Learning Logic Programs.
        Akihiro Yamamoto
        Algorithmic Learning Theory(ALT), 1993
      • ALGORITHMIC LEARNING-THEORY WITH ELEMENTARY FORMAL SYSTEMS
        S ARIKAWA; S MIYANO; A SHINOHARA; T SHINOHARA; A YAMAMOTO
        IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, Jul. 1992, Peer-reviewed
      • Polynomial-Time MAT Learning of Multilinear Logic Programs.
        Kimihito Ito; Akihiro Yamamoto
        Algorithmic Learning Theory(ALT), 1992
      • Learning Elementary Formal Systems.
        Setsuo Arikawa; Takeshi Shinohara; Akihiro Yamamoto
        Theor. Comput. Sci., 1992, Peer-reviewed
      • Short Note: Procedural Semantics and Negative Information of Elementary Formal System.
        Akihiro Yamamoto
        J. Log. Program., 1992, Peer-reviewed
      • Completeness Problem on Extended Unification Based on Basic Narrowing.
        Akihiro Yamamoto
        コンピュータソフトウェア, 14 Jul. 1989, Peer-reviewed
      • Elementary Formal System as a Logic Programming Language.
        Akihiro Yamamoto
        Logic Programming '89(LP), 1989
      • AN ANATOMY OF ABSTRACTION
        Akihito Yamamoto
        Bulletin of informatics and cybernetics, Mar. 1987, Peer-reviewed
      • A Theoretical Combination of SLD-Resolution and Narrowing.
        Akihiro Yamamoto
        Logic Programming(ICLP), 1987

      Misc.

      • 知識グラフを用いた多肢選択問題に対する選択肢と根拠の生成方法
        植松温大; 山本章博; 市瀬夏洋
        社会システムと情報技術研究ウィーク WSSIT 2023, Mar. 2023
      • 類似度指標のラベル付き有向グラフへの拡張
        松原 徳秀; 山本 章博
        第121回人工知能基本問題研究会, Sep. 2022, Last author
      • Bidirectional Tree-LSTMを用いたHTML形式の表構造からの情報抽出
        河村 和紀; 山本章博
        第115回人工知能基本問題研究会, Jan. 2021, Last author
      • 消失イデアルのGröbner基底を計算するFarr-Gao のアルゴリズムの機械学習としての性質
        日野 遼人; 山本章博
        第115回人工知能基本問題研究会, Jan. 2021, Last author
      • Characterizing Inverse Entailment by Generalizing Logic Programming
        YAMAMOTO Akihiro
        人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI, 24 Jun. 1997
      • Inverse Resolution for Simple Recursive Clauses
        MORITA Masahiro; YAMAMOTO Akihiro
        人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI, 24 Jul. 1995
      • The Inductive Inference of Stratified Recursive Programs
        ISHINO Akira; YAMAMOTO Akihiro
        人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI, 20 Jul. 1993
      • Reformalization of Reasoning Web Model for graphical representation of hypotheses
        池田 真土里; 土井 晃一郎; 山本 章博
        人工知能基本問題研究会, 13 Mar. 2009
      • Extracting the structures of open source software programs from their developer mailing lists (特集 「大規模データからの機械学習と自然言語処理への応用」および一般)
        Anh Nguyen Dinh; 土井 晃一郎; 山本 章博
        人工知能基本問題研究会, 13 Mar. 2009
      • Finding frequent phrase pattern from musicXML data
        久野 慎弥; 土井 晃一郎; 山本 章博
        人工知能基本問題研究会, 04 Jul. 2008
      • Building Refinement Operators into MINL Strategy in Identification in the Limit from Positive Data
        OUCHI Seishi; YAMAMOTO Akihiro
        IPSJ SIG Notes. ICS, 07 Mar. 2008
      • The properties of intentional kernels for RNA classification
        三功 浩嗣; 土井 晃一郎; 山本 章博
        人工知能基本問題研究会, 16 Jan. 2008
      • 単語の出現区間推定を利用した物語構造の抽出 (テーマ:「Web情報処理」および一般発表)
        藤井 崇介; 土井 晃一郎; 山本 章博
        知識ベ-スシステム研究会, 22 Jan. 2007
      • Finding Commom and Frequent Tree Patterns from Semi-Structured Texts Compressed by a Tree Grammar Compression Method
        MURAKAMI Seiji; DOI Koichiro; YAMAMOTO Akihiro
        IEICE technical report, 31 May 2007
      • Building Refinement Operators into MINL Strategy in Identification in the Limit from Positive Data
        OUCHI Seishi; YAMAMOTO Akihiro
        IEICE technical report, 27 Feb. 2008
      • Narrative structure extraction and recovering by word interval clustering
        藤井 崇介; 土井 晃一郎; 山本 章博
        人工知能基本問題研究会, 26 Mar. 2007
      • Extracting Structure of Narratives by Interval Estimation
        FUJII Shusuke; DOI Kouichiro; YAMAMOTO Akihiro
        電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学, 16 Jan. 2007
      • Hypothesis Finding based on Herbrand's Theorem
        YAMAMOTO Akihiro
        人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI, 03 Jul. 2000
      • Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses
        ITO Kimihito; YAMAMOTO Akihiro
        IPSJ SIG Notes. ICS, 02 Oct. 1998
      • PAC - Learning of Logic Programs with Generalized Unification
        Yamamoto Akihiro
        情報処理学会研究報告知能と複雑系(ICS), 28 Sep. 1993
      • Bottom-up Derivation Interpretations of Typed Definite Logic Programs
        Yamamoto Akihiro
        情報処理学会研究報告. [プログラミング-言語基礎実践-], 28 May 1993
      • New Approaches to the Relation between Computational Learning and Machine Learning
        YAMAMOTO Akihiro
        IEICE technical report, 11 May 2006
      • Data Compression and Anti-unification for Semi-structured Documents with Tree Grammars
        ONUMA Jun; DOI Koichiro; YAMAMOTO Akihiro
        IEICE technical report, 11 May 2006
      • Inference of programs by stratifying recursion
        Ishino Akira; Yamamoto Akihiro
        Bulletin of the Faculty of Engineering, Hokkaido University, Jan. 1994
      • 論理プログラムにおける引数の呼び出しパタ-ンを用いた帰納推論 (第31回人工知能基礎論研究会(SIG-FAI))
        伊藤 公人; 山本 章博
        合同研究会AIシンポジウム, 1997
      • Finding frequent tree patterns from compressed semi-structured documents
        村上 征嗣; 土井 晃一郎; 山本 章博
        論文集, 2009
      • 相対包摂のもとでの最小汎化が存在するための条件
        山本 章博; 伊藤 公人
        人工知能基礎論研究会, 07 Jul. 1999
      • 帰納等式プログラミングにおける複雑化を用いた推論システムの実装
        石野 明; 山本 章博
        人工知能基礎論研究会, 17 Dec. 1998
      • 底汎化法を用いた帰納推論システムの実装方式
        伊藤 公人; 山本 章博
        人工知能基礎論研究会, Mar. 1998
      • 等式プログラミングにおける複雑化を用いた帰納推論
        石野 明; 山本 章博
        人工知能基礎論研究会, Mar. 1998
      • Semi-supervised learning for mixed-type data via formal concept analysis
        杉山 麿人; 山本 章博
        人工知能基本問題研究会, 17 Nov. 2010
      • Distributed Knowledge Discovery based on Merging Hypotheses
        KIKUCHI Toshiyuki; YAMAMOTO Akihiro
        IEICE technical report. Artificial intelligence and knowledge-based processing, 06 Mar. 2003
      • A method for supporting management of graphical representation of hypotheses and its implementation
        池田 真土里; 土井 晃一郎; 山本 章博
        人工知能基本問題研究会, 17 Mar. 2010
      • An alternative to statistical hypothesis testing based on computational learning theory (特集 「知識発見の生命科学への応用」および一般)
        杉山 麿人; 山本 章博
        人工知能基本問題研究会, 17 Mar. 2010
      • An Online Algorithm for Classification Using Coding Divergence
        YOSHIOKA Tadashi; SUGIYAMA Mahito; YAMAMOTO Akihiro
        IEICE technical report, 21 Mar. 2011
      • Sequence Image Retrieval by Combining a Meta-Learing Algorithm and Query Learning
        HATA Ryoichi; IKEDA Madori; SUGIYAMA Mahito; YAMAMOTO Akihiro
        IEICE technical report, 21 Mar. 2011
      • The Gray-coding divergence for computational data mining from continuous data (特集 「脳科学と知識処理」および一般)
        杉山 麿人; 山本 章博
        人工知能基本問題研究会, 31 Jul. 2010
      • Semi-Supervised Ligand Finding Using Formal Concept Analysis
        Mahito Sugiyama; Kentaro Imajo; Keisuke Otaki; Akihiro Yamamoto
        研究報告数理モデル化と問題解決(MPS), 24 Nov. 2011
      • Special Interest Group on Fundamental Problems in Artificial Intelligence(Comprehensive Guide to JSAI SIGs)
        YAMAMOTO Akihiro; HIRATA Kouichi; Akihiro Yamamoto; Kouichi Hirata; Graduate School of Informatics Kyoto University; Department of Artificial Intelligence Kyushu Institute of Technology
        人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence, 01 Jul. 2010
      • A Method Using FCA for Creating an Order Between Logical Formulas Representing Statements
        池田 真土里; 山本 章博
        人工知能基本問題研究会, 16 Dec. 2011
      • Extracting Principal Component from Tree Structure Data
        山崎 朋哉; 山本 章博; 久保山 哲二
        人工知能学会全国大会論文集, 2015
      • Local Simirality between Semi-Ordered Tree based on Constrained Mapping
        山崎 朋哉; 吉仲 亮; 山本 章博
        人工知能基本問題研究会, 07 Mar. 2014
      • Analysis of classic Waka with text mining from phoneme patterns
        大柿 高志; 吉仲 亮; 山本 章博
        人工知能学会全国大会論文集, 2014
      • A Method for Searching Question Sentences in Mathematics by String Patterns and the Structure of MathML
        狩山 和亮; 吉仲 亮; 山本 章博
        人工知能学会全国大会論文集, 2013
      • Classification by Finding Neighbors in a Concept Lattice
        池田 真土里; 山本 章博
        人工知能学会全国大会論文集, 2013
      • 順列グラフのカラフル独立集合問題に対するアルゴリズム
        吉村仁志; 小林靖明; 山本章博
        情報処理学会研究報告(Web), 2021
      • Towards the Fixed-Parameter Tractability of the Commutative Matching Problem
        久保田 稜; 小林 靖明; 小島 健介; 山本 章博
        人工知能基本問題研究会, 08 Mar. 2020
      • Metric Learning for Ordered Labeled Trees with pq-grams.
        Hikaru Shindo; Masaaki Nishino; Yasuaki Kobayashi; Akihiro Yamamoto
        CoRR, 2020
      • Algorithms for Linear Least Common Generalization Problem on Strings
        里見 琢聞; 小林 靖明; 山本 章博
        人工知能基本問題研究会, 13 Mar. 2019
      • A faster fixed-parameter algorithm for computing an optimal alignment for bounded degree trees
        久保田 稜; 小林 靖明; 山本 章博
        人工知能基本問題研究会, 29 Jan. 2019
      • コンテキストと構文の情報を用いたニューラルネットによる変数名予測
        松田浩幸; 紫藤佑介; 小林靖明; 山本章博; 宮本篤志; 松村忠幸
        情報処理学会研究報告(Web), 2019
      • Integer Programming Formulations for Computing Alignment Distance between Unordered Trees
        久保田 稜; 小林 靖明; 山本 章博
        人工知能基本問題研究会, 16 Mar. 2018
      • A Feature Selection Method for Relational Data Based on Modularity
        紫藤 佑介; 山本 章博; 小林 靖明; 久保山 哲二
        人工知能基本問題研究会, 13 Mar. 2017
      • 整数計画法による木間距離の計算を高速化するための新しい定式化 (特集 「SAT技術の理論,実装,応用」および一般)
        洪 恩平; 小林 靖明; 山本 章博
        人工知能基本問題研究会, 13 Mar. 2017
      • Analysis of Biclustering Algorithms Assuming Several Types of Cluster Structure
        山浦 智佳子; 小林 靖明; 山本 章博; 久保山 哲二
        人工知能基本問題研究会, 13 Mar. 2017
      • Approximate String Matching Based on Extending Levenshtein Automata for Tries (特集 「離散問題とデータ科学の接点」および一般)
        宮近 充裕; 吉仲 亮; 山本 章博
        人工知能基本問題研究会, 21 Jan. 2016
      • An Efficient Algorithm to Recalculate Graph Polishing for the Change of Threshold
        西村 翔一; 吉仲 亮; 山本 章博
        人工知能基本問題研究会, 21 Jan. 2016
      • Algorithms for Extracting Arbitrarily Shaped Subtrees by Tree PCA
        山崎 朋哉; 山本 章博; 久保山 哲二
        人工知能基本問題研究会, 21 Jan. 2016
      • Parameter Estimation of Stochastic Grammars with Probabilistic Logic Programs
        山口 慧; 吉仲 亮; 山本 章博
        人工知能基本問題研究会, 21 Jan. 2016
      • Answering Center Test Questions on Japanese History by Comparing Tuples Generated from Texts (特集 「離散問題とデータ科学の接点」および一般)
        尾納 宗仁; 吉仲 亮; 山本 章博
        人工知能基本問題研究会, 21 Jan. 2016
      • Periodic Pattern Mining with Periodical Co-occurrences of Symbols
        OTAKI Keisuke; YAMAMOTO Akihiro
        IPSJ SIG Technical Report, Sep. 2015
      • Mining Periodic Patterns with Skeletonization
        Keisuke Otaki; Akihiro Yamamoto
        IPSJ Annual Meeting Proceedings, Mar. 2015
      • Edit Operations on Lattices for MDL-based Pattern Summarization.
        Keisuke Otaki; Akihiro Yamamoto
        Proceedings of the International Workshop on Formal Concept Analysis and Applications, FCA&A 2015, 2015, Peer-reviewed
      • Probabilistic Models Based on Regular Pattern Languages and Their Learning Problems
        Keisuke Otaki; Akihiro Yamamoto
        Work-in-progress session in the 12th International Conference on Grammatical Inference (ICGI2014), Aug. 2014
      • A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement Operators.
        Tomohiko Okayama; Ryo Yoshinaka; Keisuke Otaki; Akihiro Yamamoto
        Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014., 2014, Peer-reviewed
      • Pattern Structures for Understanding Episode Patterns.
        Keisuke Otaki; Madori Ikeda; Akihiro Yamamoto
        the 11th International Conference on Concept Lattices and Their Applications, 2014, Peer-reviewed
      • Formal Concept Analysis for Process Enhancement Based on a Pair of Perspectives.
        Madori Ikeda; Keisuke Otaki; Akihiro Yamamoto
        the 11th International Conference on Concept Lattices and Their Applications, 2014, Peer-reviewed
      • Local Similarity between Semi-Ordered Trees by Finding the Constrained Mapping
        Yamazaki, T; Otaki, K; Ikeda, M; Yamamoto, A; Kuboyama, T
        Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014), 2014, Peer-reviewed
      • Updating a Closed Itemset Family Based on Inclusion Relations
        Nishimura, S; Otaki, K; Ikeda, M; Yoshinaka, R; Yamamoto, A; Uno, T
        Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014), 2014, Peer-reviewed
      • Finding All Premises of A Propositional Formula using Binary Decision Diagrams
        Yamaguchi, S; Ikeda, M; Otaki, K; Yoshinaka, R; Yamamoto, A
        Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014), 2014, Peer-reviewed
      • Constructing a Grammar for Infering CommonConstructing a Grammar for Infering Common Structure of Two Strings and Its Application to Compression, Structure of Two Strings and Its Application to Compression,
        Binou, M; Otaki, K; Ikeda, M; Yoshinaka, R; Yamamoto, A
        Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014), 2014, Peer-reviewed
      • Classification by Selecting Plausible Formal Concepts in a Concept Lattice
        Ikeda, M; Yamamoto, A
        Proceedings of Workshop on Formal Concept Analysis meets Information Retrieval (FCAIR2013), 2013, Peer-reviewed
      • Evaluating Documents on Historical Events by Comparing Tuple Sets Generated from Predicate-Argument Structure
        KITANO Takayuki; YAMAMOTO Akihiro
        IEICE technical report. Artificial intelligence and knowledge-based processing, 06 Mar. 2012
      • The Community of Special Interest Groups : Its Expansion and Interaction
        YAMAMOTO Akihiro; Akihiro Yamamoto
        人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence, 01 Mar. 2012
      • Estimating Latent Structures of Strings with Refinements of Patterns
        Keisuke Otaki; Akihiro Yamamoto
        SIG-DOCMAS Technical Report, Mar. 2012
      • Estimation of Generating Processes of Strings Represented with Patterns and Refinements.
        Keisuke Otaki; Akihiro Yamamoto
        Proceedings of the 11th International Conference on Grammatical Inference (ICGI 2012), 2012, Peer-reviewed
      • Binary Classification Using Fast Gaussian Filtering Algorithm
        Imajo, K; Otaki, K; Yamamoto, A
        Proceedings of Third Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2012), 2012, Peer-reviewed
      • Privacy Preserving Mining of Frequent Closed Patterns from Distributed Databases
        Keisuke Otaki; Akihiro Yamamoto
        人工知能学会全国大会論文集(CD-ROM), May 2011
      • Privacy-preserving mining of frequent closed patterns using ZDDs
        Keisuke Otaki; Akihiro Yamamoto
        IEICE Technical Reports, Mar. 2011
      • Discovering Ligands for TRP Ion Channels Using Formal Concept Analysis.
        Mahito Sugiyama; Kentaro Imajo; Keisuke Otaki; Akihiro Yamamoto
        The 21st International Conference on Inductive Logic Programming (ILP 2011), 2011
      • Mining RNA Families with Structure Histograms
        Yudai Kawai; Mahito Sugiyama; Akihiro Yamamoto
        The 5th International Workshop on Data-Mining and Statistical Science (DMSS2011), 2011
      • Estimation of Generating Processes of Strings Represented with Patterns and Substitutions
        Otaki, K; Yamamoto, A
        Proceedings of the 11th International Conference on Grammatical Inference (ICGI 2012), 21:177-182, 2011, Peer-reviewed
      • Preserving Privacy with Dummy Data in Set Operations on Itemsets
        Otaki, K; Yamamoto, A
        Proceedings of Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2011), 2011, Peer-reviewed
      • High-throughput Data Stream Classification on Trees
        Sugiyama, M; Yoshioka, T; Yamamoto, A
        Proceedings of Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2011), 2011, Peer-reviewed
      • Fast Clustering Based on the Gray-Code
        Mahito Sugiyama; Akihiro Yamamoto
        Seventh Workshop on Learning with Logics and Logics for Learning (LLLL2011), 2011, Peer-reviewed
      • A Fast and Flexible Clustering Algorithm Using Binary Discretization.
        Mahito Sugiyama; Akihiro Yamamoto
        Proceedings - IEEE International Conference on Data Mining, ICDM, 2011, Peer-reviewed
      • The Minimum Code Length for Clustering Using the Gray Code.
        Mahito Sugiyama; Akihiro Yamamoto
        MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, PT III, 2011, Peer-reviewed
      • Semi-supervised Learning for Mixed-Type Data via Formal Concept Analysis.
        Mahito Sugiyama; Akihiro Yamamoto
        CONCEPTUAL STRUCTURES FOR DISCOVERING KNOWLEDGE, 2011, Peer-reviewed
      • Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses
        Madori Ikeda; Masaaki Nishino; Koichiro Doi; Akihiro Yamamoto; Susumu Hayashi
        KNOWLEDGE, INFORMATION, AND CREATIVITY SUPPORT SYSTEMS, 2011, Peer-reviewed
      • Integrating Probabilistic Reasoning and Logic for Expressing Human Inference with Uncertainty
        Masaaki Nishino; Madori Ikeda; Akihiro Yamamoto
        1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2010), 2010
      • Frequent Closed Itemset Mining with Privacy Preserving for Distributed Databases.
        Shin-ya Kuno; Koichiro Doi; Akihiro Yamamoto
        Proceedings - IEEE International Conference on Data Mining, ICDM, 2010, Peer-reviewed
      • The Coding Divergence for Measuring the Complexity of Separating Two Sets.
        Mahito Sugiyama; Akihiro Yamamoto
        PROCEEDINGS OF 2ND ASIAN CONFERENCE ON MACHINE LEARNING (ACML2010), 2010, Peer-reviewed
      • Learning Figures with the Hausdorff Metric by Fractals.
        Mahito Sugiyama; Eiju Hirowatari; Hideki Tsuiki; Akihiro Yamamoto
        ALGORITHMIC LEARNING THEORY, ALT 2010, 2010, Peer-reviewed
      • Incremental Mining of Closed Frequent Subtrees.
        Viet Anh Nguyen; Akihiro Yamamoto
        DISCOVERY SCIENCE, DS 2010, 2010, Peer-reviewed
      • Learning from Positive Data Based on the MINL Strategy with Refinement Operators.
        Seishi Ouchi; Akihiro Yamamoto
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2009, Peer-reviewed
      • Sigma^0_alpha - Admissible Representations (Extended Abstract).
        Matthew de Brecht; Akihiro Yamamoto
        the Sixth International Conference on Computability and Complexity in Analysis, 2009, Peer-reviewed
      • Learning Figures with the Hausdorff Metric by Self-similar Sets
        Sugiyama, M; Hirowatari, E; Tsuiki, H; Yamamoto, A
        Proc. of LLLL 2009, Kyoto, 27-34, 2009, Peer-reviewed
      • Discovering the Structures of Open Source Programs from Their Developer Mailing Lists.
        Dinh Anh Nguyen; Koichiro Doi; Akihiro Yamamoto
        DISCOVERY SCIENCE, PROCEEDINGS, 2009, Peer-reviewed
      • Kernel Functions Based on Derivation
        Koichiro Doi; Akihiro Yamamoto
        NEW FRONTIERS IN APPLIED DATA MINING, 2009, Peer-reviewed
      • Graphical Representation of Valid Conjectures and a System for Supporting Construction of Hypotheses
        NISHINO Masaaki; YAMAMOTO Akihiro; HAYASHI Susumu
        IPSJ SIG Notes. ICS, 05 Mar. 2008
      • Kernel Functions Based on Derivation.
        Koichiro Doi; Akihiro Yamamoto
        NEW FRONTIERS IN APPLIED DATA MINING, 2008, Peer-reviewed
      • Mining Maximal Tree Patterns with Subtree Constraint
        Nguyen, V. A; Doi, K; Yamamoto, A
        The Third International Workshop on Data-Mining and Statistical Science (DMSS2008), 5-8, 2008, Peer-reviewed
      • Learning Bounded Unions of Noetherian Closed Set Systems Via Characteristic Sets.
        Yuichi Kameda; Hiroo Tokunaga; Akihiro Yamamoto
        GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, 2008, Peer-reviewed
      • Finding Frequent Patterns from Compressed Tree-Structured Data.
        Seiji Murakami; Koichiro Doi; Akihiro Yamamoto
        DISCOVERY SCIENCE, PROCEEDINGS, 2008, Peer-reviewed
      • Topological Properties of Concept Spaces.
        Matthew de Brecht; Akihiro Yamamoto
        ALGORITHMIC LEARNING THEORY, PROCEEDINGS, 2008, Peer-reviewed
      • Inferability of closed set systems from positive data
        Matthew de Brecht; Masanori Kobayashi; Hiroo Tokunaga; Akihiro Yamamoto
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2007, Peer-reviewed
      • Computing Characteristic Sets of Bounded Unions of Polynomial Ideals.
        Itsuo Takamatsu; Masanori Kobayashi; Hiroo Tokunaga; Akihiro Yamamoto
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2007, Peer-reviewed
      • An Intentional Kernel Function for RNA Classification.
        Hiroshi Sankoh; Koichiro Doi; Akihiro Yamamoto
        DISCOVERY SCIENCE, PROCEEDINGS, 2007, Peer-reviewed
      • An efficient algorithm for computing kernel function defined with anti-unification
        Koichiro Doi; Tetsuya Yamashita; Akihiro Yamamoto
        INDUCTIVE LOGIC PROGRAMMING, 2007, Peer-reviewed
      • 包摂関係を利用したカーネル関数を計算するアルゴリズム (テーマ:特集「スキルサイエンス」および一般)
        山下 哲矢; 土井 晃一郎; 山本 章博
        人工知能基本問題研究会, 27 Mar. 2006
      • An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification.
        Koichiro Doi; Tetsuya Yamashita; Akihiro Yamamoto
        INDUCTIVE LOGIC PROGRAMMING, 2006, Peer-reviewed
      • Inferability of Closed Set Systems from Positive Data.
        Matthew de Brecht; Masanori Kobayashi; Hiroo Tokunaga; Akihiro Yamamoto
        NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2006, Peer-reviewed
      • Mind Change Complexity of Inferring Unbounded Unions of Pattern Languages from Positive Data.
        Matthew de Brecht; Akihiro Yamamoto
        ALGORITHMIC LEARNING THEORY, PROCEEDINGS, 2006, Peer-reviewed
      • Learning from Real-Valued Data with the Model Inference Mechanism through the Gray-Code Embedding
        Sugiyama, M; Hirowatari, E; Tsuiki, H; Yamamoto, A
        Proc. of LLLL 2006, JSAI , Tokyo, 31-37, 2006., 2006, Peer-reviewed
      • Kernel Function for First-Order Terms based on Anti-Unification (テーマ:特集「シンボルグラウンディング問題」および一般)
        山本 章博; 田中 孝侑
        人工知能基本問題研究会, 24 Nov. 2005
      • Hedge Logic Programming for Information Extraction and Transformation
        Yamamoto Akihiro; Ito Kimihito; Ishino Akira
        Proceedings of the Annual Conference of JSAI, 2001
      • Which Hypotheses Can Be Found with Inverse Entailment?
        Akihiro Yamamoto
        Proceedings of the IJCAI'97 Workshop on Frontiers of Inductive Logic Programming,/,19-23, 1997, Peer-reviewed
      • Representing Inductive Inference with SOLD-Resolution
        山本 章博
        Proceedings of the IJCAI'97 Workshop on Abduction and Induction in AI,/,59-63, 1997, Peer-reviewed
      • Learning of Regular Tree Relations with Membership and Equivalence Queries
        ITO Kimihito; YAMAMOTO Akihiro
        人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI, 20 Jun. 1994
      • The Text Database Management System SIGMA : An Improvement of the Man Engine(共著)
        山本 章博
        Proceedings of the Berliner Informatik-Tage,72-81, 1989, Peer-reviewed
      • Elementary Formal System as a Unifying Framework for Language Learning.
        Setsuo Arikawa; Takeshi Shinohara; Akihiro Yamamoto
        Proceedings of the Second Annual Workshop on Computational Learning Theory,312-327, 1989, Peer-reviewed
      • Completeness of Extending Unification Based on Basic Narrowing.
        Akihiro Yamamoto
        Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1988, Peer-reviewed

      Presentations

      • Mind Change Complexity More Than ω^ω in Inductive Inference from Positive Data
        DE BRECHT; Matthew; YAMAMOTO Akihiro
        SLACS 2007, 2007
      • 多項式環におけるイデアルの正データからの帰納推論
        de Brecht, M; 小林 正典; 徳永 浩雄; 山本 章博
        SLACS 2007, 2007
      • Living Beyond Data : Toward Sustainable Value Creation
        Akihiro Yamamoto, Contributor, Undesigned Data in Discovery Processes and Design of Their Interpretation
        Springer, Nov. 2022
      • 情報システムと情報技術事典
        山本 章博
        培風館,「論理」の項, 2006, Not refereed
      • Finding Similar Stories by Using Sequences of Occurrence Vectors
        山本 章博
        Kiyoki, E. Kawaguchi, H. Jaakkola, and H. Kangassalo (eds.) Information Modelling and Knowledge Bases XV, IOS Press,,303--306, 2004, Not refereed
      • Finding Similar Stories by Using Sequences of Occurrence Vectors
        山本 章博
        Information Modelling and Knowledge Bases XV, IOS Press,303--306, 2004, Not refereed
      • Proceedings of the 6th International Conference on Discovery Science (DS 2003)
        Akihiro Yamamoto
        Springer,504, 2003, Not refereed
      • Discovery Science : 6th International Conference
        Akihiro Yamamoto
        Springer,504, 2003, Not refereed
      • Inductive Logic Programming : 13th International Conference (Lecture Notes in Artificial Intelligence)
        山本 章博
        Springer,, 2003, Not refereed
      • Inductive Logic Programming : 13th International Conference
        Akihiro Yamamoto
        Springer,402, 2003, Not refereed
      • Discovery Science : 6th International Conference
        山本 章博
        Springer,, 2003, Not refereed
      • Unifying Various Knowledge Discovery Systems in Logic of Discovery
        山本 章博
        Information Modelling and Knowledge Bases XIV, IOS Press,118-127, 2003, Not refereed
      • Using Abduction for Induction based on Bottom Generalization
        山本 章博
        A bductive and Inductive Reasoning : Essays on their Relation and Integration,/,267-280, 2000, Not refereed
      • Using Abduction for Induction based on Bottom Generalization
        山本 章博
        P.A. Flach and A.C. Kakas (eds.) Abductive and Inductive Inference, Kluwer Academic Press,267-280, 2000, Not refereed
      • 帰納論理プログラミングと証明補完
        山本 章博
        bit別冊 「発見科学とデータマイニング」共立出版,34-44, 2000, Not refereed
      • Logical Aspects of Several Bottom-up Fittings
        山本 章博
        Lecture Notes in Artificial Intelligence 1501,/,158-168, 1998, Not refereed
      • Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses(共著)
        山本 章博
        Lecture Notes in Artificial Intelligence 1532,/,303-314, 1998, Not refereed
      • Which Hypothese Can Be Found with Inverse Entailment?
        山本 章博
        Lecture Notes in Artificial Intelligonce 1297, Springer,/,296-308, 1997, Not refereed
      • Information Modelling and Knowledge Bases VII(共著)
        山本 章博
        IOS Press,, 1996, Not refereed
      • Programming by First Order Formulas for Object and Relation Definition
        山本 章博
        H. Kangassalo, H. Jaakkola, S. Ohsuga, and B. Wangler (eds.) Information Modelling and Knowledge Bases VI,The IOS Press,437-445, 1995, Not refereed
      • Programming by First Order Formulas for Object and Relation Definition
        山本 章博
        Information Modelling and Knowledge Bases VI,, 1995, Not refereed
      • Learning from Examples with Typed Equational Programming(共著)
        山本 章博
        Lecture Notes in Artificial Intelligence,872,301-316, Springer-Verlag, 1994, Not refereed
      • Generalized Unification as Background Knowledge in Learning Logic Programs
        山本 章博
        Lecture Notes in Artificial Intelligence,744,111-122, Springer-Verlag, 1993, Not refereed
      • Polynomial-Time MAT Learning of Multilinear Logic Programs(共著)
        山本 章博
        Lecture Notes in Artificial Intelligence,743,63-74, Springer-Verlag, 1993, Not refereed
      • Generalization of Weakly Reducing EFS with Abstraction
        山本 章博
        Advances in Information Modelling and Knowledge Bases, The IOS Press,110-123, 1991, Not refereed
      • 論理プログラミング(翻訳)
        山本 章博
        大須賀節雄(監訳)「人工知能大辞典」,丸善,, 1991, Not refereed
      • Generalization of Weakly Reducing EFS with Abstraction
        山本 章博
        Advances in Information Modelling and Knowledge Bases,110-123, 10S Press, 1991, Not refereed
      • Elementary Formal System as a Logic Programming Language.
        山本 章博
        Lecture Notes in Artificial Intelligence,485,73-86, Springer-Verlag, 1990, Not refereed
      • Completeness of Extended Unification Based on Basic Narrowing
        山本 章博
        Lecture Notes in Artificial Intelligence,383,1-10, Springer-Verlag, 1989, Not refereed
      • 拡張単一化と等式論理
        山本 章博
        有川節夫・原口誠(著)「述論論理と論理プログラミング」第8章,オーム社,, 1988, Not refereed
      • A Theoretical Combination of SLD-Resolution and Narrowing
        山本 章博
        J.-L. Lassez (ed.) Logic Programming, The MIT Press,470-487, 1987, Not refereed
      • A Theoretical Combination of SLD-Resolution and Narrowing
        山本 章博
        Logic Programming,470-487, the MIT Press, 1987, Not refereed

      Awards

      • 1991
        日本ソフトウェア科学会高橋奨励賞
      • 1998
        (社)人工知能学会, 人工知能学会研究奨励賞
      • 2005
        (社)人工知能学会, 人工知能学会研究奨励賞
      • 10 Jun. 2010
        (社)人工知能学会, 人工知能学会研究会優秀賞
      • Jun. 2018
        人工知能学会, 人工知能学会研究会優秀賞

      External funds: Kakenhi

      • 高次元ブール値テンソルデータからの多項閉集合を用いた知識発見
        Grant-in-Aid for Scientific Research (B)
        Basic Section 61030:Intelligent informatics-related
        Kyoto University
        山本 章博
        From 01 Apr. 2021, To 31 Mar. 2024, Granted
        データマイニング;高次元ブール値データ;閉集合;列挙アルゴリズム
      • New Problem Formulation on Next Generation Informatics and Researches on thier Algorithms
        Grant-in-Aid for Transformative Research Areas (A)
        Transformative Research Areas, Section (IV)
        National Institute of Informatics
        宇野 毅明
        From 19 Nov. 2020, To 31 Mar. 2025, Granted
        アルゴリズム;モデル;最適化;分野横断;文理融合;社会課題;議論手法;情報数理
      • Development of Next-generation Semi-Structured Data Mining Technology Towards The Real-World Knowledge Creation Infrastructure
        Grant-in-Aid for Scientific Research (A)
        Medium-sized Section 61:Human informatics and related fields
        Hokkaido University
        有村 博紀
        From 01 Apr. 2020, To 31 Mar. 2025, Granted
        離散構造学習;大規模半構造データ;次世代機械学習技術;データマイニング;知識基盤形成
      • Construction of mathematical optimization methods for discrete data useful in machine learning algorithms.
        Grant-in-Aid for Challenging Research (Exploratory)
        Kyoto University
        Akihiro Yamamoto
        From 30 Jun. 2017, To 31 Mar. 2021, Project Closed
        機械学習;文脈自由文法;木構造;一階述語論理;帰納論理プログラミング;最小汎化;文脈自由言語;木構造データ;文字列データ;距離計算;離散構造;構文解析木;pq-gram距離;BDD;離散最適化;文字列構造
      • Properties of Weakly Closed Itemsets and their Application to Knowledge Discovery
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        Akihiro Yamamoto
        From 01 Apr. 2017, To 31 Mar. 2020, Project Closed
        知識発見;2項関係;閉集合;弱閉集合;データマイニング;形式概念解析;双クラスタリング
      • Knowledge Discovery Methods based on Closed Set Construction for Data with Attributes Whose Values are from Ordered Sets
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        Akihiro Yamamoto
        From 01 Apr. 2014, To 31 Mar. 2017, Project Closed
        データマイニング;2項関係;閉集合;順序関係;木構造;主成分分析;2項関係;形式概念解析;知識発見;データ構造;整数計画法;行列因数分解;密度優先探索
      • Integrating Intuitionistic Confidence and Graphical Models for a Research Support System
        Grant-in-Aid for Challenging Exploratory Research
        Kyoto University
        Akihiro YAMAMOTO
        From 01 Apr. 2010, To 31 Mar. 2013, Project Closed
        不確実推論;主観信頼性;グラフィカル・モデル;数理論理;実体-関連モデル;貴重資料画像
      • New development of research on bug-free software construction environment
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        Masahiko SATO
        From 01 Apr. 2010, To 31 Mar. 2013, Project Closed
        ソフトウェア検証;クラス理論;ソフトウェアの安全性;型理論;項書換;自然枠組;ソフトウェア開発;メタ言語;メタ理論;式の理論;抽象操作
      • Data Mining Methods Based on Closed Sets for Data Which Are Combination of Discrete and Continuous Attributes
        Grant-in-Aid for Scientific Research (A)
        Kyoto University
        Akihiro YAMAMOTO
        From 01 Apr. 2010, To 31 Mar. 2014, Project Closed
        知識発見;機械学習;形式概念解析;閉集合;実数計算;離散構造データ;フラクタル
      • 論理式による実数の近似表現を用いた数値データからの機械学習手法
        Grant-in-Aid for Challenging Exploratory Research
        Kyoto University
        山本 章博
        From 01 Apr. 2007, To 31 Mar. 2010, Project Closed
        機械学習;計算論的学習;実数計算;数理論理学;閉集合;フラクタルアトラクタ
      • Knowledge Discovery from Structured Data with Efficient Methods of Searching Lower Sets Based on Frequency
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        Akihiro YAMAMOTO
        From 01 Apr. 2007, To 31 Mar. 2010, Project Closed
        学習と発見;機械学習;知識発見;帰納論理;計算代数;情報基礎;応用数学;下方集合;計算論的学習;データマイニング;構造データ
      • Software development environment based on integration of computation and logic
        Grant-in-Aid for Scientific Research (B)
        Kyoto University
        Masahiko SATO
        From 01 Apr. 2007, To 31 Mar. 2010, Project Closed
        自然枠組;ソフトウェア開発;ソフトウェア検証;メタ言語;式の理論;メタ理論;抽象操作;メタ変数
      • ブール環を用いた代数的手法による帰納論理の基礎理論
        Grant-in-Aid for Exploratory Research
        Kyoto University
        山本 章博
        From 01 Apr. 2004, To 31 Mar. 2007, Project Closed
        計算論的学習理論;極限同定;ブール代数;イデアル;多項式;サポート・ベクトル;サポート・ベクトル・マシン;下方集合
      • 代数幾何学に現れるプロシージャの計算論的学習理論の側面
        Grant-in-Aid for Exploratory Research
        Tokyo Metropolitan University
        徳永 浩雄
        From 01 Apr. 2004, To 31 Mar. 2007, Project Closed
        正例からの極限同定可能性;Noether環;有限の弾力性;特徴例集合;多項式環;トーリック多様体;ニュートン図形;特異点解消;Dickgonの補題;下方集合
      • 表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成
        Grant-in-Aid for Scientific Research on Priority Areas
        Science and Engineering
        Kyoto University
        山本 章博
        From 01 Apr. 2004, To 31 Mar. 2006, Project Closed
        帰納論理;極限同定;帰納的学習;実数の表現;精密化;始祖学習
      • Reediting and Republishing Framework for Web Contents including the Functional Federation of Services
        Grant-in-Aid for Scientific Research (A)
        Hokkaido University
        Yuzuru TANAKA
        From 01 Apr. 2003, To 31 Mar. 2005, Project Closed
        ウェブ・アプリケーション;フェデレーション;ウェブサービス;再編集;知識メディア;HTML文書;アノテーション;アドホックネットワーク, Web application;federation;Web service;reediting;meme media;HTML document;annotation;ad hoc network
      • 始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
        Grant-in-Aid for Scientific Research on Priority Areas
        Science and Engineering
        Kyoto University
        山本 章博
        From 01 Apr. 2003, To 31 Mar. 2004, Project Closed
        始祖学習;極限同定;帰納推論;帰納論理;メタ論理プログラミング
      • 始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発
        Grant-in-Aid for Scientific Research on Priority Areas
        Science and Engineering
        Hokkaido University
        山本 章博
        From 01 Apr. 2002, To 31 Mar. 2003, Project Closed
        始祖学習;極限同定;帰納推論;帰納論理;反単一化;基底定理
      • Logic of Limit Computing and its Applications
        Grant-in-Aid for Scientific Research (B)
        Kobe University
        Susumu HAYASHI
        From 01 Apr. 2001, To 31 Mar. 2004, Project Closed
        inductive inference;数理論理学;古典論理証明実行;形式的証明;形式的技法;学習理論;極限計算;非構成的論理;非構成的原理, Inductive inference;mathematical logic;classical proof execution
      • Hypothesis Finding Methods based on Proof Completion
        Grant-in-Aid for Scientific Research (C)
        Hokkaido University
        Akihiro YAMAMOTO
        From 01 Apr. 2000, To 31 Mar. 2003, Project Closed
        証明補完;仮説発見;帰納論理;適切さの論理;学習;アブダクション;定理自動証明;連結証明;残余仮説;帰納学習, Proof Completion;Hypothesis Finding;Inductive Ligic;Relevant Ligic;Machine Learning;Abduction
      • 節理論に基づく知識発見システムのための基盤理論の構成と定理証明系上での実現
        Grant-in-Aid for Scientific Research on Priority Areas (A)
        Hokkaido University
        山本 章博
        From 01 Apr. 1999, To 31 Mar. 2000, Project Closed
        帰納論理プログラミング;知識発見;発見の論理;最小汎化;相対包摂;関係データベース;連結証明法;証明補完
      • 論理プログラミングの拡張による汎用学習システムのための基礎理論とその実現
        Grant-in-Aid for Encouragement of Young Scientists (A)
        Hokkaido University
        山本 章博
        From 01 Apr. 1998, To 31 Mar. 2000, Project Closed
        帰納論理プログラミング;帰納関数プログラミング;帰納推論;機械学習;論理プログラミング;複雑化;逆融合法;底汎化法;帰納等式プログラミング
      • 節論理に基づく知識発見システムのための基礎理論の構成と定理証明系上での実現
        Grant-in-Aid for Scientific Research on Priority Areas (A)
        Hokkaido University
        山本 章博
        From 01 Apr. 1998, To 31 Mar. 1999, Project Closed
        帰納論理プログラミング;アブダクション;底汎化法;融合原理の完全性;底節交差汎化法
      • 型付き論理プログラミングを用いた学習アルゴリズムの構成
        Grant-in-Aid for General Scientific Research (C)
        Hokkaido University
        山本 章博
        From 01 Apr. 1995, To 31 Mar. 1996, Project Closed
        論理プログラミング;アルゴリズム;帰納推論
      • Research on knowledge media, their international distribution, and their management and retrieval for the construction, the editing, and the reuse of knowlege.
        Grant-in-Aid for Specially Promoted Research
        Physics
        HOKKAIDO UNIVERSITY,Graduate School of Engineering
        Yuzuru TANAKA
        From 01 Apr. 1995, To 31 Mar. 1998, Project Closed
        メディア・アーキテクチャ;知識流通;知識編集;知識管理;オブジェクト指向;データベース;文書画像;画像データベース;知識メディア;コンポーネントウェア;ネットワーク流通;オブジェクト・ベース;デザイン・パターン;3次元メディア;文書画像データベース, media architecture;knowledge distribution;knowledge editing;knowledge management;object orientation;database;document image;image database
      • 計算論的学習理論に基づくプログラム部品の再利用難易度の研究
        Grant-in-Aid for Encouragement of Young Scientists (A)
        Hokkaido University
        山本 彰博
        From 01 Apr. 1994, To 31 Mar. 1995, Project Closed
        計算論的学習理論;論理プログラミング;等式論理;平坦化;型理論
      • Development of Parallel Knowledge Acquisition System
        Grant-in-Aid for Scientific Research (A)
        The University of Tokyo;Kyushu University
        Satoru MIYANO
        From 01 Apr. 1994, To 31 Mar. 1997, Project Closed
        知識獲得;学習アルゴリズム;並列処理;並列計算, knowledge acquisition;learning algorithm;parallel processing
      • アクティブ・メディアの編集・管理・流通機能を持った統合プラットフォームの研究
        Grant-in-Aid for Developmental Scientific Research (B)
        Hokkaido University
        田中 譲
        From 01 Apr. 1994, To 31 Mar. 1997, Project Closed
        情報メディア;ハイパーメディア;オブジェクト指向;グラフィカル・ユーザ・インターフェース;ツールキット;マルチメディア;グループウェア;データベース
      • Machine Discovery by Learning Algorithms
        Grant-in-Aid for Scientific Research (B)
        KYUSHU UNIVERSITY
        Setsuo ARIKAWA
        From 01 Apr. 1994, To 31 Mar. 1997, Project Closed
        機械学習;機械発見;計算学習理論;帰納推論;PAC学習;数値データからの学習;大規模データベース;機械発見の論理;反駁学習, machine learning;machine discovery;computational learning theory;inductive inference;PAC learning;learning from numerical data;knowledge discovery in database;logic of machine discovery

      External funds: others

      • 統合型知識発見システムの基盤技術
        人工知能研究振興財団
        From Dec. 1997, To Mar. 2000
        山本章博
      • WWW上を仮説探索する推論システムの構築
        科学技術振興事業団 さきがけ研究21
        From Oct. 1998, To Sep. 2000
        山本章博
      • 機械学習・発見システムを統合的に利用可能な計算機環境の構築,
        大川情報通信基金
        From Sep. 2001, To Aug. 2002
        山本章博
      list
        Last Updated :2024/10/23

        Education

        Teaching subject(s)

        • From 01 Apr. 2024, To 31 Mar. 2025
          Computational Learning Theory
          X436, Fall, Graduate School of Engineering, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Languages and Automata
          9104, Fall, Faculty of Engineering, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Artificial Intelligence,Advanced
          7090, Fall, Graduate School of Management, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Introduction to Information Science
          3154, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Information Analysis and Management
          8018, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Information Analysis and Management
          8018, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Computational Learning Theory
          3173, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          人工知能特論
          8594, Year-long, Graduate School of Informatics, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Information Analysis and Management
          M323, Fall, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Introduction to Information Science
          G202, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Mathematical Description of Natural Phenomena
          N112, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Artificial Intelligence, Advanced
          M330, Fall, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Information Analysis and Management
          M323, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Introduction to Mathematics for Mathematical and Data Sciences I
          N806, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Informatics Fundamentals & Practice
          T016, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2024, To 31 Mar. 2025
          Information Analysis and Management, Exercise
          M322, Spring, Institute for Liberal Arts and Sciences, 1
        • From 01 Apr. 2024, To 31 Mar. 2025
          Information Analysis and Management, Exercise
          M322, Fall, Institute for Liberal Arts and Sciences, 1
        • From 01 Apr. 2024, To 31 Mar. 2025
          Information Analysis and Management, Exercise
          8019, Spring, Graduate School of Informatics, 1
        • From 01 Apr. 2024, To 31 Mar. 2025
          Information Analysis and Management, Exercise
          8019, Fall, Graduate School of Informatics, 1
        • From 01 Apr. 2023, To 31 Mar. 2024
          Languages and Automata
          9104, Fall, Faculty of Engineering, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Artificial Intelligence,Advanced
          7090, Fall, Graduate School of Management, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Computational Learning Theory
          X436, Fall, Graduate School of Engineering, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Information Analysis and Management
          8018, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Computational Learning Theory
          3173, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Introduction to Information Science
          3154, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          人工知能特論
          8594, Year-long, Graduate School of Informatics, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Information Analysis and Management
          8018, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Informatics Fundamentals & Practice
          T016, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Introduction to Mathematics for Mathematical and Data Sciences I
          N806, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Mathematical Description of Natural Phenomena
          N112, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Introduction to Information Science
          G202, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Artificial Intelligence, Advanced
          M330, Fall, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Information Analysis and Management
          M323, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Information Analysis and Management
          M323, Fall, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2023, To 31 Mar. 2024
          Information Analysis and Management, Exercise
          8019, Spring, Graduate School of Informatics, 1
        • From 01 Apr. 2023, To 31 Mar. 2024
          Information Analysis and Management, Exercise
          8019, Fall, Graduate School of Informatics, 1
        • From 01 Apr. 2023, To 31 Mar. 2024
          Information Analysis and Management, Exercise
          M322, Fall, Institute for Liberal Arts and Sciences, 1
        • From 01 Apr. 2023, To 31 Mar. 2024
          Information Analysis and Management, Exercise
          M322, Spring, Institute for Liberal Arts and Sciences, 1
        • From 01 Apr. 2022, To 31 Mar. 2023
          Artificial Intelligence,Advanced
          7090, Fall, Graduate School of Management, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Computational Learning Theory
          3173, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Intelligence Science and Technology IV
          3197, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Intelligence Science and Technology II
          3193, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Introduction to Mathematics for Mathematical and Data Sciences I
          N806, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          情報セキュリティ
          8595, Year-long, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Intelligence Science and Technology I
          3191, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Artificial Intelligence, Advanced
          M330, Fall, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Intelligence Science and Technology IV
          3196, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Intelligence Science and Technology III
          3195, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Intelligence Science and Technology I
          3190, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Informatics Fundamentals & Practice
          T016, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Intelligence Science and Technology II
          3192, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Introduction to Information Science
          3154, Spring, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Seminar on Intelligence Science and Technology III
          3194, Fall, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          人工知能特論
          8594, Year-long, Graduate School of Informatics, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Introduction to Information Science
          G202, Spring, Institute for Liberal Arts and Sciences, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Languages and Automata
          9104, Fall, Faculty of Engineering, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Computational Learning Theory
          X436, Fall, Graduate School of Engineering, 2
        • From 01 Apr. 2022, To 31 Mar. 2023
          Mathematical Description of Natural Phenomena
          N112, Spring, Institute for Liberal Arts and Sciences, 2
        • From Apr. 2011, To Mar. 2012
          Advanced Study in IST I
          Year-long, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          Advanced Study in IST II
          Year-long, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          情報・史料学(特殊講義)
          Spring, 文学研究科
        • From Apr. 2011, To Mar. 2012
          知能情報学特殊研究1
          Year-long, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          知能情報学特殊研究2
          Year-long, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          Foundations of Intelligent Systems
          Spring, 情報学研究科
        • From Apr. 2011
          ソフトウェア工学(計算機)
          Fall, 工学部
        • From Apr. 2011, To Mar. 2012
          パターン認識と機械学習(計算機)
          Fall, 工学部
        • From Apr. 2011, To Mar. 2012
          知能情報学特別セミナー
          Year-long, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          知能情報ソフトウェア特別セミナー
          Fall, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          Introduction to Information Science
          Fall, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          Perspective in Informatics 4B
          Fall, 情報学研究科
        • From Apr. 2011, To Mar. 2012
          情報科学基礎論
          Spring, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Foundations of Intelligent Systems
          Spring, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Introduction to Information Science
          Fall, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Perspective in Informatics 4B
          Fall, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Software Engineering
          Fall, 工学部
        • From Apr. 2012, To Mar. 2013
          Humanistic Informatics (Special Lectures)
          Spring, 文学研究科
        • From Apr. 2012, To Mar. 2013
          Perspective in Informatics 4
          Spring, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Perspective in Informatics 5
          Fall, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Graduation Thesis 1
          Spring, 工学部
        • From Apr. 2012, To Mar. 2013
          Graduation Thesis 1
          Fall, 工学部
        • From Apr. 2012, To Mar. 2013
          Graduation Thesis 2
          Spring, 工学部
        • From Apr. 2012, To Mar. 2013
          Graduation Thesis 2
          Fall, 工学部
        • From Apr. 2012, To Mar. 2013
          Advanced Seminar on Intelligence Science and Technology
          Year-long, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Advanced Seminar on Foundation of Software Science
          Fall, 情報学研究科
        • From Apr. 2012, To Mar. 2013
          Introduction to Computer Science
          Spring, 全学共通科目
        • From Apr. 2012, To Mar. 2013
          Introduction to Computer Science
          Spring, 工学部
        • From Apr. 2012, To Mar. 2013
          Pattern Recognition
          Fall, 工学部
        • From Apr. 2013, To Mar. 2014
          Software Engineering
          Fall, 工学部
        • From Apr. 2013, To Mar. 2014
          Operating Systems
          Spring, 工学部
        • From Apr. 2013, To Mar. 2014
          Pattern Recognition
          Fall, 工学部
        • From Apr. 2013, To Mar. 2014
          Humanistic Informatics (Special Lectures)
          Spring, 文学研究科
        • From Apr. 2013, To Mar. 2014
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Foundations of Intelligent Systems
          Spring, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Advanced Seminar on Intelligence Science and Technology
          Year-long, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Advanced Seminar on Foundation of Software Science
          Fall, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Perspective in Informatics 4
          Spring, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Perspective in Informatics 5
          Fall, 情報学研究科
        • From Apr. 2013, To Mar. 2014
          Datamining and Computer Science
          Spring, 全学共通科目
        • From Apr. 2014, To Mar. 2015
          Software Engineering
          Fall, 工学部
        • From Apr. 2014, To Mar. 2015
          Operating Systems
          Spring, 工学部
        • From Apr. 2014, To Mar. 2015
          Introduction to Computer Science
          Spring, 工学部
        • From Apr. 2014, To Mar. 2015
          Pattern Recognition
          Fall, 工学部
        • From Apr. 2014, To Mar. 2015
          Humanistic Informatics (Special Lectures)
          Spring, 文学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Computational Learning Theory
          Spring, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Seminar on Intelligence Science and Technology
          Year-long, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Seminar on Foundation of Software Science
          Fall, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Perspective in Informatics 4
          Spring, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Perspective in Informatics 5
          Fall, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Introduction to Computer Science
          Spring, 全学共通科目
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2014, To Mar. 2015
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Computational Learning Theory
          Spring, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Operating Systems
          Spring, 工学部
        • From Apr. 2015, To Mar. 2016
          Software Engineering
          Fall, 工学部
        • From Apr. 2015, To Mar. 2016
          Humanistic Informatics (Special Lectures)
          Spring, 文学研究科
        • From Apr. 2015, To Mar. 2016
          Perspective in Informatics 4
          Spring, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Perspective in Informatics 5
          Fall, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Seminar on Intelligence Science and Technology
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology II
          Spring, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Advanced Seminar on Foundation of Software Science
          Fall, 情報学研究科
        • From Apr. 2015, To Mar. 2016
          Introductory Statistics
          Spring, 全学共通科目
        • From Apr. 2015, To Mar. 2016
          Introduction to Computer Science
          Spring, 全学共通科目
        • From Apr. 2015, To Mar. 2016
          Introduction to Computer Science
          Spring, 工学部
        • From Apr. 2015, To Mar. 2016
          Computational Learning Theory
          Spring, 工学研究科
        • From Apr. 2015, To Mar. 2016
          Pattern Recognition
          Fall, 工学部
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology II
          Fall, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Computational Learning Theory
          Fall, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Operating Systems
          Spring, 工学部
        • From Apr. 2016, To Mar. 2017
          Software Engineering
          Fall, 工学部
        • From Apr. 2016, To Mar. 2017
          Humanistic Informatics (Special Lectures)
          Fall, 文学研究科
        • From Apr. 2016, To Mar. 2017
          Perspective in Informatics 4
          Spring, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Perspective in Informatics 5
          Fall, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Seminar on Intelligence Science and Technology
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Advanced Seminar on Foundation of Software Science
          Fall, 情報学研究科
        • From Apr. 2016, To Mar. 2017
          Mathematical Description of Natural Phenomena
          Spring, 全学共通科目
        • From Apr. 2016, To Mar. 2017
          Languages and Automata
          Fall, 工学部
        • From Apr. 2016, To Mar. 2017
          Introduction to Computer Science
          Spring, 全学共通科目
        • From Apr. 2016, To Mar. 2017
          Introduction to Computer Science
          Spring, 工学部
        • From Apr. 2016, To Mar. 2017
          Computational Learning Theory
          Fall, 工学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology II
          Spring, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology II
          Fall, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Computational Learning Theory
          Fall, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Operating Systems
          Spring, 工学部
        • From Apr. 2017, To Mar. 2018
          Humanistic Informatics (Special Lectures)
          Fall, 文学研究科
        • From Apr. 2017, To Mar. 2018
          Perspective in Informatics 5
          Fall, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Seminar on Intelligence Science and Technology
          Year-long, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology II
          Year-long, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Study in Intelligence Science and Technology I
          Year-long, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Advanced Seminar on Foundation of Software Science
          Fall, 情報学研究科
        • From Apr. 2017, To Mar. 2018
          Mathematical Description of Natural Phenomena
          Spring, 全学共通科目
        • From Apr. 2017, To Mar. 2018
          Languages and Automata
          Fall, 工学部
        • From Apr. 2017, To Mar. 2018
          Computational Learning Theory
          Fall, 工学研究科
        • From Apr. 2018, To Mar. 2019
          Computational Learning Theory
          Fall, 情報学研究科
        • From Apr. 2018, To Mar. 2019
          Operating Systems
          Spring, 工学部
        • From Apr. 2018, To Mar. 2019
          Practice on Informatics in Business
          Year-long, 情報学研究科
        • From Apr. 2018, To Mar. 2019
          Perspective in Informatics 5
          Fall, 情報学研究科
        • From Apr. 2018, To Mar. 2019
          Introduction to Information Science
          Spring, 全学共通科目
        • From Apr. 2018, To Mar. 2019
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2018, To Mar. 2019
          Introduction to Mathematics for Mathematical and Data Sciences I
          Spring, 全学共通科目
        • From Apr. 2018, To Mar. 2019
          Media and Culture Studies (Special Lectures)
          Fall, 文学研究科
        • From Apr. 2018, To Mar. 2019
          Mathematical Description of Natural Phenomena
          Spring, 全学共通科目
        • From Apr. 2018, To Mar. 2019
          Languages and Automata
          Fall, 工学部
        • From Apr. 2018, To Mar. 2019
          Computational Learning Theory
          Fall, 工学研究科
        • From Apr. 2019, To Mar. 2020
          Operating Systems
          Spring, 工学部
        • From Apr. 2019, To Mar. 2020
          Artificial Intelligence,Advanced
          Fall, 経営管理教育部
        • From Apr. 2019, To Mar. 2020
          Artificial Intelligence, Advanced
          Year-long, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          人工知能特論
          Year-long, 情報学研究科
        • From Apr. 2019, To Mar. 2020
          Practice on Informatics in Business
          Fall, 経営管理教育部
        • From Apr. 2019, To Mar. 2020
          Practice on Informatics in Business
          Year-long, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          Practice on Informatics in Business
          Year-long, 情報学研究科
        • From Apr. 2019, To Mar. 2020
          Perspective in Informatics 5
          Fall, 情報学研究科
        • From Apr. 2019, To Mar. 2020
          Information and Society
          Spring, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          Introduction to Information Science
          Spring, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2019, To Mar. 2020
          Introduction to Mathematics for Mathematical and Data Sciences I
          Spring, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          Mathematical Description of Natural Phenomena
          Spring, 全学共通科目
        • From Apr. 2019, To Mar. 2020
          Languages and Automata
          Fall, 工学部
        • From Apr. 2019, To Mar. 2020
          Computational Learning Theory
          Fall, 工学研究科
        • From Apr. 2019, To Mar. 2020
          Computational Learning Theory
          Fall, 情報学研究科
        • From Apr. 2020, To Mar. 2021
          Artificial Intelligence, Advanced
          Fall, 経営管理教育部
        • From Apr. 2020, To Mar. 2021
          Artificial Intelligence, Advanced
          Fall, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Artificial Intelligence, Advanced
          Year-long, 情報学研究科
        • From Apr. 2020, To Mar. 2021
          Information Security
          Year-long, 情報学研究科
        • From Apr. 2020, To Mar. 2021
          Practice on Informatics in Business
          Fall, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Information and Society
          Spring, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Introduction to Information Science
          Spring, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2020, To Mar. 2021
          Introduction to Mathematics for Mathematical and Data Sciences I
          Spring, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Introductory Statistics
          Spring, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Mathematical Description of Natural Phenomena
          Spring, 全学共通科目
        • From Apr. 2020, To Mar. 2021
          Languages and Automata
          Fall, 工学部
        • From Apr. 2020, To Mar. 2021
          Operating Systems
          Spring, 工学部
        • From Apr. 2020, To Mar. 2021
          Computational Learning Theory
          Fall, 工学研究科
        • From Apr. 2020, To Mar. 2021
          Computational Learning Theory
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology III
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology II
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology I
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology IV
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Artificial Intelligence, Advanced
          Fall, 経営管理教育部
        • From Apr. 2021, To Mar. 2022
          Artificial Intelligence, Advanced
          Fall, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Artificial Intelligence, Advanced
          Year-long, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Information Security
          Year-long, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Informatics Fundamentals & Practice
          Spring, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Introduction to Information Science
          Spring, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Introduction to Information Science
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Introduction to Mathematics for Mathematical and Data Sciences I
          Spring, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology III
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology II
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology I
          Spring, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Seminar on Intelligence Science and Technology IV
          Fall, 情報学研究科
        • From Apr. 2021, To Mar. 2022
          Mathematical Description of Natural Phenomena
          Spring, 全学共通科目
        • From Apr. 2021, To Mar. 2022
          Languages and Automata
          Fall, 工学部
        • From Apr. 2021, To Mar. 2022
          Computational Learning Theory
          Fall, 工学研究科
        • From Apr. 2021, To Mar. 2022
          Computational Learning Theory
          Fall, 情報学研究科

        Participation in PhD Defense

        • User-side Realization
          SATO RYOMA, Graduate School of Informatics, Sub-chief Examiner
          25 Mar. 2024
        • Studies on Network Graph Analysis with Decision Diagram Structures
          NAKAMURA KENGO, Graduate School of Informatics, Sub-chief Examiner
          25 Mar. 2024
        • Improving Variational Autoencoders on Robustness, Regularization, and Task-Invariance
          Hiroshi Takahashi, Graduate School of Informatics, Sub-chief Examiner
          23 Mar. 2023
        • Analysis of Biological Networks by Graph Theory-based Methods
          LI RUIMING, Graduate School of Informatics, Sub-chief Examiner
          23 Mar. 2023
        • Causal Inference for Scientific Discoveries and Fairness-Aware Machine Learning
          Yoichi Chikahara, Graduate School of Informatics, Sub-chief Examiner
          26 Sep. 2022
        • Spatio-temporal Event Prediction via Deep Point Processes
          OKAWA MAYA, Graduate School of Informatics, Sub-chief Examiner
          23 Mar. 2022
        • Predicting with Structured Data: Graphs, Ranks, and Time Series
          Jiuding Duan, Graduate School of Informatics, Sub-chief Examiner
          26 Jul. 2021
        • Goal-oriented Modeling for Data-driven Decision Making
          Akira Tanimoto, Graduate School of Informatics, Sub-chief Examiner
          24 Sep. 2021
        • Design of Computational Models for Analyzing Graph-Structured Biological Data
          WANG Feiqi, Graduate School of Informatics, Sub-chief Examiner
          23 Mar. 2022
        • Studies on Implicit Graph Enumeration Using Decision Diagrams
          NAKAHATA YU, Graduate School of Informatics, Sub-chief Examiner
          24 Sep. 2021
        • Extracting Rules from Trained Machine Learning Models with Applications in Bioinformatics
          LIU PENGYU, Graduate School of Informatics, Sub-chief Examiner
          24 May 2021
        list
          Last Updated :2024/10/23

          Administration

          School management (title, position)

          • From 01 Apr. 2018, To 31 Mar. 2024
            国際高等教育附属データ科学イノベーション教育研究センター センター長
          • From 01 Apr. 2024, To 31 Mar. 2025
            大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 データ科学部会 部会長
          • From 01 Apr. 2024, To 31 Mar. 2025
            国際高等教育院 企画評価専門委員会 データ科学部会 部会長
          • From 01 Apr. 2023, To 31 Mar. 2024
            国際高等教育院 企画評価専門委員会 データ科学部会 部会長
          • From 01 Apr. 2023, To 31 Mar. 2024
            大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 データ科学部会 部会長
          • From 01 Oct. 2021, To 31 Mar. 2023
            大学院教育支援機構 大学院共通・横断教育企画評価専門委員会 データ科学部会 委員
          • From 01 Apr. 2022, To 31 Mar. 2023
            国際高等教育院 企画評価専門委員会 データ科学部会 委員
          • From 01 Apr. 2021, To 30 Sep. 2021
            国際高等教育院 基盤企画評価専門委員会 データ科学部会 委員
          • From 01 Apr. 2021, To 31 Mar. 2022
            国際高等教育院 企画評価専門委員会 データ科学部会 委員
          • From 01 Apr. 2020, To 31 Mar. 2021
            国際高等教育院 基盤企画評価専門委員会 データ科学部会 委員
          • From 01 Apr. 2020, To 31 Mar. 2021
            国際高等教育院 企画評価専門委員会 データ科学部会 委員
          • From 01 Apr. 2019, To 31 Mar. 2020
            国際高等教育院 基盤企画評価専門委員会 データ科学部会 委員
          • From 01 Apr. 2019, To 31 Mar. 2020
            国際高等教育院 企画評価専門委員会 データ科学部会 委員
          • From 01 Apr. 2018, To 31 Mar. 2020
            情報学系長
          • From 01 Apr. 2018, To 31 Mar. 2022
            情報学系 学系長
          • From 01 Apr. 2018, To 31 Mar. 2024
            附属データ科学イノベーション教育研究センター センター長
          • From 16 May 2017
            研究活動上の行動規範に関する検討ワーキンググループ 委員
          • From 01 May 2017, To 31 Mar. 2019
            国際高等教育院 企画評価専門委員会 データ科学部会 委員
          • From 01 May 2017, To 31 Mar. 2019
            国際高等教育院 基盤企画評価専門委員会 データ科学部会 委員
          • From 01 Apr. 2017, To 31 Mar. 2018
            全学情報セキュリティ委員会常置委員会 委員
          • From 01 Apr. 2017, To 31 Mar. 2019
            全学情報セキュリティ委員会 委員
          • From 01 Apr. 2017, To 31 Mar. 2018
            産官学連携本部運営協議会 委員
          • From 01 Apr. 2017, To 31 Mar. 2018
            教育研究評議会 評議員
          • From 01 Apr. 2017, To 31 Mar. 2018
            教養・共通教育協議会 協議員
          • From 01 Apr. 2017, To 31 Mar. 2019
            船井哲良記念講堂・船井交流センター運営委員会 4号委員
          • From 01 Apr. 2017, To 31 Mar. 2018
            国際高等教育院 大学院共通・横断教育基盤協議会 協議員
          • From 01 Jun. 2016, To 01 Jul. 2017
            全学情報セキュリティ委員会常置委員会 委員
          • From 01 Jun. 2015, To 01 Jul. 2017
            産官学連携本部運営協議会 5号委員
          • From 01 Jun. 2015, To 30 Jun. 2017
            京都大学利益相反マネジメント委員会 2号委員
          • From 01 Jun. 2015, To 01 Jul. 2017
            人事制度検討会 委員
          • From 01 Jun. 2015, To 01 Jul. 2017
            教養・共通教育協議会
          • From 01 Jun. 2015, To 30 Jun. 2016
            財務委員会 委員
          • From 01 Jun. 2015, To 01 Jul. 2017
            博士課程教育リーディングプログラム運営会議 委員
          • From 01 Apr. 2015, To 31 Mar. 2018
            情報学研究科 研究科長
          • From 01 Apr. 2015, To 09 Sep. 2015
            京都大学産学共同実用化促進事業実施委員会 3号委員
          • From 01 Apr. 2015, To 31 Mar. 2017
            船井哲良記念講堂・船井交流センター運営委員会 4号委員
          • From 01 Apr. 2015, To 31 Mar. 2017
            産官学連携本部運営協議会 5号協議員
          • From 01 Apr. 2015
            京都大学研究公正委員会 委員
          • From 01 Apr. 2015
            全学情報セキュリティ委員会 委員
          • From 01 Apr. 2015, To 31 Mar. 2016
            全学情報セキュリティ委員会常置委員会 委員
          • From 01 Apr. 2015, To 31 Mar. 2017
            京都大学博士課程教育リーディングプログラム運営会議 委員
          • From 01 Apr. 2015, To 30 Sep. 2016
            財務委員会 委員
          • From 01 Apr. 2015, To 31 Mar. 2017
            人事審査委員会 委員
          • From 01 Apr. 2015, To 31 Mar. 2017
            教育研究評議会 評議員
          • From 01 Apr. 2015, To 31 Mar. 2018
            研究科長部会
          • From 01 Apr. 2015, To 31 Mar. 2018
            部局長会議
          • From 01 Apr. 2015, To 31 Mar. 2018
            博士課程教育リーディングプログラム運営会議 委員
          • From 01 Apr. 2015, To 31 Mar. 2018
            総長選考会議
          • From 01 Apr. 2015, To 31 Mar. 2018
            研究公正委員会 委員
          • From 01 Apr. 2015, To 31 Mar. 2018
            研究活動上の行動規範に関する検討ワーキンググループ 委員
          • From 01 Apr. 2015, To 31 Mar. 2018
            教育研究評議会 評議員
          • From 01 Apr. 2014, To 31 Mar. 2016
            教育制度委員会 委員
          • From 01 Apr. 2014, To 31 Mar. 2015
            教育制度委員会:GPAに関する検討WG 委員
          • From 01 Apr. 2014, To 31 Mar. 2015
            教育制度委員会:教務情報システム検討WG 委員
          • From 01 Apr. 2014, To 31 Mar. 2015
            教育制度委員会WG3 委員
          • From 01 Apr. 2012
            教育用計算機専門委員会 委員
          • From 15 Dec. 2009, To 30 Sep. 2010
            総長室特命補佐
          • From 01 Apr. 2006, To 31 Mar. 2007
            工学部情報学科 学科長

          Faculty management (title, position)

          • From 01 Apr. 2022, To 31 Mar. 2027
            国際高等教育院 データ科学イノベーション教育研究センター 運営委員会
          • From 01 Apr. 2017, To 31 Mar. 2018
            評価・広報委員会
          • From 01 Apr. 2017, To 31 Mar. 2018
            基盤整備委員会
          • From 01 Apr. 2017, To 31 Mar. 2018
            財務委員会
          • From 01 Apr. 2017, To 31 Mar. 2018
            教務委員会
          • From 01 Apr. 2017, To 31 Mar. 2018
            企画委員会
          • From 01 Apr. 2017, To 31 Mar. 2018
            制規等専門委員会
          • From 01 Apr. 2017, To 31 Mar. 2018
            専攻長会議
          • From 01 Apr. 2017, To 31 Mar. 2018
            情報セキュリティ委員会委員長
          • From 01 Apr. 2015, To 31 Mar. 2016
            制規委員会委員
          • From 01 Apr. 2015, To 31 Mar. 2016
            企画委員会委員
          • From 01 Apr. 2015, To 31 Mar. 2016
            教務委員会委員
          • From 01 Apr. 2015, To 31 Mar. 2016
            財務委員会委員
          • From 01 Apr. 2015, To 31 Mar. 2016
            基盤整備委員会委員
          • From 01 Apr. 2015, To 31 Mar. 2016
            評価・広報委員会委員
          • From 01 Apr. 2015, To 31 Mar. 2016
            情報セキュリティ委員会委員
          • From 01 Apr. 2015, To 31 Mar. 2016
            連携推進WG委員
          • From 01 Apr. 2014, To 31 Mar. 2015
            専攻長会議
          • From 01 Apr. 2014, To 31 Mar. 2015
            教務委員会委員
          • From 01 Apr. 2014, To 31 Mar. 2015
            基盤整備委員会委員(図書WG)
          • From 01 Apr. 2014, To 31 Mar. 2015
            評価・広報委員会委員長
          • From 01 Apr. 2014, To 31 Mar. 2015
            図書WG委員長(図書WG)
          • From 01 Apr. 2014, To 31 Mar. 2015
            連携推進WG委員
          • From 01 Apr. 2013, To 31 Mar. 2014
            教務委員会委員長
          • From 01 Apr. 2013, To 31 Mar. 2014
            G30WG委員
          • From 01 Apr. 2012, To 31 Mar. 2013
            教務委員会委員
          • From 01 Apr. 2012, To 31 Mar. 2013
            G30WG委員
          • From 01 Apr. 2012, To 31 Mar. 2013
            情報公開・個人情報保護WG委員
          • From 01 Apr. 2011, To 31 Mar. 2012
            教務委員会副委員長
          • From 01 Apr. 2011, To 31 Mar. 2012
            G30WG委員長

          ページ上部へ戻る