計算機による発見機構の研究

使用计算机的发现机制研究

基本信息

项目摘要

本研究では計算機による発見機構の実現を目標とし、平面幾何を対象とした発見システムDIGESTを構築し動作させた。一般に対象が複雑な場合においては、その対象に含まれる構造を把握することによって抽象度の高い一般性のある定理や法則を発見することができる。DIGESTは平面幾何における最も基本的な構造である三角形に注目し、三角形の隣接・包含関係を基に面積の関係を表す式を獲得する。その式を基に、チェパの定理やメネラウスの定理などを再発見するだけでなく、三角形の重心についての定理など、一般性のある定理を数多く発見している。また、発見のプロセスにおいて問題解決の手法が用いられることが多いことに注貝し、問題解決過程における表現手法の研究として、図を用いて推論を行なうシステムも構築した。このシステムは算数の文章題を解く際、問題を図示することによって、〓に示されていない条件や制約を図から獲得して問題解決を行なっている。さらに、知的活動において図の果たす役割を明らかにするために、wwwにおけるサイトの集合を視覚化するシステムの構築も行なった。このシステムはサイトの集合をグラフとして表現し、内容的に類似するサイトのクラスタリングを試みる。このようなクラスタリングは、未知の対象についての性質を明らかにする上での第一歩であり、発見のような高度な知的活動の土台となるものである。昨年度と今年度の2年間に渡って行なわれた本研究は、発見、図による推論、視覚化をキーワードに、対象の表現や知議の獲得についての手法を考案し、実際にシステムを構築して動作させることによって検証を行なった。このような研究は、発見という人間の高度な知的活動を解明する上で興味深いだけでなく、計算機上での図形の表現やそれを用いた推論の手法などに対して有用な知見をもたらすものであると言える。
This study is about computer science, structure, object, and plane geometry. Generally speaking, it's a common situation, it's a common situation, it's a common situation, it's a common structure, it's a grasp of the structure, it's a common oneとによってThe degree of abstraction is high and the generality のあるTheorem や発见することができる. DIGEST's planar geometry is the most basic construction of triangles, attention, adjacency and inclusion relationships of triangles, bases, area relationships, and table formulas.その式を记に、チェパのtheoremやメネラウスのtheoremなどを発见するだけでなく, the center of gravity of the triangle is the theorem of the center of gravity, and the general theorem of the center of gravity is that the number is too large.また、発见のプロセスにおいてProblem-solving techniqueが用いられることが多いことにNote贝し、question The problem-solving process is a research on expression techniques, and the problem-solving process is based on inference and construction.このシステムはcalculusのArticle questionをsolutionく间、questionを図 showすることによって、〓にshows されていないconditionsやconditionsを図からgetsしてproblemsolvedを行なっている.さらに、Knowing activities におい図の Fruit たすservice cut を明らかにするために、w wwにおけるサイトのassemble を视覚化するシステムのconstruct も行なった. The performance and content of このシステムはサイトの集をグラフとして are similar to するサイトのクラスタリングをtrialみる.このようなクラスタリングは、Unknown の対肖についての性を明らかにする上での一stepどであり、発见のような高な知的activityの土台となるものである. Yesterday's year and this year's 2 years' research, 発见, inference, visual change, and table現や知議の獲得についての手法を考案し、実際にシステムを構築して動作させることによって検証を行なった。このような Research は、発见というThe activities of the high のknowledge in the human world を解明する上 で情深いだけでなく、On the computerでの図shapedのexpressionやそれを用いたdeduceのtechniqueなどに対して Usefulな知见をもたらすものであると语える.

项目成果

期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
加藤裕樹、村田剛志、志村正道: "図を用いた算術問題解決システム" 人工知能学会全国大会(第11回)論文集. 130-133 (1997)
Hiroki Kato、Tsuyoshi Murata、Masamichi Shimura:“使用图表的算术问题解决系统”日本人工智能学会第 11 届全国会议记录 130-133 (1997)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
村田剛志.加藤裕樹.志村正道.沼尾正行: "図を用いた算術問題解決システムDIPS" 電子情報通信学会論文誌. Vol.J82-D-II,No.1. 75-82 (1999)
Tsuyoshi Murata、Hiroki Kato、Masamichi Shimura、Masayuki Numao:“DIPS,使用图表的算术问题解决系统”,电子信息通信工程师学会学报,第 J82-D-II 卷,第 1. 75-82 期(1999)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
村田剛志.沼尾正行: "平面幾何におけるvisual thinking" 人工知能学会全国大会(第12回)論文集. Vol.98,No.1. 620-623 (1998)
Takeshi Murata 和 Masayuki Numao:“平面几何中的视觉思维”第 12 届日本人工智能学会全国会议论文集,第 98 卷,第 620-623 期(1998 年)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
小田裕子.村田剛志.沼尾正行: "多分木化による見やすい決定木の構築" 人工知能学会全国大会(第12回)論文集. Vol.98,No.1. 11-14 (1998)
Yuko Oda、Tsuyoshi Murata 和 Masayuki Numao:“通过多边形构建易于阅读的决策树”第 12 届日本人工智能学会全国会议论文集,第 98 卷,第 11-14 期(1998 年)。 )
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
村田剛志、志村正道: "図形の構造に基づく計算機による発見手法" 電子情報通信学会論文誌. J80-D-II no.5. 1152-1159 (1997)
Tsuyoshi Murata、Masamichi Shimura:“基于图形结构的计算机发现方法”,电子、信息和通信工程师学会会刊 J80-D-II 第 5 期(1997 年)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

村田 剛志其他文献

参照の共起性に基づく Web コミュニティの発見
基于参考共现发现网络社区
  • DOI:
  • 发表时间:
    2001
  • 期刊:
  • 影响因子:
    0
  • 作者:
    村田 剛志
  • 通讯作者:
    村田 剛志
Search of Mathematical Formulas using MathML
使用 MathML 搜索数学公式
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    健一 小田切;村田 剛志
  • 通讯作者:
    村田 剛志
高磁場における溶解トリプレットDNP実験
高磁场中溶解三重态 DNP 实验
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    宮西 孝一郎,一条 直規;本山 誠;香川 晃徳;根来 誠;中村 祐士;江野澤 英穂;村田 剛志;森田 靖;北川 勝浩
  • 通讯作者:
    北川 勝浩

村田 剛志的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('村田 剛志', 18)}}的其他基金

グラフニューラルネットワーク技術の深化
深化图神经网络技术
  • 批准号:
    23K28141
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Deepening Graph Neural Network Technology
深化图神经网络技术
  • 批准号:
    23H03451
  • 财政年份:
    2023
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Multi-dimensional networks based on polycyclic organic neutral radicals with hydrogen-bonds and coordination-bonds
基于具有氢键和配位键的多环有机中性自由基的多维网络
  • 批准号:
    23K04710
  • 财政年份:
    2023
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Understanding and controlling information propagation in multilayer networks
理解和控制多层网络中的信息传播
  • 批准号:
    17H01785
  • 财政年份:
    2017
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Webからの数式情報・図形情報の獲得および利用に関する研究
Web数学信息和图形信息的获取和利用研究
  • 批准号:
    18650029
  • 财政年份:
    2006
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
Webのハイパーリンク構造のモデル化に関する研究
网页超链接结构建模研究
  • 批准号:
    16680008
  • 财政年份:
    2004
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Young Scientists (A)
Webにおけるユーザコミュニティに関する研究
网络用户社区研究
  • 批准号:
    16016288
  • 财政年份:
    2004
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
ハイパーリンクのグラフ構造に基づくWebコミュニティに関する研究
基于超链接图结构的网络社区研究
  • 批准号:
    14019088
  • 财政年份:
    2002
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
ハイパーリンクのグラフ構造に基づくWebコミュニティに関する研究
基于超链接图结构的网络社区研究
  • 批准号:
    13224091
  • 财政年份:
    2001
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas (C)
参照の共起性に基づく知識発見に関する研究
基于参考文献共现的知识发现研究
  • 批准号:
    12780261
  • 财政年份:
    2000
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

CAREER: Game Theoretic Models for Robust Cyber-Physical Interactions: Inference and Design under Uncertainty
职业:稳健的网络物理交互的博弈论模型:不确定性下的推理和设计
  • 批准号:
    2336840
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Continuing Grant
Spectral embedding methods and subsequent inference tasks on dynamic multiplex graphs
动态多路复用图上的谱嵌入方法和后续推理任务
  • 批准号:
    EP/Y002113/1
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Research Grant
Probabilistic Inference Based Utility Evaluation and Path Generation for Active Autonomous Exploration of USVs in Unknown Confined Marine Environments
基于概率推理的效用评估和路径生成,用于未知受限海洋环境中 USV 主动自主探索
  • 批准号:
    EP/Y000862/1
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Research Grant
CAREER: Statistical foundations of particle tracking and trajectory inference
职业:粒子跟踪和轨迹推断的统计基础
  • 批准号:
    2339829
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic Encryption
合作研究:SHF:小型:基于密文-密文全同态加密的高效、可扩展的隐私保护神经网络推理
  • 批准号:
    2412357
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Standard Grant
CAREER: Efficient Large Language Model Inference Through Codesign: Adaptable Software Partitioning and FPGA-based Distributed Hardware
职业:通过协同设计进行高效的大型语言模型推理:适应性软件分区和基于 FPGA 的分布式硬件
  • 批准号:
    2339084
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Continuing Grant
AI4PhotMod - Artificial Intelligence for parameter inference in Photosynthesis Models
AI4PhotMod - 用于光合作用模型中参数推断的人工智能
  • 批准号:
    BB/Y51388X/1
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Research Grant
CSR: Small: Latency-controlled Reduction of Data Center Expenses for Handling Bursty ML Inference Requests
CSR:小:通过延迟控制减少数据中心处理突发 ML 推理请求的费用
  • 批准号:
    2336886
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Standard Grant
CAREER: Statistical Inference in Observational Studies -- Theory, Methods, and Beyond
职业:观察研究中的统计推断——理论、方法及其他
  • 批准号:
    2338760
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Continuing Grant
STATISTICAL AND COMPUTATIONAL THRESHOLDS IN SPIN GLASSES AND GRAPH INFERENCE PROBLEMS
自旋玻璃和图推理问题的统计和计算阈值
  • 批准号:
    2347177
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了