Friday, Apr. 16, 2021 at 16:45-18:15
The URL of Zoom will be announced via faculty’s mailing list 3 days before the colloquium.
The lecture material will be available in PandA at 16:15 on the day of the colloquium.
The lecture will be recorded, and video and audio will be available on PandA.
Tetsuo Tateishi
ROHM, Member of the Board, Senior Corporate Officer, CTO
Genki Tsuruyama
ROHM, Senior Engineer
Analog circuit design, block and system level design challenges and solutions.
Power supplies are likened to circulatory organ of electronic devices, and further conversion efficiency improvement is demanded to realize carbon neutral society. In this presentation, we will present the transition of power supply systems, and design challenges and solutions of a block level analog circuit as an example. An example of how we utilize the technologies we have created is also presented.
2021年4月16日(金) 16:45-18:15
ZoomのURLは開催3日前に研究科メーリングリストでお知らせします.
講演資料は開催当日の16時にPandAに掲載します.
講演は録画し,動画および音声をPandAに公開します.
立石 哲夫
ローム株式会社 取締役 上席執行役員 CTO
鶴山 元規
ローム株式会社 技術主査
Analog circuit design, block and system level design challenges and solutions.
電源回路は電子機器の循環器に例えられ、カーボンニュートラルな社会を実現する上でも更なる変換効率の向上が求められています。 この講演ではスイッチング電源を構築するシステムの変遷、それを構成するブロックレベルのアナログ回路にどの様な課題がありどう解決していったかを一例を上げて説明します。 また、作り上げた技術を如何に活用するかその一例についてもお話しします
Friday, 21 May, 2021 at 16:45-18:15
The URL of Zoom will be announced via faculty’s mailing list 3 days before the colloquium.
The lecture material will be available in PandA at 16:00 on the day of the colloquium.
The lecture will be recorded, and video and audio will be available on PandA.
Kazuto YANO
Department Head of Wireless Communication Systems,
Wave Engineering Laboratories,
Advanced Telecommunications Research Institute International (ATR)
R&D on Wave Engineering for Efficient and Flexible Use of Radio Wave in 6G Era
Since commercial 5G cellular services have been launched around the world including in Japan, R&D activities for establishing various technologies for realizing the next generation (6G) wireless communication systems. Moreover, various non-communication uses of radio wave such as object sensing have been emerged and further developed. This presentation will give an overview of the current trend of in R&D activities of wave engineering. In addition, it will introduce the “wireless COE project”, which is co-managed by ATR and Kyoto University, to accelerate such R&D activities on wave engineering for the 6G era
2021年5月21日(金) 16:45-18:15
ZoomのURLは開催3日前に研究科メーリングリストでお知らせします.
講演資料は開催当日の16時にPandAに掲載します.
講演は録画し,動画および音声をPandAに公開します.
矢野 一人
株式会社国際電気通信基礎技術研究所(ATR) 波動工学研究所 無線方式研究室長
6G時代における電波利活用に向けた波動工学の研究開発
第5世代携帯電話(5G)の商用サービスが我が国を含めて世界各国にて開始 され、次世代(6G)の無線通信の実現に向けた研究開発が開始されている。 加えて、近年では電波を通信に使用するのみならず、物体検出など様々な用 途への電波の利活用への取り組みや研究開発も行われている。本講演ではそ のような波動工学(電波工学)の研究開発のトレンドを概説すると共に、6G 時代の電波利活用技術の研究開発を促進するためにATRと京都大学とが中心 となって取り組んでいる「電波COEプロジェクト」について紹介する。
Friday, June 11, 2021 at 16:45-18:15
The URL of Zoom will be announced via faculty’s mailing list 3 days before the colloquium.
The lecture material will be available in PandA at 16:00 on the day of the colloquium.
The lecture will be recorded, and video and audio will be available on PandA.
Dr. Naoki Takeuchi
National Institute of Advanced Industrial Science and Technology (AIST)
Senior Researcher
Ultra-Low-Power Integrated Circuits Using Adiabatic Quantum-Flux-Parametron
This lecture describes the fundamentals and recent progress in adiabatic quantum-flux-parametron (AQFP), which is an energy-efficient superconductor logic family. AQFP circuits can operate with extremely small energy dissipation due to zero dc resistance in superconductors and reversible state change via adiabatic switching, and thus are a key technology for developing cryogenic information systems, such as low-power microprocessors and single-photon sensors. The lecture briefly explains the mechanism of adiabatic switching, AQFP circuit design methodology, and AQFP-based cryogenic systems, thereby showing the impact and importance of energy-efficient integrated circuits based on AQFP.
English
2021年6月11日(金) 16:45-18:15
ZoomのURLは開催3日前に研究科メーリングリストでお知らせします.
講演資料は開催当日の16時にPandAに掲載します.
講演は録画し,動画および音声をPandAに公開します.
竹内 尚輝 氏
国立研究開発法人産業技術総合研究所
主任研究員
断熱磁束量子パラメトロンを用いた超低電力集積回路技術
極限的に小さな消費エネルギーで動作が可能な超伝導ロジック「断熱磁束量子パ ラメトロン」について、低エネルギー動作を可能にする動作原理から、回路設計 手法、最新の研究成果までを包括的に報告する。特に、断熱スイッチによる低エ ネルギー動作にフォーカスし、CMOS等通常のロジックに比べて低電力動作が可能 なメカニズムを説明する。また、マイクロプロセッサやイメージセンサ等の最新 のシステム開発状況についても報告する。
英語
Friday, July 16, 2021 at 16:45-18:15
The URL of Teams will be announced via faculty’s mailing list 3 days before the colloquium.
The lecture material will be available in PandA at 16:00 on the day of the colloquium.
The lecture will be recorded, and video and audio will be available on PandA.
Seiji KAWAMURA
Director of Remote Sensing Laboratory
Radio Propagation Research Center, Radio Research Institute
National Institute of Information and Communications Technology
Remote sensing technology for environmental monitoring
Remote sensing techniques using electromagnetic waves are introduced. Outlines of measurement methods for rainfall, cloud, wind velocity, water vapor, ground surface using ground-based radars and lidars, air-borne radars, space-borne radars are briefly mentioned. Furthermore, a method to measure water vapor using digital terrestrial broadcasting waves is introduced.
Japanese
2021年7月16日(金) 16:45-18:15
TeamsのURLは開催3日前に研究科メーリングリストでお知らせします.
講演資料は開催当日の16時にPandAに掲載します.
講演は録画し,動画および音声をPandAに公開します.
川村 誠治 氏
国立研究開発法人 情報通信研究機構
電磁波研究所 電磁波伝搬研究センター リモートセンシング研究室 室長
環境計測のためのリモートセンシング技術
電磁波を使ったリモートセンシング技術について紹介する。 地上設置、航空機搭載、衛星搭載などの各種レーダー・ライダーによる 雨・雲・風・水蒸気・地表面などの観測の概要を紹介するとともに、 地上デジタル放送波の伝搬遅延を用いた水蒸気量推定手法について 詳しく説明する。
日本語
Friday, Oct 15th, 2020 at 16:45-18:15
The URL of Zoom will be announced via faculty’s mailing list 3 days before the colloquium.
The lecture material will be available in PandA at 16:00 on the day of the colloquium.
The lecture will be recorded, and video and audio will be available on PandA.
Yusuke Koda
University of Oulu,
Centre for Wireless Communications,
Postdoctoral Researcher
Visual Data-Driven Millimeter Wave Communication Systems & Life in Finland as a Researcher on Wireless Communications
This talk will briefly explain my Ph.D. work entitled “Visual Data-Driven Millimeter Wave Communication Systems” by detailing the capability of millimeter communication, the blockage problem in it, and the solution driven by visual data, i.e., time-sequence of camera images, and machine learning techniques. Moreover, I will talk about my life in Finland as a visitor/postdoctoral researcher and shed light on the difference from the research life in Japan.
English
2020年10月15日(金) 16:45-18:15
ZoomのURLは開催3日前に研究科メーリングリストでお知らせします.
講演資料は開催当日の16時にPandAに掲載します.
講演は録画し,動画および音声をPandAに公開します.
香田優介
オウル大学CWC
ポスドク研究員
カメラ画像駆動ミリ波通信システムと若手無線通信研究者としてのフィンランド生活
本講演では、講演者が行ってきた研究である、カメラ画像 駆動ミリ波通信システムについて、ミリ波通信の利点、そこでの遮蔽問題とカメ ラ画像と機械学習を用いた解決法の3点に焦点を当てながら説明する。また、現 在フィンランドで研究活動を行っている講演者の研究生活について、日本での研 究生活との差分に焦点を当てながら紹介する。
英語
Friday, November 12th, 2021 at 16:45-18:15
The URL of Zoom will be announced via faculty’s mailing list 3 days before the colloquium.
The lecture material will be available in PandA at 16:00 on the day of the colloquium.
The lecture will be recorded, and video and audio will be available on PandA.
IMAI KATSUYUKI
Senior Assistant General Manager, Hybrid Products Division, Sumitomo Electric Industries, Ltd.
What is Luneberg Lens?
Luneberg Lens is one of the radiowave lenses. We will briefly explain the principle, characteristics, and manufacturing process of Luneberg Lens. Furthermore, we will introduce wind profiler radar and Ku-band weather radar using Luneberg Lens as antenna.
Japanese
2021年11月12日(金) 16:45-18:15
ZoomのURLは開催3日前に研究科メーリングリストでお知らせします.
講演資料は開催当日の16時にPandAに掲載します.
講演は録画し,動画および音声をPandAに公開します.
今井 克之
住友電気工業株式会社 ハイブリッド製品事業部 主幹
ルネベルグレンズとは?
電波レンズの一つであるルネベルグレンズについて、その原理、特徴、製造方法等について説明する。また、ルネベルグレンズをアンテナとして用いたウィンドプロファイラ、及びKu帯気象レーダーについて紹介する。
日本語
Friday, December 17th, 2021 at 16:45-18:15
The URL of Zoom will be announced via faculty’s mailing list 3 days before the colloquium.
The lecture material will be available in PandA at 16:00 on the day of the colloquium.
The lecture will be recorded, and video and audio will be available on PandA.
Taro Sekiyama
Assistant Professor
National Institute of Informatics & The Graduate University for Advanced Studies, SOKENDAI
Program Verification with Machine Learning
This talk first offers an overview of program verification. A main challenge in program verification is to verify programs with loops because it requires finding loop invariants, properties that hold while executing the loops. Discovering loop invariants is an undecidable problem in general. Therefore, the research community has made a lot of effort thus far for developing heuristic approaches to automated discovery of loop invariants. The second half of this talk will introduce recent applications of statistical machine learning methods to the problem of loop invariant discovery, focusing on the research conducted in our group.
English
2021年12月17日(金) 16:45-18:15
ZoomのURLは開催3日前に研究科メーリングリストでお知らせします.
講演資料は開催当日の16時にPandAに掲載します.
講演は録画し,動画および音声をPandAに公開します.
関山 太朗
国立情報学研究所・総合研究大学院大学 助教
機械学習によるプログラム検証
本講演でははじめにプログラム検証について概説する.プログラム検証における 普遍的な課題はループ(あるいはそれに類する再帰的構造)を含むプログラムの 検証であり,そのためにはループ不変条件と呼ばれる,ループの実行前後で保存 されるプログラム状態に関する性質を発見することが重要となる.正しい不変条 件を発見することは一般には決定不能な問題であり,これまでにヒューリス ティックに基づく不変条件発見手法が数多く提案されてきた.講演の後半では ループ不変条件発見を統計的機械学習によって獲得するために手法について、 我々のグループが行っている研究を中心に紹介する.
英語
Friday, January 21st, 2022 at 16:45-18:15
The URL of Zoom will be announced via faculty’s mailing list 3 days before the colloquium.
The lecture material will be available in PandA at 16:00 on the day of the colloquium.
The lecture will be recorded, and video and audio will be available on PandA.
Rui Kang
Oki Lab, Intelligent Communication Networks Area,
Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University.
Resource Allocation with Maintenance Schedule in Network Virtualization
Network function virtualization (NFV) decouples the functions from specialized hardware. The functions are virtualized to virtual network functions (VNFs) and form a service function chain (SFC) in a specific order to provide a service. The flexible allocation of VNFs deploys the network functions rapidly and improves network performance. The unavailability of a node interrupts the VNF running on the node. By using the operation records and maintenance plans, the possible locations and time of node availabilities can be obtained. This talk calls them an availability schedule. The service provider may avoid interruptions and improve the continuous serviceable time when performing the VNF allocation with availability schedules. This talk presents three models with corresponding analyses for different applications in the deterministic availability schedule, uncertain availability schedule, and backup VNF allocation. This talk introduces both mixed-integer linear programming approaches and greedy approaches for solving the models. This talk introduces applications of these models in a container orchestration platform as demostrations at last.
English