「第６１回情報科学談話会」開催のご案内

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

■談話会ポスター（宣伝用に使用してください）(pdf)■

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