羽根田 博正 | 神戸大学工学部
スポンサーリンク
概要
関連著者
-
羽根田 博正
神戸大学工学部
-
羽根田 博正
神戸大学
-
太田 有三
神戸大学
-
田川 聖治
神戸大学工学部
-
井上 克巳
神戸大学工学部
-
田川 聖治
近畿大学理工学部
-
太田 有三
神戸大学工学部
-
木村 晋二
神戸大学工学部
-
鍋島 英知
山梨大学大学院医学工学総合研究部
-
鍋島 英知
神戸大学大学院 自然科学研究科
-
井上 克巳
国立情報学研究所
-
永井 靖
神戸大学工学部電子工学科
-
芳井 隆
神戸大学工学部
-
芳井 隆
神戸大学工学部電子工学科
-
高見 弘樹
神戸大学大学院自然科学研究科
-
公文 宏明
神戸大学工学部
-
浪越 孝宏
神戸大学大学院自然科学研究科
-
公文 宏明
神戸大学工学部電気電子工学科
-
川口 俊介
神戸大学大学院自然科学研究科
-
工藤 嘉晃
北海道大学大学院工学研究科電子情報工学専攻
-
岸本 隆
神戸大学大学院工学研究科電子工学専攻
-
井垣 努
神戸大学工学部
-
福居 毅至
神戸大学工学部
-
神吉 良英
神戸大学工学部
-
津田 政彦
神戸大学工学部
-
浪越 孝宏
神戸大学工学部
-
白木 浩一
神戸大学大学院自然科学研究科
-
藤原 正和
神戸大学工学部
-
是方 研二
神戸大学工学部
-
角田 岳夫
セイコーエプソン(株)
-
野田 浩明
神戸大学工学部電子工学科
-
多田 章
神戸大学工学部
-
小林 勝
神戸大学工学部
-
今西 浩
神戸大学工学部電気電子工学科(松下電器産業株式会社)
-
坂田 史郎
神戸大学大学院 自然科学研究科
-
福居 毅至
神戸大学 大学院 自然科学研究科
-
野々村 剛
神戸大学工学部電気電子工学科(神戸製鋼株式会社)
-
金重 憲治
神戸大学大学院自然科学研究科
-
高見 弘樹
神戸大学工学部
-
深井 一成
神戸大学大学院自然科学研究科電気電子工学専攻
-
松田 卓
神戸大学大学院自然科学研究科電気電子工学専攻
-
間浦 真次
神戸大学大学院自然科学研究科電気電子工学専攻
-
塚本 泰隆
神戸大学工学部
-
河口 義則
神戸大学大学院自然科学研究科電気電子工学専攻
-
中小路 宗紀
神戸大学大学院自然科学研究科電気電子工学専攻
-
永井 靖
神戸大学工学部
著作論文
- 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- ロボットの動的制御における計算の並列化問題に対する最適化および準最適化アルゴリズム
- 非凸多角形区間演算とそのインプリメント
- 最適化コンパイラによるロボット制御プログラムの開発
- 手先コンプライアンスを考慮した冗長アームの最適姿勢問題とその区間解析による解法
- GKSを用いたマルチスクリーン・マルチウィンドウグラフィックスシステム
- パーソナルコンピュータを利用した電気回路解析用CADグラフィックスシステム
- 遺伝的アルゴリズムとアフォーダンスを用いた知能ロボットの創発
- 有限状態機械に対する形式的検証
- 凸多面体リヤプノフ関数を用いた複合系の安定解析II
- 動的凸包算法の高速化
- 凸多面体リヤプノフ関数を用いた複合系の安定解析
- 二分決定グラフの並列構成アルゴリズムについて(理論計算機科学とその周辺)
- ロボットの逆動力学計算に対する最適化システム
- 多角形区間演算のロバスト根軌跡法への適用
- リヤプノフ関数の自動生成と安定領域の推定
- 遺伝アルゴリズムを枠組としたメタ戦略の構築法-グラフ彩色問題を実例として-
- 操作力を考慮した人工腕の最適姿勢問題と区間解析による大域的最適化
- ロボット制御則の並列処理におけるタスクの自動生成手法 -数式の代数的変換による並列化-
- デフォルト規則を含む拡張論理プログラムの学習
- SATソルバと後ろ向き推論によるアクション言語Αの実装
- 補題の利用による効率的なSOL導出の実現
- 有限オートマトンに基づく非決定性アクション言語
- 論理回路シミュレータの入出力インタフェースについて
- 拡張論理プログラム学習へのトップダウン手続きの組込み
- Java言語によるアクション言語処理系の実装
- 共有記憶型並列計算機上での共有二分決定グラフの並列化について
- ゲートレベル論理回路の閉路の切断について
- 系列集合と時間の階層の関係について(計算アルゴリズムと計算量の基礎理論)
- 論理回路における閉路の切断について(計算アルゴリズムの基礎理論)
- タイミング検証に適した系列集合論理シミュレータについて
- Local Theorems on the Convergence of Equilibrium Solution Methods Based on Componentwise Inequalities
- A Note on the Convergence of Steepent-Gradient Algorithm for Piecewise-Quadratic Functionals
- μ-functional on Bounded Linear Operators