第61回情報科学談話会のお知らせ(2015年12月3日開催) 住井英二郎教授「プログラムの論理」

日時	2015年12月3日 17:00～
場所	情報科学研究科棟２階・大講義室
話題提供者	住井　英二郎　教授
提供者所属	情報基礎科学専攻ソフトウェア科学講座ソフトウェア基礎科学分野
話題	プログラムの論理
概要	一般に広い意味での「計算」を記述する「プログラム」、およびその記述に用いられる言語であるところの「プログラミング言語」を数理論理学的に定式化する、「プログラム理論」ないし「プログラミング言語理論」の分野をご紹介します。論理学や数学との関連や違い、および1950年代から研究され、最近になって社会的に再注目されている「関数型プログラミング言語」についても、話題提供者の観点からお話したいと思います。

■研究室の学生諸君等、お誘いあわせのうえ、ぜひご出席ください■

第61回情報科学談話会のお知らせ(2015年12月3日開催) 住井 英二郎 教授「プログラムの論理」