ソフトトウェア工学の基礎やオブジェクト指向開発の研究で世界的な成果を挙げておられるスイスETH ZurichのBertrand Meyer教授をお招きして，下記の要領で講演会を開催致します．多数の皆様の参加をお待ちしております．
■テーマ：プログラムの理論(A Theory of Programs)
■講 師：Dr. Bertrand Meyer, Professor, Dep. of Computer Science, ETH Zurich, Switzerland
[Meyer教授のWebページ]
■日 程：2016年1月14(木) 15:30-17:00
■会 場：南山大学名古屋キャンパス S棟2F S24教室[キャンパスマップ]
　　　　　　(地下鉄名城線 名古屋大学駅1番出口より 徒歩15分)
■参加費：無料(どなたでも参加頂けます)
■参加申込み：　準備の都合により，1月14日(木)13:00までに，添付の書式でメールで参加申込みを
　　　　　　　　　 　お送り願います．なお，時間内に参加申込をお送りできない場合は，直接会場へお越し下さい．
■問い合せ先：　南山大学 理工学部 ソフトウェア工学科 青山 幹雄
　　　　　　　　　　 メール: seminar@nise.org, Tel: 052-832-3278		   
■講演概要：
There are many theories of programming; this one seek to describe programs, programming languages and programming in a simple mathematical framework, based on a small set of high-school-level concepts of elementary set theory (sets and binary relations). It uses only three starting operations (union, restriction and composition) and covers the core concepts of programming as well as concurrency, non-determinism, control structures, correctness. From the theory’s definitions it is possible to deduce, as theorems, the axioms of classic theories such as those of Hoare and Kahn.

■論文： A Theory of Prorams

■講師略歴：
Dr. Bertrand Meyer is an academic, author, project manager and consultant in software engineering. He is a Professor of Software Engineering at ETH Zurich and Chief Architect at Eiffel Software. He received an MS in CS from École Polytechnique, Paris and Dr. of Sc. from Univ. of Nancy. He is ACM Fellow and recipient of IEEE Harlan D. Mills Award.
■参加申し込みメール
------------------------------------------------------------ Cut Here
To: seminar@nise.org
Subject: 南山大学ソフトウェア工学科2015年度第2回講演会参加申し込み

御社名：
所　属：
お役職：
ご芳名：
電子メールアドレス：
------------------------------------------------------------ Cut Here
■参加申込みメール
-学情報理工学部ソフトウェア工学科
2012年度第1回講演会「テスト不可能なプログラムのテスト」参加申し込み


------------------------------------------------------------- Cut Here
　　　
2015年度 第2回 ソフトウェア工学講演会