湊 真一 | Ntt Lsi 研究所

スポンサーリンク

概要

• 同名の論文著者
• Ntt Lsi 研究所の論文著者

関連著者

• 湊 真一

  北海道大学大学院情報科学研究科・科学技術振興機構erato湊離散構造処理系プロジェクト・ /科学技術振興機構erato湊離散構造処理系プロジェクト・北海道大学大学院情報科学研究科

• 湊 真一

  Ntt Lsi 研究所

• 湊 真一

  Ntt光ネットワークシステム研究所

• 湊 真一

  Ntt 未来ねっと研

• 湊 真一

  NTT未来ねっと研究所

• 湊 真一

  Ntt Lsi研究所

• 湊 真一

  北海道大学大学院情報科学研究科:科学技術振興機構erato湊離散構造処理系プロジェクト

• 湊 真一

  北海道大学大学院情報科学研究科:科学技術振興機構

• 湊 真一

  京都大学大学院情報学研究科:科学技術振興機構ERATO湊離散構造処理プロジェクト

• 湊 真一

  北海道大学大学院情報科学研究科

• Minato Shin-ichi

  Graduate School Of Information Science And Technology Hokkaido University

• 湊 真一

  北海道大学大学院情報科学研究科:jst Erato湊離散構造処理系プロジェクト

• 湊 真一

  北海道大学 大学院情報科学研究科

• 湊 真一

  函館五稜郭病院

• 湊 真一

  北海道大学大学院情報科学研究科:科学技術振興機構erato湊離散構造処理プロジェクト

• 湊 真一

  科学技術振興機構ERATO:早稲田大学:北海道大学

• Minato S

  Nippon Telegraph And Telephone Yokosuka‐shi Jpn

• 湊 真一

  Ntt光ネットワーク研究所

• 湊 真一

  北海道大学 大学院 情報科学研究科

• 川原 純

  科学技術振興機構ERATO湊離散構造処理系プロジェクト・北海道大学大学院情報科学研究科

• 川原 純

  科学技術振興機構

• 川原 純

  奈良先端科学技術大学院大学情報科学研究科

• 吉仲 亮

  京都大学

• 井上 武

  日本電信電話株式会社NTT未来ねっと研究所

• 林 泰弘

  福井大学

• 吉仲 亮

  JST・Hokkaido U.

• 高野 圭司

  東京工業大学:科学技術振興機構erato

• 林 泰弘

  早稲田大学大学院 先進理工学研究科

• 井上 武

  科学技術振興機構erato

• 津田 宏治

  産業技術総合研究所:科学技術振興機構erato:北海道大学

• 岩下 洋哲

  科学技術振興機構erato湊離散構造処理系プロジェクト:北海道大学大学院情報科学研究科

• 岩下 洋哲

  科学技術振興機構

• 林 泰弘

  北海道大学大学院情報科学研究科

• 津田 宏治

  産業技術総合研究所生命情報工学研究センター

• 斎藤 寿樹

  科学技術振興機構erato湊離散構造処理系プロジェクト・北海道大学大学院情報科学研究科

• 林 泰弘

  早稲田大学

• 渡辺 喬之

  早稲田大学

• 斎藤 寿樹

  神戸大学大学院工学研究科電気電子工学専攻

• 岩下 洋哲

  科学技術振興機構ERATO湊離散構造処理系プロジェクト

• 岸本 章宏

  東京工業大学

• 津田 宏治

  産業技術総合研究所

• 渡辺 喬之

  北海道大学大学院情報科学研究科

• 奥乃 博

  Ntt基礎研究所

• 井上 武

  Ntt未来ねっと研究所

• 斎藤 寿樹

  科学技術振興機構ERATO湊離散構造処理系プロジェクト

• Arimura Hiroki

  Hokkaido University

• 有村 博紀

  北海道大学

• 林 泰弘

  早稲田大学大学院先進理工学研究科 電気・情報生命専攻

• 井上 武

  神戸大学心臓血管外科

• 青木 洋士

  立命館大学情報理工学部

• 岸本 章宏

  東京工業大学:科学技術振興機構さきがけ

• 山田 倫大

  北海道大学工学部

• 井上 武

  Ntt未来ねっと研究所メディアイノベーション研究部

• 井上 武

  科学技術振興機構erato湊離散構造処理プロジェクト

• 高野 圭司

  東京工業大学

• 川原 純

  独立行政法人科学技術振興機構erato湊離散構造処理系プロジェクト

• 吉仲 亮

  京都大学情報学研究科

• 鶴間 浩二

  科学技術振興機構ERATO湊離散構造処理系プロジェクト

• 井上 祐馬

  北海道大学工学部:jst Erato湊離散構造処理系プロジェクト

• 青木 洋士

  立命館大学理工学研究科

• 斎藤 寿樹

  科学技術振興機構ERATO湊離散構造処理プロジェクト

• 有村 博紀

  北海道大学大学院情報科学研究科

• 宇野 毅明

  国立情報学研究所

• 矢島 脩三

  京都大学工学部情報工学教室

• 石原 晋也

  NTT LSI研究所

• 矢島 脩三

  京都大学工学部

• 矢島 脩三

  京都大学大学院工学研究科情報工学教室

• 米田 友洋

  東京工業大学大学院情報理工学研究科計算工学専攻

• 岩下 洋哲

  株式会社富士通研究所

• 濱口 清治

  大阪大学大学院基礎工学研究科

• 宇野 毅明

  東京工業大学 システム科学専攻

• 宇野 毅明

  東京工業大学

• 宇野 毅明

  情報学研究所

• 宇野 毅明

  東京工業大学経営工学専攻

• 宇野 毅明

  東京工業大学システム科学

• ロテール デロール

  京都大学大学院工学研究科

• 高原 厚

  Ntt Lsi 研究所

• 濱口 清治

  京都大学大学院工学研究科

• 奧乃 博

  Ntt基礎研究所

• 山下 茂

  立命館大学

• 奥乃 博

  Ntt 基礎研

• 羽鳥 秀幸

  東京工業大学

• 宇野 毅明

  国立情報学研究所(nii)

• 宇野 毅明

  東京工業大学社会理工学研究科

• 宇野 毅明

  国立情報学研

• 宇野 毅明

  国立情報学研究所:総合研究大学院大学

• 山田 倫大

  北海道大学工学部:jst Erato湊離散構造処理系プロジェクト

• 中澤 吉男

  アマチュアプログラマー

• 戸田 貴久

  JST ERATO 湊離散構造処理系プロジェクト|北海道大学情報科学研究科

• 鶴間 浩二

  日本電機

• 井上 祐馬

  北海道大学情報科学研究科|JST ERATO 湊離散構造処理系プロジェクト

• 青木 洋士

  北海道大学情報科学研究科

• 津田 宏治

  科学技術振興機構ERATO:北海道大学:産業技術総合研究所

• 岩下 洋哲

  科学技術振興機構ERATO湊離散構造処理系プロジェクト|北海道大学大学院情報科学研究科

• 斎藤 寿樹

  神戸大学大学院工学研究科

• 高野 圭司

  科学技術振興機構ERATO:東京工業大学

• 川原 純

  科学技術振興機構ERATO湊離散構造処理系プロジェクト:北海道大学大学院情報科学研究科

• 湊 真一

  北海道大学大学院情報科学研究科:ERATO湊離散構造処理系プロジェクト

• 伝住 周平

  北海道大学大学院情報科学研究科

• 湊 真一

  北海道大学情報科学研究科|JST ERATO湊離散構造処理系プロジェクト

• 斎藤 寿樹

  神戸大学

• 川原 純

  JST ERATO

• 吉仲 亮

  東京工業大学大学院情報理工学研究科

• 高野 圭司

  早稲田大学大学院先進理工学研究科

• 岸本 章宏

  早稲田大学大学院先進理工学研究科

• 湊 真一

  京都大学大学院情報学研究科

• 岩下 洋哲

  独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト:北海道大学大学院情報科学研究科

• 湊 真一

  北海道大学大学院情報科学研究科:独立行政法人科学技術振興機構ERATO湊離散構造処理系プロジェクト

• 川原 純

  奈良先端科学技術大学院大学

• 伝住 周平

  北海道大学情報科学研究科

• 斎藤 寿樹

  神戸大学大学院

• 津田 宏治

  科学技術振興機構ERATO

• 高野 圭司

  科学技術振興機構ERATO

もっと見る 閉じる

著作論文

• ゼロサプレス型BDDを用いた系列長制限つき正規表現処理方法
• 二分モーメントグラフを用いた大規模多項式の操作手法
• ゼロサプレスBDDによるペトリネットのCTL記号モデル検査
• 二分決定グラフ(BDD)による命題論理プログラミング
• アルゴリズム記述からのBDD生成
• 組合せ回路検証の技術
• 二分決定グラフによる制約充足問題の解法
• ゼロサプレス型BDDを用いた非明示的積和形表現の高速因数分解法
• 2. 計算機上での BDD の処理技法 (<特集> BDD (二分決定グラフ))
• 「わくわく」 - 技術革新のキーワード -
• 共有二分決定グラフの「幅」に着目した変数順序づけ手法
• AI-1-5 大規模な離散構造データを扱うためのGPU利用法の検討(AI-1.GPUを用いた高速化技術とそのVLSI設計への応用,依頼シンポジウム,ソサイエティ企画)
• BS-1-2 順列集合を操作する効率的なデータ構造とアルゴリズムの研究について(BS-1. 学生による研究室交流会,シンポジウムセッション)
• 写像枝を用いた系列二分決定グラフ (Theoretical Foundations of Computing)
• 組合せ問題の解を列挙索引化するZDD構築アルゴリズムの汎用化 (Theoretical Foundations of Computing)
• 系列二分決定グラフを操作するための豊富な演算体系の構築 (Theoretical Foundations of Computing)
• ベイジアンネットワークとZDDに関する最近の研究状況について (特集 「ベイジアンネットワークとその応用」および一般)
• 招待講演 フロンティア法 : BDD/ZDDを用いた高速なグラフ列挙索引化の技法 (情報ネットワーク)
• 最先端の開拓者たち 湊真一氏 北海道大学大学院 情報科学研究科 教授 世界的権威が認めた超高速アルゴリズム 電力危機に挑む
• 5.ZDDを用いた新たな列挙手法(広がる列挙の技術-列挙による問題解決アプローチ-)
• DK-2-3 フロンティア法の電力網構成制御への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
• DK-2-3 フロンティア法の電力網構成制御への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
• BDD/ZDDの技法と離散構造処理系(離散構造処理系-知能情報処理を支えるアルゴリズムの技法)
• DK-2-2 フロンティア法の種々のリンクパズル問題への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
• DK-2-1 フロンティア法 : ZDDを用いた極めて高速なグラフ列挙索引化アルゴリズム(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
• DK-2-2 フロンティア法の種々のリンクパズル問題への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
• DK-2-1 フロンティア法 : ZDDを用いた極めて高速なグラフ列挙索引化アルゴリズム(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画)
• DS-1-13 πDDのConjugacy Class計算への適用とその性能評価(DS-1.COMP学生シンポジウム,シンポジウムセッション)
• Counterexamples to the long-standing conjecture on the complexity of BDD binary operations
• DS-1-14 πDDの順列集合演算を用いたパンケーキ整列問題の解析法(DS-1.COMP学生シンポジウム,シンポジウムセッション)
• グラフ列挙索引化技法の種々の問題への適用 (特集 BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
• BDD/ZDDを用いたグラフ列挙索引化技法 (特集 BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
• フロンティア法による電力網構成制御(BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
• 種々のリンクパズルへの応用(BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
• グラフ列挙索引化技法の種々の問題への適用(BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
• BDD/ZDDを用いたグラフ列挙索引化技法(BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
• 特集にあたって(BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用)
• 順列二分決定グラフを用いたパターン回避順列の列挙索引化
• 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ
• 写像枝を用いた系列二分決定グラフの効率化
• 組合せ問題の解を列挙索引化するZDD構築アルゴリズムの汎用化
• 系列二分決定グラフを操作するための豊富な演算体系の構築
• フロンティア法を用いた電力網解析手法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,IPv6ネットワーク,フォトニックネットワーク及び一般)
• フロンティア法 : BDD/ZDDを用いた高速なグラフ列挙索引化の技法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,IPv6ネットワーク,フォトニックネットワーク及び一般)
• 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法(システム設計技術(1),デザインガイア2012-VLSI設計の新しい大地-)
• ERATO湊離散構造処理系プロジェクトの概要と今後の展望について(ブロードバンドアクセス,ホームネットワーク,ネットワークサービス,通信利用アプリケーション,一般)

もっと見る 閉じる

スポンサーリンク