沢村 一 | 新潟大学

スポンサーリンク

概要

• 同名の論文著者
• 新潟大学の論文著者

関連著者

• 沢村 一

  新潟大学

• Sawamura Hajime

  Faculty Of Engeneering Niigata University

• 沢村 一

  新潟大学工学部 情報工学科

• 南 俊朗

  (株)富士通研究所パーソナルシステム研究所ネットメディア研究センター

• 南 俊朗

  九州大学附属図書館研究開発室

• 大谷 武

  九州大学システム情報科学研究科情報理学専攻

• 沢村 一

  新潟大学工学部情報工学科

• 梅田 勇一

  新潟大学大学院自然科学研究科

• 大橋 恭子

  富士通株式会社

• 南 俊朗

  (株)富士通研究所ネットメディア研究センター

• 沢村 一

  新潟大学大学院自然科学研究科 工学部情報工学科

• 沢村 一

  富士通株式会社

• 横田 かおる

  (株)富士通研究所

• 南 俊朗

  富士通(株)国際情報社会科学研究所

• 沢村 一

  富士通(株)国際情報社会科学研究所

• GODA Masaki

  Faculty of Engineering, Niigata University

• 新田 克己

  東京工業大学大学院総合理工学研究科

• 大西 耕二

  新潟大理

• 大谷 武

  (株)富士通研究所

• 向井 孝徳

  芝浦工業大学大学院工学研究科 システム工学部

• 若木 利子

  芝浦工業大学大学院工学研究科 システム工学部

• 福本 太郎

  新潟大学大学院自然科学研究科 工学部情報工学科

• 山下 仁

  新潟大学工学部情報工学科

• Goda M

  Niigata Univ. Niigata

• Goda Masaki

  Faculty Of Engeneering Niigata University

• 沢村 一

  (株)富士通研究所国際情報社会科学研究所

• 南 俊朗

  富士通株式会社

• 若木 利子

  芝浦工業大学システム工学部

• 若木 利子

  芝浦工業大学システム理工学部電子情報システム学科

• 若木 利子

  芝浦工業大学

• 向井 孝徳

  芝浦工業大学大学院 工学研究科

• 高橋 武久

  新潟大学

• 福本 太郎

  新潟大学大学院

• 新田 克己

  東京工業大学 大学院 総合理工学研究科 知能システム科学専攻

• 清塚 謙助

  新潟大学大学院自然科学研究科

• Goda M

  Graduate School Of Science And Technology Niigata University

• Ohnishi Koji

  Graduate Scool Of Science And Technology:faculty Of Science Niigata University:institute For Interdi

• 前田 信也

  新潟大学工学部情報工学科

• OHNISHI Koji

  Faculty of Science, Niigata University

• SHUTOU Hiroshi

  Faculty of Science, Niigata University

• Shutou Hiroshi

  Faculty Of Science Niigata University

• 稲垣 雅信

  新潟大学工学部情報工学科

• Ohnishi Koji

  Faculty Of Science And The Institute For Interdisciplinary Sciences Niigata University

• 大西 耕二

  Faculty of Science, Niigata University

• 首藤 洋

  Faculty of Science, Niigata University

• Goda Masaki

  Faculty of Engeneering, Niigata University

• 新田 克己

  東京工業大学

• 山下 仁

  新潟大学大学院自然科学研究科

• 佐藤 かおる

  富士通株式会社

• 南 俊郎

  富士通・国際研

• 大橋 恭子

  (株)富士通研究所ソフトウェア研究部

• 大谷 武

  株式会社富士通研究所

• 宮下 裕充

  芝浦工業大学大学院工学研究科 システム工学部

• 松永 久美子

  新潟大学大学院自然科学研究科 工学部情報工学科

• 大橋 恭子

  富士通研究所

• 南 俊明

  富士通株式会社

• 土屋 恭子

  富士通株式会社

• 沢村 一

  富士通・国際研

• 横田 かおる

  富士通研

• 大谷 武

  富士通株式会社

• 南 俊朗

  株式会社富士通研究所パーソナルシステム研究所

• 大谷 武

  富士通(株)国際情報社会科学研究所

• 小野 越夫

  富士通株式会社

• 小野 越夫

  富士通(株)

• 中村 伸明

  新潟大学大学院自然科学研究科

• 村井 謙一

  新潟大学大学院自然科学研究科

• Kanbe Daiji

  Faculty Of Science Niigata University

• 清塚 謙助

  新潟大学自然科学研究科

• 横田 かおる

  富士通株式会社

• HOKARI Shouken

  Faculty of Science, Niigata University

• OHSHIMA Madoka

  Faculty of Science, Niigata University

• FURUICHI Naotaka

  Faculty of Agriculture, Niitaga University

• SHIBUKI Katuei

  Brain Research Institute, Niigata University

• Hokari Shouken

  Graduate Scool of Science and Technology

• 梅田 勇一

  新潟大学工学部情報工学科

• 前田 信也

  新潟大学大学院自然科学研究科

• 高橋 武久

  新潟大学大学院自然科学研究科

• 稲垣 雅信

  新潟大学大学院自然科学研究所

• 佐藤 義顕

  新潟大学大学院自然科学研究科

• Furuichi Naotaka

  Graduate Scool Of Science And Technology:the Institute For Interdisciplinary Sciences Niigata Univer

• Shibuki Katuei

  Brain Research Institute Niigata University

• Ohshima Madoka

  Faculty Of Science Niigata University

• 浅沼 大作

  新潟大学大学院自然科学研究科

• 新田 克己

  東京工大 大学院総合理工学研究科

• 保苅 正憲

  Faculty of Science, Niigata University

• 沢村 一

  Faculty of Engineering Niigata University

• 大橋 恭子

  (株)富士通研究所

もっと見る 閉じる

著作論文

• セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
• 論理学対議論学(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
• On Designing the Method of Syntax Descriptions for Logics
• 論証支援システムEUODHILOSのための構文記述法の改良とパーザの実現
• 論証プログラミング
• 汎用論証支援システムEUODHILOS-IIの設計と実装
• 汎用論証支援システム EUODHILOS の応用と評価
• 汎用論証支援システム EUODHlLOS の応用と評価
• 確定節文法のための内部構造変換機能付きパーザとアンパーザの自動生成方式
• セマンティック Web 推論と議論エージェント推論の統合
• 論証支援システムのための論理式エディタ
• 多値議論の論理LMAのテトラレンマへの東洋的特殊化(「日本文化と知識処理」及び一般)
• 図を用いた推論の複雑性に関する考察
• 図を用いた推論法とその複雑性に関する考察
• 論証支援システムのための証明支援 : 思考シートによる証明方法
• 回覧板プロトコルを用いたスケジュール調整エージェント構築に関する一考察
• 記号創成に基くニューラルネット様生物機械の創成:遺伝暗号およびその他の記号システムの起源と進化についての統一理論の構築
• Neural-Network-like Biomachinogenesis via Semeiogenesis: Origin of Genetic Codes and Other Semeiotic Systems (数理モデル化と問題解決 研究報告)
• 議論するエージェント : 論理から議論へ
• 議論するエイジェントシステム
• 準無矛盾論理に基づく議論フレームワーク
• 議論を計算とコミュニケーションの基本メカニズムとするエージェントシステム(システムLSIの設計技術と設計自動化)
• 議論の論理と議論するマルチエージェント : 論理から議論へ (「マルチエージェント技術における新しい可能性」)
• "議論の論理と議論するマルチエージェント--論理から議論へ"への補遺 (AIシンポジウム(第16回) e-learningのintelligent化に向けて) -- (パネル討論「e-learningのintelligent化に向けて」)
• 妥協/譲歩機能をもつ議論による合意形成
• 議論によって合意形成するエージェントシステム
• モバイル可能な議論するエージェントシステム
• 2種類の否定を持つ知識ベースからの議論の作成と実装
• マルチエージェントシステムのための通信プロトコルとその効率分析
• Tactics/Tacticalsを利用したアナロジーによる証明法について
• HOLによるRelevant logicの定理証明機
• 対話型論証支援システムEUODHILOS (「人工知能と定理証明システム」)
• 論証支援のための証明コンストラクタ

もっと見る 閉じる

スポンサーリンク