秋葉 澄孝
Sumitaka Akiba
経歴
1985年 北海道大学理学部卒業
1988年 北海道大学大学院工学研究科修士課程修了
1988年 電子技術総合研究所(現、産業技術総合研究所)入所
2010年 北海道大学大学院情報科学研究科博士課程修了
現在、産業技術総合研究所 サイバーフィジカルセキュリティ研究センター インフラ防護セキュリティ研究チーム 主任研究員。
専門は情報セキュリティ。
論文業績 (代表的な5件)
- 秋葉 澄孝, 論理プログラムの統一的な意味論, 2009年度人工知能学会全国大会論文集, 2009
- 秋葉 澄孝, ルールの本体での置換と一般の公理に関する証明手続きによる 論理プログラムの計算手続きの完全性, 人工知能学会論文誌, 2008
- S. Akiba and T. Sato, Learning Logic Programs and Regularities from Examples by Inductive Inference, Machine Intelligence 14, 1995
- 伊庭 斉志, 秋葉 澄孝, 佐藤 泰介, 遺伝アルゴリズムを拡張した虫型探索システム:BUGS, 1992年度人工知能学会全国大会論文集, 1992
- 秋葉 澄孝, 伊庭 斉志, 半田 剣一, 元吉 文男, 佐藤 泰介, 遺伝的探索に基づく“虫”の進化(1) -ビジュアライズによる行動解析-, 情報処理学会第44回全国大会講演論文集, 1992