数学を使おう！フォーラムで楽しくお話してみませんか？
【投稿日】2012.12.4
| 日時： | 2012年12月4日㈫ 16:00−18:00 |
|---|---|
| 場所： | 青葉山キャンパス 情報科学研究科棟 2階大講義室 |
| 世話人： | 瀬川悦生、宮田洋行 |
16:00−16:50
Jingbo Wang 氏（University of Western Australia）
Quantum walk and potential applications
Quantum walk represents a generalised version of the well-known classical random walk. Regardless of their apparent connection, the dynamics of a quantum walk is often non-intuitive and far deviate from its classical counterpart. A multi-particle quantum walk presents an even richer dynamical system due to intrinsic quantum correlations such as entanglement. However, despite such potentially superior power and efficiency in quantum walks, they have yet to be applied to problems of significant practical importance. In this talk, I will give a brief introduction to quantum walks, discuss their potential applications, and present several implementation schemes.
17:10−18:00
内沢 啓 氏（山形大学）
論理回路の出力パターン数解析とその応用
AND素子やOR素子などの論理素子を基本素子とする論理回路において， その回路が実現する計算は，回路を構成する各素子の出力値の組合せ， 即ち，出力パターンとして表現される．ここで，回路が実現できる出力パターンの 総数を，その回路の出力パターン数と呼ぶ．本講演では，この回路の出力パターン 数を論理回路の計算能力を表す新しい指標として提示し，回路の出力パターン数と 計算能力の関係について，近年得られた成果を紹介する．また合わせて， 上記の成果を決定木と呼ばれる別の計算モデルに応用することによって得られる， 決定木の計算能力に係る知見についても触れる．
