Koibuchi本展示では「水没コンピュータ」「ネットワークトポロジ」「間違えるけど高速なネットワーク」という将来データセンター、スーパーコンピュータに必要となるであろう冷却技術と高速低遅延通信に関する研究について説明します。弘之データの相互運用を促進する一つの方法であるデータ統合は、データ構造の違いを変換で記述します。大規模なデータの相互運用において、この変換が多段となり効率が悪くなります。XMLはデータの交換フォーマットの国際標準であり、XQueryはXMLデータの変換を記述する言語です。これまで未解決であったXQueryで記述された多段の変換を単純化することで、効率的なデータの相互運用が可能となります。近年ビッグデータの利活用は進んでいますが、データを集中管理する手法はネットワーク技術の点で厳しい局面を迎えています。行なう新いソフトウェア基盤技術が求められています。その技術をネットワークに拡張し、正しく効率の良い分散管理手法を実現し、ライブラリとして実装します。その実装を現実の問題に適用し解決することで、応用による実証と提案手法の改善を行います。振江データ同期はモバイルデバイスの時代において重要な問題です。双方向プログラミングは、そのデータ同期問題を効果的に解決するための有効な方法として注目されています。我々は、理論と実践の両方を考慮したいくつかの双方向言語を開発し、双方向プログラミングの理論だけでなく、コンパイラのフロントエンドの構築やXML文書同期などの実用的なアプリケーションを開発しています。Array)の利用が広まっていますが、実際に大きな回路を実装しようとするとクロック分配にまつわる様々なタイミング制約問題が生じ、設計を難しくしています。そこで、グローバルクロックを使わない非同期式回路技術を組み合わせることで、大規模FPGAの設計を容易化する研究を進めています。CenterNII内に設立されたGRACEセンターは、21世紀の「ソフトウェア基盤」を実現するためのソフトウェア工学に関する世界トップレベルの研究センターです。三位一体で運営し、次代の中核となる世界レベルの研究者および技術者を育成することを目指しています。大学と産業界の連携により社会人エンジニアを対象に、モデリングとその手法活用を通して複雑な問題を解決する能力を育成するソフトウェア工学教育プログラムです。我々は、街における様々な課題をクラウド技術・モノのネットワーク(IoT)・ビッグデータ技術により解決するため、日欧の産学および様々な都市によるプロジェクトに取り組んでいます。これらのプロジェクトでは、街に含まれるあらゆるモノ・コトをつなぎ、様々な情報を集め、適切な制御や情報発信により街の課題を解決するための基盤を提供するとともに、様々な都市において実証実験を行っています。近年機械学習を用いる人工知能システムの開発が盛んに行われています。機械学習においては、従来のように人が動作規則を定義するのではなく、システムが訓練により動作規則を自動的に得ます。このため「何ができて何ができないか明確にはわからない」不確かさなど、固有の課題があります。これに対し我々は、自動テスト技術や品質保証の議論パターンなどを機械学習システムに適合させる研究開発を行っています。加えて国内の産学により「機械学習工学」とも呼ぶ新しいパラダイムに取り組んでいくためのコミュニティづくりにも取り組んでいます。冬樹研究室ソフトウェアシステムの信頼性を保証するためには、求められる要件を明確化し、それらが満たされることを確認する必要があります。近年複雑化するソフトウェアでは信頼性が重要である一方、検証が難しくもあります。我々は、全体の正しさを保ったまま適切な「ぼかし」方をして要件を解きほぐすことに取り組んでいます。本発表では、リファクタリング、リバースエンジニアリング、近似など様々なアプローチからのぼかし方に関する追求について説明します。インテリジェンス協働形式手法グループソフトウェアシステムはますます複雑になっており、その正しさや適切さを実現・確認することが難しくなってきています。我々は、ソフトウェア工学の様々な問題を、探索・学習を用いて解くアプローチに取り組んでいます。賢くポイントを絞り込んだり傾向を学習したりすることにより、効果的・効率的なテスト自動生成やソフトウェアの自動修正を実現します。電子デバイスの低価格化およびネットワークの高速化により、様々なIoTセンサーから収集される非構造化データが急速に増加しています。Computing:MEC)が注目されつつあります。ようなアプリケーションを中心に、追跡システムの使用状況と用途、また追跡対象の位置情報の変化に応じて、写真・映像コンテンツの最構成に特化した自己適応型ミドルウェアを研究・開発し、通信遅延時間や通信コストを大幅にを削減することを目指しています。蓮尾メタ数理システムデザインプロジェクトシステム設計数理国際研究センターソフトウェアや集積回路を作るにあたって、満たすべき性質を数学的主張として書き下したり、できたソフトウェアや集積回路がその性質を満たすことを数学的証明によって確かめたりするための手法が「形式手法」です。ここでは証明を扱うための数学、すなわち論理学が大きな役割を果たします。私達のプロジェクトではさらに、形式手法を抽象数学(特に代数学)によって一般化し、応用範囲を自動車などの物理情報システムに拡大することを目指します。文字列探索におけるFranek-Jennings-Symth法に基づいた、時間パターンマッチングのオンラインアルゴリズムを提案します。'17]と比べて効果的であることが実験的に判明しました。最適化による反例生成は確率的な最適化のアルゴリズムを使って、エラーのインプットを探し出すことです。本発表ではタイムステージングという簡単なアイディアを利用して、時間依存するシグナルを最適化の工具で分析する可能になります。タイムステージングは、複数の回に反例生成の工具を利用して、益々にインプットシグナルを構造するということです。実験により、本アイデアが現実的な事例において大幅にパフォーマンスを向上させたことを示します。簡単に便利に使えるクラウドサービスの裏側は、ハードウェア、ソフトウェア、ネットワークが絡み合う複雑なシステムであり、サービス提供期間中に度々構成が変わります。サービスを維持するためには、システムの変化する構成を見える化するとともに、監視により収集されたデータと対応付け、システムが正常にサービス提供を行えているか把握していなければなりません。所内研究クラウドの運用において、どのようにシステムを把握しているか紹介します。作業をコード化し作業証跡が自動的に記録される「実行できる手順書」を使って、「LC4RI」と名付けた運用実践に取り組んでいます。「実行できる手順書」の再利用で作業の再現性が担保され、「実行できる手順書」を媒介して技能移転が行えます。実践により得られた知見を活用し、「実行できる教科書」による講義演習環境の実現にも取り組んでいます。「学認クラウドオンデマンド構築サービス」を利用し、テンプレートを用いてゲノム解析等の分散アプリケーション環境の構築ができるようになります。notebook等により実現されています。アプリケーションの実行状況に合わせて、複数のクラウド環境上からサーバーを追加して実行環境を再構成する技術の確立を目指します。健一(ビッグデータ数理国際研究センター)開店したばかりのレストラン。評判を広げるには、誰をお店に招待したらよいでしょうか?人のつながりを利用した口コミマーケティングは、ネット社会の現代には欠かせない手法です。私たちは、口コミ効果を最大化するアルゴリズムの研究に取り組んでいます。Infomaniaの展示をいたします。ゲームを遊んで、口コミ効果最大化の奥深さを体験してください。研究を中心に、量子コンピュータに関する研究と、新学術領域研究(文科省)「ハイブリッド量子科学」の研究成果を紹介します。量子コンピュータは最近大きな注目を集めていますが、実際研究はどこまで進んだのでしょうか。センターでの研究成果を交え、量子コンピュータ研究の現状と展望について紹介します。新学術領域研究(文科省)「ハイブリッド量子科学」では、量子コンピュータだけでない、様々な量子技術とそこに出現しつつある新しいハイブリッド量子科学を研究しています。佑治コンピュータで膨大な規模の計算を行えますが、背景には数値計算の理論とアルゴリズムがあります。これらがどう作られているかを説明します。機械学習のしくみを紹介します。コンピュータ上で情報を効率的に取り扱う方法と、統計学を用いながら重要な知識を選び出す方法を、最新の研究内容を交えながら紹介します。(SAT)に代表される記号的推論アプローチと、深層学習に代表されるニューラルネットワークアプローチとは、かつて対極的なフレームワークとみなされてきましたが、今やAI研究の最先端では、両者の相補性が注目されています。当研究室はこうした記号的表現とニューラルネットワーク学習を統合し、未知の世界に対しても健全かつ頑健なレジリエントなAIの実現を目指しています。公共機関や研究機関の情報を再利用可能な形式で公開するオープンデータ・オープンサイエンスの取り組みが広まっていますが、高度な利活用を促進するためには情報の構造化や語彙の統一などのセマンティック技術の導入が必要不可欠です。Data(LOD)を用いた専門分野の用語辞書構築や、表形式で記述された情報の自動同定に関する研究を紹介します。この中で人々に注目されるwebコンテンツはほんの一部です。webコンテンツ(webサイト、Tweetなど)が公開後にどれだけ人々の興味を引くかを予測できるようになれば、マーケティングや魅力的なコンテンツ開発を効率的に行うことが可能になります。今回の発表では、webコンテンツへのアクセス数を高い精度で予測する手法について発表します。要件事実論とは、民事裁判における裁判官が不完全情報環境下で以下に合理的な推論を行うかを定式化した理論です。本発表では、この理論を論理プログラミングで実装した研究について紹介します。人工知能が知的な動作を行うためには、さまざまな知識が欠かせません。本発表では、知識を利用した人工知能技術について紹介します。毅明ディープラーニングなどの技術でAIがいろいろなことを認識したり判断したりできるようになりましたが、だからといってなんでこうなるのか、までわかるようになったわけではありません。機械は機械用のやり方、人間には非常に難しい方法でいろんなものごとを判断しています。人間が理解したい、仕組みを知ったり、状況を把握したり、明日のことを考えたり、そういうことに役に立つAIを作るにはどうすればいいんでしょうか。ここでは、データマイニング技術を使い、データのあいまいさをなくして抽象化することで、わかりやすい解を出すようなデータ解析技術を紹介します。忠志ロボットが人間の生活空間で活躍するには人間が今何をしているのかを知る能力が必要です。これまでの動作を認識する手法では、似ているけど意味が異なる動作を見分けることが難しく、人ではあり得ないような誤認識を引き起こすことがしばしばあります。そこでこの研究では、その人がこれまでどんな事をしていてそれらの動作にはどのような意味があるだろうかという文脈の情報を用いて、その誤認識を防ぐことを目指しています。Research)では、世界中の約150チームの研究者と一緒に共通のデータセットを用いて研究を進めています。堅牢な知識処理による社会課題解決ロバストインテリジェンスによる社会課題解決事例CRIS:ロバストインテリジェンス・ソーシャルテクノロジー研究センターCRIS(ロバストインテリジェンス・ソーシャルテクノロジー研究センター)は、防災や教育、弱者支援など社会課題を解決する情報技術(IT)の基盤研究開発に取り組むセンターです。CRISが兵庫県の尼崎市と丹波市で進めている、市のホームページなど既存のサービスの情報をベースに、「LINE」上で市民からの子育てや防災などの市政情報に関する問い合わせに対話型で即座に回答するシステムについて紹介します。平成29(2017)年11月に新設された医療ビッグデータ研究センターでは、医療ビッグデータクラウド基盤を構築することと、AIなどの機械学習を利用した画像解析の研究に取り組んでいます。当センターにおける取り組みの現状と、今後の展望について紹介します。成熟し私達を取り巻いています。これに対し「像」ではなく、それを発生させる「光線」そのものの情報を扱い、より高度な視覚環境を構築する先端的な取り組みが広がっています。多数の視点から撮影した映像をもとに光線群全体を再現することで実空間とも整合した高い臨場感を創出したり、レンズによる集光の解析や分解再構成を実現したりといった、様々な実例とその基本技術を紹介します。進展に伴い話者変換システム(ボイスチェンジャー)の性能はますます高まっています。発話内容を保ちながら話者性の変換を適切に行う話者変換システムの作成には、同じ発話内容の変換元の話者と変換対象話者の音声データを用いることが一般的です。本発表では任意の変換元の話者と変換対象話者の音声データを用いて、話者性の関係を自動的に学習する方法を紹介します。この方法を利用することで実現したYouTubeのようなマルチメディアから収集した音声データによる話者変換システムについても紹介します。Wang機械が作成した音声と聞くと、ブザー音のような音声だったりピッチ感のない音声を想像するかもしれませんが、最新技術による合成した音声は、人間が実際に発声した音声と区別がつかないほど、高品質になっています。ここでは、最新技術を用いて合成した音声がどれほど人間と似ているのかを聞くことができます。人間の音声と機械が作成した音声を聞いていただき、人間かどうかを判別する簡単なテストを行っています。実際に区別可能か試してみてください。最新技術により合成された音声は、人間が実際に発声した音声と区別がつかないほど、高品質になっています。これは文章をただ読み上げる場合であり、感情や演技の込もった音声、さらには、聞いている人を楽しませることのできる音声の合成には課題があります。本研究では、人を楽しませる音声の合成に向けて、日本の伝統話芸の1つである落語音声合成を行っています。ここでは、落語音声合成の実現に向けた研究内容の紹介、実際に合成した落語音声を聞くことができます。史紀デジタル画像上ではものの形自体もデジタルで表現されます。本発表では、ノイズがあるデータにデジタル曲線をあてはめる手法について紹介します。LE深層学習を用いると、従来の局所特徴に比べ、画像中の意味やコンテクストを反映する特徴が得られることが知られています。本発表では、深層特徴を時空間的に駆使して、映像中の人目を惹く領域を検出する手法を紹介します。VOこの絵や写真をこんなスタイルで描いたらどうなる?という問題を深層学習を使って解決します。いまり私たちが普段見ている光のスペクトルは、大変たくさんの情報を持っています。いった様々な振る舞いを、スペクトルから調べることができます。本研究では、蛍光成分は環境光の影響を受けないという特徴を利用して、物体形状を考慮して蛍光物質を可視化する手法を開発しています。濡れることによって物体の見えが暗くなる現象と色味がシャープになる現象に注目し、光の伝播(散乱の仕方)を表現する物理モデルの導出に基づき、物体の濡れている度合いと物体色を同時に推定する研究を行っています。本センターでは、テキスト、音声、映像など産業界の持つ大規模データを大学等の研究者へと橋渡しをし、またデータや課題を共有する評価ワークショップを行うことでデータの共同利用を推進し、技術の深化とコミュニティの創生や活性化を促進しています。ポスターでは、これらの活動の概観や本センターの「情報学研究データリポジトリ(IDR)」から提供中の各種データセットと、それらを用いた研究成果の一部をご紹介します。Yi深層学習は、異なるデータモダリティ間の統合表現の学習において優れた性能を示してきました。オーディオやビデオなどのデータモダリティには時間的構造が重要であるにもかかわらず、これまでのクロスモーダル相関学習に関する研究ではこの時間的構造はほとんど考慮されていません。そこで我々は、音楽のオーディオとビデオのクロスモーダル検索を目指し、音楽のオーディオ信号とビデオ信号の時間的構造を利用して、その深層シーケンス相関モデルの学習を目指します。本ポスターでは、音楽に関するマルチモーダルデータセットであるYouTube-8Mからオーディオとビデオのペアを含むサブセットを抽出する方法、時系列信号をそれぞれの注意特性を持つチャンクに分け、さらにチャンクごとにその時系列的性質を抽出するための深層注意モデルを学習する方法、および、2つのモダリティの相関性を評価する目的関数としてマルチリニア部分空間学習モデルを使用する方法について説明します。予備実験で得たRecall@Kなどの結果により、我々が提案した深層注意モデルが音楽のオーディオとビデオとの間のクロスモーダル検索に有効であることを示します。日本近代期に発行された書籍の一部はデジタル画像として保存されていますが、可読性が著しく低いものがあります。本研究では、深層学習を用いたフォントスタイル変換手法により可読性を高め、OCR処理においても精度が向上することを確認しました。真一テレビ映像アーカイブや古典籍画像等の画像データベースの検索や、テレビ映像アーカイブからトレンドなどを調査するマイニングのデモを行います。「人文学オープンデータ共同利用センター(CODH)」では、人文学データの他分野への活用、データを活用した新しい人文学研究方法の開拓に取り組んでいます。今回は、古文書に記載された多種多様なデータを多角的な視点で統合解析して新たな知見を創出する「歴史ビッグデータ」、古典籍から抽出した字形データを活用して人工知能(AI)によるくずし字解読に挑むグランドチャレンジ「くずし字チャレンジ!」という二つの取組みを中心に、CODHの活動を紹介します。情報流出や不正アクセスなど、セキュリティは現代社会に多大の影響を及ぼしています。他の種類の製品やインフラと比べ、情報システムのセキュリティを高める技術は、現状では十分と言えません。本研究では、こうした課題を解決するためのソフトウェア工学技術の確立を目指し、適切にセキュリティやプライバシーの考慮したソフトウェアを作る手法を開発しています。諭ネットワーク障害の原因究明を効率的に行うため、運用データを機械的に解析する技術が必要とされています。この研究ではSINETのログデータの因果解析を通してイベント間の関係性を明らかにすることで、障害時のシステムの振る舞いや見落とされていた異常な挙動をオペレータに伝えることを可能としています。健介インターネット上のネットワークスキャンは、脆弱性を持つホストを探すために使われます。この研究では、従来手法とは異なる、名前解決を行うDNS権威サーバを用いたネットワークスキャンの検出方法について詳解します。顔認識や指紋認識を使った生体認証技術が身近になる一方、それら生体情報を遠隔から撮影される可能性も指摘されています。本展示ではユーザーの利便性を維持しつつ遠隔からの生体情報の撮影を防止する技術を紹介します。本研究では、大学等に提供する共有の学習環境において、学習ログの蓄積と解析結果の可視化を実現する包括的なラーニングアナリティクス基盤を構築しました。開発したシステムは、学習管理システム、学習ログの蓄積データベース、学習ログの解析プラットフォーム、解析結果を提示するダッシュボードから構成されます。システムをコンポーネント化することで、サービス運用時の比較的容易なシステムのスケールアウトが実現できます。学習ログの解析プラットフォームを利用したラーニングアナリティクスの成果は、直接ダッシュボードから参照することを可能としました。これにより、定型的な方法が定まっていない学習ログの解析方法の改善にも柔軟に対応できます。構築した基盤は、学習ログ解析のためのDev/Ops環境を提供するものです。他機関での利用を促進することにより、ラーニングアナリティクスに関する研究の発展と同時に、高等教育における先端的なICTの活用にも寄与することが期待されます。訓練データセットに依存する機械学習ソフトウェアの欠陥や不具合は、どのような性質を持つのでしょうか。これまでにソフトウェア工学で得られた知見が、機械学習ソフトウェアの信頼性および安全性の向上に、どのように役立つかを考えます。人々の移動を記録したビッグデータを解析することによって、地域の経済活動を推計することが可能です。我々は地域のコミュニティを検出し、コミュニティ間の協調と排斥の関係を可視化することができます。本研究は、株式市場での信頼性のある情報の影響と仮想貨幣市場でのミスインフォメーションの影響を比較分析しています。仁志ブロックチェーンと呼ばれる分散台帳技術は、2008年にサトシ・ナカモトと名乗る謎の人物がビットコインのために発明した新しいアイデアです。シェアリングエコノミーなど、多彩な分野への応用が検討されています。ブロックチェーン・エコノミーの将来性と課題について、最近の研究をご紹介します。地域の観光政策において根拠情報にもとづく意思決定が求められています。そのような情報源としてのソーシャル・ビッグデータ利活用について、またデジタルマーケティングの視点に立ったデータサイエンスについて紹介します。康裕ビッグデータやオープンデータなど大規模なデータを活用し、社会的に課題の解決をはかる取組に注目が集まっています。大学にはその分析において中核を担うことが期待されています。その一方で、多様なステークホルダー間でデータ連携を行う場合には、共有されるデータから個人を特定できないよう匿名化処理の実施やセキュリティ対策など個人情報保護に配慮することが強く求められます。本研究は、ビッグデータなどデータを取り扱う上で、必要となるコンプライアンス・マネジメントを共通基盤化することにより、大学におけるデータ連携・利活用に関するコンプライアンス・マネジメントの支援を検討します。フレデリックモバイル機器の技術の発展により、アプリケーションは概況報告(ファクトシート)を収集したり、問い合わせサービスも充実しています。農業従事者にとって、彼らの農地で起こることをいつでも知ることは困難です。今回、MyPoCサービスという農業従事者によって収集された監視データを利用した枠組みについてデモを行います。農業従事者(もしくは他の人)が、モバイル機器を経由して監視データを収集します。それらの各監視データは、地質学的に分類化され、関連情報として、気象状況についても確認できます。本研究により、これらの監視データ及び意義ある情報を処理し、農業従事者に有益な情報をフィードバックすることが可能となります。情報技術の躍進により金融市場のデータは過去の価格変動のデータだけでなく、各ディーラーが出した注文情報の集合である板情報のデータも解析が可能となりました。板情報は時間と共にめまぐるしく変化しますが、未来の価格変動などと関連性が高く重要な情報です。本ポスターでは、板情報の動画や解析の結果などを紹介します。広報活動を紹介します。ダグストゥール形式によるアジア初のセミナーとして、平成23年2月より「NII湘南会議」をスタートしました。本セミナーは、世界各国から情報学分野のトップレベル研究者25~35名程度が参加し、合宿形式でトピックに基づいた議論を集中的に行うものであり、参加者から有効な研究議論の場として高く評価されています。本セミナー開始から100回目を迎えたことを記念して、「湘南会議100回記念シンポジウム」を開催し、これまでの成果発表や今後の課題についての議論を通じ、本セミナーの更なる発展を目指します。Casteran教授が来日し、講演を行う予定です。大学・企業等の研究者の皆様のご参加をお待ちしております。国立情報学研究所で博士を取る。これら2つの課程では、情報学の先駆的な国際的研究機関である本研究所の専門性を活かし、21世紀の「知識社会」をリードする優れた人材の育成を目指しています。情報学専攻は、都心に位置した好立地条件にあり、80名以上の学生が在籍しています。在学生の約3割が社会人であり、多くの社会人学生が仕事をしながら研究を行っているほか、世界各国から来日している留学生が多数在籍しており、異文化交流が盛んに行われているのが特色です。本ブースでは、情報学専攻の概要、及び、2018年10月、2019年4月入学を対象とした入試について紹介します。新しいステージに向けた学術情報ネットワーク(SINET5)8Kって何がスゴイ!?SINETって何がスゴイ!?学術基盤推進部SINETの広帯域・低遅延のネットワークに高解像度の映像を流してみるとどうなるのか。その結果は皆さんの目でお確かめください。デザイン計画」をテーマに展開している。設定されたテーマに基づいて市場調査を行い,その解決策としてデザイン提案を行う演習に取り組むアクティブラーニング型授業である。デザイン計画2017」は,2017年4月から7月末までの計15回にわたり授業を行った。24名の履修学生が6チームに分かれ,「遊び・夢・ロマンの心,神保町」の戦略ラインのもと,新しく個別デザインプロジェクトを設定し取り組んだ。プロジェクト4恋の街神保町・プロジェクト5神保町・皇居5kmマラソン・プロジェクト6神保町個人飲食店グルメ・プロジェクトの6プロジェクトである。デザイン計画2017」の実践学習について,アクティブラーニングと地域貢献の視点から,その過程と成果を報告する。デザイン計画」はアイデアの段階であり、実現したものではない。6神保町個人飲食店グルメ・プロジェクトは「神保町グルメかるた」として制作し実現の運びとなった。世界の高校生たちが数理情報科学の問題解決能力を競う「国際情報オリンピック」が今年9月、茨城県つくば市で開かれます。初の日本開催となる大会に、国内からは予選を勝ち抜いた4人の選手が出場します。競技は、与えられた課題を解くアルゴリズムを考案し、プログラムを書いてその効率の良さを競うというもの。本ポスターでは、情報オリンピックについて紹介します。[at]を@に置き換えてご送信ください。