BDD on 次世代コンピューティング研究室

青木さんが4th Asian Joint Workshop on ITで表彰されました

Sat, 27 Oct 2012 16:44:56 +0900

10月27～28日に立命館大学で 4th Asian Joint Workshop on IT が開かれました。立命館大学が中国の大連理工大学と共同で開催する研究発表会です。研究内容のポスターを英語で作成し、英語で発表を行うという内容です。このイベントに修士2回生の青木さんが参加し、優秀なプレゼンターとして表彰を受けました。

伊藤さんが情報処理学会で発表

Fri, 21 Sep 2012 12:34:49 +0900

2012年9月21日、大阪中乃島で開かれた情報処理学会関西支部大会で、修士1回生の伊藤さんが研究内容の発表を行いました。伊藤さんはこの発表について、「がんばりました。」と目に涙を浮かべてコメントしました。写真のぶれ方からも、いかに過酷な発表会であったかが容易に想像できますね。

青木さんコンピュテーション研究会で発表

Tue, 29 May 2012 13:40:22 +0900

M2の青木さんが、4月27日(金) に大阪府立大で行われたコンピュテーション研究会で研究発表をしました。

台湾のGrC2011で青木さんが発表

Mon, 21 Nov 2011 15:14:51 +0900

修士１回生の青木さんが台湾，高雄市で開催された　The 2011 IEEE International Conference on Granular Computing（GrC2011）　にて発表しました。 11/07～11/11まで山下教授と共に台湾に滞在していました。はじめての海外発表で緊張しましたが、よい勉強になりました。その写真の一部を以下に掲載します。

青木さん，北の大地で発表

Tue, 14 Jun 2011 22:32:23 +0900

6月11日青木さんが，北海道大で行われたERATOワークショップで発表をしました．後ろ姿だけですが，ポスターで熱く討論されたようです．天気のせいでジンパは残念ながら外でできなかったようです．また，次にいく機会もあると思うので，次回はてるてる坊主を作ってください．

Algo党紹介ページ

Fri, 01 Apr 2011 16:29:08 +0900

BDD党紹介ページ

BDDとは

Binary Decision Diagram (BDD)とは、論理関数をコンパクトに表現し、効率良く扱うデータ構造。ハードウェアの設計・検証や、制約充足問題を解くために利用される。再帰、ハッシュ、キャッシュ、オブジェクト指向などの基本的なアルゴリズムやデータ構造の集大成である。

さらに、応用として文字列集合や順列集合を表現する発展手法も提案、利用されている。本研究室で別途行なっている量子やハードウェアなどの分野の研究にも活用可能であり、その活用範囲は幅広い。

BDD党の公約：こんなことを目指します

BDD****の大規模処理・高速処理を実現 BDDの並列化処理、ストリーミング処理手法を研究し、大規模なBDD処理を実現する方法や、高速処理方法を研究する。既存手法では実現できなかったような大規模な回路設計や問題解決への活用を目指す。 新しいBDD****の応用方法の提案 文字列集合を表すSeqBDDや、量子回路を表すDDMFの応用方法の発見を目指す。

BDD 党で学べること

BDD党ではアルゴリズムの理論を考え、それをプログラミングしていく。そのため、頭で新しい理論を考えて、それを実際にプログラムとして実装する能力が身につく。BDDは基礎的なアルゴリズム、データ構造の集大成であるため、それらの手法について勉強し、実装する力をつけることができる。

さらに、応用分野が幅広いため、その分野と組み合わせて研究を行う場合、その分野についても学び、研究することができる。

こんな研究テーマが考えられます

GPUでBDDの並列処理
SeqBDDを用いた文字列処理
量子回路を表現するDDMFからの量子回路合成
BDDを用いたアルゴリズム学習システムの実現
BDD演算の高速化手法の考案
BDDを用いた耐故障ハードウェアの設計
BDDを用いた論理回路の最適化検証
BDDと圧縮技術との関連性の研究

卒研ではこんなことをしました

青木洋士, “Sequence BDDを利用した文字列連想配列”
森紘志, “ストリーム形式のTrie木を用いた文字列集合演算”
山本勝也, “BDDにおける再帰アルゴリズムの学習支援システム”
伊藤洋平,“SeqBDD における最長共通部分列・部分文字列アルゴリズム”
伊坂萌,”BDD を理解するための学習支援システムの改善と評価”