秋葉 澄孝

所属
産業技術総合研究所 セキュアシステム研究部門 高信頼ソフトウェア研究グループ
住所
305-8568 茨城県 つくば市 梅園 1-1-1 中央第2
ファックス
029-861-5285
電子メール
s.akiba@aist.go.jp
現在の研究 高信頼ソフトウェア
最近の研究 論理プログラム
その他の研究 帰納論理プログラミング
N-クイーン問題

誌上発表

口頭発表


最終修正日 2014年3月27日
s.akiba@aist.go.jp