定期講演会を下記の通り開催致します。Things)が新しいトレンドとして注目を浴びており、IT業界やものづくり業界を含めた一大潮流として技術開発が急速に進んでいます。今回の講演会では、IoTを支える技術を研究している3人の若手研究者が、IoTの周辺技術、特に制御、組み込み、ソフトウェア検証という3つのトピックをテーマに、それらの最先端の技術を紹介致します。幸平ソフトウェアが様々な場面で使われるようになり、その複雑さが増している。一方で、ソフトウェアのエラーが人命・財産への損害に繋がることもあり、ソフトウェアが意図通りに動作することをいかにして保証するかが重要な課題となっている。ソフトウェアの誤りを未然に発見し取り除く方法として、一般にはソフトウェアテストが多く用いられるが、実際にはテストの漏れにより潜在的なエラーを見逃すことがあり得る。本講演では、ソフトウェアテストのこのような欠点を補完する手法として、形式検証、すなわちソフトウェアの正しさを数学的に示す手法を紹介する。この手法においては、プログラムの動作を数学的に厳密に定義し、その基盤の上で「プログラムが任意の入力で正しく動作する」ことを数学の定理として記述し、その定理を(できるだけ自動的に)証明する。これにより、ソフトウェアがすべての入力で網羅的にテストされたのと同様の効果を得ることができ、誤動作につながりうるテストを見落とすというテストの欠点を補完することが可能となる。形式検証手法は最近研究段階を超えて実用例も見られるようになっている。講演ではその一端を紹介できればと考えている。Pruekprasert※セッション2は全て英語で行われます。同時通訳はありません。支えるコンピューティングデバイスとして、従来のプロセッサやASICに次ぐ「第3のコンピュータ」であるFPGAの活用が進んでいる。FPGAは任意の論理回路が実現できる再構成可能デバイスであり、特に電力効率の面で利点がある。本講演では、本講演の前半では、FPGAに関する基礎知識や設計手法について初学者にも分かりやすく解説し、最新のFPGA活用事例についても触れる。Synthesis)フレームワークを紹介する。本フレームワークは、近年注目が集まっているプログラマブルSoC(プロセッサとFPGAを1チップに集積したデバイス)を対象としており、FPGAの利点を活かした組込みシステムの高品質化および設計生産性の向上に貢献する。※学生は会員・非会員問わず無料です。※参加費は当日受付で現金にて徴収させて頂きます。お釣りの無いようご準備下さい。メディア学会の個人会員(正会員)の方は無料でご参加頂けます。情報処理学会に限り、入会申請中の方も無料でご参加頂けます。させて頂く場合がございますので、お早めにお手続き下さい。所属する賛助会員も、無料でご参加頂けます。関西支部所属の賛助会員かどうかはこちらよりご確認頂けます。参加ご希望の方は、下記【個人情報の取り扱いについて】をお読み頂き同意の上、申込ボタンから必要事項を記入してお申し込み下さい。情報処理学会プライバシーポリシーに基づき個人情報の適正な取り扱いに努めております。運営の目的(参加者名簿の作成、諸連絡のお知らせ等)にのみ利用致します。ご本人の了解なしに第三者へ提供したり、預託することはございません。上記の個人情報の取り扱いに同意の上、お申し込み下さいますようお願い致します。情報処理学会の個人情報取扱につきましては下記アドレスのWebページをご覧下さい。参加ご希望の方は直接会場までお越し下さい。※お申し込み後一両日中に申込受付完了のメールが送付されます。このメールをもって、正式な参加登録となります。お申し込み頂いたにも関わらず受付完了のメールが届かない場合は、お申し込みが完了していない可能性もございますので、お手数ですが事務局までご連絡下さい。※申込受付完了のメールが迷惑メールに振り分けられることがあるようですので、未着の方はまずはそちらもご確認下さい。お越しは公共の交通機関をご利用下さい。内)TEL:075-315-9014E-mail:jimu@kansai.ipsj.or.jp。