湊 真一 | Ntt Lsi研究所

スポンサーリンク

概要

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

関連著者

• 湊 真一

  Ntt Lsi研究所

• 湊 真一

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

• 湊 真一

  Ntt Lsi 研究所

• 湊 真一

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

• 湊 真一

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

• 湊 真一

  Ntt 未来ねっと研

• 湊 真一

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

• 湊 真一

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

• 湊 真一

  NTT未来ねっと研究所

• 湊 真一

  函館五稜郭病院

• Minato S

  Nippon Telegraph And Telephone Yokosuka‐shi Jpn

• Minato Shin-ichi

  Graduate School Of Information Science And Technology Hokkaido University

• 湊 真一

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

• 湊 真一

  Ntt光ネットワーク研究所

• 湊 真一

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

• 湊 真一

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

• 湊 真一

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

• 湊 真一

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

• 川原 純

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

• 川原 純

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

• 湊 真一

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

• 吉仲 亮

  JST・Hokkaido U.

• 川原 純

  科学技術振興機構

• 吉仲 亮

  京都大学

• 矢島 脩三

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

• 石浦 菜岐佐

  京都大学工学部

• 矢島 脩三

  京都大学工学研究科情報工学専攻

• 斎藤 寿樹

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

• 湊 真一

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

• 斎藤 寿樹

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

• 岩下 洋哲

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

• 岩下 洋哲

  科学技術振興機構

• 津田 宏治

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

• 奥乃 博

  Ntt基礎研究所

• 井上 武

  Ntt未来ねっと研究所

• 井上 武

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

• 矢島 脩三

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

• 斎藤 寿樹

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

• 石浦 菜岐佐

  関西学院大学

• 林 泰弘

  福井大学

• 林 泰弘

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

• 井上 武

  神戸大学心臓血管外科

• 岸本 章宏

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

• 山田 倫大

  北海道大学工学部

• 井上 武

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

• 井上 武

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

• 林 泰弘

  早稲田大学

• 高野 圭司

  東京工業大学

• 渡辺 喬之

  早稲田大学

• 高野 圭司

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

• 林 泰弘

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

• 井上 武

  科学技術振興機構erato

• 吉仲 亮

  京都大学情報学研究科

• 鶴間 浩二

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

• 岸本 章宏

  東京工業大学

• 津田 宏治

  産業技術総合研究所

• 津田 宏治

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

• 井上 祐馬

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

• 岩下 洋哲

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

• 斎藤 寿樹

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

• 渡辺 喬之

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

• 林 泰弘

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

• 有村 博紀

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

• 宇野 毅明

  国立情報学研究所

• 石原 晋也

  NTT LSI研究所

• 矢島 脩三

  京都大学工学部

• 米田 友洋

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

• 岩下 洋哲

  株式会社富士通研究所

• 濱口 清治

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

• 宇野 毅明

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

• 宇野 毅明

  東京工業大学

• 宇野 毅明

  情報学研究所

• 宇野 毅明

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

• 宇野 毅明

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

• ロテール デロール

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

• 高原 厚

  Ntt Lsi 研究所

• 濱口 清治

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

• Arimura Hiroki

  Hokkaido University

• 奧乃 博

  Ntt基礎研究所

• 奥乃 博

  Ntt 基礎研

• 有村 博紀

  北海道大学

• 羽鳥 秀幸

  東京工業大学

• 宇野 毅明

  国立情報学研究所(nii)

• 宇野 毅明

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

• 青木 洋士

  立命館大学情報理工学部

• 川原 純

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

• 宇野 毅明

  国立情報学研

• 宇野 毅明

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

• 山田 倫大

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

• 中澤 吉男

  アマチュアプログラマー

• 戸田 貴久

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

• 井上 祐馬

  北海道大学情報科学研究科|JST 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を用いた新しい列挙索引化技法(フロンティア法)とその応用)
• 順列二分決定グラフを用いたパターン回避順列の列挙索引化
• 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ

もっと見る 閉じる

スポンサーリンク