慶應義塾大学理工学部 情報工学科

2016年4月11日(月)

4月22日 情報工学講義

4月22日 情報工学講義 16:30-18:00 14-201教室
講師:情報工学科助教 杉浦裕太
演題:生活インタラクション

2015年8月2日(日)

9月8日14:00-セミナールーム1で英国Imperial Collegeの吉田展子教授による特別講演が行われます。皆様のご聴講をお待ちしています

Multiparty Session Types and their Applications

http://mrg.doc.ic.ac.uk/

Abstract: In this talk, I give a summary of our recent research developments on multiparty session types for verifying distributed and concurrent programs, and our collaborations with industry partners and a major, long-term, NSF-funded project (Ocean Observatories Initiatives) to provide an ultra large-scale cyberinfrustracture (OOI CI) for 25-30 years of sustained ocean measurements to study climate variability, ocean circulation and ecosystem dynamics. I shall first talk how Robin Milner, Kohei Honda and Yoshida started collaborations with industry to develop a web service protocol description language called Scribble and discovered the theory of multiparty session types through the collaborations. I then talk about the recent developments in Scribble and the runtime session monitoring framework used in the OOI CI. Finally I summarise our recent other results on Multiparty Session Types.

2015年6月19日(金)

2015年6月26日 第十回目 情報工学講義

6月26日 第十回目 情報工学講義 16:30-18:00 14-201教室
講師:アキュフェーズ株式会社 顧問 高松 重治
演題:サウンド温故知新

2015年6月15日(月)

2015年6月19日 第九回目 情報工学講義

6月19日 第九回目 情報工学講義 16:30-18:00 14-201教室
講師:National University of Singapore Professor Pooi-Yuen KAM
演題:AM versus FM transmission technologies – Signal-to-noise ratio versus bandwidth interchange

2015年6月5日(金)

2015年6月12日 第八回目情報工学特別講義

6月12日 第八回目講義 16:30-18:00 14-201教室
講師:東日本電信電話株式会社 取締役 本部長 井伊 基之
演題: 地方創生にむけたICT利活用

2015年5月22日(金)

2015年6月5日 第七回目情報工学特別講義

6月5日 第七回目講義 16:30-18:00 14-201教室
講師:慶應義塾大学理工学部 訪問教授 青山友紀
演題: 「君たちの出番がきた-ICTの過去・現在・未来-」

2015年5月15日(金)

2015年5月22日 第六回情報工学特別講義

講師:北海道大学 教授 小野哲雄
演題: ヒューマンエージェントインタラクションの現状と未来

2015年5月8日(金)

2015年5月15日 第五回情報工学特別講義

5月15日 第五回目講義
講師:慶應義塾大学 Media Design, Project Associate Professor, Kai Kunze
演題:Toward Eye Wear Computing — Augmenting the Human Mind

2015年5月1日(金)

2015年5月8日 第四回情報工学講義

5月8日 第4回目講義
講師:(株)ホンダ・リサーチ・インスティチュート・ジャパン プリンシパル・リサー チャ 中臺 一博
演題:ロボット聴覚の概要

1 2 3 4 5