山本 章博

最終更新日時:2017/05/01 15:48:23

印刷する

氏名(漢字/フリガナ/アルファベット表記)
山本 章博/ヤマモト アキヒロ/Akihiro Yamamoto
所属部署・職名(部局/所属/講座等/職名)
情報学研究科/知能情報学専攻認知システム講座/教授
学部兼担
部局 所属 講座等 職名
工学部 工学部 情報学科
連絡先住所
種別 住所(日本語) 住所(英語)
職場 606-8501 京都市左京区吉田本町 京都大学 情報学研究科 知能情報学専攻
連絡先電話番号
種別 番号
職場
所属学会(国内)
学会名(日本語) 学会名(英語)
情報処理学会 Information Processing Society of Japan
人工知能学会 The Japanese Society for Artificial Intelligence
日本ソフトウェア科学会 Japan Society for Software Science and Technology
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
理学博士 九州大学
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
九州大学 大学院総合理工学研究科情報システム学専攻博士後期課程 修了
九州大学 大学院総合理工学研究科情報システム学専攻 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
京都大学 理学部 卒業
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
1990/4〜1994/3 北海道大学 Hokkaido University 講師 Lecturer
1994/4〜2003/9 北海道大学 Hokakido University 助教授 Associate Professor
2003/10/〜 京都大学 Kyoto University 教授 Professor
プロフィール
(日本語)
1985年京都大学理学部卒業。1990年九州大学大学院総合理工学研究科博士課程修 了。理学博士。2003年より京都大学大学院情報学研究科(知能情報学専攻)教授。 専門は知能情報学の基礎理論、特に数理論理学を利用した機械学習理論の研究を 行ってきた。近年は離散数学、計算代数、計算可能解析学などの機械学習への応 用を中心に研究を行っている。人工知能学会、情報処理学会、日本ソフトウェア 学会各会員.
(英語)
Akihiro Yamamoto received the B.S. degree from Kyoto University in 1985, and Dr.Sci. degree from Kyushu University in 1990. Currently, he is a Professor of the Department of Intelligence Science and Technology, Graduate School of Informatics at Kyoto University. He has made research contributions to foundations of intelligence science, with a particular focus on application of mathematical logic to machine learning. His recent research interest includes developing machine learning theory with discrete mathematics, computational algebra, and computational calculus. He is joining the Japanese Society for Artificial Intelligence, Information Processing Society Japan, and Japan Society for Software Science and Technology.
研究テーマ
(日本語)
機械学習と知識発見,特に数理論理学,計算理論,形式言語理論の応用
(英語)
Machine Learning and Knowledge Discovery, as application of Mathematical Logic, Theory of Computation, and Formal Language Theory
研究概要
(日本語)
機械学習「帰納的な推論」を通して新しい知能情報の基礎理論を構築することを目指して研究を行っている.機械学習と帰納的推論は,観測されたデータを説明する一般的な規則を求めることにより,未知のデータに対して適切な振舞いをする機械の実現手法を指す.機械学習の理論と実現のために,計算論的学習理論,データ構造論,最適化アルゴリズムの応用を研究するとともに,知識発見への展開,システムの基礎と実装,さらに機械学習と数理論理学や代数構造との関係の解明へと展開している.
(英語)
My research focuses on machine learning approaches, with the aim of establishing new mathematical foundations of intelligent systems. Machine learning is the academic field concerned with the development of algorithmic techniques that can extract knowledge from available data, and, in doing so, can provide principled approaches to analyze new, unseen data. I investigate theoretical foundations and implementations of such tools, 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.
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
人工知能 Artificial Intelligence
機械学習 Machine Learning
研究分野(科研費分類コード)
科研費分類コード
知能情報学
情報学基礎
論文 > 論文
(文系研究者の一般的な論文集への寄稿や単行本の分担執筆などは「著書等」を参照してください)
著者名 タイトル 書誌情報等 年月 査読の有無 言語
KUSTUNA takuro, YAMAMOTO Akihiro Abstraction and Renement of Mathematical Functions Software Tools for Technology 2016 英語
KUTSUNA Takuro, YAMAMOTO Akihiro A parameter-free approach for one-class Intelligent Data Analysis,18,889-910 2014 英語
KUTSUNA Takuro, YAMAMOTO Akihiro Outlier Detection Based on Leave-One-Out Lecture Notes in Artificial Intelligence,8444,486-497 2014 英語
Seiichi Kondo, Keisuke Otaki, Madori Ikeda, Akihiro Yamamoto Fast Computation of The Tree Edit Distance Between Unordered Trees Using IP Solvers Lecture Notes in Computer Science,8777,156,156-167 2014 英語
M. Sugiyama; E. Hirowatari; H. Tsuiki; A. Yamamoto Learning figures with the Hausdorff metric by fractals - Towards computable binary classification Machine Learning,90,1,91-126 2013 英語
M. Sugiyama; A. Yamamoto Semi-supervised learning on closed set lattices Intelligent Data Analysis,17,3,399-421 2013 英語
V. Anh Nguyen; A. Yamamoto Mining of closed frequent subtrees from frequently updated databases Intelligent Data Analysis,16,6,953-967 2012 英語
V.A. Nguyen; K. Doi; A. Yamamoto Efficient mining of closed tree patterns from large tree databases with subtree constraint International Journal on Artificial Intelligence Tools,21,6 2012 英語
V.A. Nguyen; A. Yamamoto Learning from graph data by putting graphs on the lattice Expert Systems with Applications,39,12,11172-11182 2012 英語
Sugiyama, M., Imajo, K., Otaki, K., Yamamoto Semi-Supervised Ligand Finding Using Formal Concept Analysis IPSJ Online Transactions,5,0,114-123 2012 英語
Z. Gao; F. Stephan; G. Wu; A. Yamamoto Learning families of closed sets in matroids Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),7160 LNCS,120-139 2012 英語
Y. Kameda; A. Yamamoto Mining closed weighted itemsets for numerical transaction databases Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),7258 LNAI,197-210 2012 英語
K. Otaki; M. Sugiyama; A. Yamamoto Privacy preserving using dummy data for set operations in itemset mining implemented with ZDDs IEICE Transactions on Information and Systems,E95-D,12,3017-3025 2012 英語
M. Ikeda; M. Nishino; K. Doi; A. Yamamoto; S. Hayashi Semantics of a graphical model for representing hypotheses and a system supporting the management of hypotheses Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),6746 LNAI,32-43 2011 英語
M. Brecht; A. Yamamoto Topological properties of concept spaces (full version) Information and Computation,208,4,327-340 2010/04 英語
M. de Brecht; A. Yamamoto Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data Theoretical Computer Science,411,7-9,976-985 2010/02/28 英語
A. Yamamoto; K. Hirata; S.-I. Minato The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),6284 LNAI,315-316 2010 英語
山本 章博 代数学・数学基礎論における機械学習 人工知能学会誌,24,6,788-796 2009 日本語
土井 晃一郎, 山下 哲矢, 田中 孝侑, 山本 章博 内包カーネル関数 人工知能学会論文誌,23,3,185-192 2008 日本語
A. Yamamoto; K. Hirata The fifth workshop on Learning with Logics and Logics for Learning (LLLL2007) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),4914 LNAI,305-306 2008 英語
K. Doi; T. Yamashita; T. Tanaka; A. Yamamoto Intentional kernel functions Transactions of the Japanese Society for Artificial Intelligence,23,3,185-192 2008 英語
小林正典, 徳永浩雄, 山本章博 人工知能における計算論的学習理論とNoether環 数学,59,3,307-318 2007
B. Fronhöfer; A. Yamamoto Hypothesis finding with proof theoretical appropriateness criteria Theoretical Computer Science,350,1,140-162 2006/01/18 英語
A. Yamamoto; K. Hirata Workshop on Learning with Logics and Logics for Learning (LLLL) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),4012 LNAI,167-168 2006 英語
T. Horváth; A. Yamamoto Machine Learning: Foreword Machine Learning,64,1-3,3-4 2006 英語
A. Yamamoto Foundations of inductive logic programming and recent research topics Computer Software,23,2,29-44 2006 日本語
山本章博 精密化演算子を用いた帰納メタ論理プログラミング コンピュータソフトウェア,21,5,409-414 2004/09/28 英語
Akira Ogiso,Akihiro Yamamoto Finding Similar Stories by Using Sequences of Occurrence Vectors in Y. Kiyoki,E. Kawaguchi 2004 英語
A. Yamamoto; A. Ogiso Similarity of documents based on the vector sequence model Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science),3359,233-242 2004 英語
A. Yamamoto Hypothesis finding based on upward refinement of residue hypotheses Theoretical Computer Science,298,1,5-19 2003/04/04 英語
T. Kikuchi; A. Yamamoto A software environment for operating various discovery systems based on the logic of discovery Transactions of the Japanese Society for Artificial Intelligence,17,5,576-584 2002 英語
山本 章博 様々な発見の論理を統一的に利用可能な環境の構築 人工知能学会誌,17(5), 576-584 2002 日本語
H. Arimura; A. Yamamoto Inductive Logic Programming: From Logic of Discovery to Machine Learning IEICE Transactions on Information and Systems,E83D,1,10-18 2000/01 英語
山本 章博 底節の最小汎化に基づく仮説の発見手法 人工知能学会誌,14,4,709-716 1999/07/01 日本語
山本 章博 スキーマと質問を用いた述語発見による論理プログラムの構成的学習アルゴリズム 人工知能学会誌,14,4,679-688 1999/07/01 日本語
山本 章博 等式プログラミングにおける複雑化を用いた帰納推論 人工知能学会誌,14,3,512-519 1999/05/01 日本語
A. Yamamoto Revising the logical foundations of inductive logic programming systems with ground reduced programs New Generation Computing,17,1,119-127 1999 英語
A. Yamamoto An inference method for the complete inverse of relative subsumption New Generation Computing,17,1,99-117 1999 英語
山本 章博 A Constructive Learning Algorithm Which Invents New Predicates Based on Schemata and Queries Journal of Japan Society for Artificial lutelhgence,14/4,686 1999 英語
山本 章博 Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses Journal of Japan Society for Artificial lutelligence,14/4,709-716 1999 英語
山本 章博 Inference of Equational Programs by Inverse Reduction Journal of Japan Society for Artificial Intelligence,14/3,504-519 1999 英語
Yamamoto, K; Richter, MM; Smith, CH; Wiehagen, R; Zeugmann, T Logical aspects of several bottom-up fittings ALGORITHMIC LEARNING THEORY,1501,158-168 1998 英語
山本 章博 帰納論理プログラミングの基礎理論 (<小特集> 帰納論理プログラミング) 人工知能学会誌,12,5,665-674 1997/09/01 日本語
A. Ishino; A. Yamamoto Generalizations in typed equational programming and their application to learning functions New Generation Computing,15,1,85-103 1997 英語
山本 章博 Extensions of Deductive Logic Programming for lnductive Logic Progromming Deduction : Dagstubl Seminar Report 170, 1997 英語
Akihiro Yamamoto Learning logic programs using definite equality theories as background knowledge IEICE Transactions on Information and Systems,E78D,5,539-544 1995/05 英語
ARIKAWA, S; MIYANO, S; SHINOHARA, A; SHINOHARA, T; YAMAMOTO, A ALGORITHMIC LEARNING-THEORY WITH ELEMENTARY FORMAL SYSTEMS IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,E75D,4,405-414 1992/07 英語
S. Arikawa; T. Shinohara; A. Yamamoto Learning elementary formal system Theoretical Computer Science,95,1,97-113 1992/03/23 英語
A. Yamamoto Short note: procedural semantics and negative information of elementary formal system The Journal of Logic Programming,13,1,89-97 1992 英語
山本 章博 基底ナローイングを用いた拡張単一化アルゴリズムの完全性問題 コンピュータソフトウェア,6,3,255-265 1989/07/14 日本語
Akihito Yamamoto AN ANATOMY OF ABSTRACTION Bulletin of informatics and cybernetics,22,3,179-188 1987/03 英語

  • <<
  • >>
  • 表示
学会発表等 > 学会発表等
(文系研究者の一般的な学会報告の業績は「講演等」を参照してください)
著者名 タイトル 書誌情報等 年月 査読の有無 言語
Otaki, K., Yamamoto, A. Edit Operations on Lattices for MDL-based Pattern Summarization Proceedings of the International Workshop on Formal Concept Analysis and Applications, FCA&A 2015,17-32 2015 英語
Binou, M., Otaki, K., Ikeda, M., Yoshinaka, R., Yamamoto, A 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, Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014) 2014 英語
Yamaguchi, S., Ikeda, M., Otaki, K., Yoshinaka, R., Yamamoto, A. Finding All Premises of A Propositional Formula using Binary Decision Diagrams Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014) 2014 英語
Nishimura, S., Otaki, K., Ikeda, M., Yoshinaka, R., Yamamoto, A., Uno, T. Updating a Closed Itemset Family Based on Inclusion Relations Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014) 2014 英語
Yamazaki, T., Otaki, K., Ikeda, M., Yamamoto, A., Kuboyama, T. Local Similarity between Semi-Ordered Trees by Finding the Constrained Mapping Workshop on Graph-based Algorithms for Big Data and its Applications (GABA2014) 2014 英語
Madori Ikeda, Keisuke Otaki, Akihiro Yamamoto Formal Concept Analysis for Process Enhancement Based on a Pair of Perspectives the 11th International Conference on Concept Lattices and Their Applications,59-70 2014 英語
Keisuke Otaki, Madori Ikeda, Akihiro Yamamoto Pattern Structures for Understanding Episode Patterns the 11th International Conference on Concept Lattices and Their Applications,47-58 2014 英語
Tomohiko Okayama, Ryo Yoshinaka, Keisuke Otaki, Akihiro Yamamoto A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement Operators Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014. 2014 英語
Ikeda, M., Yamamoto, A. Classification by Selecting Plausible Formal Concepts in a Concept Lattice Proceedings of Workshop on Formal Concept Analysis meets Information Retrieval (FCAIR2013),22-35 2013 英語
Imajo, K., Otaki, K., Yamamoto, A. Binary Classification Using Fast Gaussian Filtering Algorithm Proceedings of Third Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2012) 2012 英語
Otaki, K., YOtaki, K., Yamamoto, A.amamoto, A. Estimation of Generating Processes of Strings Represented with Patterns and Substitutions Proceedings of the 11th International Conference on Grammatical Inference (ICGI 2012),177-182 2012 英語
M. Sugiyama; A. Yamamoto Semi-supervised learning for mixed-type data via formal concept analysis Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),6828 LNAI,284-297 2011 英語
M. Sugiyama; A. Yamamoto The minimum code length for clustering using the gray code Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),6913 LNAI,PART 3,365-380 2011 英語
M. Sugiyama; A. Yamamoto A fast and flexible clustering algorithm using binary discretization Proceedings - IEEE International Conference on Data Mining, ICDM,1212-1217 2011 英語
Mahito Sugiyama, Akihiro Yamamoto Fast Clustering Based on the Gray-Code Seventh Workshop on Learning with Logics and Logics for Learning (LLLL2011) 2011 英語
Sugiyama, M., Yoshioka, T., Yamamoto, A. High-throughput Data Stream Classification on Trees Proceedings of Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2011) 2011 英語
Otaki, K., Yamamoto, A. Preserving Privacy with Dummy Data in Set Operations on Itemsets Proceedings of Second Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP 2011) 2011 英語
Otaki, K., Yamamoto, A. Estimation of Generating Processes of Strings Represented with Patterns and Substitutions Proceedings of the 11th International Conference on Grammatical Inference (ICGI 2012), 21:177-182 2011 英語
Yudai Kawai, Mahito Sugiyama, Akihiro Yamamoto Mining RNA Families with Structure Histograms The 5th International Workshop on Data-Mining and Statistical Science (DMSS2011) 2011 英語
Sugiyama, M., Imajo, K., Otaki, K., Yamamoto, A. Discovering Ligands for TRP Ion Channels Using Formal Concept Analysis The 21st International Conference on Inductive Logic Programming (ILP 2011) 2011 英語
V.A. Nguyen; A. Yamamoto Incremental mining of closed frequent subtrees Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),6332 LNAI,356-370 2010 英語
M. Sugiyama; E. Hirowatari; H. Tsuiki; A. Yamamoto Learning figures with the hausdorff metric by fractals Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),6331 LNAI,315-329 2010 英語
M. Sugiyama; A. Yamamoto The coding divergence for measuring the complexity of separating two sets Journal of Machine Learning Research,13,127-143 2010 英語
S.-Y. Kuno; K. Doi; A. Yamamoto Frequent closed itemset mining with privacy preserving for distributed databases Proceedings - IEEE International Conference on Data Mining, ICDM,483-490 2010 英語
S. Ouchi; A. Yamamoto Learning from positive data based on the MINL strategy with refinement operators Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),6284 LNAI,345-357 2010 英語
Ikeda, M., Nishino, M., Doi, K., Yamamoto, A., Hayashi, S Semantics of a graphical model for representing hypotheses and a system supporting management of hypotheses Proceedings of the Fifth International Conference on Knowledge, Information and Creativity Support Systems, KICSS2010, Thailand, 159-166 2010 英語
Masaaki Nishino, Madori Ikeda, Akihiro Yamamoto Integrating Probabilistic Reasoning and Logic for Expressing Human Inference with Uncertainty 1st International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2010) 2010 英語
K. Doi; A. Yamamoto Kernel functions based on derivation Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),5433 LNAI,111-122 2009 英語
D.A. Nguyen; K. Doi; A. Yamamoto Discovering the structures of open source programs from their developer mailing lists Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),5808 LNAI,227-241 2009 英語
Sugiyama, M., Hirowatari, E., Tsuiki, H., Yamamoto, A. Learning Figures with the Hausdorff Metric by Self-similar Sets Proc. of LLLL 2009, Kyoto, 27-34 2009 英語
de Brecht, M., Yamamoto, A. Sigma_0^alpa-Admissible Representations the Sixth International Conference on Computability and Complexity in Analysis 2009 英語
M. De Brecht; A. Yamamoto Topological properties of concept spaces Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),5254 LNAI,374-388 2008 英語
S. Murakami; K. Doi; A. Yamamoto Finding frequent patterns from compressed tree-structured data Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),5255 LNAI,284-295 2008 英語
Y. Kameda; H. Tokunaga; A. Yamamoto Learning bounded unions of noetherian closed set systems via characteristic sets Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),5278 LNAI,98-110 2008 英語
I. Takamatsu; M. Kobayashi; H. Tokunaga; A. Yamamoto Computing characteristic sets of bounded unions of polynomial ideals Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),4914 LNAI,318-329 2008 英語
Nguyen, V. A., Doi, K., Yamamoto, A. Mining Maximal Tree Patterns with Subtree Constraint The Third International Workshop on Data-Mining and Statistical Science (DMSS2008), 5-8 2008 英語
Doi, K., Yamamoto, A Kernel Functions Based on Derivation Proceedings of the First International Workshop on Algorithms for Large-Scale Information Processing in Knowledge Discovery (ALSIP2008), 124-134 2008 英語
K. Doi; T. Yamashita; A. Yamamoto An efficient algorithm for computing kernel function defined with anti-unification Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),4455 LNAI,139-153 2007 英語
M. De Brecht; M. Kobayashi; H. Tokunaga; A. Yamamoto Inferability of closed set systems from positive data Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),4384 LNAI,265-275 2007 英語
K. Doi; T. Yamashita; A. Yamamoto An efficient algorithm for computing kernel function defined with anti-unification Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),4455 LNAI,139-153 2007 英語
H. Sankoh; K. Doi; A. Yamamoto An intentional kernel function for RNA classification Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),4755 LNAI,281-285 2007 英語
Sugiyama, M., Hirowatari, E., Tsuiki, H., Yamamoto, A. Learning from Real-Valued Data with the Model Inference Mechanism through the Gray-Code Embedding Proc. of LLLL 2006, JSAI , Tokyo, 31-37, 2006. 2006 英語
de Brecht, M, Yamamoto A. Mind Change Complexity of Inferring Unbounded Unions of Pattern Languages from Positive Data Proceedings of the 17th International Conference on Algorithmic Learning Theory (Lecture Notes in Artificial Intelligence 4264), Springer, 158-168 2006 英語
de Brecht, M., Kobayashi, M., Tokunaga, H., Yamamoto, A. Inferability of Closed Set Systems From Positive Data Proc. of LLLL 2006, JSAI , Tokyo, 11-17, 2006 2006 英語
山本 章博 Representing Inductive Inference with SOLD-Resolution Proceedings of the IJCAI'97 Workshop on Abduction and Induction in AI,/,59-63 1997 英語
山本 章博 Which Hypotheses Can Be Found with lnverse Entailment? -Extended Abstract- Proceedings of the IJCAI'97 Workshop on Frontiers of Inductive Logic Programming,/,19-23 1997 英語
Akihiro Yamamoto Completeness Problem on Extended Unification Based on Basic Narrowing Proceedings of the 7th Logic Programming Conference (Lecture Notes in Artificial Intelligence 383), 1-10 1989 英語
Arikawa, S., Shinohara, T., and Yamamoto, A. Elementary Formal System as a Unifying Framework for Language Learning Proceedings of the Second Annual Workshop on Computational Learning Theory,312-327 1989 英語
山本 章博 The Text Database Management System SIGMA : An Improvement of the Man Engine(共著) Proceedings of the Berliner Informatik-Tage,72-81 1989 日本語

  • <<
  • >>
  • 表示
講演等 > 一般講演
(文系研究者の一般的な学会報告はこの項に収録されております)
タイトル 会合名 開催主体 年月 言語
多項式環におけるイデアルの正データからの帰納推論 SLACS 2007 2007 日本語
Mind Change Complexity More Than ω^ω in Inductive Inference from Positive Data SLACS 2007 2007 英語
著書等 > 著書
著者名 タイトル 出版社等 年月 言語
山本 章博(分担執筆) 情報システムと情報技術事典 培風館,「論理」の項 2006 日本語
山本 章博 Finding Similar Stories by Using Sequences of Occurrence Vectors Information Modelling and Knowledge Bases XV, IOS Press,303--306 2004 英語
山本 章博 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 英語
山本 章博 Unifying Various Knowledge Discovery Systems in Logic of Discovery Information Modelling and Knowledge Bases XIV, IOS Press,118-127 2003 英語
山本 章博 Discovery Science : 6th International Conference Springer, 2003 英語
Akihiro Yamamoto Inductive Logic Programming : 13th International Conference Springer,402 2003 英語
山本 章博 Inductive Logic Programming : 13th International Conference (Lecture Notes in Artificial Intelligence) Springer, 2003 英語
山本 章博 Unifying Various Knowledge Discovery Systems in Logic of Discovery Information Modelling and Knowledge Bases XIV, IOS Press,118-127 2003 英語
Akihiro Yamamoto Discovery Science : 6th International Conference Springer,504 2003 英語
Akihiro Yamamoto ``Proceedings of the 6th International Conference on Discovery Science (DS 2003)'' Springer,504 2003 英語
山本 章博 帰納論理プログラミングと証明補完 bit別冊 「発見科学とデータマイニング」共立出版,34-44 2000 日本語
山本 章博 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 英語
山本 章博 Using Abduction for Induction based on Bottom Generalization A bductive and Inductive Reasoning : Essays on their Relation and Integration,/,267-280 2000 英語
山本 章博 Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses(共著) Lecture Notes in Artificial Intelligence 1532,/,303-314 1998 日本語
山本 章博 Logical Aspects of Several Bottom-up Fittings Lecture Notes in Artificial Intelligence 1501,/,158-168 1998 英語
山本 章博 Which Hypothese Can Be Found with Inverse Entailment? Lecture Notes in Artificial Intelligonce 1297, Springer,/,296-308 1997 英語
山本 章博 Information Modelling and Knowledge Bases VII(共著) IOS Press, 1996 日本語
山本 章博 Programming by First Order Formulas for Object and Relation Definition Information Modelling and Knowledge Bases VI, 1995 英語
山本 章博 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 英語
山本 章博 Learning from Examples with Typed Equational Programming(共著) Lecture Notes in Artificial Intelligence,872,301-316, Springer-Verlag 1994 日本語
山本 章博 Polynomial-Time MAT Learning of Multilinear Logic Programs(共著) Lecture Notes in Artificial Intelligence,743,63-74, Springer-Verlag 1993 日本語
山本 章博 Generalized Unification as Background Knowledge in Learning Logic Programs Lecture Notes in Artificial Intelligence,744,111-122, Springer-Verlag 1993 英語
山本 章博 Generalization of Weakly Reducing EFS with Abstraction Advances in Information Modelling and Knowledge Bases,110-123, 10S Press 1991 英語
山本 章博 論理プログラミング(翻訳) 大須賀節雄(監訳)「人工知能大辞典」,丸善, 1991 日本語
山本 章博 Generalization of Weakly Reducing EFS with Abstraction Advances in Information Modelling and Knowledge Bases, The IOS Press,110-123 1991 英語
山本 章博 Elementary Formal System as a Logic Programming Language. Lecture Notes in Artificial Intelligence,485,73-86, Springer-Verlag 1990 英語
山本 章博 Completeness of Extended Unification Based on Basic Narrowing Lecture Notes in Artificial Intelligence,383,1-10, Springer-Verlag 1989 英語
山本 章博 拡張単一化と等式論理 有川節夫・原口誠(著)「述論論理と論理プログラミング」第8章,オーム社, 1988 日本語
山本 章博 A Theoretical Combination of SLD-Resolution and Narrowing Logic Programming,470-487, the MIT Press 1987 英語
山本 章博 A Theoretical Combination of SLD-Resolution and Narrowing J.-L. Lassez (ed.) Logic Programming, The MIT Press,470-487 1987 英語

  • <<
  • >>
  • 表示
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
日本ソフトウェア科学会高橋奨励賞 1991
人工知能学会研究奨励賞 (社)人工知能学会 1998
人工知能学会研究奨励賞 (社)人工知能学会 2005
人工知能学会研究会優秀賞 (社)人工知能学会 2010/06/10
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
特定領域研究 代表 始祖学習によるソフトウェア発展プロセスの統一的構 成技術の開発 2003〜2003
特定領域研究 代表 表現が精密化可能なデータを対象とするソフトウェアの始祖学習による構成 2004〜2006/03/31
萌芽研究 代表 ブール環を用いた代数的手法による帰納論理の基礎理論 2004〜2007/03/31
萌芽研究 分担 代数幾何学に現れるプロシージャの計算論的学習理論の側面 2004〜2007/03/31
基盤研究B 代表 頻度に基づく下方集合の高速探索を利用した構造データからの知識発見 2007〜2010/03/31
挑戦的萌芽研究 代表 論理式による実数の近似表現を用いた数値データからの機械学習手法 2007〜2010/03/31
基盤研究B 分担 計算と論理の融合によるバグのないソフトウェア構築環境に関する研究 2007〜2010/03/31
基盤研究A 代表 離散値・数値混用データからの閉集合を利用した知識発見方式 2010〜2014/03/31
挑戦的萌芽研究 代表 主観信頼性とグラフィカル・モデルの組合せによる研究支援システムの構築 2010〜2013/03/31
基盤研究B 分担 計算と論理の融合によるバグのないソフトウェア構築環境に関する研究 2010〜
基盤研究(A) 代表 離散値・数値混用データからの閉集合を利用した知識発見方式 2010〜2013
基盤研究(B) 代表 順序関係が成立する属性を持つデータからの閉集合を用いた知識発見 (平成26年度分) 2014/04/01〜2015/03/31
基盤研究(B) 代表 順序関係が成立する属性を持つデータからの閉集合を用いた知識発見 (平成27年度分) 2015/04/01〜2016/03/31

  • <<
  • >>
  • 表示
外部資金:競争的資金・科学研究費補助金以外
制度名 代表者名 研究課題(日本語) 研究課題(英語) 期間
人工知能研究振興財団 山本章博 統合型知識発見システムの基盤技術 1997/12/〜2000/3
科学技術振興事業団 さきがけ研究21 山本章博 WWW上を仮説探索する推論システムの構築 1998/10/〜2000/09/
大川情報通信基金 山本章博 機械学習・発見システムを統合的に利用可能な計算機環境の構築, 2001/9〜2002/8
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 期間
Advanced Study in IST I 通年 情報学研究科 2011/04〜2012/03
Advanced Study in IST II 通年 情報学研究科 2011/04〜2012/03
情報・史料学(特殊講義) 前期 文学研究科 2011/04〜2012/03
知能情報学特殊研究1 通年 情報学研究科 2011/04〜2012/03
知能情報学特殊研究2 通年 情報学研究科 2011/04〜2012/03
Foundations of Intelligent Systems 前期 情報学研究科 2011/04〜2012/03
ソフトウェア工学(計算機) 後期 工学部 2011/04〜
パターン認識と機械学習(計算機) 後期 工学部 2011/04〜2012/03
知能情報学特別セミナー 通年 情報学研究科 2011/04〜2012/03
知能情報ソフトウェア特別セミナー 後期 情報学研究科 2011/04〜2012/03
Introduction to Information Science 後期 情報学研究科 2011/04〜2012/03
Perspective in Informatics 4B 後期 情報学研究科 2011/04〜2012/03
情報科学基礎論 前期 情報学研究科 2011/04〜2012/03
Foundations of Intelligent Systems Foundations of Intelligent Systems 前期 情報学研究科 2012/04〜2013/03
Introduction to Information Science Introduction to Information Science 後期 情報学研究科 2012/04〜2013/03
Perspective in Informatics 4B Perspective in Informatics 4B 後期 情報学研究科 2012/04〜2013/03
ソフトウェア工学 Software Engineering 後期 工学部 2012/04〜2013/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学研究科 2012/04〜2013/03
情報学展望4 Perspective in Informatics 4 前期 情報学研究科 2012/04〜2013/03
情報学展望5 Perspective in Informatics 5 後期 情報学研究科 2012/04〜2013/03
情報科学基礎論 Introduction to Information Science 前期 情報学研究科 2012/04〜2013/03
特別研究1 Graduation Thesis 1 前期集中 工学部 2012/04〜2013/03
特別研究1 Graduation Thesis 1 後期集中 工学部 2012/04〜2013/03
特別研究2 Graduation Thesis 2 前期集中 工学部 2012/04〜2013/03
特別研究2 Graduation Thesis 2 後期集中 工学部 2012/04〜2013/03
知能情報学特別セミナー Advanced Seminar on Intelligence Science and Technology 通年 情報学研究科 2012/04〜2013/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2012/04〜2013/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2012/04〜2013/03
知能情報ソフトウェア特別セミナー Advanced Seminar on Foundation of Software Science 後期 情報学研究科 2012/04〜2013/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2012/04〜2013/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2012/04〜2013/03
パターン認識と機械学習 Pattern Recognition 後期 工学部 2012/04〜2013/03
ソフトウェア工学 Software Engineering 後期 工学部 2013/04〜2014/03
オペレーティングシステム Operating Systems 前期 工学部 2013/04〜2014/03
パターン認識と機械学習 Pattern Recognition 後期 工学部 2013/04〜2014/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学研究科 2013/04〜2014/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2013/04〜2014/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2013/04〜2014/03
情報科学基礎論 Introduction to Information Science 前期 情報学研究科 2013/04〜2014/03
Foundations of Intelligent Systems Foundations of Intelligent Systems 前期 情報学研究科 2013/04〜2014/03
知能情報学特別セミナー Advanced Seminar on Intelligence Science and Technology 通年 情報学研究科 2013/04〜2014/03
知能情報ソフトウェア特別セミナー Advanced Seminar on Foundation of Software Science 後期 情報学研究科 2013/04〜2014/03
情報学展望4 Perspective in Informatics 4 前期 情報学研究科 2013/04〜2014/03
情報学展望5 Perspective in Informatics 5 後期 情報学研究科 2013/04〜2014/03
データマイニングと計算機科学 Datamining and Computer Science 前期 全学共通科目 2013/04〜2014/03
ソフトウェア工学 Software Engineering 後期 工学部 2014/04〜2015/03
オペレーティングシステム Operating Systems 前期 工学部 2014/04〜2015/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2014/04〜2015/03
パターン認識と機械学習 Pattern Recognition 後期 工学部 2014/04〜2015/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学研究科 2014/04〜2015/03
知能情報学特殊研究 I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2014/04〜2015/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2014/04〜2015/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2014/04〜2015/03
情報科学基礎論 Introduction to Information Science 前期 情報学研究科 2014/04〜2015/03
Computational Learning Theory Computational Learning Theory 前期 情報学研究科 2014/04〜2015/03
知能情報学特別セミナー Advanced Seminar on Intelligence Science and Technology 通年 情報学研究科 2014/04〜2015/03
知能情報ソフトウェア特別セミナー Advanced Seminar on Foundation of Software Science 後期 情報学研究科 2014/04〜2015/03
情報学展望4 Perspective in Informatics 4 前期 情報学研究科 2014/04〜2015/03
情報学展望5 Perspective in Informatics 5 後期 情報学研究科 2014/04〜2015/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2014/04〜2015/03
Advanced Study in IST I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2014/04〜2015/03
Advanced Study in IST II Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2014/04〜2015/03
Advanced Study in IST I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2015/04〜2016/03
Advanced Study in IST II Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2015/04〜2016/03
Computational Learning Theory Computational Learning Theory 前期 情報学研究科 2015/04〜2016/03
オペレーティングシステム Operating Systems 前期 工学部 2015/04〜2016/03
ソフトウェア工学 Software Engineering 後期 工学部 2015/04〜2016/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 前期 文学研究科 2015/04〜2016/03
情報学展望4 Perspective in Informatics 4 前期 情報学研究科 2015/04〜2016/03
情報学展望5 Perspective in Informatics 5 後期 情報学研究科 2015/04〜2016/03
情報科学基礎論 Introduction to Information Science 前期 情報学研究科 2015/04〜2016/03
知能情報学特別セミナー Advanced Seminar on Intelligence Science and Technology 通年 情報学研究科 2015/04〜2016/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 前期集中 情報学研究科 2015/04〜2016/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2015/04〜2016/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2015/04〜2016/03
知能情報学特殊研究 I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2015/04〜2016/03
知能情報ソフトウェア特別セミナー Advanced Seminar on Foundation of Software Science 後期 情報学研究科 2015/04〜2016/03
統計入門 Introductory Statistics 前期 全学共通科目 2015/04〜2016/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2015/04〜2016/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2015/04〜2016/03
計算論的学習理論 Computational Learning Theory 前期 工学研究科 2015/04〜2016/03
パターン認識と機械学習 Pattern Recognition 後期 工学部 2015/04〜2016/03
Advanced Study in IST I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2016/04〜2017/03
Advanced Study in IST II Advanced Study in Intelligence Science and Technology II 後期集中 情報学研究科 2016/04〜2017/03
Advanced Study in IST II Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2016/04〜2017/03
Computational Learning Theory Computational Learning Theory 後期 情報学研究科 2016/04〜2017/03
オペレーティングシステム Operating Systems 前期 工学部 2016/04〜2017/03
ソフトウェア工学 Software Engineering 後期 工学部 2016/04〜2017/03
情報・史料学(特殊講義) Humanistic Informatics (Special Lectures) 後期 文学研究科 2016/04〜2017/03
情報学展望4 Perspective in Informatics 4 前期 情報学研究科 2016/04〜2017/03
情報学展望5 Perspective in Informatics 5 後期 情報学研究科 2016/04〜2017/03
情報科学基礎論 Introduction to Information Science 前期 情報学研究科 2016/04〜2017/03
知能情報学特別セミナー Advanced Seminar on Intelligence Science and Technology 通年 情報学研究科 2016/04〜2017/03
知能情報学特殊研究2 Advanced Study in Intelligence Science and Technology II 通年 情報学研究科 2016/04〜2017/03
知能情報学特殊研究1 Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2016/04〜2017/03
知能情報学特殊研究 I Advanced Study in Intelligence Science and Technology I 通年 情報学研究科 2016/04〜2017/03
知能情報ソフトウェア特別セミナー Advanced Seminar on Foundation of Software Science 後期 情報学研究科 2016/04〜2017/03
自然現象と数学 Mathematical Description of Natural Phenomena 前期 全学共通科目 2016/04〜2017/03
言語・オートマトン Languages and Automata 後期 工学部 2016/04〜2017/03
計算機科学概論 Introduction to Computer Science 前期 全学共通科目 2016/04〜2017/03
計算機科学概論 Introduction to Computer Science 前期 工学部 2016/04〜2017/03
計算論的学習理論 Computational Learning Theory 後期 工学研究科 2016/04〜2017/03

  • <<
  • >>
  • 表示
全学運営(役職等)
役職名 期間
総長室特命補佐 2009/12/15〜2010/09/30
教育制度委員会 委員 2014/04/01〜2016/03/31
教育用計算機専門委員会 委員 2012/04/01〜
教育制度委員会:GPAに関する検討WG 委員 2014/04/01〜2015/03/31
教育制度委員会:教務情報システム検討WG 委員 2014/04/01〜2015/03/31
教育制度委員会WG3 委員 2014/04/01〜2015/03/31
情報学研究科 研究科長 2015/04/01〜2017/03/31
京都大学産学共同実用化促進事業実施委員会 3号委員 2015/04/01〜2015/09/09
船井哲良記念講堂・船井交流センター運営委員会 4号委員 2015/04/01〜2017/03/31
産官学連携本部運営協議会 5号協議員 2015/04/01〜2017/03/31
京都大学研究公正委員会 委員 2015/04/01〜
全学情報セキュリティ委員会 委員 2015/04/01〜
全学情報セキュリティ委員会常置委員会 委員 2015/04/01〜2016/03/31
京都大学博士課程教育リーディングプログラム運営会議 委員 2015/04/01〜2017/03/31
財務委員会 委員 2015/04/01〜2016/09/30
人事審査委員会 委員 2015/04/01〜2017/03/31
総長選考会議 委員 委員 2015/04/01〜2017/03/31
教育研究評議会 評議員 2015/04/01〜2017/03/31
研究科長部会 2015/04/01〜2017/03/31
部局長会議 2015/04/01〜2017/03/31
産官学連携本部運営協議会 5号委員 2015/06/01〜2017/07/01
京都大学利益相反マネジメント委員会 2号委員 2015/06/01〜2017/06/30
人事制度検討会 委員 2015/06/01〜2017/07/01
教養・共通教育協議会 2015/06/01〜2017/07/01
財務委員会 委員 2015/06/01〜2016/06/30
全学情報セキュリティ委員会常置委員会 委員 2016/06/01〜2017/07/01
博士課程教育リーディングプログラム運営会議 委員 2015/06/01〜2017/07/01

  • <<
  • >>
  • 表示
部局運営(役職等)
役職名 期間
制規委員会委員 2015/04/01〜2016/03/31
企画委員会委員 2015/04/01〜2016/03/31
教務委員会委員 2015/04/01〜2016/03/31
財務委員会委員 2015/04/01〜2016/03/31
基盤整備委員会委員 2015/04/01〜2016/03/31
評価・広報委員会委員 2015/04/01〜2016/03/31
情報セキュリティ委員会委員 2015/04/01〜2016/03/31
教務委員会副委員長 2011/04/01〜2012/03/31
G30WG委員長 2011/04/01〜2012/03/31
教務委員会委員 2012/04/01〜2013/03/31
G30WG委員 2012/04/01〜2013/03/31
情報公開・個人情報保護WG委員 2012/04/01〜2013/03/31
教務委員会委員長 2013/04/01〜2014/03/31
G30WG委員 2013/04/01〜2014/03/31
専攻長会議 2014/04/01〜2015/03/31
教務委員会委員 2014/04/01〜2015/03/31
基盤整備委員会委員(図書WG) 2014/04/01〜2015/03/31
評価・広報委員会委員長 2014/04/01〜2015/03/31
図書WG委員長(図書WG) 2014/04/01〜2015/03/31
連携推進WG委員 2014/04/01〜2015/03/31
連携推進WG委員 2015/04/01〜2016/03/31

  • <<
  • >>
  • 表示
学会活動:学会役員歴
学会名(日本語) 学会名(英語) 役職名(日本語) 役職名(英語) 期間
人工知能学会 Japanese Society for Artificial Intelligence 理事 2010/07/〜2012/_0/6_
その他活動:国・地方公共団体での活動
委員会名(日本語) 委員会名(英語) 役職名 公共団体の名称 期間
科学研究費 審査委員 2008
科学研究費 審査委員 2009