名古屋大学 高等教育研究センター

■院生・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
戻る