講演名 | 2017-11-16 事象発生頻度の変化を表現するための論理 高木 理(群馬大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本論の目的は,データベースに記録される時系列データ上に記録される事象の発生頻度の変化を表現するための形式言語,および,その意味論によって構成される頻度論理を提案することである.事象の変化を表現するために,統計学における検定の理論が用いられる.また,頻度論理によって表現される独特な性質として,事象の偏在性についても述べる. |
抄録(英) | The purpose of this paper is to introduce a temporal logic that consists of a formal language and semantics to represent change of event frequency. The theory of statistics testing is employed to construct the semantics. As a distinguishing property that can be represented in our logic, ubiquitous property of phenomena is also introduced. |
キーワード(和) | 頻度 / 時相論理 / 偏在性 / 時系列データ / 医療データベース |
キーワード(英) | frequency / temporal logic / ubiquitous property / time-series data / medical database |
資料番号 | CAS2017-49,MSS2017-33 |
発行日 | 2017-11-09 (CAS, MSS) |
研究会情報 | |
研究会 | CAS / MSS / IPSJ-AL |
---|---|
開催期間 | 2017/11/16(から2日開催) |
開催地(和) | 日立中央研究所 |
開催地(英) | |
テーマ(和) | システムのモデリングと制御・検証・最適化の手法,機械学習的アプローチ及び一般 |
テーマ(英) | |
委員長氏名(和) | 平木 充(ルネサス エレクトロニクス) / 名嘉村 盛和(琉球大) / 堀山 貴史(埼玉大学) |
委員長氏名(英) | Mitsuru Hiraki(Renesas) / Morikazu Nakamura(Univ. of Ryukyus) / Takashi Horiyama(Saitama University) |
副委員長氏名(和) | 岡崎 秀晃(湘南工科大) / 髙井 重昌(阪大) |
副委員長氏名(英) | Hideaki Okazaki(Shonan Inst. of Tech.) / Shigemasa Takai(Osaka Univ.) |
幹事氏名(和) | 山口 基(ルネサス エレクトロニクス) / 橘 俊宏(湘南工科大) / 豊嶋 伊知郎(東芝) / 金澤 尚史(阪大) / 岡本 吉央(電気通信大学) / 川原 純(奈良先端科学技術大学院大学) / 河村 彰星(東京大学) |
幹事氏名(英) | Motoi Yamaguchi(Renesas) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) / Yoshio Okamoto(The University of Electro-Communications) / Jun Kawahara(Nara Institute of Science and Technology) / Akitoshi Kawamura(University of Tokyo) |
幹事補佐氏名(和) | 中村 洋平(日立) / 金城 秀樹(沖縄大) |
幹事補佐氏名(英) | Yohei Nakamura(Hitachi) / Hideki Kinjo(Okinawa Univ.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Circuits and Systems / Technical Committee on Mathematical Systems Science and its applications / Special Interest Group on Algorithms |
---|---|
本文の言語 | JPN |
タイトル(和) | 事象発生頻度の変化を表現するための論理 |
サブタイトル(和) | |
タイトル(英) | Logic to represent change of event frequency |
サブタイトル(和) | |
キーワード(1)(和/英) | 頻度 / frequency |
キーワード(2)(和/英) | 時相論理 / temporal logic |
キーワード(3)(和/英) | 偏在性 / ubiquitous property |
キーワード(4)(和/英) | 時系列データ / time-series data |
キーワード(5)(和/英) | 医療データベース / medical database |
第 1 著者 氏名(和/英) | 高木 理 / Osamu Takaki |
第 1 著者 所属(和/英) | 群馬大学(略称:群馬大) Gunma University(略称:Gunma Univ.) |
発表年月日 | 2017-11-16 |
資料番号 | CAS2017-49,MSS2017-33 |
巻番号(vol) | vol.117 |
号番号(no) | CAS-300,MSS-301 |
ページ範囲 | pp.57-62(CAS), pp.57-62(MSS), |
ページ数 | 6 |
発行日 | 2017-11-09 (CAS, MSS) |