イベント / EVENT

SNSの解析やタンパク質の構造解析など、現代社会の様々な問題は、組み合わせ最適化問題とよばれています。スーパーコンピュータ を用いても厳密解を高速に解くことが難しい問題で、これらを効率よく解く新しい計算手法の開発が急務です。私たちは、独自に開発を行 うレーザー・光パラメトリック発振器を用いたコヒーレント・イジングマシンで、これらの問題を解決することを目指しています。

スケーラブルな量子コンピュータを作るには何が必要でしょうか。情報を処理するゲート、情報を蓄えておくメモリーなど情報処理に不可欠 な処理、動作が量子的にできることが必要と想像できます。しかも、大規模な量子コンピュータともなれば、それぞれの要素技術が高精度 で高信頼性をもって動作することが必要なのではないかと考えるのが自然です。実際、量子コンピュータは量子情報技術の中でも最も難 しい技術と考えられてきました。ところが、最近の私達の研究から、あまり精度の良くない素子でも量子コンピュータとして十分機能するな ど、量子コンピュータの意

Different XML formats are widely used for data exchange and processing, and it is often necessary to do two-way conversions to synchronize pairs of formats. Instead of writing separate programs for the two directions and ensuring that they do synchronization correctly, "bidirectional" languages and systems have been developed for writing one program to simultaneously describe both directions and guarantee their correctness. We present BiFluX, a bidirectional language for programming XML format synchronization. Unlike previous systems, which can make decisions not desired by the programmer, BiFluX is designed such that the programmer can fully express their intention.

Bidirectional transformations allow Alice to share data with Bob, allowing Bob to modify it. However, when sharing sensitive data such as health records or personal messages, Alice wants to determine exactly which data Bob can access, using rules. These rules are likely to change over time, and Alice will have a different set of rules for each person she wants to share data with. Our research allows her to easily express and modify those rules, so she can benefit from sharing her data, whilst protecting her privacy.

A graph consists of a set of nodes and a set of edges between these nodes. Graphs are ubiquitous in many different domains such as computer science, bioinformatics and physics. For example, by representing social networks (Twitter, Facebook) as graphs, we can detect communities and suggest friendships amongs people. The escalating size of graph in those domains leads to a critical need for scalable systems that can process a large amount of data in an effcient way. Our work aims to provide a high-level framework to help users who has no knowledge of large systems write efficient and reliable programs to process big graphs.

日常生活にソフトウェアシステムが溶け込んできた昨今、ソフトウェアシステムが稼働する環境は固定的ではなく、実行中に変化するのが 当たり前となってきました。本発表では、実行時にソフトウェア自身が実行環境の変化を検知し、要求を満たし続けるよう適切に自身を再 構成する「自己適応ソフトウェア」のつくりかた（分析・設計）に関する研究を紹介します。

ソフトウェア中心システムがもたらすリスク低減の重要性が認識されると共に、ソフトウェア技術者の必須素養として、形式手法の役割 が高まってきました。プログラム構築・検査の基礎として、数理論理の方法をどのように活用するかが鍵です。本発表では、最近の研究 を紹介します。

皆さんは自分のやる気をコントロールできていますか？テレビやコンビニ、インターネット。欲しいものがすぐ手に入ります。身近なものが 私たちを誘惑して、集中力が切れたり、諦めたりしがちです。私たちは人のやる気を引き出すためのソフトウェアを開発しています。やる 気は勉強や健康づくりを始め、ほぼ全ての活動に必要な気持ちです。私たちと一緒に、どうすれば自分のやる気を引き出せるか考えま しょう。

データの相互運用を促進する一つの方法であるデータ統合は、データ構造の違いを変換で記述します。大規模なデータの相互運用にお いて、この変換が多段となり効率が悪くなります。XMLはデータの交換フォーマットの国際標準であり、XQueryはXMLデータの変換を記 述する言語です。これまで未解決であった、XQueryで記述された多段の変換を単純化することで、効率的なデータの相互運用が可能と なります。

モデル駆動開発におけるモデル変換は開発過程をより形式的に扱うために重要です。小さな変換の合成により大きな変換を記述し、 変換前後のモデルに対する修正を、双方向（前から後へ、後から前へ）に一貫性をもって反映させることで、発展する開発過程を堅固 にすることができます。本展示では、モデルを双方向変換するシステムにおいて、反映できない修正が与えられた場合その理由をきちん と説明できる機構について解説します。

ディジタル回路が微細化されるにつれて、回路素子の性能の「ばらつき」が問題になりつつあります。本発表では、「今日できなかった 分は明日やる」ことで「ばらつき」に対処するディジタル回路の構成方式を紹介します。

ソフトウェアシステムやその部品における信頼性を保証するためには、求められる要件を明確化し、それらが満たされることを確認する 必要があります。本発表では、ますます複雑になる要件の整理と保証のための取り組みを紹介します。法とコンプライアンス、実世界の 機器制御など様々な種類の要件に対し、問題分割、競合の検出、具体例提示などの技術に取り組んでいます。

スパコン、データセンターネットワークでは、どのようにスイッチ間を接続することが良いでしょうか？我々は、ホームページ (http://research.nii.ac.jp/graphgolf)上にオープン問題(グラフゴルフ)として公開し、最適なグラフを競うコンテストを国際会議 CANDAR2015において実施しています。これらは将来のスパコン、データセンターネットワークに多大な貢献が期待されます。デモ展 示では任意のグラフをネットワークトポロジとしてシステム実装する場合に有益となる技術である40Gbps級光無線技術を示します。

正しいプログラムを書くことは簡単ではなく、修正が必要になることがよくあります。本発表では規模の大きいプログラミング言語を対象 として、型エラーのデバッグで実装コストを下げる手法を紹介します。

NII GRACEセンターは、21世紀の「ソフトウェア基盤」を実現するためのソフトウェア工学に関する世界トップレベルの研究センターです。 GRACEセンターでは国内外の研究機関との連携のもと、研究・実践・教育を三位一体で運営し、次代の中核となる世界レベルの研究者お よび技術者を育成することを目指しています。

トップエスイーは、「サイエンスによる知的ものづくり教育」をコンセプトに、高度な開発技術を身につけたソフトウェア技術者の育成を 行う実践的教育プログラムです。大学・企業の専門家による講義を受講して知識を身につけると共に、学んだ技術を実際の問題に適 用する「修了制作」を行います。約280名にのぼる修了生が、さまざまな分野で活躍しています。