院生・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