ERATO-seminar

ERATOセミナー情報

★注意★

セミナー情報は，こちら に移行しました．

このページは古い情報になっている可能性がありますので，上記ページをご覧ください．

 過去の ERATO セミナー

• 2010/5/14 15：30〜18：00 （ERATO C304会議室）
  • 計算ホモロジー理論とその応用
    • 荒井迅 (北海道大学創成科学共同研究機構テニュア・トラック助教)
  • 接続サイト[東京，大阪]

• 2010/5/21 15：30〜17：30 （ERATO C304会議室）
  • 北大版BDD/ZDDパッケージの概要/北大ERATOオフィスのIT系インフラ構成の現状と今後の課題について
    • 湊真一 (北海道大学大学院情報科学研究科 准教授 兼 JST ERATO湊離散構造処理系プロジェクト研究総括)
  • 接続サイト[東京，大阪]

• 2010/6/4 15：30〜17：30（ERATO C304会議室）
  • Chomsky-Schutzenberger-Type Characterization of Multiple Context-Free Languages
    • 吉仲亮 (JST ERATO湊離散構造処理系プロジェクト)
  • 接続サイト[東京，埼玉大学]

• 2010/6/18 15：30〜17：30（ERATO C304会議室）
  • オンラインユニットクラスタリング問題の競合比の改良
    • 川原 純 (JST ERATO湊離散構造処理系プロジェクト)
  • 接続サイト[東京，大阪]

• 2010/7/2 15：30〜17：30（ERATO C304会議室）
  • Proper Interval Graphのランダム生成と列挙
    • 齋藤寿樹 (JST ERATO湊離散構造処理系プロジェクト)
  • 接続サイト[東京，大阪]

• 2010/7/9 15：30〜17：30（ERATO C304会議室）
  • データ匿名化に関する検討
    • 白井康之 (JST ERATO湊離散構造処理系プロジェクト)
  • 接続サイト[東京，大阪]

• 2010/7/23 15:30〜17:30（ERATO C304会議室）
  • 効率よいVF符号の設計
    • 喜田 拓也 (北海道大学大学院 情報科学研究科)
  • 接続サイト[東京，大阪]

• 2010/8/3 15:30〜17:30 （関西サテライトラボ）
  • Introduction to Grover Algorithm
    • 山下茂 （立命館大学 情報理工学部 情報システム学科）
  • Grover Search and its Applications
    • Prof. Byung-Soo Choi （梨花女子大学 研究教授）
  • 接続サイト[札幌, 東京]

• 2010/8/4 10:00〜12:00 （ERATO C304会議室）
  • じゃぱら折りの一般化とその複雑さの研究
    • 上原隆平 （北陸先端科学技術大学院大学 准教授）
  • 接続サイト[東京, 大阪]

• 2010/8/6 10:00〜12:00 （ERATO C304会議室）
  • 山登りは大変なので沢登りアルゴリズム
    • 宇野 毅明（国立情報学研究所）
  • 接続サイト[東京, 大阪]

• 2010/8/6 15:30〜17:30 （ERATO C304会議室）
  • 分散データベースからの頻出飽和アイテム集合のプライバシー保護発見
    • 山本章博 （京都大学情報学研究科 教授 ）
  • 接続サイト[東京, 大阪]

• 2010/8/20 5:30〜18:00（ERATO C304会議室）
  • 量子回路の簡単な説明
    • 山下茂 （立命館大学 情報理工学部 情報システム学科）
  • Overview of Topological Cluster-State Quantum Computation on 2D Cluster-State
  • Optimization of TCSQC Program
  • (zip file)
    • Prof. Byung-Soo Choi （梨花女子大学 研究教授）
  • 接続サイト[東京, 大阪]

• 2010/8/23 14:30-16:00（ERATO C304会議室）
  • データインテンシブな計算方法としての分散ワークフローに関する研究の紹介
    • 柴田 特任研究員（東京大学大学院情報学環）
  • 接続サイト[東京, 大阪]

• 2010/8/26 15:30-17:00（ERATO C304会議室）
  • スケッチソート法による全点間類似度検索
    • 田部井靖生 (JST ERATO湊離散構造処理系プロジェクト）
  • 接続サイト[大阪]

• 2010/9/2 15:30-17:00（ERATO C304会議室）
  • Challenges for a theory of visualization: what is semantic symmetry?
  • Measuring the compositionality of multi-word expressions
    • Prof. Randy Goebel (カナダ・アルバータ大学)
  • 接続サイト[大阪]

• 2010/9/13 10:30-17:10（ERATO C304会議室）
  • 鷲尾研・ERATO合同セミナ
  • 接続サイト[東京，大阪]

• 2010/9/16 15:00-17:00（ERATO C304会議室）
  • 回転によるタイリングについて
    • 堀山 貴史 (埼玉大学)

• 2010/9/27 10:00-12:30 （ERATO C304会議室）
  • ハッシュを用いた高速なグラフカーネルとZDD
    • 比戸将平（IBM東京基礎研究所）
  • 非線形最適化を用いた図形の充填問題の解法
    • 今道貴司（IBM東京基礎研究所）
  • 経路のコストに関する回帰問題について
    • 井手剛（IBM東京基礎研究所）
  • 接続サイト[東京，大阪]

• 2010/10/22 15:30-17:30（ERATO C304会議室）
  • BDD/ZDDを基盤とする種々の離散構造の演算処理と代数系(algebra)について
    • 湊真一 (北海道大学大学院情報科学研究科教授 兼 ERATO湊離散構造処理系プロジェクト研究総括)
  • 接続サイト[東京，大阪]

• 2010/10/29 15:30-17:30（ERATO C304会議室）
  • 通信ネットワークの構造分析について
    • 井上 武 (NTT未来ねっと研究所)
  • 接続サイト[東京，大阪]

• 2010/11/05 15:30-17:30（ERATO C304会議室）
  • Seq BDD と既存手法との比較について
    • 吉仲亮 (JST ERATO湊離散構造処理系プロジェクト)
  • SeqBDD : Introduction to Sequence BDD
    • 伝住 周平（北海道大学　情報科学研究科修士課程）
  • 接続サイト[東京，大阪]

• 2010/11/12 15:30-17:30（関西サテライトラボ）
  • 連続データにも使えるMDL基準の一般化
    • 鈴木 譲（大阪大学）
  • 接続サイト[東京，札幌]

• 2010/11/15 15:30-17:30（ERATO C304会議室）
  • Efficient Representations of Boolean Functions: The View from Knowledge Compilation
    • Adnan Darwiche (UCLA)
  • 接続サイト[東京，大阪]

• 2010/11/19 17:00-18:30 (関西サテライトラボ）
  • Multi-Dimensional Mass Estimation and Mass-based Clustering
    • Kai Ming Ting (Associate Professor, Gippsland School of Information Technology, Monash University)
  • 接続サイト[東京，札幌]

• 2010/12/17 15:30-17:30（関西サテライトラボ）
  • Mining Psychology from English News and Applications on Finance
    • Guan-Cheng Li , PhD student in Computer Science, University of California, Berkeley
  • 接続サイト[東京，札幌]

• 2011/1/7 15:30-17:30（ERATO C304会議室）
  • Prediction of amino acid substitutions on the hemagglutinin molecules of influenza A viruses
    • 伊藤公人（北海道大学 人獣共通感染症リサーチセンター 准教授）
  • 接続サイト[東京，大阪]

• 2011/1/11 15:30-18:30（ERATO C304会議室）
  • A Chomsky-Schutzenberger-Weir Representation Theorem for Simple Context-Free Tree Grammars
    • 金沢 誠（国立情報学研究所）
  • 接続サイト[東京，大阪]

• 2011/1/21 15:30-17:30（東工大サテライトラボ）
  • メタボローム技術で得られる代謝経路不明な多数の化合物の組み合わせから経路を予測する手法の開発
    • 小寺正明 （京都大学バイオインフォマティクスセンター）
  • 接続サイト[札幌，大阪]

• 2011/1/28 16:00-17:30（ERATO C304会議室）
  • Improving Simulation Coverage of Metastability Effects in Clock Domain Crossing Verification
    • 岩下 洋哲　(富士通研究所 デザインイノベーション研究部)
  • 接続サイト[東京，大阪]

• 2011/1/31 13:15-15:00 (ERATO C304会議室)
  • Formal Verification of UML-based Specifications
    • Mr. Mathias Soeken, University of Bremen
  • 接続サイト[東京]

• 2011/2/7 14:30-16:30 (ERATO C304会議室)
  • Introduction to Symbolic Data Analysis - An interaction movement between statistics and data processing -
    • Dr. Paula Brito, Associate Professor in Statistics and Data Analysis at the Faculty of Economics, The University of Porto
  • 接続サイト[東京，大阪]

• 2011/2/24 16:00-18:00 (ERATO C304会議室)
  • 統計学習による強化学習の考察
    • 植野剛 (京都大学情報学研究科論理生命学講座)
  • 接続サイト[東京，大阪]

• 2011/2/28 15:30-17:30 (ERATO C304会議室)
  • Webサービス事業者の最新動向と株式会社はてなの研究開発事例
    • 倉井龍太郎（株式会社はてな）
  • 接続サイト[東京，大阪]

• 2011/3/7 15:30-17:30（ERATO C304会議室）
  • Average-case complexity of detecting cliques
    • Benjamin Rossman (MIT)
  • 接続サイト[東京，大阪]

• 2011/3/22 15:30〜17:00（北海道大学 ERATO C304会議室）
  • BDD/ZDDパッケージ講習会（第一回）（資料一式）
    • 湊真一 (北海道大学大学院情報科学研究科 教授 兼 JST ERATO湊離散構造処理系プロジェクト研究総括)
  • 接続サイト[東京，大阪，埼玉大学]

• 2011/3/23 13:30〜15:00（北海道大学 ERATO C304会議室）
  • BDD/ZDDパッケージ講習会（第二回）（資料一式，第一回と同じ）
    • 湊真一 (北海道大学大学院情報科学研究科 教授 兼 JST ERATO湊離散構造処理系プロジェクト研究総括)
  • 接続サイト[東京，大阪，埼玉大学]

• 2011/4/8 15:30-17:30（関西サテライトラボ）
  • Intrinsic Dimensionality and its Applications to Databases and Data Mining
    • Michael Houle (国立情報学研究所）
  • 接続サイト[札幌，東京]

• 2011/4/15 15:30-17:30（関西サテライトラボ）
  • 大規模な集合被覆問題に対する数理計画法に基づく発見的解法
    • 梅谷 俊治 (大阪大学 大学院情報科学研究科 情報数理学専攻）
    • 関連文献：S. Umetani and M. Yagiura: Relaxation heuristics for the set covering problem, Journal of Operations Research Society of Japan, 50(2007), 350-375.
  • 接続サイト[札幌，東京，九州]

• 2011/4/21 15:00-17:00（ERATO C304会議室）
  • πDD: 順列集合を演算処理する二分決定グラフについて
    • 湊真一 (北海道大学大学院情報科学研究科 教授 兼 JST ERATO湊離散構造処理系プロジェクト研究総括)
  • 接続サイト[東京, 大阪, 九州]

• 2011/5/20 15:30-17:30（ERATO C304会議室）
  • ZDDを用いたパスの列挙と索引生成
    • 川原 純 (JST ERATO湊離散構造処理系プロジェクト)
  • 接続サイト[東京，大阪]

• 2011/5/24 15:30〜16:45（ERATO C304 会議室）
  • P versus NP: Approaches, Rebuttals, and Does It Matter?
    • Neil Immerman (Professor, University of Massachusetts Amherst)
  • 接続サイト[東京，大阪]

• 2011/6/17 15:30〜17:30 （ERATO C304 会議室）
  • ZDD-Mate法(仮称)によるグラフのパス列挙
    • 岩下 洋哲 (JST ERATO湊離散構造処理系プロジェクト)
  • 接続サイト[東京，大阪，九州]

• 2011/7/1 15:30〜17:30 （ERATO C304 会議室）
  • 米国CMU訪問および国際会議SAT2011参加報告
    • 湊真一 (北海道大学大学院情報科学研究科 教授 兼 JST ERATO湊離散構造処理系プロジェクト研究総括)
  • 接続サイト[東京，大阪，九州]

• 2011/7/8 15:30〜17:30 （ERATO C304 会議室）
  • データ匿名化の現状に関する一考察
    • 松崎和賢（三菱総合研究所　情報技術研究センター）
  • 接続サイト[東京，大阪]

• 2011/7/15 15:30〜16:45 （ERATO C304 会議室）
  • ZDDを用いた効率的な集合拡張の計算
    • 西野 正彬（NTT サイバーソリューション研究所）
  • 接続サイト[東京，大阪，埼玉大学]

• 2011/7/29 15:30〜17:30 (ERATO C304会議室)
  • モンテカルロ木探索の将棋への応用とパラメータ調整
    • 竹内 聖悟（東京大学大学院総合文化研究科）
  • 接続サイト[東京，大阪]

• 2011/8/9 15:30-17:30
  • 必ず２つ以上子供を持つ木の圧縮
    • 宇野毅明 (国立情報学研究所情報学プリンシプル研究系)
  • 接続サイト[東京, 大阪]

• 2011/8/23 10:30〜12:00 (ERATO C304会議室)
  • 確率密度比を用いた統計的機械学習の新しいアプローチ
    • 杉山将（東京工業大学大学院計算工学専攻）
  • 接続サイト[大阪]

• 2011/8/23 15:30〜17:30 (ERATO C304会議室)
  • 定数時間アルゴリズムとその基本定理 --- 正則性補題と分割定理
    • 伊藤大雄（京都大学大学院情報学研究科 准教授）
  • 接続サイト[東京，大阪]

• 2011/8/24 15:00〜18:00 (ERATO C304会議室)
  • 簡潔データ構造
    • 定兼 邦彦 （国立情報学研究所 情報学プリンシプル研究系准教授）
  • 接続サイト[東京，大阪]

• 2011/8/25 10:30〜12:00 (ERATO C304会議室)
  • 多分岐決定図に基くプロセッサとその応用
    • 中原 啓貴（九州工業大学）
  • 接続サイト[東京，大阪]

• 2011/8/25 15:30〜17:30 (ERATO C304会議室)
  • Depth-First Proof-Number Search in the Presence of Repetitions
    • 岸本章宏（東京工業大学大学院情報理工学研究科）
  • 接続サイト[東京，大阪]

• 2011/8/26 15:30-17:30(ERATO C304会議室)
  • 最適避難計画の理論と応用
    • 加藤直樹（京都大学大学院工学研究科建築学専攻）
  • 接続サイト[東京，大阪]

• 2011/8/29 15:30〜18:00 (ERATO C304会議室)
  • 最小/最大の直径、幅および包囲長方形を持つ正多面体の展開図について
    • 堀山 貴史（埼玉大学）
  • 接続サイト[東京，大阪]

• 2011/8/30 10:30〜12:00（ERATO C304会議室）
  • 知識発見におけるデータ匿名化とプライバシ保護データマイニング
    • 佐久間 淳（筑波大学システム情報工学研究科）
  • 接続サイト[東京，大阪]

• 2011/9/14 15:00〜17:00 （ERATO C304会議室）
  • QEの計算アルゴリズムとその応用〜数式処理による最適
    • 穴井 宏和 （富士通研究所／九州大学）
  • 接続サイト[東京，大阪]

• 2011/9/30 15:30〜17:30（ERATO C304会議室）
  • 液晶製造に関連した最適化問題としての定式化と効率的な解決法の提案
    • 千葉　英史（法政大学）
  • 接続サイト[東京，大阪]

• 2011/10/12 15:30〜18:00 （ERATO C304会議室）
  • 最大クリーク問題の多項式時間的可解性について
    • 富田 悦次（電気通信大学，東京工業大学, JST ERATO研究推進委員）
  • 接続サイト[東京，大阪，埼玉大学]

• 2011/10/27 15:30〜17:30（ERATO C304会議室）
  • 省メモリのための新たなアルゴリズム設計技法：制限された作業用メモリでアルゴリズムを如何に設計するか
    • 浅野哲夫（北陸先端科学技術大学院大学）
  • 接続サイト[東京，大阪]

• 2011/11/14 15:30〜17:30（ERATO C304会議室）
  • アルゴリズムFPGA/LSIハードウェア実装の研究戦術
    • 吉澤 真吾（北海道大学 大学院情報科学研究科）
  • 接続サイト[東京，大阪]

• 2011/12/19 10:30-12:00（ERATO C304会議室）
  • 一票の格差の観点からの選挙区割と最適化
    • 堀田 敬介（文教大学情報学部准教授）
  • 接続サイト[東京，大阪]

• 2011/12/26 15:30-17:30（ERATO C304会議室）
  • 集合の２分割のなす分離族について
    • 戸田貴久（京都大学大学院人間・環境学研究科）
  • 接続サイト[東京，大阪]

• 2012/1/20 15:30-17:30（東工大サテライトオフィス）
  • 統計モデルと大規模パタンマッチングアルゴリズム
    • 渋谷哲朗　（東京大学医科学研究所ヒトゲノム解析センター）
  • 接続サイト[東京，大阪，九州]

• 2012/2/10 15:30-17:30（ERATO C304会議室）
  • Descriptive Programming
    • Charles Jordan（北海道大学情報科学研究科）
  • 接続サイト[東京，大阪]

• 2012/2/20 15:30-17:30（ERATO C304会議室）
  • Bayesian networks and BDDs
    • 石畠正和（東京工業大学 大学院情報理工学研究科）
  • 接続サイト[東京，大阪，九州]

• 2012/2/24 15:30-17:30（東工大オフィス）
  • 超並列分散モンテカルロ木探索
    • 美添 一樹（東京大学大学院情報理工学系研究科コンピュータ科学専攻）
  • 接続サイト[札幌，大阪，九州]

セミナー情報は，こちら に移行しました．