イベント / EVENT

NIIオープンハウス 2019

プログラム

Day1 5月31日（金）

11:00〜12:00 特別講演会
「膨大な量のリレーション結合を計算する - Computing an Enormous Join of Relations」
ジェフリー・D・ウルマン[スタンフォード大学名誉教授]
映像資料
 概要
Facebook の20億人のユーザーそれぞれについて、彼らの「友達の友達の友達」は何人になるかを求める問題について考えてみましょう。この問題に興味を持った1つの理由は、「インフルエンサー（世間に与える影響力が大きい人）」を見つけるためです。この問題を解決するには、最初に、データベースリレーションで結合 (join) する方法とそれを並列して効率的に実行する方法を学習する必要があります。そこで、並列結合を実装するための方法としてMap Reduceについて説明し、さらに、Map Reduceを使用して単一のステップで3つのリレーションを結合する方法について説明します。ただし、私たちの問題はまだ解決されたわけではありません。 AがBの「友達の友達の友達」の場合、通常、AからBへの多くの異なる経路に沿って、2人の友人のペアが多数存在します。Aに対してBを何度もカウントしてしまうのを避けるために、実際には大きすぎて格納できないような、いくつかの非常に大きなセットの和 (union) を取る必要があります。そのために、「Flajolet-Martinアルゴリズム」という驚くようなトリックを使用して、それらのセットを計算すらせず、大きなセットの和を推定します。これらの考えを総合すると、今日の大規模なコンピュータ設備にとってさえも当初は大きすぎると思われていた問題に対する解決策が得られます。
Let's think about the problem of finding, for each of the 2 billion Facebook users, how many friends of friends of friends they have. One reason we might want to do this is to find "influencers" -- those whose opinions often get shared to a lot of people. To solve this problem, we shall first learn how to take the join of database relations, and how to do so efficiently, in parallel. We'll talk about MapReduce as a way to implement parallel joins, and how to use MapReduce to take the join of three relations in a single step. But our problem is still not solved. If A is a friend of a friend of a friend of B, there are usually many pairs of two friends along the many different paths from A to B. To avoid counting B many times for A, we need to take unions of some very large sets -- sets that are actually too large to store. We are therefore led to use a surprising trick, the "Flajolet-Martin algorithm," to estimate the sizes of unions of big sets without ever computing those sets. When we put all these ideas together, we get a solution to a problem that initially appeared too large for even today's massive computing facilities.
13:00〜13:30 開会式　所長挨拶・活動報告
13:30〜14:15 基調講演 1
「Why Do Tank」
櫻田謙悟 [SOMPOホールディングスグループCEO／代表取締役社長／社長執行役員、経済同友会代表幹事]
映像
 概要
これまでのSOMPOグループにおけるデジタル（トランスフォーメーション）戦略、そして経済同友会の今後についてお話しします。
16:10〜16:50 基調講演 2
「AIの法律分野への応用：現状と将来の課題」
佐藤健 [国立情報学研究所情報学プリンシプル研究系教授]
映像
 概要
AIがさまざまな分野で応用され始めています。法律分野においても様々な試みがなされています。本講演では、AIの法律分野への応用の国内外の現状、問題点および、将来へ向けての課題についてお話します。
14:30〜16:00 産官学連携セミナー
「形式手法・ソフトウェア工学の先端とさらに先：効率的テスト手法と機械学習・人工知能協働」
越前功 [国立情報学研究所副所長／情報社会相関研究系教授]
蓮尾一郎 [国立情報学研究所アーキテクチャ科学研究系准教授]　
資料「ERATO MMSD プロジェクト紹介：高信頼物理情報システムのための包括的研究」
石川冬樹 [国立情報学研究所アーキテクチャ科学研究系准教授]
資料「AI時代のテスト技術」
末永幸平 [京都大学大学院情報学研究科准教授／NII客員准教授]
資料「軽量なプログラム検証のための要素技術」
概要
国立情報学研究所システム設計数理国際研究センターでは、Society 5.0 の大きな柱となる物理情報システム（自動車、ロボット、生産システムなど）の品質保証手法のための取り組みを行っています。私達の取り組みにおいては特に、自動検証・テスト技術を（トイモデルを超えた）大規模・複雑な産業界の実システムへ応用することを目指しています。この目的のために私達は、従来からの物理情報システム研究の一大テーマである「ソフトウェア科学と制御理論の融合」からさらに飛躍し、以下の3点に重点的に取り組んでいます。
1. ソフトウェア工学分野の経験論的手法との融合
2. 機械学習・人工知能分野の統計的手法との融合
3. 上記の学術分野を包括する数学的基盤の発展
本セッションでは、私達の上記の取り組みをご紹介します。特に、形式検証や効率的テスト手法、実行時モニタリング、機械学習を用いた自動検査などの要素技術と、その応用シナリオについてお話しします。上記の研究活動は、国立研究開発法人科学技術振興機構の戦略的創造研究推進事業ERATOのプロジェクトの一つである「ERATO 蓮尾メタ数理システムデザインプロジェクト（ERATO MMSD）」の活動として推進しています。

Day2 6月1日（土）

13:00〜14:20 NII研究100連発
MC：武田英明 [国立情報学研究所情報学プリンシプル研究系教授]
MC：大向一輝 [国立情報学研究所コンテンツ科学研究系准教授]
MC：池澤あやか
- 「膨大なデータから見たいモノをあぶりだす～アルゴリズムと職人技、そして新しい技術へ」
  岩﨑幸子 [NII 情報学プリンシプル研究系特任技術専門員]
  映像
- 「安心・安全なソフトウェアをめざして～プログラミング言語の科学」
  関山太朗 [NII アーキテクチャ科学研究系助教]
  映像
- 「空気を読んで人と協調作業するロボット～ロボットから人間の知能の謎を解き明かす」
  村田真悟 [NII 情報学プリンシプル研究系助教]
  映像
- 「ネットワークの存在を感じさせない通信～より快適な情報伝達をめざして」
  計宇生 [NII アーキテクチャ科学研究系教授]
  映像
- 「必要な情報を引き出すためには？～広大な情報空間の多種多様なデータベースをつなぐ研究」
  加藤弘之 [NII アーキテクチャ科学研究系助教]
  映像
- 「すべてを見ずに問題を解く～あえて正しく計算しない1000倍速いアルゴリズム」
  吉田悠一准教授 [NII 情報学プリンシプル研究系准教授]
  映像
- 「テクノロジーと社会の対話をめざして～社会の安全を支えるソフトウェア工学」
  中島震 [NII 情報社会相関研究系教授]
  映像
- 「オープンサイエンス基盤で知識循環を加速する〜誰もが自由に研究データを利用できる社会の創出〜」
  込山悠介 [NII コンテンツ科学研究系助教]
  映像
- 「高度な情報基盤の実現～雲の上のコンピュータを誰でも使えるサービスに」
  合田憲人 [NII アーキテクチャ科学研究系教授]
  映像
- 「人がモノを認識する仕組みを数理で探る～物体切出しから画像生成まで」
  杉本晃宏 [NII コンテンツ科学研究系教授]
  映像
   概要
  NIIで活躍する研究者10名が、1人10件、合計100件の研究を発表します。情報学の幅広い分野を俯瞰し、情報学の未来をともに考える75分の白熱プレゼンをお届けします。NII研究100 連発は今年で500連発目。終幕を迎えます！
16:00〜17:00/17:10〜18:00 大学院説明会
概要
総合研究大学院大学情報学専攻に関する出願方法、在学生からの学生生活紹介、所内見学、個別相談会を開催します。
11:00〜17:00 NII Computer Science Park
「コンピュータサイエンスパーク」
映像リーフレットこどもまっぷ
 概要
初めてでも、誰でも。
「コンピュータサイエンス」「プログラミング」「ジョウホウガク」。
子どもから大人まで、楽しみながら学ぶ、あそび場。
国立情報学研究所オープンハウス「コンピュータサイエンスパーク」は、コンピュータを使わないで、プログラミング的思考について学ぶあそび場です。子どもから大人まで、だれもが初めてでも楽しみながら学べるコーナーがたくさん。プログラミングというと、コンピュータで難しそうな文字を書いて、なにかを動かすというイメージですが、このパークでは問題を解決するための取り組み方や考え方を学びます。お話を創作したり、数について学んだり。それぞれのコーナーには年齢制限はありませんので子どもから大人まで自由に参加することができます。親子連れやお友だち同士でのご参加をおまちしています。どこからスタートすればよいか迷ったときは、会場でもらえるマップをみて順番に遊んでみましょう！