計算機による発見機構の研究
使用计算机的发现机制研究
基本信息
- 批准号:09780317
- 负责人:
- 金额:$ 1.28万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
- 财政年份:1997
- 资助国家:日本
- 起止时间:1997 至 1998
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究では計算機による発見機構の実現を目標とし、平面幾何を対象とした発見システムDIGESTを構築し動作させた。一般に対象が複雑な場合においては、その対象に含まれる構造を把握することによって抽象度の高い一般性のある定理や法則を発見することができる。DIGESTは平面幾何における最も基本的な構造である三角形に注目し、三角形の隣接・包含関係を基に面積の関係を表す式を獲得する。その式を基に、チェパの定理やメネラウスの定理などを再発見するだけでなく、三角形の重心についての定理など、一般性のある定理を数多く発見している。また、発見のプロセスにおいて問題解決の手法が用いられることが多いことに注貝し、問題解決過程における表現手法の研究として、図を用いて推論を行なうシステムも構築した。このシステムは算数の文章題を解く際、問題を図示することによって、〓に示されていない条件や制約を図から獲得して問題解決を行なっている。さらに、知的活動において図の果たす役割を明らかにするために、wwwにおけるサイトの集合を視覚化するシステムの構築も行なった。このシステムはサイトの集合をグラフとして表現し、内容的に類似するサイトのクラスタリングを試みる。このようなクラスタリングは、未知の対象についての性質を明らかにする上での第一歩であり、発見のような高度な知的活動の土台となるものである。昨年度と今年度の2年間に渡って行なわれた本研究は、発見、図による推論、視覚化をキーワードに、対象の表現や知議の獲得についての手法を考案し、実際にシステムを構築して動作させることによって検証を行なった。このような研究は、発見という人間の高度な知的活動を解明する上で興味深いだけでなく、計算機上での図形の表現やそれを用いた推論の手法などに対して有用な知見をもたらすものであると言える。
This study aims at the realization of computer vision mechanism, planar geometry, and vision DIGEST. In general, the structure of the image is complex, and the abstract degree is high. DIGEST is the most basic structure in plane geometry. The basic theorem of the formula, the theorem of the triangle, the theorem of the center of gravity, and the theorem of the general theorem are all rediscovered. The method of problem solving is to study the expression method of problem solving process and to use inference to construct problem solving system. This article is about the problem solving, and problem solving. In the event of a dispute between the parties, the parties may agree to a resolution. The content of the service is similar to that of the service. This is the first step in discovering the nature of unknown objects and activities. This study was conducted in the past two years to investigate, develop, infer, visualize, evaluate and evaluate the performance of the image. This research, discovery, and analysis of highly knowledgeable human activities are highly interesting, and the representation of shapes on computers is useful, as are inference techniques.
项目成果
期刊论文数量(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 }}
村田 剛志其他文献
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)
相似海外基金
Spectral embedding methods and subsequent inference tasks on dynamic multiplex graphs
动态多路复用图上的谱嵌入方法和后续推理任务
- 批准号:
EP/Y002113/1 - 财政年份:2024
- 资助金额:
$ 1.28万 - 项目类别:
Research Grant
CAREER: Game Theoretic Models for Robust Cyber-Physical Interactions: Inference and Design under Uncertainty
职业:稳健的网络物理交互的博弈论模型:不确定性下的推理和设计
- 批准号:
2336840 - 财政年份:2024
- 资助金额:
$ 1.28万 - 项目类别:
Continuing 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
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: Efficient Large Language Model Inference Through Codesign: Adaptable Software Partitioning and FPGA-based Distributed Hardware
职业:通过协同设计进行高效的大型语言模型推理:适应性软件分区和基于 FPGA 的分布式硬件
- 批准号:
2339084 - 财政年份:2024
- 资助金额:
$ 1.28万 - 项目类别:
Continuing Grant
Designing Interaction Freedom via Active Inference
通过主动推理设计交互自由度
- 批准号:
EP/Y029178/1 - 财政年份:2024
- 资助金额:
$ 1.28万 - 项目类别:
Research Grant
AI4PhotMod - Artificial Intelligence for parameter inference in Photosynthesis Models
AI4PhotMod - 用于光合作用模型中参数推断的人工智能
- 批准号:
BB/Y51388X/1 - 财政年份:2024
- 资助金额:
$ 1.28万 - 项目类别:
Research Grant
STATISTICAL AND COMPUTATIONAL THRESHOLDS IN SPIN GLASSES AND GRAPH INFERENCE PROBLEMS
自旋玻璃和图推理问题的统计和计算阈值
- 批准号:
2347177 - 财政年份:2024
- 资助金额:
$ 1.28万 - 项目类别:
Standard Grant
Collaborative Research: Urban Vector-Borne Disease Transmission Demands Advances in Spatiotemporal Statistical Inference
合作研究:城市媒介传播疾病传播需要时空统计推断的进步
- 批准号:
2414688 - 财政年份:2024
- 资助金额:
$ 1.28万 - 项目类别:
Continuing Grant