JavaScriptを有効にして再度、お越しください。下記日程・内容で、研究大会を開催いたします。教授)』にご講演をいただきます。本会会員の研究発表とポスターセッション、企業展示などたくさんのプログラムを準備しております。広く本会の活動を知っていただきたく多くの方のご来場をお待ちしています。閉会16:30(閉会後、懇親会(会費制)を予定しています。誠に恐縮でございますが、懇親会への参加は教育関係者に限らせていただきます。テーマ:計算モデル・形式的検証・プログラミング言語・分子コンピューティング主な研究内容:計算システムをモデル化し、特に演繹的な方法を用いて、その性質を計算機上で検証することに興味を持っている。最近では、電子計算機から成る計算システム以外にも、生物系や分子系に内在する計算モデルも研究の対象としている。分子コンピューティングの研究を行っている。電子メールでお申し込みください。20100329jec@tokojoken.jp「お名前」、「ご所属」、「メールアドレス」、「懇親会参加の有無」メールの件名は「研究大会申し込み」でお願いします。研究大会(3月29日)に参加します。