院生・PDキャリア形成支援セミナー（数学系）
第3回 院生ポスドク、キャリア形成支援セミナー（数学系）
開催案内
- 講演題目
- 高信頼ソフトウェア開発における数学
- 講師
- 今井 宜洋 氏（有限会社 ITプランニング）
- 日時
- 2012年1月27日（金）17:00～18:30
- 場所
- 理学部1号館（多元数理科学研究科）409号室
- 講演概要
- 数学の一分野であるラムダ計算を応用した、関数型言語や証明支援器と呼ばれる技術がある。これらの技術によってコンピュータプログラムの性質を数学の定理のように証明することができる。本講演ではこの技術を使った高信頼なシステム開発についてITプランニングでの実例を交えながら紹介する。
- 主催
- 名古屋大学高等教育研究センター
- 名古屋大学多元数理科学研究科
- お問合せ
- 豊田 哲
- E-mail: info@cshe.nagoya-u.ac.jp
- Tel: 052-789-5696