しましま/人工知能学会全国大会2018
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
* 人工知能学会第32回全国大会 [#gc9a698f]
このページはしましまが[[人工知能学会全国大会2018>人工知能...
- ホームページ: http://ai-gakkai.or.jp/jsai2018/
- 日時:2017年6月5日(火)〜 6月8日(金)
- 会場:城山観光ホテル(鹿児島県鹿児島市)
#contents
* 6月5日 (火) 1日目 [#yf38b6dc]
* [1A3-01] KS-10 AIに関わる安全保障技術をめぐる世界の潮流...
- http://ai-elsi.org/archives/707
** 安全保障技術の国際的な動向について [#zcd29bf6]
拓殖大学国際学部教授・海外事情研究所副所長,佐藤丙午氏
- AIが将来何を実現できるかが不確実
-- 軍事行動の正確性と速度の向上
-- 現状はAIを使った現状の兵器の向上
- Targeting Circle:攻撃にいたるまでのプロセス(NATO では...
-- この各段階で使われる情報収集手段や兵器の性能向上へのAI...
-- 高速計算能力は攻撃能力を向上,弱いAIだけが考えられてい...
- Project Maven:インテリジェンス分野の情報処理技術(Goog...
-- 議論はあったが,民間技術と軍事技術との情報処理技術の差...
- 戦闘サイクルの迅速化
-- 防御戦闘における自動化(イスラエルのIron Dome,都市の...
- 複雑な兵器システム
-- 大量ドローンの操縦,人間には無理,見方の反乱への対処
- AIの兵器利用の課題
-- 安全性:信頼性,変化への対応
-- 政治目的を達成するための戦争で,結果の不確実性はその目...
- 民生技術は拡散すると,軍事にも利用される.中国の軍民融...
** LAWSと国連の動向などについて [#u7c865b7]
外務省軍縮不拡散・科学部通常兵器室上席専門官,南健太郎氏
- LAWS(自律型致死兵器)
-- Human Rights Watch (HRW) の報告書に2012年に登場
- CCW(特定兵器使用禁止条約):LAWS の外交官による国際的...
-- 1978年に発行,地雷・ブービートラップ,焼夷兵器などのた...
-- 人権と安全保障の両方にまたがる枠組み
- 論点
-- LAWSは国際人道法を遵守できないのではないか? ← 実在し...
-- 定義についても合意がとれないので,後回しにしている
-- 自動(閉じられた範囲で動作)と自律(オープン環境で動作)
* 6月6日 (水) 2日目 [#g77da108]
* [2P3] 機械学習-分類問題 [#j43f104c]
- [2P3-03] 公平ロジスティック回帰での確定的決定則の影響
〇神嶌 敏弘1、赤穂 昭太郎1、麻生 英樹1、佐久間 淳2,3 (1. ...
質問
- 決定則の影響で独立性が達成できなくなる理由の確認
-- 決定則の影響で分布が変わるから
* [2N4-01] KS-8 「AI人材」にいま求められていることと教育...
- http://www.jdla.org/news/detail/20180406001/
* 6月6日 (木) 3日目 [#zbf1e4f6]
* [3A0-01] 「人工知能は未来の経済をどう変えるか?」 [#x6c...
井上 智洋1 (1. 駒澤大学経済学部 准教授)
- 人工知能の副作用について論じることは,人工知能の促進を...
- 汎用AIと特化型AIを区別して考える必要
- 日本のWBAイニシアチブの主張 http://wba-initiative.org ...
- 全脳の実現:全脳アーキテクチャ(機能部品を統合して人間...
- 雇用を奪わない程度の技術は革新的はいえない
- 雇用がなくなっても生活できるのは,理想的な生活ともいえ...
- 技術的失業:技術の進展によって職業がなくなることを表す...
-- ミクロ的に補完的であっても,マクロ的には代替的であるこ...
- 労働塊の誤謬:技術が進展しても失業率は下がらない.技術...
- 貧困をもたらす可能性:事務労働の大部分が低所得の肉体労...
-- グレート・デカップリング:中間層が減少している,さらに...
-- 中間層をいかにAIを利用できる頭脳労働に移行できるか
-- 職業が簡単に消えるとは考えていない:技術的に代替可能で...
- 技術的失業のレベル:職業の消滅,業種の雇用の減少,国レ...
- 実空間⇔情報空間,定型⇔不定型 の2軸で考える
-- 代替が容易な順番:実空間+定型→産業用ロボット,実空間+...
-- 人手が足りないと言われているのは実空間 → 知的処理とロ...
- 残る仕事の特徴 CMH:クリエイティビティ,マネージメント...
-- 人間の感性による仕事は残るだろう(エンターティメント性...
- 一般の所得は中間層が多いが,クリエイティブな職業は少数...
- ベーシックインカム:講演者の試算では現状でも7万は支給で...
-- 人工知能は,ベーシックインカムの導入によって,ユートピ...
- 機械化経済(講演者の定義)生産者が機械に投資されて生産...
-- この枠組みを早く作れるかどうかが重要な分岐点 → 最初に...
* [3H1-OS-25a] 人工知能と倫理(1) [#f2c65744]
** [3H1-OS-25a-01] 日米欧の地域特性に着目したAI倫理ガイド...
〇上村 恵子1、小里 明男1、志賀 孝広1、早川 敬一郎1 (1. (...
- 欧州:人の権利や責任
- 米国:AIの便益最大化,セーフガード
- 日本:普及促進,倫理基準による不安解消
** [3H1-OS-25a-02] 倫理的行動を促進するAIを社会で活用する...
〇福原 慶子1 (1. 名古屋大学)
- スピードバンプ:人間に倫理行動をおこさせる技術的手段の例
- 人間の価値観に偏りがあり,そのデータから学習するとAIも...
** [3H1-OS-25a-03] AI は AI 技術者を倫理的な設計に巻き込...
〇関口 海良1、堀 浩一1,2 (1. 東京大学大学院工学系研究科、...
- 推薦機能を備えた倫理項目の閲覧ソフト
** [3H1-OS-25a-04] AIを活用したサービスにおけるELSI的観点...
〇福住 伸一1、神野 真理子1、稲垣 香澄1、安 浩子1、広明 敏...
- ヘルスケア分野を対象に,診断を受けさせるためのインセン...
** [3H1-OS-25a-05] IEEE「倫理的に調和した設計」を用いた議...
〇江間 有沙1、長倉 克枝2、工藤 郁子3 (1. 東京大学、2. 科...
- コリングリッジのジレンマ:技術は普及するまで十分に予測...
- 議論のアジェンダはだれが決めるは難しい
* [3N2-01] KS-4 インセンティブ設計科学 [#i2f18f6d]
** オーガナイザ挨拶 [#o5b9fb44]
東藤大樹
- AIでのインセンティブ設計:個人情報提供など
- インセンティブを扱う学問:ゲーム理論,実験経済学(被験...
** マッチング・マーケットデザイン [#d8c42527]
安田洋祐(大阪大学)
マーケットデザイン
- Avin E. Roth と Lloyd S. Shapley が提唱
- ゲーム理論で得られた知見をいかして,現実の市場や制度を...
-- 実験・シミュレーションでの検証,実際への実装(オークシ...
安定マッチング
- グループ間で人の対応付ける,ここでは two-side マッチン...
- 安定なマッチング:どんな個人が逸脱しても,状況は改善し...
- 自分がマッチングされる可能性のある相手のうち,最も良い...
- Gale-Shapleyアルゴリズム
-- 男性が自身の好みの順位を提出
-- 自身の最上位の女性を選択,女性側は自分の好みに一番近い...
-- リジェクトされた男性は,リストの次の女性を選択
-- これを反復
-- 問題点:男性側には嘘をつくインセンティブがないが,女性...
-- 拡張:同順位を許す,受け入れ拒否を許す,一対多への拡張
** 行動メカニズム・デザイン [#kf92d568]
川越敏司(はこだて未来大学)
メカニズム・デザイン,マーケット・デザイン,遂行理論
- アダム・スミス:自由市場は,私利に基づいても,ルールを...
- フリードリヒ・ハイエク:生産配分をする計算が不可能だ,...
- レオン・ハーヴィッツ:インセンティブ設計の提案と,不可...
インセンティブ設計
- 嘘をつく戦略的な行動が,結果的に不利になるような制度設計
- VCGメカニズム:成功例
- 行動メカニズム・デザイン:実験室内での被験者実験や,コ...
** ビットコイン・暗号通貨・ブロックチェーン技術とインセン...
田中圭介(東京工業大学)
- ビットコイン:Satoshi Nakmoto (2008)
-- 信頼できる第三者なしに実現可能な暗号通貨,非中央集権的
-- 基礎となる技術はブロックチェーン(分散型台帳)
- ブロックチェーン
-- 参加者がある種の計算 (Proof-of-Work) を行い続けること...
--- 同じ台帳を全員で計算し続けるイメージ
- チェーンを1ブロック伸ばす手続き
-- 手に入れたトランザクションを組み込んでブロックの中身を...
-- Proof-of-Work(マイニング)に成功すると,台帳に組み込...
-- 十分に広い
- Proof-of-Work
-- 前のブロックと追加ブロックにある数(ナンス)にハッシュ...
-- 世界中で10分に一度ぐらいしか成功しない
-- Proof-of-Work を推進するために暗号通貨で支払いをしてイ...
- インセンティブ設計の問題
-- 現状は報酬は徐々に低下するようになっている.もし,減少...
-- 法定通貨とのペッグ制
-- Proof of Work 以外によるブロックの更新,Proof of Stake...
* 6月7日 (金) 4日目 [#j76db0ea]
* [4N1-01] KS-1 機械学習工学とは − 機械学習システムを創り...
- https://sites.google.com/view/sig-mlse/%E6%B4%BB%E5%8B%...
- 機械学習工学:機械学習を用いた製品をどう作っていくかを...
**「ソフトウェア工学は機械学習の夢を見るか 〜 ソフトウェ...
榊原彰(日本マイクロソフト)
- ソフトウェア工学:どう作るか,リスクをどうヘッジするか
-- プログラム・モデリング:オブジェクト指向とか
-- アーキテクチャ:単体のコンピュータではなく,サーバやセ...
-- 部品化・再利用:何度も現れては消えている
-- 要求獲得・定義:要求工学,そもそもしたいことを引き出す
-- 定量化・測定・評価・見積もり技術:工数などの評価
-- プロセス:アジャイルやウォーターフォール,デプロイはど...
-- プロジェクトマネジメント:需要はあるが発表は少ない
- 分析・設計手法の隆盛
-- 分析手法:機能中心(職人芸)→構造化(+データ中心)→オ...
-- プラットフォーム:メインフレーム→ クライアントサーバ→W...
- Webの進化はモバイルデバイスの進化により再加速 http://ev...
-- Javascriptのパフォーマンスは1990年代の100倍
- 開発規模と負荷:MSの調査結果
-- 規模の拡大とともに負荷は向上.規模拡大とともに,最低限...
-- ただ能力のある個人は大規模でもキーになる部分に配置する...
- 開発における手戻りコスト
-- 中間のプログラミング段階が一番おおきい
-- 上流工程でできればコストは小さい → 過度なモデル変換依...
--- 独立性のあるモデルのは至難の業,制約や挙動を記述する...
- アーキテクチャの記述:viewpoint が重要
-- 抽象→具体への変換,関心事の分離
- 要求工学:機能要求,非機能要求,将来要求
-- 外部環境:システムやビジネス環境なども考慮しつつ,ソフ...
-- メンテナンス性と実行速度など要求項目(NFR)にはトレー...
- IT開発ライフサイクル
-- Vモデル:上流から下流へ作成し,下流から上流に向けてテ...
- 構築手法の選択はリスクヘッジ
-- アプリケーション開発プロジェクトの成功率は28%
-- リスクヘッジ法:プロトタイプ,モデル駆動(自動車などで...
- 構築手法:ウォーターフォールとアジャイル → 場合によって...
- システム開発への要求の変遷
-- QCD(品質,コスト,締切)
-- agility 素早い対応
-- dynamics 実時間対応
- 定量化・測定・評価・見積もり技術
-- アジャイルでは計測はあきらめて,特定のfeatureを期間内...
- 機械学習を使ったコンポーネントをどう組み込むか
-- システム全体については既存の方法どおり
-- データ設計については,今までより重要に
-- 機械学習が適用されるコンポーネントに関するテストプロセ...
-- 要求仕様の獲得をどうする
- 機械学習を使った場合の結果の修正:性別に基づくバイアス...
-- トライアル・アンド・エラーが必要
** ソフトウェア工学屋さんの立場から [#ne64d396]
石川 冬樹 NII
- AIの品質検証の話はソフトウエア工学でも増えている
- 機械学習を用いた場合,変更の影響はどれくらい出るかの質...
- ソフトウエア工学:複数人で作る,タスクとは要件を満たす...
- 機械学習工学の必要性:機械学習はソフトウェアの振る舞い...
-- テストは,入力と出力を検証するという手段が利用できない
-- 同値クラスの扱い:同じデータとみなしてよい範囲
-- カバレッジ:簡単に100%にできるが,それが達成できても意...
- 機械学習の工学的扱いについてはほとんど研究がない.ICML2...
** データサイエンス系の立場 [#r1613994]
山田 IBM
- データ活用についてコンサルティングの経験
- データとアルゴリズムはn対mの問題 → データもアルゴリズム...
- 野良AI:メンテされていないAIソフト,互いに一貫性のない...
** 機械学習系 [#sfb06b27]
丸山 PFN
- 見積もりは機械学習ではやってみないとどうしてもできない
- 機械学習の本質的限界:確率的にしか保証できない
- あってはならない解をどう排除するのか? → ポリシーモジュ...
- Alpha GO:ツリーの探索で非合法手は探索しないので,ルー...
** 機械学習系 [#zad8854b]
太田 ブレインパット
- データの管理をどうすべきか
- アクセスが0になっている → 障害だった → このデータを学習...
-- 有名人によるツイートの効果などは含めていいのか?異常検...
** パネル [#vaf64818]
- 性能評価の基準をはっきりさせてから,それを達成するよう...
- 統計の IID 仮定は難しい
- モデルの適用をシステム化する
- 壁:データがない,精度が上がらない,ROIが予測できない,...
- 学習モデルを更新する部分と,しない部分を事前に分ける
* [4I2-01] 「ヒューマンコンピュテーションとクラウドソーシ...
馬場 雪乃1 (1. 京都大学大学院 情報学研究科)
- スライド: http://yukinobaba.jp/JSAI-2018-human-computa...
- ヒューマン・コンピュテーション:人間と人工知能を組み合...
-- reCAPCHA:OCRで複数システムで結果が一致しないときに,...
-- 視覚障害者援助:モバイルカメラで撮った画像を使った質問...
-- FoldIt:タンパク質の構造予測,エネルギーポテンシャルの...
- クラウドソーシング:多数の人間に依頼する仕組み,インタ...
-- タスクテンプレート:タスクをしてもらう画面の設計 → タ...
-- タスク一覧に掲載 → 作業者が作業開始
-- 作業完了 → 依頼者は,作業結果を確認し,承認・非承認を...
- 人間からどうやって正しい答えを引き出すか? 必ず誤りは生...
-- reCAPCHAでの例:正解かどうかを,人間・ボットの判断の認...
- 集団を使った問題解決:AI主役(並列問い合わせ,直列問い...
- AIが中心になる問題で,人間に並列に問い合わせる場合
-- 複数人に問い合わせて,回答を統合することで,高精度な回...
-- 各作業者を特徴,タスクを事例として正解を予測する問題と...
-- David & Skene:回答者の能力を潜在変数として扱い,EMア...
-- Whitehill+:回答者の能力に加えて,問題の難易度も考慮
-- 回答の他に,回答への確信度も尋ねる.確信度の確信度を予...
-- 一対比較の回答から,全順序を求める
-- 選択ではない場合:CRPを使う方法
- AIが中心になる問題で,人間に直列に問い合わせる場合
-- 前の人の結果を使って問題を解かせることができる
-- Soylent:校正をする,問題の場所の検出,問題の修正,修...
-- 最初は自力で答えてもらってから,他人と意見が違ったら他...
-- TurKontrol:修正の必要性をPOMDPによって判定させる
-- 評価者の能力を考慮にいれて,成果物の品質を予測する
-- 成果物評価の一対比較
- 人間が中心になる問題で,専門家を見つける
-- 専門性がないと解けない,正解が既知の問題を解かせる
-- 個人属性情報を利用
-- 専門家だけが使う検索クエリを手がかりにして,専門家を探...
-- テストが用意できないとき,専門家しか分からない問題では...
-- DARPA Network Challenge:他人からの推薦に基づく,問題...
-- タスクを解決できそうな人に順次依頼する.過去の履歴に基...
- 人間が中心になる問題で,協調支援
-- 言語による協調ではスケールしないので,他の方法を探る
-- Turkomatic:ある集団が,問題を細かく分割し,十分に単純...
-- 回答者をランダムに動かしつつ,各回答ごとに逐次的に解を...
-- 集団かあらアイデアを集めて,報奨金を出す
-- 遺伝的アルゴリズムの選択を,人間の投票で決める
-- アイデアを見せ合うことで発想を喚起・可視化.一対比較で...
終了行:
* 人工知能学会第32回全国大会 [#gc9a698f]
このページはしましまが[[人工知能学会全国大会2018>人工知能...
- ホームページ: http://ai-gakkai.or.jp/jsai2018/
- 日時:2017年6月5日(火)〜 6月8日(金)
- 会場:城山観光ホテル(鹿児島県鹿児島市)
#contents
* 6月5日 (火) 1日目 [#yf38b6dc]
* [1A3-01] KS-10 AIに関わる安全保障技術をめぐる世界の潮流...
- http://ai-elsi.org/archives/707
** 安全保障技術の国際的な動向について [#zcd29bf6]
拓殖大学国際学部教授・海外事情研究所副所長,佐藤丙午氏
- AIが将来何を実現できるかが不確実
-- 軍事行動の正確性と速度の向上
-- 現状はAIを使った現状の兵器の向上
- Targeting Circle:攻撃にいたるまでのプロセス(NATO では...
-- この各段階で使われる情報収集手段や兵器の性能向上へのAI...
-- 高速計算能力は攻撃能力を向上,弱いAIだけが考えられてい...
- Project Maven:インテリジェンス分野の情報処理技術(Goog...
-- 議論はあったが,民間技術と軍事技術との情報処理技術の差...
- 戦闘サイクルの迅速化
-- 防御戦闘における自動化(イスラエルのIron Dome,都市の...
- 複雑な兵器システム
-- 大量ドローンの操縦,人間には無理,見方の反乱への対処
- AIの兵器利用の課題
-- 安全性:信頼性,変化への対応
-- 政治目的を達成するための戦争で,結果の不確実性はその目...
- 民生技術は拡散すると,軍事にも利用される.中国の軍民融...
** LAWSと国連の動向などについて [#u7c865b7]
外務省軍縮不拡散・科学部通常兵器室上席専門官,南健太郎氏
- LAWS(自律型致死兵器)
-- Human Rights Watch (HRW) の報告書に2012年に登場
- CCW(特定兵器使用禁止条約):LAWS の外交官による国際的...
-- 1978年に発行,地雷・ブービートラップ,焼夷兵器などのた...
-- 人権と安全保障の両方にまたがる枠組み
- 論点
-- LAWSは国際人道法を遵守できないのではないか? ← 実在し...
-- 定義についても合意がとれないので,後回しにしている
-- 自動(閉じられた範囲で動作)と自律(オープン環境で動作)
* 6月6日 (水) 2日目 [#g77da108]
* [2P3] 機械学習-分類問題 [#j43f104c]
- [2P3-03] 公平ロジスティック回帰での確定的決定則の影響
〇神嶌 敏弘1、赤穂 昭太郎1、麻生 英樹1、佐久間 淳2,3 (1. ...
質問
- 決定則の影響で独立性が達成できなくなる理由の確認
-- 決定則の影響で分布が変わるから
* [2N4-01] KS-8 「AI人材」にいま求められていることと教育...
- http://www.jdla.org/news/detail/20180406001/
* 6月6日 (木) 3日目 [#zbf1e4f6]
* [3A0-01] 「人工知能は未来の経済をどう変えるか?」 [#x6c...
井上 智洋1 (1. 駒澤大学経済学部 准教授)
- 人工知能の副作用について論じることは,人工知能の促進を...
- 汎用AIと特化型AIを区別して考える必要
- 日本のWBAイニシアチブの主張 http://wba-initiative.org ...
- 全脳の実現:全脳アーキテクチャ(機能部品を統合して人間...
- 雇用を奪わない程度の技術は革新的はいえない
- 雇用がなくなっても生活できるのは,理想的な生活ともいえ...
- 技術的失業:技術の進展によって職業がなくなることを表す...
-- ミクロ的に補完的であっても,マクロ的には代替的であるこ...
- 労働塊の誤謬:技術が進展しても失業率は下がらない.技術...
- 貧困をもたらす可能性:事務労働の大部分が低所得の肉体労...
-- グレート・デカップリング:中間層が減少している,さらに...
-- 中間層をいかにAIを利用できる頭脳労働に移行できるか
-- 職業が簡単に消えるとは考えていない:技術的に代替可能で...
- 技術的失業のレベル:職業の消滅,業種の雇用の減少,国レ...
- 実空間⇔情報空間,定型⇔不定型 の2軸で考える
-- 代替が容易な順番:実空間+定型→産業用ロボット,実空間+...
-- 人手が足りないと言われているのは実空間 → 知的処理とロ...
- 残る仕事の特徴 CMH:クリエイティビティ,マネージメント...
-- 人間の感性による仕事は残るだろう(エンターティメント性...
- 一般の所得は中間層が多いが,クリエイティブな職業は少数...
- ベーシックインカム:講演者の試算では現状でも7万は支給で...
-- 人工知能は,ベーシックインカムの導入によって,ユートピ...
- 機械化経済(講演者の定義)生産者が機械に投資されて生産...
-- この枠組みを早く作れるかどうかが重要な分岐点 → 最初に...
* [3H1-OS-25a] 人工知能と倫理(1) [#f2c65744]
** [3H1-OS-25a-01] 日米欧の地域特性に着目したAI倫理ガイド...
〇上村 恵子1、小里 明男1、志賀 孝広1、早川 敬一郎1 (1. (...
- 欧州:人の権利や責任
- 米国:AIの便益最大化,セーフガード
- 日本:普及促進,倫理基準による不安解消
** [3H1-OS-25a-02] 倫理的行動を促進するAIを社会で活用する...
〇福原 慶子1 (1. 名古屋大学)
- スピードバンプ:人間に倫理行動をおこさせる技術的手段の例
- 人間の価値観に偏りがあり,そのデータから学習するとAIも...
** [3H1-OS-25a-03] AI は AI 技術者を倫理的な設計に巻き込...
〇関口 海良1、堀 浩一1,2 (1. 東京大学大学院工学系研究科、...
- 推薦機能を備えた倫理項目の閲覧ソフト
** [3H1-OS-25a-04] AIを活用したサービスにおけるELSI的観点...
〇福住 伸一1、神野 真理子1、稲垣 香澄1、安 浩子1、広明 敏...
- ヘルスケア分野を対象に,診断を受けさせるためのインセン...
** [3H1-OS-25a-05] IEEE「倫理的に調和した設計」を用いた議...
〇江間 有沙1、長倉 克枝2、工藤 郁子3 (1. 東京大学、2. 科...
- コリングリッジのジレンマ:技術は普及するまで十分に予測...
- 議論のアジェンダはだれが決めるは難しい
* [3N2-01] KS-4 インセンティブ設計科学 [#i2f18f6d]
** オーガナイザ挨拶 [#o5b9fb44]
東藤大樹
- AIでのインセンティブ設計:個人情報提供など
- インセンティブを扱う学問:ゲーム理論,実験経済学(被験...
** マッチング・マーケットデザイン [#d8c42527]
安田洋祐(大阪大学)
マーケットデザイン
- Avin E. Roth と Lloyd S. Shapley が提唱
- ゲーム理論で得られた知見をいかして,現実の市場や制度を...
-- 実験・シミュレーションでの検証,実際への実装(オークシ...
安定マッチング
- グループ間で人の対応付ける,ここでは two-side マッチン...
- 安定なマッチング:どんな個人が逸脱しても,状況は改善し...
- 自分がマッチングされる可能性のある相手のうち,最も良い...
- Gale-Shapleyアルゴリズム
-- 男性が自身の好みの順位を提出
-- 自身の最上位の女性を選択,女性側は自分の好みに一番近い...
-- リジェクトされた男性は,リストの次の女性を選択
-- これを反復
-- 問題点:男性側には嘘をつくインセンティブがないが,女性...
-- 拡張:同順位を許す,受け入れ拒否を許す,一対多への拡張
** 行動メカニズム・デザイン [#kf92d568]
川越敏司(はこだて未来大学)
メカニズム・デザイン,マーケット・デザイン,遂行理論
- アダム・スミス:自由市場は,私利に基づいても,ルールを...
- フリードリヒ・ハイエク:生産配分をする計算が不可能だ,...
- レオン・ハーヴィッツ:インセンティブ設計の提案と,不可...
インセンティブ設計
- 嘘をつく戦略的な行動が,結果的に不利になるような制度設計
- VCGメカニズム:成功例
- 行動メカニズム・デザイン:実験室内での被験者実験や,コ...
** ビットコイン・暗号通貨・ブロックチェーン技術とインセン...
田中圭介(東京工業大学)
- ビットコイン:Satoshi Nakmoto (2008)
-- 信頼できる第三者なしに実現可能な暗号通貨,非中央集権的
-- 基礎となる技術はブロックチェーン(分散型台帳)
- ブロックチェーン
-- 参加者がある種の計算 (Proof-of-Work) を行い続けること...
--- 同じ台帳を全員で計算し続けるイメージ
- チェーンを1ブロック伸ばす手続き
-- 手に入れたトランザクションを組み込んでブロックの中身を...
-- Proof-of-Work(マイニング)に成功すると,台帳に組み込...
-- 十分に広い
- Proof-of-Work
-- 前のブロックと追加ブロックにある数(ナンス)にハッシュ...
-- 世界中で10分に一度ぐらいしか成功しない
-- Proof-of-Work を推進するために暗号通貨で支払いをしてイ...
- インセンティブ設計の問題
-- 現状は報酬は徐々に低下するようになっている.もし,減少...
-- 法定通貨とのペッグ制
-- Proof of Work 以外によるブロックの更新,Proof of Stake...
* 6月7日 (金) 4日目 [#j76db0ea]
* [4N1-01] KS-1 機械学習工学とは − 機械学習システムを創り...
- https://sites.google.com/view/sig-mlse/%E6%B4%BB%E5%8B%...
- 機械学習工学:機械学習を用いた製品をどう作っていくかを...
**「ソフトウェア工学は機械学習の夢を見るか 〜 ソフトウェ...
榊原彰(日本マイクロソフト)
- ソフトウェア工学:どう作るか,リスクをどうヘッジするか
-- プログラム・モデリング:オブジェクト指向とか
-- アーキテクチャ:単体のコンピュータではなく,サーバやセ...
-- 部品化・再利用:何度も現れては消えている
-- 要求獲得・定義:要求工学,そもそもしたいことを引き出す
-- 定量化・測定・評価・見積もり技術:工数などの評価
-- プロセス:アジャイルやウォーターフォール,デプロイはど...
-- プロジェクトマネジメント:需要はあるが発表は少ない
- 分析・設計手法の隆盛
-- 分析手法:機能中心(職人芸)→構造化(+データ中心)→オ...
-- プラットフォーム:メインフレーム→ クライアントサーバ→W...
- Webの進化はモバイルデバイスの進化により再加速 http://ev...
-- Javascriptのパフォーマンスは1990年代の100倍
- 開発規模と負荷:MSの調査結果
-- 規模の拡大とともに負荷は向上.規模拡大とともに,最低限...
-- ただ能力のある個人は大規模でもキーになる部分に配置する...
- 開発における手戻りコスト
-- 中間のプログラミング段階が一番おおきい
-- 上流工程でできればコストは小さい → 過度なモデル変換依...
--- 独立性のあるモデルのは至難の業,制約や挙動を記述する...
- アーキテクチャの記述:viewpoint が重要
-- 抽象→具体への変換,関心事の分離
- 要求工学:機能要求,非機能要求,将来要求
-- 外部環境:システムやビジネス環境なども考慮しつつ,ソフ...
-- メンテナンス性と実行速度など要求項目(NFR)にはトレー...
- IT開発ライフサイクル
-- Vモデル:上流から下流へ作成し,下流から上流に向けてテ...
- 構築手法の選択はリスクヘッジ
-- アプリケーション開発プロジェクトの成功率は28%
-- リスクヘッジ法:プロトタイプ,モデル駆動(自動車などで...
- 構築手法:ウォーターフォールとアジャイル → 場合によって...
- システム開発への要求の変遷
-- QCD(品質,コスト,締切)
-- agility 素早い対応
-- dynamics 実時間対応
- 定量化・測定・評価・見積もり技術
-- アジャイルでは計測はあきらめて,特定のfeatureを期間内...
- 機械学習を使ったコンポーネントをどう組み込むか
-- システム全体については既存の方法どおり
-- データ設計については,今までより重要に
-- 機械学習が適用されるコンポーネントに関するテストプロセ...
-- 要求仕様の獲得をどうする
- 機械学習を使った場合の結果の修正:性別に基づくバイアス...
-- トライアル・アンド・エラーが必要
** ソフトウェア工学屋さんの立場から [#ne64d396]
石川 冬樹 NII
- AIの品質検証の話はソフトウエア工学でも増えている
- 機械学習を用いた場合,変更の影響はどれくらい出るかの質...
- ソフトウエア工学:複数人で作る,タスクとは要件を満たす...
- 機械学習工学の必要性:機械学習はソフトウェアの振る舞い...
-- テストは,入力と出力を検証するという手段が利用できない
-- 同値クラスの扱い:同じデータとみなしてよい範囲
-- カバレッジ:簡単に100%にできるが,それが達成できても意...
- 機械学習の工学的扱いについてはほとんど研究がない.ICML2...
** データサイエンス系の立場 [#r1613994]
山田 IBM
- データ活用についてコンサルティングの経験
- データとアルゴリズムはn対mの問題 → データもアルゴリズム...
- 野良AI:メンテされていないAIソフト,互いに一貫性のない...
** 機械学習系 [#sfb06b27]
丸山 PFN
- 見積もりは機械学習ではやってみないとどうしてもできない
- 機械学習の本質的限界:確率的にしか保証できない
- あってはならない解をどう排除するのか? → ポリシーモジュ...
- Alpha GO:ツリーの探索で非合法手は探索しないので,ルー...
** 機械学習系 [#zad8854b]
太田 ブレインパット
- データの管理をどうすべきか
- アクセスが0になっている → 障害だった → このデータを学習...
-- 有名人によるツイートの効果などは含めていいのか?異常検...
** パネル [#vaf64818]
- 性能評価の基準をはっきりさせてから,それを達成するよう...
- 統計の IID 仮定は難しい
- モデルの適用をシステム化する
- 壁:データがない,精度が上がらない,ROIが予測できない,...
- 学習モデルを更新する部分と,しない部分を事前に分ける
* [4I2-01] 「ヒューマンコンピュテーションとクラウドソーシ...
馬場 雪乃1 (1. 京都大学大学院 情報学研究科)
- スライド: http://yukinobaba.jp/JSAI-2018-human-computa...
- ヒューマン・コンピュテーション:人間と人工知能を組み合...
-- reCAPCHA:OCRで複数システムで結果が一致しないときに,...
-- 視覚障害者援助:モバイルカメラで撮った画像を使った質問...
-- FoldIt:タンパク質の構造予測,エネルギーポテンシャルの...
- クラウドソーシング:多数の人間に依頼する仕組み,インタ...
-- タスクテンプレート:タスクをしてもらう画面の設計 → タ...
-- タスク一覧に掲載 → 作業者が作業開始
-- 作業完了 → 依頼者は,作業結果を確認し,承認・非承認を...
- 人間からどうやって正しい答えを引き出すか? 必ず誤りは生...
-- reCAPCHAでの例:正解かどうかを,人間・ボットの判断の認...
- 集団を使った問題解決:AI主役(並列問い合わせ,直列問い...
- AIが中心になる問題で,人間に並列に問い合わせる場合
-- 複数人に問い合わせて,回答を統合することで,高精度な回...
-- 各作業者を特徴,タスクを事例として正解を予測する問題と...
-- David & Skene:回答者の能力を潜在変数として扱い,EMア...
-- Whitehill+:回答者の能力に加えて,問題の難易度も考慮
-- 回答の他に,回答への確信度も尋ねる.確信度の確信度を予...
-- 一対比較の回答から,全順序を求める
-- 選択ではない場合:CRPを使う方法
- AIが中心になる問題で,人間に直列に問い合わせる場合
-- 前の人の結果を使って問題を解かせることができる
-- Soylent:校正をする,問題の場所の検出,問題の修正,修...
-- 最初は自力で答えてもらってから,他人と意見が違ったら他...
-- TurKontrol:修正の必要性をPOMDPによって判定させる
-- 評価者の能力を考慮にいれて,成果物の品質を予測する
-- 成果物評価の一対比較
- 人間が中心になる問題で,専門家を見つける
-- 専門性がないと解けない,正解が既知の問題を解かせる
-- 個人属性情報を利用
-- 専門家だけが使う検索クエリを手がかりにして,専門家を探...
-- テストが用意できないとき,専門家しか分からない問題では...
-- DARPA Network Challenge:他人からの推薦に基づく,問題...
-- タスクを解決できそうな人に順次依頼する.過去の履歴に基...
- 人間が中心になる問題で,協調支援
-- 言語による協調ではスケールしないので,他の方法を探る
-- Turkomatic:ある集団が,問題を細かく分割し,十分に単純...
-- 回答者をランダムに動かしつつ,各回答ごとに逐次的に解を...
-- 集団かあらアイデアを集めて,報奨金を出す
-- 遺伝的アルゴリズムの選択を,人間の投票で決める
-- アイデアを見せ合うことで発想を喚起・可視化.一対比較で...
ページ名: