基調講演(1) ... 1日目(6/2) 13:15-14:15
講演題目：AIあるいはGPUの社会実装に向けた地域ムーブメント 講演者：石松 博文 氏 (ハイパーネットワーク社会研究所 主幹研究員) 概要： 大分県は工業を中心とした第二次産業が盛んである。一方では近年、事業所数や従業者数が減少傾向にある。また県内の総人口も毎年減少しており、人の減少に伴う様々な課題を企業及び地域社会は有している。 これらの課題を解決するには、AIあるいはGPUの社会実装が必要であると、当研究所は推察した。そこで当研究所が中心となり、地域の企業や行政、学校の関係者を巻込み、社会実装のための協働活動を始めた。 具体的には、2019年12月に県内の産学官10団体と共に「おおいたAIテクノロジーセンター」を設立、当研究所が事務局となり、2020年度から本格的に運営している。 講演では、４つの視点から本センターの活動概要を紹介する。例えば、地場企業の生産性向上、人手不足の解消、組織内の人材育成に向けて、どのような効果を上げているか。AIあるいはGPUを社会実装するということが、将来的に、地域社会にとってどのような影響を与えるかを発表する。
基調講演(2) ... 2日目(6/3) 10:40-11:40
講演題目：Human-Machine Pair Programming for Future Software Engineering 講演者：劉 少英 教授 (広島大学) 概要：
Pair programming is one of the promising techniques advocated in agile development paradigm, but it tends to be more costly than one person-based programming and to lack a rigorous principle for governing the cooperation of the two programmers. In our recent work on Agile Formal Engineering Methods, we put forward a novel technique called Software Construction Monitoring and Predicting (SCMP) to study an intelligent and automatic approach to Human-Machine Pair Programming (HMPP) for future software engineering. Its aim is to automatically, dynamically monitor the process of software construction for fault detection and to predict the possible future contents of the software towards its error-free completion based on existing programming experience and knowledge. This research field is still in its beginning and there are many challenging issues to be addressed.
In this talk, I will first discuss the theoretical foundation and a framework for Software Construction Monitoring and Predicting (SCMP) for HMPP. I will then discuss with examples how it can be applied to support specification construction and program construction, respectively. Finally, I will talk about some challenging issues to be addressed in the future. 経歴
基調講演(3) ... 3日目(6/4) 13:00-14:00
講演題目：宇宙を見上げて、未来を考える 講演者：高濱 航 氏 (大分県商工観光労働部長) 概要： 大分県は，昨年4月，水平型の人工衛星打上げベンチャーである米国の Virgin Orbit との提携を発表した．アジア初の水平型宇宙港として，2020年の早期に大分空港から人工衛星を打上げる予定．その背景と今後の展開について紹介する．
