IMI Colloquium

第10回 IMI Colloquium



日時：2012年6月20日（水）

16:45-17:45（16:00より談話室にてティータイム）

場所：九州大学マス・フォア・インダストリ研究所

大講義室１（数理・IMI図書館棟３F）

講師：益岡 竜介 氏 （理学博士） 富士通研究所 ソフトウェアシステム研究所 主席研究員



講演タイトル：

1. Manufacturing and Mathematics (ものづくりと数学) - Symbolic Approach

2. Working in US



講演要旨：

まず数学に基づくものづくりの過程の枠組みを与えます。ものづくりでの

Symbolic Approach を使った例として、HDD ヘッドの設計とソフトウェア検証

を紹介します。それぞれ、ものづくりへの関係と重要性を示し、その技術的な

面を簡単に説明します。 また 10 年以上の米国での仕事の経験を通じて得られ

たことを共有したいと考えています。

Title：
1. Manufacturing and Mathematics - Symbolic Approach
2. Working in US

Abstract:
First I give a framework for manufacturing processes based on
mathematics. I have picked two symbolic approach examples in
manufacturing, HDD Head Design and Software Validation. For each of
them, I present its relevance and importance in manufacturing and then
give its rough technical picture. I also plan to give some insights
and advices obtained through my 10-year work experience in US.