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 20 of 22
 next >
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
bulletin (article)近藤, 久; 栗原, 正仁; 大内, 東ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続きCompletion with Multiple Reduction Orderings based on ATMS Data Structure北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University29-Oct-1993
bulletin (article)大内, 東FISM/* : 統合型発想支援システムFISM/* : An Integrative Idea Generation Supporting System北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University14-Jan-1994
bulletin (article)伊藤, 公紀; 大内, 東FISMに基づいた学習課題の達成経路分析法Learning Task Attainment Path Analysis by FISM北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University30-Jul-1993
bulletin (article)藤田, 克孝; 宮腰, 昭男; 大内, 東Heuristic Tree Search法を用いた最適炉停止問題の解法A Heuristic Tree Search Algorithm for Optimal Nuclear Reactor Shutdown Problems北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University30-Jun-1976
bulletin (article)加瀬, 誠志; 大内, 東; 栗原, 正仁; 加地, 郁夫ISMにおける一般化完全推論行列の理論Implication Structures for generalized Implication matrix in ISM北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University31-Oct-1984
bulletin (article)栗原, 正仁; 大内, 東; 加地, 郁夫ISMにおける合意形成支援法Consensus Making Support Method in ISM北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University31-May-1982
bulletin (article)大内, 東; 栗原, 正仁; 加地, 郁夫ISMにおける推論構造と推論アルゴリズムImplication Structure and Algorithm for Interpretive Structural Modeling北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University15-Feb-1984
bulletin (article)遠藤, 聡志; 野沢, 慎吾; 大内, 東遺伝的アルゴリズムによる概念学習の枠組みについてGenetic Algorithm for Concepts Learning北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University28-May-1993
bulletin (article)野沢, 慎吾; 遠藤, 聡志; 大内, 東遺伝的アルゴリズムによる選言概念の獲得Disjunctive Concept Aquisition using Genetic Algorithm北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University30-Jul-1993
bulletin (article)樫原, 敏康; 大内, 東; 加地, 郁夫応用線形計画システムALPS-1の設計と作成Applied Linear Programming System ALPS-1北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University31-Aug-1979
bulletin (article)鈴木, 正明; 大内, 東; 福岡, 二郎海洋生態系低次栄養段階の数理モデル化及び安定性Construction of the Mathematical Model of the Lower Trophic Levels of the Marine Ecosystem and Its Stability Analysis北海道大學水産學部研究彙報BULLETIN OF THE FACULTY OF FISHERIES HOKKAIDO UNIVERSITYAug-1979
article (author version)大内, 東; 栗原, 正仁; 三田村, 保; 川村, 秀憲; 宮腰, 昭男; 中川, 俊男; 宮本, 慎一; 山本, 直也; 柳内, 統郡市医師会におけるテレビ会議システム導入可能性の検討 : 北海道医師会をモデルとした費用効果の試算Feasibility Study for Deployment of Videoconferencing Systems in Prefectural Medical Associations: Cost-Effect Estimation for Hokkaido Medical Association医療情報学Japan journal of medical informOct-2003
bulletin (article)栗原, 正仁; 佐藤, 祟昭; 大内, 東項書換えシステムにおける自己反映計算Reflective Computation in Term Rewriting Systems北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University14-Jan-1994
bulletin (article)大内, 東; 加地, 郁夫; 栗原, 浩一弱連結成分抽出によるグラフ理論的クラスター分析アルゴリズムの検討Graph-theoretic Cluster Analysis Algorithms Based on the Concept of Weak Connected Components of a Digraph北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University30-Jan-1988
bulletin (article)大内, 東; 宮腰, 昭男; 加地, 郁夫組合せ入力関数による最適制御(第1報) : システムとアルゴリズムの一般モデルOptimal Control by Combinatorial Input Functions北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University2-Nov-1978
bulletin (article)能登, 正人; 栗原, 正仁; 大内, 東抽象書換え系理論による講座配属アルゴリズムの完備性と解析Analysis of Completeness of Laboratory Assignment Algorithm by Abstract Reduction Systems Theory北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University31-May-1995
bulletin (article)加地, 太一; 大内, 東動的計画法による最適系列グラフ分割アルゴリズムの計算量解析Complexity of Optimal Sequential Partitions of Graphs by Dynamic Programming北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University16-Oct-1991
bulletin (article)大内, 東; 加地, 郁夫凸多面体の端点の階級付けアルゴリズムAn Algorithm for Ranking All Extreme Points北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University30-Jun-1973
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
bulletin (article)大堀, 隆文; 藤田, 克孝; 戸田, 悟; 大内, 東; 加地, 郁夫有界変数法と積形式を用いたL.P.コードの作成L.P. code with the Upper-Bounded Technique and the product Form of Inverse北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University19-Mar-1976
Showing results 1 to 20 of 22
 next >

 

Feedback - Hokkaido University