AIST

center-name

English
 センター長挨拶Policy Statement研究テーマ研究活動研究成果Technical Reports書籍共同研究集会支援
 研修コース ニュースレター ・CVS Staff ・アクセス 採用情報  ・お問い合わせ ・更新履歴 ・プレスリリース ・カレンダーHOME ・AIST

特別連続講義:Bengt Nordström教授(シャルマース工科大学/スウェーデン)

Bengt Nordström 教授 (シャルマース工科大学) がCVSに滞在されるのを機会に、下記ように構成的型理論についての初歩的な講義をしていただくことになりました。
超数学的側面(型理論のいろいろなバージョンのもつ超数学的性質)よりも、計算機科学的(プログミングの立場からの型理論の理解。証明をプログラムと読み、証明することをプログラミングと見るなど)および哲学的側面(Martin-Löf による意味の説明に基づく型理論の説明。Frege, Brouer, Heytingなどにさかのぼるもの)に光をあてて講義されます。

週一回、二時間ずつ、5回にわたって講義をお願いいたします。第一回の講義は以下の日時と場所で開催いたします。
どなたでもご参加いただけます。また、どの回からご参加いただいても結構です。

日程: 2/1(木)、2/8(木)、2/15(木)、2/23(金)、3/1(木)
時間は基本的に16:00〜18:00を予定していますが、2/15のみ15:00スタートとなります。御注意ください。
場所: システム検証研究センター第四会議室(大阪府豊中市新千里西町1-2-14三井住友海上千里ビル6F)

聴講のお申し込み/その他お問い合わせはこちらから:
http://unit.aist.go.jp/cvs/CLC/



(独)産業技術総合研究所 システム検証研究センター
Copyrights (C) 2005-2006 AIST Research Center for Verification and Semantics, All Rights Reserved.