|
|
Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 1 to 20 of 22
| Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date | | bulletin (article) | 近藤, 久; 栗原, 正仁; 大内, 東 | ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き | Completion with Multiple Reduction Orderings based on ATMS Data Structure | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 29-Oct-1993 |
| bulletin (article) | 大内, 東 | FISM/* : 統合型発想支援システム | FISM/* : An Integrative Idea Generation Supporting System | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 14-Jan-1994 |
| bulletin (article) | 伊藤, 公紀; 大内, 東 | FISMに基づいた学習課題の達成経路分析法 | Learning Task Attainment Path Analysis by FISM | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 30-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 University | 30-Jun-1976 |
| bulletin (article) | 加瀬, 誠志; 大内, 東; 栗原, 正仁; 加地, 郁夫 | ISMにおける一般化完全推論行列の理論 | Implication Structures for generalized Implication matrix in ISM | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 31-Oct-1984 |
| bulletin (article) | 栗原, 正仁; 大内, 東; 加地, 郁夫 | ISMにおける合意形成支援法 | Consensus Making Support Method in ISM | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 31-May-1982 |
| bulletin (article) | 大内, 東; 栗原, 正仁; 加地, 郁夫 | ISMにおける推論構造と推論アルゴリズム | Implication Structure and Algorithm for Interpretive Structural Modeling | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 15-Feb-1984 |
| bulletin (article) | 遠藤, 聡志; 野沢, 慎吾; 大内, 東 | 遺伝的アルゴリズムによる概念学習の枠組みについて | Genetic Algorithm for Concepts Learning | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 28-May-1993 |
| bulletin (article) | 野沢, 慎吾; 遠藤, 聡志; 大内, 東 | 遺伝的アルゴリズムによる選言概念の獲得 | Disjunctive Concept Aquisition using Genetic Algorithm | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 30-Jul-1993 |
| bulletin (article) | 樫原, 敏康; 大内, 東; 加地, 郁夫 | 応用線形計画システムALPS-1の設計と作成 | Applied Linear Programming System ALPS-1 | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 31-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 UNIVERSITY | Aug-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 inform | Oct-2003 |
| bulletin (article) | 栗原, 正仁; 佐藤, 祟昭; 大内, 東 | 項書換えシステムにおける自己反映計算 | Reflective Computation in Term Rewriting Systems | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 14-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 University | 30-Jan-1988 |
| bulletin (article) | 大内, 東; 宮腰, 昭男; 加地, 郁夫 | 組合せ入力関数による最適制御（第1報） : システムとアルゴリズムの一般モデル | Optimal Control by Combinatorial Input Functions | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 2-Nov-1978 |
| bulletin (article) | 能登, 正人; 栗原, 正仁; 大内, 東 | 抽象書換え系理論による講座配属アルゴリズムの完備性と解析 | Analysis of Completeness of Laboratory Assignment Algorithm by Abstract Reduction Systems Theory | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 31-May-1995 |
| bulletin (article) | 加地, 太一; 大内, 東 | 動的計画法による最適系列グラフ分割アルゴリズムの計算量解析 | Complexity of Optimal Sequential Partitions of Graphs by Dynamic Programming | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 16-Oct-1991 |
| bulletin (article) | 大内, 東; 加地, 郁夫 | 凸多面体の端点の階級付けアルゴリズム | An Algorithm for Ranking All Extreme Points | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 30-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 University | 30-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 University | 19-Mar-1976 |
Showing results 1 to 20 of 22
|
