平田 耕一 | 九州工業大学情報工学研究院

スポンサーリンク

概要

• 同名の論文著者
• 九州工業大学情報工学研究院の論文著者

関連著者

• 平田 耕一

  九州工業大学情報工学研究院

• 平田 耕一

  九州工業大学

• 原尾 政輝

  九州工業大学情報工学部知能情報工学科

• 山田 敬三

  九州工業大学情報工学部

• 原尾 政輝

  九州工大 情報工

• 平田 耕一

  九州工業大学大学院情報工学研究院

• 宮原 哲浩

  広島市立大学

• 有川 節夫

  九州大学大学院システム情報科学研究院

• 有村 博紀

  九州大学大学院システム情報科学研究科

• 廣渡 栄寿

  北九州市立大学

• 篠原 歩

  九州大学理学部基礎情報学研究施設

• 有川 節夫

  九州大学

• 村山 武昭

  九州大学工学部

• 沢村 企好

  九州工業大学工学部金属工学科

• 久保 憲吾

  九州工業大学大学院情報工学研究科

• 篠原 歩

  九大 大学院システム情報科学研究院

• 沢村 企好

  九州工業大学工学部:(現)久留米工業学園短大

• 村山 武昭

  九州工業大学大学院

• 山本 章博

  京都大学情報学研究科

• 有村 博紀

  北海道大学大学院情報科学研究科

• 久保山 哲二

  東京大学国際・産学共同研究センター

• 久保山 哲二

  学習院大学計算機センター

• Kuboyama Tetsuji

  Research Center For Advanced Sciencece And Technology Center For Collaborative Research The Universi

• 久保山 哲二

  九州大学大学院システム情報科学研究科知能システム学専攻

• 杉本 典子

  九州工業大学情報工学部知能情報工学科

• 杉本 典子

  九州工業大学

• 松本 哲志

  東海大学理学部

• 久保山 哲二

  東京大学生産技術研究所

• 久保山 哲二

  九州大学大学院総合理工学研究科雨宮研究室

• 大倉 暢仁

  九州工業大学情報工学研究科情報科学専攻

• 松本 哲志

  九州大学理学部基礎情報学研究施設

• 坂本 比呂志

  九州工業大学大学院情報工学研究院

• 有川 節夫

  九州大学副学長、附属図書館長、大学院システム情報科学研究院教授

• 有川 節夫

  九州大学大学史料室

• 山本 章博

  北海道大学工学研究科・知識メディアラボラトリー

• 藤田 憲悦

  九州工業大学

• 有村 博紀

  九州大学 システム情報科学研究院

• 尹 淑萍

  九州工業大学情報工学研究科

• 野島 歓之

  九州工業大学大学院 情報工学研究科 情報科学専攻

• 有村 博紀

  九州大学システム情報科学府・研究院

• 坂本 比呂志

  九州大学システム情報科学研究院

• 下薗 真一

  九州工業大学知能情報工学科

• 下園 真一

  九州工業大学情報工学部制御システム工学科

• 坂本 比呂志

  九州大学大学院システム情報科学研究院

• 坂本 比呂志

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

• 坂本 比呂志

  九州大学大学院 システム情報科学研究院情報理学部門

• 藤田 憲悦

  九州工業大学情報工学部知能情報工学科

もっと見る 閉じる

著作論文

• 人工知能基本問題研究会(SIG-FPAI)(研究会総覧)
• 帰納的実数値関数の帰納推論における論駁性と信頼性(アルゴリズム一般)
• 帰納的実数値関数の帰納推論における論駁性と信頼性
• ラベル無し順序木のqグラム距離
• 順序付き二分法定グラフの学習可能性
• 類推機能をもった対話型シークェント計算証明システムの開発(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
• 人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
• 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
• Pre-Checkingに基づく効率的スキーママッチングアルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
• Pre-checkingを用いた効率的2階述語マッチングアルゴリズム (計算理論とアルゴリズムの新展開)
• スキーママッチングを用いたLK類推証明システムの開発
• スキーママッチングとその計算量
• スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)
• スキーママッチングの計算の複雑さ
• 古典的証明に基づく関数型言語の構築
• A Catalog for Prediction-Preserving Reducibility with Membership Queries on Formal Languages (New Developments of Theory of Computation and Algorithms)
• ALT'96報告
• 無矛盾最小OBDD問題の近似困難性について
• 石灰石球の熱分解における熱移動と CO_2 ガスの流れ
• 32 石灰石球の熱分解における熱及び物質の移動(製銑基礎・コークス, 製銑, 日本鉄鋼協会第 84 回(秋季)講演大会)
• 一階論理式の学習と帰納論理プログラミング (計算学習理論の進展と応用可能性)

もっと見る 閉じる

スポンサーリンク