HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 7 of 7
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
article岩館, 健司; 米陀, 佳祐; 鈴木, 育男; 山本, 雅人; 古川, 正志Animated Robotの研究 : 剛体モデリングツールの開発とその応用A study on Animated Robot : Development of Modeling Tool for Rigid Objects and its Application精密工学会誌-2010
article本庄, 将也; 鈴木, 育男; 山本, 雅人; 古川, 正志Hexゲームの局面ネットワークの解析An analysis of Hex strategy by using a network representation of the positionネットワークが創発する知能研究会(JWEIN10)講演論文集-20-Aug-2010
article米陀, 佳祐; 鈴木, 育男; 山本, 雅人; 古川, 正志円環構造型モジュラーロボットの自律移動行動の獲得Acquisition of Locomotion for Modular Robot With Annular Shape Using Evolutionary Computation精密工学会誌-2010
article小笠原, 寛弥; 鈴木, 育男; 山本, 雅人; 古川, 正志行為者の属性・関係構造を考慮したネットワーク成長モデルとそのダイナミクスAn evolving network model with attribute and relation structure of the performer and analysis of dynamicsネットワークが創発する知能研究会(JWEIN10)講演論文集-20-Aug-2010
article岩根, 慎司; 鈴木, 育男; 山本, 雅人; 古川, 正志同期的ネットワーク構造最適化により創発されるネットワークの特徴解析Characteristics of the emergent network structure is optimized by a synchronous network structureネットワークが創発する知能研究会(JWEIN10)講演論文集-20-Aug-2010
bulletin (article)山本, 雅人; 大柳, 俊夫; 大内, 東部分例示手法に基づいた述語論理式の充足可能性判定手続きA Procedure for Solving Satisfiability Problem Based on the Partial Instantiation Technique in the First-Order Logic北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University30-Jul-1993
theses (doctoral)山本, 雅人部分例示手法に基づく定理自動証明に関する研究---25-Mar-1996
Showing results 1 to 7 of 7

 

Hokkaido University