通信情報システム専攻 2018年度談話会の概要

第1回

Time

Friday, April 20th 2018 at 16:30-18:00

Location(s)
[Yoshida]

Room 202, South Bldg, Academic Center for Computing and Media Studies

http://www.media.kyoto-u.ac.jp/en/access/index.html#s_bldg

[Uji]

S-143H Remote Lecture Room

[Yokosuka]

YRP Mobile Lab

Note: If you would like to attend from Yokosuka, let me know it in advance.

Speaker

Dr. Keisuke Fujii

Physics Department, Graduate School of Science, Kyoto University

Title

Recent theoretical and experimental progress on quantum computing

Abstract

I will provide a pedagogical introduction of quantum computing, specifically its definition, how it is different from conventional probabilistic computation, and how it can solve certain problems much faster than conventional "classical" computers. Then, I will review recent progress on quantum computing from both theoretical and experimental aspects.

日時

2018年4月20日(金) 16:30-18:00

場所
[吉田]

学術情報メディアセンター南館 マルチメディア講義室202講義室

http://www.media.kyoto-u.ac.jp/access/#s_bldg

[宇治]

生存圏S-143H遠隔講義室

[横須賀]

京都大学YRPモバイルラボ

※ YRPで聴講される場合は世話人まで事前にご連絡ください。

講演者

藤井 啓祐 氏

京都大学大学院理学研究科 物理学・宇宙物理学専攻

講演タイトル

量子コンピューティングの理論・実験の最近の進展

概要

量子コンピュータの仕組みや従来型のコンピュータとの違いを基礎から説明し、 どのようにして従来の古典コンピュータに対して高速にある種の問題に対して 解を見つけることができるのかを解説する。また、最近の理論的な進展や実験 的な取り組みについて紹介する。

第2回

Time

Friday, May 25th 2018 at 16:30-18:00

Location(s)
[Yoshida]

Room 202, South Bldg, Academic Center for Computing and Media Studies

http://www.media.kyoto-u.ac.jp/en/access/index.html#s_bldg

[Uji]

S-143H Remote Lecture Room

[Yokosuka]

YRP Mobile Lab

Note: If you would like to attend from Yokosuka, let me know it in advance.

Speaker

Prof. Takehiro Sato

Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University

Title

Optical access network: History and recent topics

Abstract

A passive optical network (PON), which is an access network system using optical fiber cables and splitters, has pushed forward the popularization of fiber-to-the-home (FTTH). Due to its cost-effectiveness, not only residential Internet access but also other services such as 5G mobile backhauls are expected to be provided in the next-generation PON. This presentation first introduces the history and basic mechanism of optical access networks. Then the recent research topics in optical access networks, such as flexible utilization of network resources by applying virtualization techniques, are presented.

日時

2018年5月25日(金) 16:30-18:00

場所
[吉田]

学術情報メディアセンター南館 マルチメディア講義室202講義室

http://www.media.kyoto-u.ac.jp/access/#s_bldg

[宇治]

生存圏S-143H遠隔講義室

[横須賀]

京都大学YRPモバイルラボ

※ YRPで聴講される場合は世話人まで事前にご連絡ください。

講演者

佐藤 丈博 先生

京都大学大学院情報学研究科 通信情報システム専攻

講演タイトル

Optical access network: History and recent topics

概要

A passive optical network (PON), which is an access network system using optical fiber cables and splitters, has pushed forward the popularization of fiber-to-the-home (FTTH). Due to its cost-effectiveness, not only residential Internet access but also other services such as 5G mobile backhauls are expected to be provided in the next-generation PON. This presentation first introduces the history and basic mechanism of optical access networks. Then the recent research topics in optical access networks, such as flexible utilization of network resources by applying virtualization techniques, are presented.

第3回

Time

Friday, June 15th 2018 at 16:30-18:00

Location(s)
[Yoshida]

Room 202, South Bldg, Academic Center for Computing and Media Studies

http://www.media.kyoto-u.ac.jp/en/access/index.html#s_bldg

[Uji]

S-143H Remote Lecture Room

[Yokosuka]

YRP Mobile Lab

Note: If you would like to attend from Yokosuka, let me know it in advance.

Speaker

Dr. Shigeaki Okumura

FURUNO ELECTRIC CO., LTD.

Title

Signal processing techniques for non-invasive radar and ultrasound-based human measurement and their applications

Abstract

Recently, several non-invasive measurement techniques that measure outside and inside of the human body using radar and ultrasound-based devices have been reported. In this talk, we introduce the signal processing techniques and applications. Especially, we focus on adaptive signal processing techniques that suppress the interferences and extract the desired signals.

日時

2018年6月15日(金) 16:30-18:00

場所
[吉田]

学術情報メディアセンター南館 マルチメディア講義室202講義室

http://www.media.kyoto-u.ac.jp/access/#s_bldg

[宇治]

生存圏S-143H遠隔講義室

[横須賀]

京都大学YRPモバイルラボ

※ YRPで聴講される場合は世話人まで事前にご連絡ください。

講演者

奥村 成皓 氏

古野電気株式会社

講演タイトル

レーダ・超音波を用いた非侵襲な人体測定における信号処理方法とそのアプリケーション

概要

レーダ・超音波を用いて非侵襲に人体の内部・外部を計測する技術が近年多く 開発されています。本講演ではそのアプリケーションと計測に重要な信号処理 手法を紹介します。講演では信号処理の中でも、不要な信号を抑圧し、所望の 信号を抽出するために用いられる適応型信号処理に重点をおいて説明致します。

第4回

Time

Friday, July 13th 2018 at 16:30-18:00

Location(s)
[Yoshida]

Room 202, South Bldg, Academic Center for Computing and Media Studies

http://www.media.kyoto-u.ac.jp/accms_web/en/access_en

[Uji]

S-143H Remote Lecture Room

[Yokosuka]

YRP Mobile Lab

Note: If you would like to attend from Yokosuka, let me know it in advance.

Speaker

Prof. Priyank Kalla

Electrical and Computer Engineering University of Utah, Salt Lake City, USA

Title

Verification of Arithmetic Circuits Using Algebraic Geometry and Symbolic Computation

Abstract

Until a few years ago, automatic formal verification of arithmetic datapath circuits was considered an unsolvable problem. It was indeed impossible to formally verify custom-designed arithmetic circuits, automatically, beyond even 16-bit datapath word-lengths. Computational techniques quickly encountered exponential space and time explosion of complexity. In the past few years, the state-of-the-art in this area has witnessed a significant leap in verification capacity, facilitating verification for up to 500-bit wordlengths. Algebraic Geometry has played a fundamental role in this success - helping us understand the nature of the problem, and enabling algorithmic implementations to exploit domain-specific knowledge for efficiency and scalability.

In this talk, I will describe our work on formal verification of datapath designs using techniques that lie at the cross-roads of commutative algebra, algebraic geometry and electronic design automation (EDA) techniques. We particularly exploit the theory and technology of Gro?bner bases to verify datapath circuits. Algorithms in computational algebraic geometry exhibit very high complexity. However, datapath designs exhibit some form of structure and symmetry in their functions and implementations. Our work has shown that the powerful Grobner basis reasoning helps us discover this "structure and symmetry," which can be exploited to simplify the algorithms, data-structures and implementations - thus enabling scalability. In this talk, I will describe the verification context, the problem formulations, our discoveries, and results. I will conclude the talk with discussions on other significant problems that can be solved by analyzing word-level abstractions of hardware designs using algebraic geometry. The talk should be accessible to electrical and computer engineers, (theoretical) computer scientists as well as algebraists.

日時

2018年7月13日(金) 16:30-18:00

場所
[吉田]

学術情報メディアセンター南館 マルチメディア講義室202講義室

http://www.media.kyoto-u.ac.jp/access/#s_bldg

[宇治]

生存圏S-143H遠隔講義室

[横須賀]

京都大学YRPモバイルラボ

※ YRPで聴講される場合は世話人まで事前にご連絡ください。

講演者

Prof. Priyank Kalla

Electrical and Computer Engineering University of Utah, Salt Lake City, USA

講演タイトル

Verification of Arithmetic Circuits Using Algebraic Geometry and Symbolic Computation

概要

Until a few years ago, automatic formal verification of arithmetic datapath circuits was considered an unsolvable problem. It was indeed impossible to formally verify custom-designed arithmetic circuits, automatically, beyond even 16-bit datapath word-lengths. Computational techniques quickly encountered exponential space and time explosion of complexity. In the past few years, the state-of-the-art in this area has witnessed a significant leap in verification capacity, facilitating verification for up to 500-bit wordlengths. Algebraic Geometry has played a fundamental role in this success - helping us understand the nature of the problem, and enabling algorithmic implementations to exploit domain-specific knowledge for efficiency and scalability.

In this talk, I will describe our work on formal verification of datapath designs using techniques that lie at the cross-roads of commutative algebra, algebraic geometry and electronic design automation (EDA) techniques. We particularly exploit the theory and technology of Gro?bner bases to verify datapath circuits. Algorithms in computational algebraic geometry exhibit very high complexity. However, datapath designs exhibit some form of structure and symmetry in their functions and implementations. Our work has shown that the powerful Grobner basis reasoning helps us discover this "structure and symmetry," which can be exploited to simplify the algorithms, data-structures and implementations - thus enabling scalability. In this talk, I will describe the verification context, the problem formulations, our discoveries, and results. I will conclude the talk with discussions on other significant problems that can be solved by analyzing word-level abstractions of hardware designs using algebraic geometry. The talk should be accessible to electrical and computer engineers, (theoretical) computer scientists as well as algebraists.