ページの先頭です

ニュース&トピックス

情報数理学専攻 平成31年度情報数理学セミナー

今後の開催予定

第10回

日時: 10月17日(木) 13:00~14:30
会場: 大阪大学 吹田キャンパス 情報科学研究科A棟 A109
内容: 講演会
講演者: 梶野 洸(日本アイ・ビー・エム株式会社 東京基礎研究所)
講演題目: 分子ハイパーグラフ文法とその分子最適化問題への応用
概要: 分子最適化問題とは所望の物性値を持つような分子を発見する問題である。 この問題に取り組むためには主に2つの課題を解決する必要がある。 1つめの課題は、化学的に妥当な分子を制御可能な形で生成することである。 分子の生成にあたっては、例えば原子価などの陽に書ける制約を守る必要がある。 2つめの課題は、物性値の計測やシミュレーションのコストが高いことが多いことである。 そのため、なるべく少ない計測回数でより良い分子を見つける必要がある。 多くの既存研究は、分子生成に特化した変分オートエンコーダ(VAE)とベイズ的最適化の組み合わせにより上記の2つの課題に取り組んでいるが、原子価の制約を100%満 たせない手法が多く、100%満たせるものであってもニューラルネットワークの構造が複雑で訓練が難しい。
本研究では、より簡単な構造のVAEを用いてこの問題を解決することを目指す。 特に制約を守った分子を必ず生成できるグラフ文法(分子ハイパーグラフ文法)を補助的に用いることで、標準的なseq2seq-VAEでこの問題を解決できることを示す。 本研究の主な貢献は、分子ハイパーグラフ文法の提案およびその文法をデータから構築するアルゴリズムの提案である。 実験を通じて(1)計測回数制約の有無にかかわらずVAEベースの手法の中で最も良い性能であること(2)計測回数制約があるもとでは強化学習ベースの手法よりも良い性能であることを実証する。

過去の情報数理学セミナー

第1回

日時: 4月18日(木) 14:40~15:40
会場: 大阪大学 吹田キャンパス 共通講義棟 U2-211
内容: 安全教育講演Ⅰ
司会: 齋藤 真人 助教
概要:

博士前期・後期課程の教育・研究において、またその後の社会活動においても重要な事柄である「安全」について、その概略を講義する。

  1. 14:40~15:10 齋藤 真人 「化学・生物学に関する安全講習」
  2. 15:10~15:40 馬越 貴之 「コンピュータセキュリティ」

第2回

日時: 5月9日(木) 13:00~15:40
会場: 情報科学研究科A棟 A109講義室
内容: 博士論文中間発表会
講演者: 康 子辰(鈴木研) 13:00~13:30
講演題目: Analysis of Dynamical Properties of Reservoir Computing using Coupled Time-delay Elements
概要: The reservoir computing scheme is a machine learning mechanism which links the computational capabilities of dynamical systems to information processing. It has been proven both in experiments and theory that even a single-variable time-delay system can act as a reservoir. Although single-variable time-delay systems can efficiently perform information processing, their computational power is limited by the architecture with simplicity. Networks of coupled time-delay elements can provide some useful insights for enhancing speed, performance and memory capacity of the reservoir computing based on time-delay systems. However, the relationship between the dynamical properties of coupled time-delay elements and its computational power is not clearly understood. In this study, we focus on a reservoir of coupled time-delay elements and analyze the system numerically by studying the dynamical properties such as the Lyapunov exponents. The aim of this research is to investigate the relation between the computing performance and the dynamical properties of the reservoir of coupled time-delay elements.
講演者: Emerico Habacon Aguilar(藤崎研) 13:30〜14:00
講演題目: Agent-Based Models for the Opinion Dynamics of Online Social Networks
概要: Online social networking applications play a significant role on how people form their views about various issues that affect social and political landscapes. This motivates us to understand how opinions and influence spread among users of online social networks. Several models exist for describing the opinion formation process among a group of individuals. In this research, we consider agent-based models for modeling the opinion dynamics of online social networks.
These models have mathematical properties that can help in better understanding how communities reach an agreement or disagreement and how fast opinions converge. However, the behavior of these models varies based on the structure of the networks and the type of interactions they represent. We extend the gossip algorithm used in distributed network systems to incorporate group interactions that can represent the communications that take place in online social networks. Using simulations, we show that while this model achieves consensus, the magnitude of change in opinions varies depending on the size of the group that an agent interacts with. We also present an index for describing different variations of the gossip algorithm based how they reach consensus.
講演者: 下村 優(谷田研) 14:00〜14:30
講演題目: DNAマイクロマシンの実現に向けたDNAゲルの光形成・光分解
概要: マイクロマシンによる物質の移動操作技術の実現は,生命現象の解明や細胞組織の人工的形成につながる.マイクロマシンの動作には光制御が有効であり,非接触で遠隔な操作を可能とする.しかし,光制御のためのマイクロ構造をマシンに搭載する必要があり,可動域が制限され自由度の高い動作が困難であった.本研究では.DNAゲルによって構築される光制御型マイクロマシンによる移動操作技術の確立を目指している.DNAゲルは塩基配列の設計や分子修飾により所望の反応特性を有する.光信号に応じてDNAゲルの形成・分解に基づく粘性・形状変化によりマイクロマシンの柔軟な作が可能となり,物質の運動制御が実現される.本報告では,マイクロマシンの開発動向・技術的限界と本研究の意義を明らかにし,これまでの研究成果を述べる.
講演者: Emsawas Taweesak(沼尾研) 14:40~15:10
講演題目: Transfer Sequence Learning in Music-Emotion Recognition using Wearable physiological sensors
概要: Recent studies in brain-computer interface (BCI) have facilitated and stimulated the development of systems and sensors that recognize and interpret human affects. Wearable physiological sensors have been developed to monitor health activity and also utilize knowledge in many research areas. Meanwhile, emotion recognition based on physiological signals has been a hot topic and leverages techniques from multiple areas, such as signal processing and machine learning. For music-emotion recognition, recording physiological responses help to acquire an actual user's feedback while listening to the music.
Unfortunately, in physiological research, there are a small number of benchmark emotional physiological databases and it consumes a long time to acquire them. Nevertheless, machine learner needs a lot of training data to perform pattern-learning ability. To mitigate this shortcoming, an emerging technique called transfer learning is adopted. The main idea is overcoming the isolated learning paradigm and utilizing the knowledge acquired for one task to solve related ones. A database for emotion analysis using physiological signals (DEAP) dataset, a multimodal dataset for the analysis of human affective states, is used to train a convolutional neural network (CNN) to represent learned features.
For sequence-to-sequence learning, the recognition techniques learn to interpret sequence between music and emotion periodically. The main idea can divide into window recognition and sequence learning. Window recognition can recognize emotion by using a sliding window and then accumulate the result respectively. Considering window learning, the classifier can only learn the information from each window without knowledge in the previous period. Hence, this research presents a new type of sequence learning that recognizes emotional affects and memorizes previous information throughout learning. Long short-term memory (LSTM) network is an efficient sequence learner with the ability to preserve information overtime by memory cells and gate units. Therefore, sequence learning outperforms window recognition in continuous emotion recognition.
This study proposes transfer sequence learning in music-emotion recognition using wearable physiological sensors. The experiment was designed to show the performance of sequence learning and transfer learning and to compare our method with traditional techniques. We investigated emotion based on electroencephalogram (EEG) and also used the DEAP's EEG dataset to train feature extractor by using CNN to avoid data limitation. Besides, LSTM network was used to recognize sequence data and achieve higher accuracy than traditional techniques.
講演者: Bassel Ali Ashour(沼尾研) 15:10~15:40
講演題目: Reinforcement learning based Distance Metric Filtering Approach in Clustering
概要: Conventional feature selection methods may not provide the sufficient means to deal with the diverse growing amount of data nowadays. Evolutionary Distance Metric Learning (EDML) relies on an evolutionary approach in its distance metric learning process; this process in case of diagonal EDML can be viewed as an embedded feature weighting one. However, such process is done simultaneously on all features and does not explicitly select the features. This research introduces a hybrid system called R-EDML, combining the sequential decision making of Reinforcement Learning (RL) with the evolutionary feature prioritizing process of EDML in clustering. The goal is to create a feature selection control strategy that aims to optimize the input space by reducing the number of selected features while maintaining the clustering performance. This can lead to future data collection time and cost reduction. In the proposed method, features represented by the diagonal elements of EDML distance transformation matrices are prioritized by a differential evolution algorithm. Then a selection control strategy using Reinforcement Learning is learned by sequentially inserting and evaluating the prioritized elements. This process is repeated with the aim to optimize the matrices by filtering the elements used in them. The outcome is the selection of the best R-EDML generation matrices with the least number of elements possible. Diagonal matrix R-EDML is compared to normal EDML and to conventional feature selection with EDML in terms of feature selection and accuracy. Results show a decrease in the number of features compared to EDML and to conventional feature selection with EDML, while maintaining a similar or higher accuracy level. Full matrix R-EDML which focuses on diagonal and non diagonal elements is tested and shows good results as well. Finally, R-EDML policy which chooses the features is tested for each EDML generation and tested unified across all generations and both ways show promising results and potential for this research. Future work aims to tackle the dimensionality problem of EDML by using higher dimensional data sets and different RL techniques and approaches to handle them. Furthermore, we aim to increase the accuracy by modifying the EA using RL as well as testing new changes to EDML and use new synthetic data sets along with real data sets in the experiments.

第3回

日時: 5月16日(木) 14:40~15:40
会場: 大阪大学 吹田キャンパス 共同講義棟 U2-211
内容: 安全教育講演Ⅱ
概要:

博士前期・後期課程の教育・研究において、またその後の社会活動においても重要な事柄である「安全」について、その概略を講義する。

  1. 14:40~15:10 小西  毅 「電気、電子機器、電磁波、赤外・紫外光、レーザー光」
  2. 15:10~15:40 木村 吉秀 「各種機械・工具・工作機械、放射線、粒子線」

第4回

日時: 6月20日(木) 14:40~16:10
会場: 大阪大学 吹田キャンパス 情報科学研究科A棟 A109
内容: 講演会
講演者: 中川 正基 特任助教
講演題目: オンオフ間欠性の統計的性質と数理モデル―確率過程からカオス,そして無限峰写像―
概要: オンオフ間欠性とは、静かな状態と激しく変化する状態が不規則に現れる現象のことである。 様々な物理系や実験系で観測されており、その統計的性質を理解するための簡単な数理モデルがいくつか存在している(相乗確率過程や結合カオス系、変調ロジスティック写像など)。 それらの数理モデルの多くには共通した構造があり、共通した統計的性質が成り立つことがわかっている(オンオフ間欠性の「標準統計法則」)。 しかしながら、いくつかの現象では、標準統計法則では捉えられない性質が観測されており、標準を超えた数理モデルの開拓が必要と考えられている。 本講演では、オンオフ間欠性の統計的性質を理解するための様々な数理モデルを紹介し、そこから導かれる統計法則について説明する。 さらに、講演者の研究の中から、標準を超えた統計的性質をもつ"新奇な"数理モデル(無限峰写像によるオンオフ間欠性)を紹介する。

第5回

日時: 6月27日(木) 13:30~15:40
会場: 大阪大学 吹田キャンパス 情報科学研究科A棟 A109
内容: 講演会
講演者: Elisa Capello 博士 (イタリア トリノ工科大学 / CNR-IEIIT) (13:30~14:30)
講演題目: Flight Control System Design and Identification for a Multirorotor UAV
概要: The purpose of this seminar is the introduction of the students to the practical approach for the design of the control laws implemented in the onboard Flight Control System (FCS) of multi-rotor Unmanned Aerial Vehicles (UAVs). In the last decade, different indoor flight navigation systems for small UAVs have been investigated, with a special focus on different configurations and on sensor technologies. The main idea of this research is to propose a distributed Guidance Navigation and Control (GNC) system architecture, in which both a flight controller and a companion computer are considered. A method for the identification of the quadrotor parameters, in terms of provided thrust and torque is also included. The key features of this application are: (i) robustness of the proposed control methods, (ii) data fusion of different sensors and (iii) robust and flexible configuration. Both theoretical and practical parts of FCS are analyzed, focusing on indoor applications. From classical to variable structure controllers are proposed. Simulations and flight tests are performed with some of these controllers.
講演者: Elisabetta Punta 博士 (イタリア CNR-IEIIT) (14:40~15:40)
講演題目: Sliding Mode Control: a Survey of Strategies and Applications
概要: The control of dynamical systems in the presence of uncertainties is a common problem to deal with when considering real plants. Actually, the real plant behaviour is affected by uncertainties the influence of which should be carefully taken into account when considering the system performance. For this reason, the control of uncertain processes has attracted great interest in the research community (Corless and Leitmann 1981, Doyle et al. 1994, Ho and Khalil 1997, Young et al. 1999, Serrani et al. 2001). Among existing methodologies, the sliding mode control (SMC) technique (Slotine and Li 1991, Utkin 1992, 1999) turns out to be characterized by high simplicity and robustness. The main idea at the basis of SMC techniques is that of designing a sliding surface to which the controlled system trajectories must belong. On the sliding manifold the behaviour of the system is the expected one and is insensitive to model uncertainties and disturbances. The real-life implementation of SMC techniques presents a major drawback, due to the finite switching frequency of real control devices. The high-frequency components of the control could excite parasitic resonant modes so that the system trajectories largely differ from the ideal ones. The system and the actuators non-ideal behaviour can produce the so-called chattering phenomenon, which is a high frequency motion that makes the state trajectories rapidly oscillating about the sliding manifold. Chattering and the need for discontinuous control constitute two of the main drawbacks of Variable Structure Systems (VSS) with sliding modes. The most straightforward approach proposed in literature to avoid chattering is to approximate the sign function of the discontinuous control by the saturation function. As a result, the system motion is confined within a boundary layer of the sliding manifold (Slotine and Sastry 1983, Burton and Zinober 1986, Slotine and Li 1991). Nevertheless, if the parasitic dynamics is not well modelled and taken into account, the approximation of the discontinuous control could compromise the disturbance rejection properties of SMC (Young et al. 1999). A different solution is to embed an asymptotic state observer into the controller so that the discontinuous control is confined within a high-frequency loop by-passing the real plant (Young and Kwatny 1982, Utkin 1992). A different approach to avoid chattering is to augment the controlled system dynamics, by adding integrators at the input channel, so as to obtain a higher-order system in which the actual control signal and its derivatives explicitly appear. If the discontinuous signal coincides with the highest derivative of the actual plant control, the latter results continuous with a smoothness degree depending on the considered derivative order. This procedure refers to higher order SM (Emelyanov et al. 1986, Levant 2001), dynamic SM (Sira-Ramirez 1993), and terminal SM (Man Zhihong et al. 1994). The higher order SM research line led to control algorithms belonging to the family of 2-SM controllers, that is algorithms in which the relative degree between the constraint output (zeroing which the system motion meets the desired performance specification) and the discontinuous control is two. When dealing with this kind of controllers for uncertain systems it is necessary to solve differential inequalities of order greater than one. Most of the existing results in nonlinear control theory (including Lyapunov stability theorems) rely on the comparison principle, which in general does not work in the high relative degree case. Special treatments, often non-systematic, are needed. In this seminar various SMC algorithms and strategies will be presented in a unified framework. Finally, some recently presented applications of this class of algorithms will be surveyed.

第6回

日時: 7月4日(木) 14:40~16:10
会場: 大阪大学 産業科学研究所 講堂
内容: 講演会
講演者: 木村 司 助教
講演題目: 心理学における実験研究とその実例
概要: 製品の品質向上やサービスの多様化に伴い、商品そのものの価値(モノ)ではなくそれに付随する体験や感覚の価値(コト)が重要視され始めている。 これらの付加価値はユーザの心理状態と関連しており、多くの分野でこれらのデータの取得や分析が試みられてる。 その中で、心理データをどのように取得すればよいか、また、どのような場面でどのようなデータを取得することが有用であるか、など信頼性の高い心理データを取得する方法論が求められている。 本講演では心理学における心理データ取得のための研究法を概説し、主観、行動、生理に代表される心理データの有用性や適用範囲を説明する。 さらに、これらの方法論に基づき講演者が実施した心理実験について紹介する。

第7回

日時: 7月11日(木) 13:00~14:30
会場: 大阪大学 吹田キャンパス 情報科学研究科A棟 A109
内容: 講演会
講演者: 水谷 康弘 准教授 (工学研究科 機械工学専攻)
講演題目: 弱値が切り開く新たな光計測 ~量子光学からAIまで~
概要: 一見、繋がりがなさそうに見える量子光学と情報工学は、近年のデバイスの進展と解析技術の発達により弱い相互作用を計測するという観点において、その概念が繋がりを持とうとしている。 本講演では、それら2つの学問領域の中間領域ともいえる機械工学の視点から両者を俯瞰し応用展開している計測方法について紹介する。 例えば、光スピンホール効果とよばれる反射光の位置がnmオーダーでシフトする量子光学的な現象を測定することでサブナノオーダーの表面粗さをとらえている。 一方で、擾乱環境下におけるわずかな揺らぎの違いをとらえることで、100光子数以下のイメージングも光相関イメージングも可能になった。 さらに、AI技術を導入することで劇的に高速化を実現した手法についても紹介する。

日時:

第8回

日時: 7月25日(木) 14:40~16:10
会場: 大阪大学 吹田キャンパス 情報科学研究科A棟 A109
内容: 講演会
講演者: 杉江 俊治 先生(京都大学名誉教授/大阪大学・コマツみらい建機協働研究 所・特任研究員)
講演題目: カーネル法のシステム同定と制御への応用
概要: カーネル法は機械学習の分野で良く知られた手法であるが、近年ではシステム同定の分野でも注目を集めている。 比較的短い入出力データから対象システムのインパルス応答を高精度に求めること事ができることが一つの特徴である。 本講演では、第一に、カーネル法の利点について、数値例を交えて直感的に説明した後、これをシステム同定に有効に適用する手法について紹介する。 第二に、この同定実験に際しての、入力の選択法について述べる。 最後に、カーネル法が、実験データに基づくPID制御のオートチューニング等の制御手法にも有効に働くことを、実験及び数値例により示す。

第9回

日時: 10月10日(木) 13:00~17:00
会場: 情報科学研究科A棟2階会議室 A210&A212
内容: 修士論文中間発表会