栗原 正仁 | 北海道大学大学院情報科学研究科複合情報学専攻
スポンサーリンク
概要
関連著者
-
栗原 正仁
北海道大学大学院情報科学研究科複合情報学専攻
-
栗原 正仁
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学 情報科学研究科
-
KURIHARA Masahito
Faculty of Engineering, Hokkaido University
-
Kurihara Masahito
Hokkaido University
-
大内 東
北海道大学大学院情報科学研究科
-
大内 東
北海道大学 大学院 情報科学研究科 複合情報学専攻 複雑系工学講座 調和系工学研究室
-
栗原 正仁
北大
-
加地 郁夫
北大工
-
加地 郁夫
北海道工大
-
栗原 正仁
北海道工業大学
-
近藤 久
茨城大学工学部
-
沼澤 政信
小樽商科大学商学部社会情報学科
-
佐藤 晴彦
北海道大学大学院情報科学研究科
-
佐藤 晴彦
北海道大学 情報科学研究科
-
佐藤 晴彦
北海道大学
-
能登 正人
神奈川大学工学部電気電子情報工学科
-
中田 勝啓
玉川大学工学部情報通信工学科
-
小山 聡
北海道大学大学院情報科学研究科
-
小山 聡
北海道大学大学院情報科学研究科複合情報学専攻
-
小山 聡
北海道大学
-
三田村 保
北海道工業大学情報デザイン学科
-
三田村 保
北海道工業大学工学部情報デザイン学科
-
三田村 保
北海道工業大学
-
須藤 康裕
神奈川工科大学情報学部情報工学科
-
塩谷 浩之
室蘭工業大学工学部情報工学科
-
塩谷 浩之
室蘭工業大学工学部
-
塩谷 浩之
室蘭工大 工
-
加地 郁夫
北海道工業大学
-
沼澤 政信
北海道大学大学院工学研究科システム情報工学専攻
-
能登 正人
北海道大学工学部システム情報工学専攻
-
沼澤 政信
北海道大学大学院 工学研究科
-
野中 秀俊
北海道大学
-
加地 郁夫
北海道大学工学部情報工学科
-
大堀 隆文
北海道工業大学情報デザイン学科
-
大堀 隆文
北海道工業大学
-
柳田 拓人
北海道大学大学院情報科学研究科複合情報学専攻
-
今井 順一
北海道大学大学院工学研究科システム情報工学専攻
-
柳田 拓人
北海道大学大学院情報科学研究科
-
須藤 康裕
北海道大学大学院工学研究科
-
野中 秀俊
北海道大学大学院情報科学研究科
-
近藤 久
北海道大学工学部
-
中川 嘉宏
北海道工業大学電気電子工学科
-
能代 愛
北海道大学大学院工学研究科
-
能代 愛
北海道大学大学院情報科学研究科
-
塩谷 浩之
室蘭工業大学
-
中川 嘉宏
北海道工業大学創生工学部電気デジタルシステム工学科
-
佐藤 崇昭
北海道大学工学部情報工学科
-
石本 純一
北海道工業大学
-
成 孝徳
北海道工業大学
-
野中 聡
旭川医科大学耳鼻咽喉科・頭頸部外科学講座
-
野中 薫雄
琉球大学医学部器官病態医科学講座皮膚科
-
山本 雅人
北海道大学大学院情報科学研究科
-
藤村 考
北海道大学工学部情報工学科
-
宮腰 昭男
札幌大学経営学部
-
中川 俊男
北海道医師会
-
大内 東
北大工
-
能登 正人
神奈川大学大学院工学研究科電気電子情報工学専攻
-
塩谷 浩之
室工大・情報
-
吉川 毅
北海道大学大学院情報科学研究科
-
北越 大輔
名古屋工業大学 大学院工学研究科
-
宮腰 昭男
札幌大学 経営学部
-
宮腰 昭男
札幌大学
-
吉川 毅
北大 大学院情報科学研究科
-
上條 朋彦
北海道大学大学院情報科学研究科
-
赤坂 徹志
北海道工業大学工学部情報デザイン学科
-
菅澤 喜男
日本大学生産工学部・数理工学科
-
西村 和芳
北海道工業大学情報技術センター
-
吉川 毅
北海道大学大学院工学研究科システム情報工学専攻
-
赤坂 徹志
北海道工業大学情報デザイン学科
-
赤坂 徹志
北海道工業大学工学部
-
菅澤 喜男
日本大学生産工学部
-
勝間田 仁
北海道大学工学部
-
扇 一弘
北海道大学工学部情報
-
山本 雅人
北海道大学
-
吉川 毅
北海道大学
-
野中 源一郎
九州大学薬学部
-
林 晋平
東京工業大学大学院情報理工学研究科計算工学専攻
-
川村 秀憲
北海道大学大学院情報科学研究科
-
長谷山 美紀
北海道大学大学院
-
佐々木 雄一
北海道大学大学院情報科学研究科
-
山内 康一郎
北海道大学複雑系工学講座表現系工学研究室
-
柳内 統
北海道医師会
-
川村 秀憲
北海道大学
-
中田 勝啓
玉川大学工学部
-
山本 直也
北海道医師会
-
宮本 慎一
北海道医師会
-
長谷山 美紀
北海道大学
-
須藤 康裕
神奈川工科大
-
若林 高明
北海道教育大学旭川校情報科学
-
高橋 英之
北海道大学大学院情報科学研究科
-
長澤 邦雄
北海道医師会
-
山内 康一郎
北海道大学大学院情報科学研究科複合情報学専攻
-
長谷山 美紀
北海道大学大学院情報科学研究科メディアネットワーク専攻
-
若林 高明
北海道教育大学旭川校
-
北越 大輔
北海道大学大学院工学研究科システム情報工学専攻
-
北越 大輔
北大
-
山内 康一郎
中部大学工学部
-
加瀬 誠志
北海道工業大学大学院工学研究科
-
加瀬 誠志
北海道工業大学電気工学科
-
加瀬 誠志
北海道工業大学工学部情報デザイン学科
-
堂腰 裕明
北海道大学工学部
-
近江 潤明
北海道大学大学院情報科学研究科コンピュータサイエンス専攻
-
大西 量
北海道工業大学
-
須藤 康裕
北海道工業大学
-
増田 真平
北海道大学大学院情報科学研究科
-
永田 淳一
東芝
-
大堀 隆文
北海道工業大学未来デザイン学部メディアデザイン学科
-
大柳 俊夫
札幌医科大学保健医療学部
-
大柳 俊夫
北海道大学
-
澤田 海彦
北海道大学大学院情報科学研究科
-
今井 順一
北大
-
坂野 遼平
北海道大学工学部
-
松野 匠
北海道大学工学部
-
佐々木 建
北海道大学大学院情報科学研究科
-
佐々木 夏美
北海道大学工学部
-
坂本 悠輔
北海道大学大学院情報科学研究科
-
浜松 芳夫
茨城大学工学部システム工学科
-
木幡 泰士
北海道大学大学院情報科学研究科
-
西田 真和
北海道工業大学
-
浜松 芳夫
玉川大学工学部
-
長岡 拓美
北海道大学工学部
-
新岡 寛幸
北海道大学 情報科学研究科
-
横山 翔一
北海道大学大学院情報科学研究科
-
小西 秀吾
北海道大学大学院情報科学研究科
-
水澤 雅高
北海道大学 大学院情報科学研究科
-
横山 壱星
北海道大学大学院工学研究科システム情報工学専攻
-
澁田 厚
北海道工業大学
-
早川 圭吾
神奈川大学
-
菊地 水軍
北海道工業大学電気工学専攻
-
沼澤 政信
北大工
-
栗原 正仁
道工大
-
尾形 達哉
茨城大学大学院理工学研究科システム工学専攻
-
篠原 潤一
東芝
-
斉藤 英揮
東芝
-
小坂井 功
中部電力
-
大下 和宏
北海道大学工学部
-
近藤 久
北道海大学
-
栗原 正仁
北道海大学
-
大内 東
北道海大学
-
近江 義智
北海道大学工学部
-
米山 忠章
玉川大学工学部
-
林 晋平
東京工業大学
-
大内 東
北大・工・システム情報工学
-
澤田 海彦
北海道大学大学院 情報科学研究科
-
大内 東
北海道大大学大学院情報科学研究科
-
木幡 泰士
北海道大学情報科学研究科
著作論文
- 4R-3 リンク構造を考慮したベクトル空間法によるWebグラフ分割の実験的解析(Webマイニング,学生セッション,データベースとメディア)
- 動的ファジィ制約充足における解の安定性維持
- ゴール群に基づく並列論理型言語の情報資源管理方式
- LISP上のGHC コンパイラ
- 郡市医師会におけるテレビ会議システム導入可能性の検討 : 北海道医師会をモデルとした費用効果の試算
- 2Q-5 Java PathFinderによるモデル検査におけるGUIの提案(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- マッピング手法の導入によるインタラクション・モデルの拡張
- セマンティック・ウェブ技術を応用したユーザ嗜好インタフェースの実現
- ベイジアンネットを利用した強化学習エージェントの方策改善(知識処理)(「インタラクション:理論,技術,応用,評価」)
- 1-105 強化学習エージェントの確率的知識を用いた方策改善法に関する研究
- 1R-2 可変スニペットとキーワード相関グラフを利用した検索補助インタフェースの提案(Web検索支援,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- 3V-8 シソーラス利用による童話文からの感情情報読み取りシステム(文章・感情,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 主観的メタ情報を利用した顔画像に対する個人嗜好推定の研究
- 4T-7 動的スクリプトにおけるルールの内部情報を考慮した多様性の向上(ゲーム,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 1W-1 太陽電池の特性を自動学習する高速な最大電力点追従装置の開発と実装(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 適応型合意形成モデルにおけるエージェントの特性分析
- 連続離散混合領域におけるファジィ制約充足問題とその反復改善型解法
- グループ間のファジィ選好関係の合意形成と交渉戦略
- A-36 モバイル環境における高信頼メッセージ転送ネットワークの形式的モデリング(グラフアルゴリズム(1),A.アルゴリズム・基礎)
- A-24 ファジィ制約充足問題への連続領域の導入(離散アルゴリズム(2),A.アルゴリズム・基礎)
- 郡市医師会情報化実態指標の構築
- 1次元空間における固定半径ランダムグラフの連結性の理論解析
- 1次元空間における固定半径ランダムグラフの連結性の理論解析(アルゴリズム一般)
- ISMにおける一般化完全推論行列の理論
- 混合システム的視点に基づく遺伝的アルゴリズムのモデリング
- 遺伝的アルゴリズムの混合モデル的解析に関する一検討
- 2-414 混合モデルを利用した遺伝的アルゴリズムの解析
- 混合システム的視点に基づく遺伝的アルゴリズムのモデリング
- 2ZC-5 アプリケーション層マルチキャストにおけるアーカイブ取得方式の提案とその応用(P2P,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1Y-6 複数の顔器官イラストの組み合わせによる顔イラストの作成支援システム(画像生成,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 5W-4 実体験情報を含むBlogを抽出するシステム(言語情報抽出,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 6U-3 話者適応手法を用いた合成音声の個性化(音声・歌声合成,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 5P-4 キーワードプログラミングの改良と実装(プログラミング環境・教育,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 系統的/局所的探索の協調によるファジィ制約充足問題の近似解法
- 連続領域におけるファジィ制約充足問題の反復改善アルゴリズムによる解法(アルゴリズム一般)
- 連続領域におけるファジィ制約充足問題の反復改善アルゴリズムによる解法
- サｰビス･ロジックとインタフェｰスの分離によるユｰザ嗜好モダリティの実現
- ランダム区間グラフによる1次元アドホックネットワークの連結性のモデル化とその閉じた解
- ペトリネット理論に基づいたシステムの信頼性解析について
- 分散協調システムの確率ペトリネットによる確率的挙動解析
- 1N-7 分散システムの状態変化に対する非集中化モニタリング手法の提案(システム評価,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 6L-2 Windowsにおける大規模分散システムテストベッドの開発(仮想化技術(2),学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 依存対法を用いた項書換え系多重完備化手続き
- 項書換え系多重完備化手続きにおける新たな半順序制約表現の導入
- ステータス付き再帰的経路順序による項書換え系多重完備化手続きの実装と性能評価(計算モデル,フォーマルアプローチ論文)
- F-052 単語の重要度と頻度を利用した局所探索に基づくWEBページ発見法(人工知能・ゲーム,一般論文)
- 感性語の階層構造を利用した配色における個性の抽出と活用
- 障害物密度に応じた迷路探索問題の難易度指標と実時間探索アルゴリズムの性能解析
- 1次元固定半径ランダムグラフの連結性に対する閉じた解(セッション4)
- 多重パスメッセージ転送ネットワークの数理モデルと論理
- 優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き
- プログラムの変更履歴に基づくリファクタリング支援
- エージェントの移動性を考慮したエージェント間通信のトラフィック量に関する実験と評価
- 多重パスメッセージ転送ネットワークの数理モデルと論理(アルゴリズム一般)
- 多重パスメッセージ転送ネットワークの数理モデルと論理
- D-3-1 移動エージェントにおける位置透過性を持ったエージェント間通信機構の実現
- 2J-2 アーク整合にAC-7を用いたMAC制約充足アルゴリズムの実装
- 5P-7 反復改善型分散制約充足アルゴリズムの実装と評価
- 1N-6 BDD表現を用いた複数優先順位を扱う項書換え系完備化推論規則
- 3K-1 多項制約充足問題の双対問題による2項制約化の改善と検証
- 2K-5 研究室配属アルゴリズムの諸性質の考察
- 簡約系によるリフレクティブエージェント (第3回ヒューマンインタフェース研究会 コミュニケーションおよび一般)
- 等式プログラムの停止性検証
- 条件付き項書換え系に基づく言語におけるメタ計算
- 列書換え系停止性検証における二分決定グラフのサイズ
- 二分決定グラフを用いた項書換え系の停止性検証システム
- 二分決定グラフを用いた書換え型プログラムの停止性検証器
- CREPSにおける自己反映計算の実現
- 二分決定グラフを用いた書換え型プログラムの停止性検証システム
- 二分決定グラフを用いた項書換え系の停止性検証
- ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作
- 条件付き項書換え系に基づく言語におけるメタ計算(並列・分散)
- 拡張ステータスによる項書換え系の停止性検証
- ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作
- 抽象書換え系理論による講座配属アルゴリズムの完備性の解析
- 項書換えシステムにおける自己反映計算
- ヒュ-マンパフォ-マンスモデルに基づく事故復旧システムの開発
- 抽象書換え系理論による講座配属アルゴリズムの完備性と解析
- 書換え系理論を用いた講座配属アルゴリズムの完備性の解析
- 条件付き項書換えシステム処理系におけるメタ計算機能
- 複数の簡約順序のもとでの項書換えシステム完備化手続き
- メタ計算機能を付加した条件付き項書換えシステム処理系の実現
- 拡張ステータスを用いた項書換えシステムの停止性検証システムの開発
- 線形な領域計算量の最良優先探索の探索順序の緩和
- ステータスの拡張による項書換えシステムの停止性検証
- 項書換えシステムに基づく自己反映計算の実現
- 項書換えシステムにおける自己反映計算 (情報工学専攻創立20周年記念号)
- ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き
- 複数簡約順序を扱う完備化続き
- 制約伝播を利用したファジィ論理回路の故障診断
- 命題論理充足可能性問題に対する定量的アプローチと記号的アプローチの比較
- 等式プログラミングにおけるリフレクション
- 重なりのある等式に対するパターン照合法の実現
- 構成子を共有するモジュラ項書き換えシステム
- Reason Maintenance System による項書き換えシステム停止性検証の効率化
- FISM による合意モデル構築支援
- ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発 : 第2報
- Reiterの理論に基づいたファジィ論理回路の故障診断
- 部分可到達行列モデルと随伴含意行列
- 自動推論に基づくパッケージレベル故障診断システム(AI)
- ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発
- Heuristics for Proving Non-termination of Term Rewriting Systems
- 知識構造モデリング法の構成と具象化ルール
- スイッチング回路における互換グラフの決定問題とアルゴリズム
- 置換ネットワ-ク上の互換操作について
- Automated Reasoningに基づくシステム問題へのアプロ-チ (産業分野におけるエキスパ-トシステム)
- 2項関係理論による知識獲得ツ-ルとしての階層構造分析法の構成 (産業分野におけるエキスパ-トシステム)
- d互換ブロックからなる置換ネットワークとその互換アルゴリズムについて
- 個別軌道システムのネットワーク・シミュレータ
- ISMにおける推論構造と推論アルゴリズム
- ISMの推移的結合における完全推論行列の考察
- ISMにおける推移的具象化の一般化
- 個別軌道輸送システムの平面交差制御方式とその解析
- 個別軌道輸送システム多バ-ス駅における出発待ち行列の解析
- An Analysis of M/G/1 Finite Capacity Queue with Multiple Transactions
- PRT多バース駅における出発待ち行列の解析
- ISMにおける合意形成支援法
- 状態部分集合での再帰時間を考慮したマルコフ再生理論によるCVS多バ-ス駅モデルの解析
- 点追従制御方式をとる個別輸送システムCVSの運行シミュレータ
- CVS多バース駅モデルのマルコフ再生理論による解析
- CVS多バ-ス駅モデルのマルコフ再生理論による解析