著者

寺島 芳樹 安本 慶一 東野 輝夫 安倍 広多 松浦 敏雄 谷口 健一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.42, no.2, pp.116-125, 2001-02-15

参考文献数

13

---

本論文では,種々の機能拡張に柔軟に対応できるQoS制御機構の実装法を提案し,SMILへの適用例を示す.提案手法では,仕様記述言語E-LOTOSのサブクラス(時間拡張LOTOSと呼ぶ)を中間言語として用いる.QoS制御機能は,システムを動画,音声の再生動作などを記述した主プロセスと,メディアスケーリング,メディア同期など追加したい機能のみを記述した制約プロセスとで構成し,それらを並列に同期実行させるという,制約指向スタイルを利用して実現する.またSMILに動的メディアスケーリング,メディア同期の精度指定の機構を追加したQOS-SMILを定義し,実装方法の適用例として示す.QOS-SMIL記述は対応する時間拡張LOTOS仕様に変換され,我々が開発している時間拡張LOTOSコンパイラを用いて実行される.いくつかの実験結果から,提案手法はQoS制御機能の開発コストに優れ,実行効率の点でも十分な性能を持っていることを確かめた.In this paper, we propose a flexible implementation technique forQoS control mechanisms and apply it to SMIL language.In the proposed technique, we use a subclass of E-LOTOS (calledreal-time LOTOS).We implement QoS control mechanisms using the constraint orientedstyle where a system is composed of a main process(e.g., video/audio playback) and several constraint processes (e.g.,media scaling, inter-media synchronization and so on). Usingthe multi-way synchronization mechanism of real-timeLOTOS, those processes run in parallel satisfying the specifiedconstraints.We define QOS-SMIL as an example extension of SMILwhere it has dynamic media scalingand explicit inter-media synchronization amongobjects, and show the applicability of our implementation technique.QOS-SMIL documents are converted to executable programs with ourreal-time LOTOS compiler. Through some experiments, we have confirmedthat the proposed technique has some advantages w.r.t. developmentcost for QoS control mechanisms and the derived programs haverelatively good performance for practical use.

著者

福島 悠太 三浦 太樹 濱谷 尚志 山口 弘純 東野 輝夫

雑誌

研究報告モバイルコンピューティングとパーベイシブシステム(MBL) (ISSN:21888817)

巻号頁・発行日

vol.2017-MBL-85, no.25, pp.1-8, 2017-11-08

---

無線センサーネットワークにおいて,センサーに付随するマイコンの高機能化 ・ 省電力化が進めば,従来クラウドで行っていた学習や異常検出,判定などのタスク処理をセンサーネットワークにオフローディングし,データ発生場所に近い場所でそれらを効率よく行える自律的な知能センサーネットワークが実現できる.本研究では CNN を対象に,ローカルな無線センサーネットワーク内で分散実行する新しいアーキテクチャを提案し,そのための分散実行プロトコルならびにアルゴリズムを提案する.提案手法はメッシュ型の無線センサーネットワークが面的かつ定期的に取得するデータを対象とし,センサーノードに深層学習におけるユニットの役割を割り当てる.提案手法の有効性を評価するため,1,400 m² 超の実ラウンジスペースの 50 地点の温度データを用いて,通常の CNN による学習と提案手法による分散学習におけるデータ通信量と学習精度の比較を行った.その結果,十分妥当な通信量のもとで,通常の CNN と遜色ない学習精度を達成できることがわかった.

著者

深田 敦史 鍛 忠司 東野 輝夫 谷口 健一 森 将豪

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.39, no.8, pp.2519-2527, 1998-08-15

---

本論文では,入力を奪い合いながら並行に動作するDFSM群(DFSMsの直積マシン)としてモデル化される通信プロトコルのあるサブクラスに対して,DFSM群の状態と遷移の数の和に比例する程度のコストで効率良く適合性試験を行うための1つの手法を提案する.提案する方法では,まず,Wp法を用いて単独に各DFSMの試験を行う場合に用いる特性集合の和集合をシステム全体(DFSM群)の試験を行うための特性集合とする.入力を奪いあう場合,与えられた各特性系列に対して正しく反応を返す可能性のある状態対は複数存在する可能性がある.このため,各DFSMの1つの状態sの存在を確認するために,まず一定の条件を満たすW集合を構成する.次にその状態sを含む適切な状態組を1つ選び,その状態組に対する特性系列の反応をチェックすることにより状態sの存在を確認する.In this paper,we propose an effective conformance testing method for a subclass of protocols modeled as a set of DFSMs.The cost in the proposed testing method is only proportional to the sum of the numbers of states and transitions in a given set of DFSMs.In our method,we find a characterization set for each DFSM,which is used to test the DFSM alone in Wpmethod,and the union of the characterization sets is used as a characterization set for the total system.For a set of DFSMs with common inputs,there may exist two or more tuples of states that have correct responses against a given characterization set.So,in order to identify each state s in a DFSM,we find a characterization set with some specific properties.Then,we select a suitable tuple of states containing the state s,and identify the state s by checking their response to the characterization set.

著者

鍛 忠司 東野 輝夫 谷口 健一

雑誌

情報処理学会研究報告グループウェアとネットワークサービス(GN)

巻号頁・発行日

vol.1996, no.12, pp.19-24, 1996-01-25

---

通信プロトコルに対する適合性試験は通信システムの信頼性を高めるために有効である,従来,適合性試験系列の生成に関する研究の多くは単一の有限状態機械(S)によってモデル化されるソフトウェアを対象としている.しかし,複数のチャネルを持つ通信プロトコルなどでは,一つのチャネルの制御部を一つの決定性FSM(FS)でモデル化し,システム全体を入力を奪い合いながら並行に動作するDFSM群(FSMsの直積マシン)としてモデル化することが自然である.このようなシステムは全体としてもとのDFSM群の状態数の積に比例する状態を持つ非決定性FSM(FS)になる.このため,通常のNFSMに対する試験法を用いた場合,試験系列長がもとのDFSM群の状態数の積に比例するオーダーになるという問題点があった.本稿では,そのような入力を奪い合いながら並行に動作する複数のDFSM群としてモデル化されるような通信プロトコルのある部分クラスに対して,DFSM群の状態数の和に比例する程度のコストで効率よく適合性試験を行えるようにするための一つの手法を提案する,提案する手法では,まず,W?法を用いて単独に各DFSMの試験を行う場合に用いる先行系列の集合からシステム全体の試験を行うための先行系列の集合を生成する.また,各DFSMに対する特性集合の和集合をシステム全体の試験を行うための特性集合とする.次に,与えられた各特性系列に対して正しく反応を返す可能性のある状態対をすべて列挙し,その関係を表す制約式を生成する.これらの制約式を満たす解(状態の組)が仕様として与えられたDFSM群の状態対のみならば,与えられた先行系列の集合と特性集合に対して正しい反応を示す実装は仕様のDFSM群と等価であることが保証される.Conformance testing for communication protocols is useful for developing a highly reliable communication systems. Many researches have been done for test generation of the software modeled as a single finite-state machine (FSM). However, it is natural that the protocol with several channels is considered as a couple of DFSMs each of which controls a channel and competes with the others for common inputs. For this model, the existing methods have a problem that the derived test suite is proportional to the product of the numbers of states of DFSMs. In this paper, we propose an effective method of conformance testing for a subclass of protocols modeled as those couples of DFSMs. In our method, we find a state cover set for each DFSM, which is used to test the DFSM alone in W-method, and derive a state cover set for the total system from those sets. The characterization set for the total system is the union of those for the DFSMs. Then, we construct constraints representing the relation among tuples of states that have correct responses against the characterization set. If these constraints have only one solution, we guarantee that an IUT modeled as a couple of DFSMs which has correct responses against the state cover and characterization set is equivalent to the given specification.

著者

坂主 圭史 廣森 聡仁 今村 多一郎 岡本 潤也 稗田 拓路 武内 良典 今井 正治 北道 淳司 東野 輝夫

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. VLD, VLSI設計技術 (ISSN:09135685)

巻号頁・発行日

vol.109, no.201, pp.45-50, 2009-09-17

被引用文献数

4

---

多数の負傷者が同時に発生する災害現場では,短時間で多くの負傷者を処置し医療機関へ搬送するために,紙製のタッグが用いられている.紙製のタッグを用いたトリアージは,最新の負傷者の状態を反映できない.そこで,負傷者に生体情報を収集する機器を装着し,無線ネットワークで負傷者の生体情報をリアルタイムで監視する災害医療支援ネットワークが提案されている.本稿では,災害医療支援ネットワークにおいて使用し,比較的軽傷な負傷者に装着して生体情報を収集する軽傷者用負傷者端末について提案する.

著者

谷村 亮介 廣森 聡仁 梅津 高朗 山口 弘純 東野 輝夫

雑誌

研究報告モバイルコンピューティングとパーベイシブシステム(MBL) (ISSN:21888817)

巻号頁・発行日

vol.2015-MBL-75, no.32, pp.1-8, 2015-05-21

---

冬季に多量の積雪がみられる積雪都市においては,降積雪が交通流に大きな影響を及ぼしている.路面上に雪が堆積することにより,自動車が道路を走行しにくくなるだけでなく,堆積した雪が道路脇に積み上げられることで道路の幅員が狭くなるため,その道路の交通容量は大きく低下する.降積雪が道路交通に与える影響の把握は,積雪都市における交通計画管理上重要な課題である.本研究では,世界有数の積雪都市である札幌市において,ブローブカーデータから得られる道路交通情報,及び降雪量や積雪量などの気象データを収集し,これらのデータを重回帰分析によって分析することで,気象条件の変化に伴う道路交通速度の変動を推定するモデル式を作成する手法を提案する.札幌市内の実道路上のプローブカーデータを用いて提案手法によるモデル構築を行った結果,重相関係数が 0.844 の重回帰式を作成でき,雪道の交通速度の低下は気象データによってある程度説明可能であることを示した.また,複数の路線を対象にしたモデル構築の結果から,ある路線では積雪量以外にも前日最高気温が速度低下に影響を与えていたのに対し,別の路線では前日日照時間が速度低下要因となることなどがわかった.

著者

竹中 崇 岡野 浩三 東野 輝夫 谷口 健一

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)

巻号頁・発行日

vol.87, no.4, pp.462-470, 2004-04-01

参考文献数

10

---

整数変数をもつ有限状態機械(FSM/int)に対する記号モデル検査法を提案する.入力値を保持する変数の値は次に同一遷移で新たな値が読み込まれるまで変更されない,などの制約を満たす,与えられたFSM/intに対し,整数変数をもつCTL式を満たすか否かをこの記号検査アルゴリズムは判定する.この記号モデル検査アルゴリズムを実装し,ブラックジャックディーラ回路とバケット多重化プロトコルに適用した.そして,100状態,10整数変数程度の規模のシステムであれば数秒程度(最悪時で数分程度)で検証できることが確かめられた.

著者

東野 輝夫 梅津 高朗 安本 慶一 内山 彰 山口 弘純 廣森 聡仁

出版者

大阪大学

雑誌

基盤研究(S)

巻号頁・発行日

2014-05-30

---

今年度は次のような研究を実施した。(1)屋内空間における高精度トラッキング技術と都市街区や公共交通機関におけるトラッキング・状況理解技術の開発を行った。特に、駅構内(大阪駅など)や列車内の混雑度や乗客の行動を複数人のスマートフォンを用いて高精度に推定する技術などを開発し、その結果をユビキタス系難関国際会議PerCom2018などで発表した。また、(2)都市街区の移動ノードやデータの偏在性、モビリティの偏向性がもたらす課題とそれに対する堅牢で柔軟なフレームワークの構築手法を考案し、その成果が分散システムに関する難関国際会議IEEE ICDCS2018に採録された。さらに、(3)都市街区に多数配置されたマイクロモジュール間の通信機能や超分散型の時空間情報集約機能(自律的ロードバランス、モビリティの自動把握・調整など)をEdge Computingベースで構築し、DCOSS 2017国際会議やMobile Information Systems誌で発表した。また、災害支援のための包括的プラットフォームに関する成果をSMARTCOMP 2017国際会議での招待講演や分散システムに関する国際会議IEEE ICDCS2017で発表した。現在、(4)複数のマイクロモジュールを対象環境に配置し、十数名のモバイルユーザにより人や車のモビリティ収集実験を行うと共に、大阪大学吹田キャンパスでの実証実験を目指した取り組みを開始した。実証実験では、数十台の固定カメラやLIDAR、ドライブレコーダー、スマートフォンなどを併用した包括的プラットフォームを開発し、携帯電話網が部分的に機能しなくなった場合を想定し、(a) 安否確認メッセージなどの伝達、(b) 写真などの災害関連情報の収集、(c) 各エリアでの人流センシングに基づいた実時間空間情報の把握と可視化、などに必要な要素技術の開発を行っている。

著者

山口 聖二 伊地知 孝仁 谷本 匡亮 中田 明夫 東野 輝夫

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. VLD, VLSI設計技術 (ISSN:09135685)

巻号頁・発行日

vol.104, no.477, pp.1-6, 2004-11-24

---

本稿では,主に車内通信などに利用されているシリアルバスプロトコルであるCAN(Control Area Network)プロトコルについて,実時間制約検証を効率よく行うことができるよう仕様を抽象化したモデルを提案する.提案モデルでは,メッセージ送信時のバス使用権の取得や通信におけるエラー発生時の処理,クロックサイクル消費の扱いなどの点で抽象化を行う.その結果,実際のシステムでバス上を流れる波形を考慮する必要がなくなるため,検証の高速化を実現できる.`また,静的解析と異なり,具体的なバス通信動作および通信エラー処理をシミュレート可能である.提案する抽象化モデルに基づいて,ユニット毎の動作記述,バスクロック単位での動作確認が可能なシミュレータを試作する.試作したシミュレータを文献[5]の例題に適用し,シミュレーション結果を比較することにより-,提案モデルの有効性を示す.

著者

内山 彰 勝田 悦子 上嶋 祐紀 山口 弘純 東野 輝夫

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.55, no.1, pp.389-398, 2014-01-15

---

GPSは多くの携帯端末に搭載され,我々の生活に欠かせないものとなっているが,都市部においてはビルなどの障害物による遮蔽や反射・回折の影響を受け,測位誤差が大きくなることが知られている.そこで本研究ではGPSの見通し状況と建物の3次元モデルを利用した位置精度向上法を提案する.提案手法では建物の形状や配置により,各GPS衛星の見通し状況が地点ごとに決まることに着目する.衛星の見通し状況は,スマートフォンなどで一般に取得可能なGPS信号のSignal to Noise Ratioに基づき推定する.建物の3次元モデルに基づき,衛星の見通し状況を各地点において事前に計算しておき,フィンガープリントを構築する.構築したフィンガープリントと,GPSの受信状況から判定した見通し状況とのマッチングを行うことで存在領域を絞り込み,位置精度向上を図る.大阪駅周辺で取得したGPSログを用いて提案手法の性能を評価した結果,平均正解率81%でGPS測位結果の誤差範囲に対して17%相当の領域に絞り込みが可能なことが分かった.

著者

舩曵 信生 岡山 聖彦 中西 透 東野 輝夫 尾崎 亮

出版者

岡山大学

雑誌

基盤研究(C)

巻号頁・発行日

2004

---

今年度の研究では,まず,本研究で採用しているピアツーピア通信専用のミドルウェアソフトであるPeerCastでの通信経路の問題点として,経路木が通常は最適なものとならないのに対して,それを動的に改善する機能がないことが知られている.今回,この問題に対し,通信中に経路木の一部を動的に変更するために,データロスなく,コネクションを繋ぎ替える機能の実装とその評価を行った.次に,専用のピアツーピア通信ソフトを用いた動画配信システムにおけるセキュリティホール,高通信負荷,リアルタイム制約,専用ソフトのインストールに伴うユーザ利便性の低下などの問題を解決するために,遠隔講義・テレビ会議などでの各シーンを,静止画と音声の組合せで再構成するデジタル紙芝居に着目し,そのWEB技術を用いた配信システムの研究を進めた.今回,本補助金の最終年に当たり,本システムのためのデータ入力・編集・配信の各プログラムを実装し,本学における実際の講義を用いて,評価を行った.その結果,デジタル紙芝居による講義シーンの再構成は実用的であり,学習への利用に有効であることが明らかとなった.更に,ピアツーピア技術の応用として,WEBキャッシュを信頼の置ける中継ホスト上や無線ルータ上に設けることで,無線メッシュネットワーク環境でもレスポンス性に優れた配信システムを実現した.この無線メッシュネットワークでは,デジタル紙芝居などのユビキタス環境での配信を目指して,高価な高性能ルータと安価な市販ルータで構成される二階層構造を提案した.前者には,信頼できるホストが随時その役割を担うこと,マルチホーム環境対応とすることで,柔軟性,拡張性,アクセス性を実現する.今回,そのためのホスト認証機能,複数チャネル機能,アドレス付与機能などを実現した.

著者

木山 昇 楠田 純子 藤井 彩恵 内山 彰 廣森聡仁 梅津 高朗 中村 嘉隆 大出靖将 田中 裕 山口 弘純 東野 輝夫

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.51, no.9, pp.1916-1929, 2010-09-15

被引用文献数

2

---

本論文では,大規模事故や災害時に発生する多数の傷病者の生体情報(バイタルサイン)をリアルタイムで一括監視し,現場での救命活動を支援する電子トリアージシステムの設計開発について述べる.本システムでは,IEEE802.15.4および生体センサを備えたセンサノードを傷病者に装着し,それらの間でアドホックネットワークを構築する.これを介して傷病者の生体情報をリアルタイムに収集すると同時に,センサノード間の無線通信情報を基にノードの位置推定を行い,%救命活動従事者医療従事者に対して傷病者の病状と大まかな位置に関する情報を提供することで救命活動を支援する.開発したシステムを大学附属病院で実施されたトリアージ演習などで使用し,システムの有用性を確認するとともに今後の改良に向けた情報収集を行った.In this paper, we consider situations where many persons are simultaneously injured in large accidents and disasters, and propose an advanced electronic triage system called e-Triage for sensing physical condition of those injured persons and collecting the sensed data in IEEE802.15.4-based wireless ad-hoc networks. The e-Triage system presents dynamic change of injured persons' location and physical condition on monitors in real time. We have evaluated our system through a triage training held in a hospital. From the experimental results, we have confirmed the effectiveness of the e-Triage system and obtained feedback from doctors and nurses.

著者

森岡 澄夫 柴田 直樹 東野 輝夫 谷口 健一

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. VLD, VLSI設計技術

巻号頁・発行日

vol.96, no.299, pp.49-56, 1996-10-18

被引用文献数

5

---

加算器, 乗算器, ALUなど, 算術演算を行う組み合わせ論理回路が, そのワードレベル仕様F (整数上の論理式として書かれた入出力関係の記述) を正しく実現している事を, プレスブルガー文真偽判定手続きを用いて自動証明する方法と, 証明例について述べる. 証明は, いわゆるビットレベル検証 (各回路モジュールM_jごと, そのワードレベル仕様F_jがゲートレベルで正しく実現されていることの証明) とワードレベル検証 (各M_jの接続関係および各ワードレベル仕様F_jのもとで, Fが満たされることの証明) に分けて行う. 乗算など, プレスブルガー算術で直接扱えない演算を行う回路についても, その演算に関して数学的に成り立つ性質等を仮定することにより, 証明できる場合がある. 本手法の特徴は, 幾つかの工夫を行ったプレスブルガー真偽判定ルーチンを用いることにより, 各モジュールの演算ビット長 n が増えても, 回路中のモジュールの数や組合せ方が同じで, かつ仕様記述のサイズが n 依存していなければ, ワードレベル検証にかかる時間がほとんど増加しないことである. 例えば n ビット乗算器から 2n ビット乗算器を構成した場合のワードレベル検証を, 2分程度のCPU時間で行えた. ビットレベル検証についても, 演算ビット長が4ビット程度であれば, 例えば加減算・論理演算を行うALU (74382) について6分程度のCPU時間で行えた.

著者

浦部 弘章 塚本 淳 佐藤 和基 梅津 高朗 東野 輝夫

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. ITS (ISSN:09135685)

巻号頁・発行日

vol.105, no.260, pp.13-18, 2005-08-30

---

災害発生に対して, 被災者の迅速な救助・安否確認が求められる.一方で, 既存の連絡方法はインフラの破壊により利用不可能となる可能性が高く, インフラに依存しない救助支援システムが求められる.そこで本稿では, 災害時において被災者の位置情報を収集・追跡するためのMANETシステムを提案・評価する.提案手法では, 被災者は無線LAN機能などの近距離無線通信機能を有する端末を保持し, それらや自動車に搭載される端末がアドホック通信を用い, 避難所に設置される基地局に被災者情報を収集する.システムの評価は被災者情報の登録数と通信量を対象とし, 車両の導入による影響を比較した上で, システムの有用性を示す.

著者

池田 和史 服部 元 松本 一則 小野 智弘 東野 輝夫

出版者

情報処理学会

雑誌

情報処理学会論文誌コンシューマ・デバイス&システム(CDS) (ISSN:21865728)

巻号頁・発行日

vol.2, no.1, pp.82-93, 2012-03-21

被引用文献数

1

---

近年,TwitterのようなブログやWeb掲示板などに投稿された商品やテレビ番組などに対する口コミ情報を分析してマーケティングなどに応用する評判解析技術に注目が集まっている.これらは手軽に情報発信することが可能なため,新鮮かつ多数の意見を即座に収集するツールとして,その活用は大きな可能性を持っている.一方で,評判は投稿者の年齢や性別,趣味などのプロフィールに応じて異なることが多いが,ブログや掲示板には投稿者の年齢や性別が記載されていない場合が多く,投稿数や平均的な意見などの表面的な情報しか抽出できず,プロフィールごとの意見を抽出できないことが課題であった.この問題を解決するため,著者らはTwitter上の口コミ投稿者の日常的な投稿内容を解析することで,年代,性別,居住地域などのプロフィールを推定する技術を開発した.本技術を利用することで,ネット上の口コミ情報をプロフィールごとに分類,集約することが可能となり,商品の改善やテレビ番組の企画などに生かすことが可能となる.性能評価実験の結果,提案手法の汎用的な推定精度は性別で88.0%,年代で68.0%,居住地域で70.8%であり,視聴率測定などへの応用を想定したプロフィール分布誤差の評価では,分布に偏りがある場合でも性別で8.8%,年代で12.4%,居住地で14.0%と実利用に十分な精度であることが示された.This paper proposes a real-time analysis technology of the online opinions of commercial products and broadcast TV programs. As many people submit their opinions via social media services, such as Twitter, utilizing these real-time and huge amounts of opinions is strongly desired as a novel marketing tool. However, it is impossible in many cases to understand the overall trend of such enormous user opinions by browsing the information stream on the screen. In addition, though presuming the ratio of positive and negative opinions is useful, that discrimination is not much enough because the ratio of opinions differs depending on user demographics (age, sex, area, etc.) The proposed technology makes it possible to analyze the contents of Twitter streams related to commercial products or broadcast TV programs, and estimate the demographics of the users by tracking and analyzing their past tweets. This analysis attracts peoples such as, product planners, broadcast TV directors, and advertisement agencies that produce and promote products/TV programs for target segments. Our experimental results show that the estimation accuracy of the proposed algorithms is, 88.0% in sex, 68.0% in age, 70.8% in areas, respectively. The error ratio in the distribution of estimated demographics was 8.8% in sex, 12.4% in age, 14.0% in area, respectively, which is high enough for practical use.

著者

池田和史 服部元 松本一則 小野智弘 東野輝夫

雑誌

マルチメディア、分散協調とモバイルシンポジウム2011論文集

巻号頁・発行日

vol.2011, pp.1308-1315, 2011-06-30

---

近年、TwitterのようなブログやWeb掲示板などに投稿された商品やテレビ番組などに対する口コミ情報を分析してマーケティング等に応用する評判解析技術に注目が集まっている。これらは手軽い情報発信が可能なため、新鮮かつ多数の意見を即座に収集するツールとして、その活用は大きな可能性を持っている。一方で、評判は投稿者の年齢や性別、趣味などのプロフィールに応じて異なることが多いが、ブログや掲示板には投稿者の年齢や性別が記載されていない場合が多く、投稿数や平均的な意見などの表面的な情報しか抽出できず、プロフィールごとの意見を抽出できないことが課題であった。この問題を解決するため、著者らはTwitter上の口コミ投稿者の日常的な投稿内容を解析することで、年代、性別、居住地域などのプロフィールを推定する技術を開発した。本技術を利用することで、ネット上の口コミ情報をプロフィールごとに分類、集約することが可能となり、商品の改善やテレビ番組の企画などに生かすことが可能となる。性能評価実験の結果、提案手法の汎用的な推定精度は性別で88.0%、年代で68.0%、居住地域で70.8%であり、視聴率測定などへの応用を想定したプロフィール分布誤差の評価では、分布に偏りがある場合でも性別で8.8%、年代で12.4%、居住地で14.0%と実利用に十分な精度であることが示された。

著者

関岡 哲也 横川 勇仁 舩曳 信生 東野 輝夫 山田 朋弘 森 悦秀

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-II, 情報・システム, II-パターン処理 (ISSN:09151923)

巻号頁・発行日

vol.84, no.3, pp.459-470, 2001-03-01

被引用文献数

24

---

唇の輪郭線は, 口腔外科における口唇裂症などの術式検討や術後トレースに重要であり, シンプルかつ高精度のモデルでの自動抽出が望まれている.そこで本論文では, 顔画像を入力とし, 前処理, 1次検出, 2次検出の3段階の処理を経て, 唇の輪郭線を関数で合成する手法を提案する.まず前処理では, 顔画像から唇の位置を検出し, おおよその大きさを決定する.次に1次検出ではDeformable templateマッチング法により唇のおおよその輪郭線を探索する.そして2次検出では, 遺伝的プログラミングを用いて置換と分割によって詳細な唇の輪郭線を探索する.本提案手法が従来の動的輪郭モデル(SNAKES)よりも精度, パラメータ数, 探索時間の点で優れていることを一般人の唇, 口唇裂症患者の唇のサンプルに対するシミュレーションにより示す.

著者

北嶋 暁 森岡 澄夫 島谷 肇 東野 輝夫 谷口 健一

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ (ISSN:09151915)

巻号頁・発行日

vol.79, no.12, pp.1017-1029, 1996-12-25

参考文献数

15

被引用文献数

4

---

教育用CPU KUE-CHIP2を,各命令の意味を記述した要求仕様からRTレベルまで段階的に設計し,それをSFL記述に自動変換してハードウェア合成系パルテノンを用いて回路を得た.そして,その設計が正しいことを代数的手法に基づいた証明支援系を用いて完全に自動で証明した.自動で証明できた理由は,CPUでは,要求仕様も含め,各レベルの仕様が共通の基本関数(算術・論理演算,メモリの入出力)を用いて記述できる,CPUの正しさの証明では1命令ごとに正しく動作することを調べればよく,かつ1命令の実行では繰返しループを含まない,また,我々の開発した証明支援系では,項書換え,場合分け,整数上の論理式の恒真性判定などを一定の手順で自動実行する,扱う式の大きさが増大するのに対処した工夫をしている,などである.証明作業は,記述誤りに伴う再証明も含め2週間程度で行えた.CPUの命令数が増えても証明のための計算時間はそれに比例する程度ですむので,本実験の結果より,単一制御部をもつ非パイプラインCPUについては,本論文の手法により,その正しさの証明を,現実的な時間で自動で行うことが可能であると言える.

著者

濱田 淳司 内山 彰 山口 弘純 楠本 真二 東野 輝夫

出版者

一般社団法人情報処理学会

雑誌

研究報告モバイルコンピューティングとユビキタス通信(MBL) (ISSN:09196072)

巻号頁・発行日

vol.2009, no.8, pp.17-24, 2009-01-22

被引用文献数

1

---

本稿では,無線アドホック通信を用いて,携帯情報端末を保持する歩行者や車載端末を搭載した車両 (ノード) の密度分布をリアルタイムに推定する方法を提案する.各ノードが周辺のノード密度分布を把握できれば,交通状況に応じた高度ナビゲーションや混雑するイベントでの歩行者誘導など高度交通システムにおける様々なサービスなどへの応用が期待できる.提案手法では,各ノードは GPS などで自身のおおよその位置を把握できるものとし,隣接端末が保持するノード分布情報をアドホック通信で定期的に受信することで自身が把握するノード分布情報を更新する.また各ノードがノード分布の変化予測を行うことで時間経過によるノード分布の変化にも追随する.シミュレーション実験を行い,実密度分布と推定密度分布に対して単位領域ごとの密度値の順位付けの相関を導出した結果,相関係数が 0.64 から 0.84 となり,両者の相似度が十分高いことが示された.In this study, we propose a method for mobile wireless nodes, which may be pedestrians or vehicles with information terminals, to estimate the density of mobile nodes in their surroundings. The method enables to provision intelligent services which are environment-aware with highly dynamic movement of nodes, like intellectual navigation that tells the user the best route to detour congested region. In the proposed method, each node is assumed to know its location roughly (i.e. within some error range) and to maintain a density map covering its surroundings. This map is updated when a node receives a density map from a neighboring node. Also by estimating the change of the density, taking into account the movement characteristics of nodes, it is updated in a timely fashion. The simulation experiments have been conducted and the correlation between the ranks of density values of unit cells in the real and estimated density maps has been measured. The results in two different scenarios have shown that the proposed method could attain the correlation coefficients 0.64 and 0.84, indicating the high accuracy of the estimated density maps.

著者

横川 勇仁 舩曳 信生 東野 輝夫 森 悦秀

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. MI, 医用画像 (ISSN:09135685)

巻号頁・発行日

vol.101, no.434, pp.37-44, 2001-11-09

被引用文献数

1

---

近年, 顔面における顔部品に関する研究が医学や心理学など様々な分野で行なわれており, 唇の輪郭・位置についての研究もその一つとして挙げられる.実際, 口腔外科領域においての, 口唇裂症・口蓋裂症患者の治療における, 形成手術の術式検討や術後の患部経過のトレースにおいて, 精密な唇輪郭の抽出およびその顔面内での位置の特定が要求されている.本論文では, 従来より提案してきた, Deformable Templateを用いた唇輪郭抽出法の改良, および内眼角点座標系による顔面内における唇輪郭モデルの位置表現の紹介を行った上で.今回新たに, 抽出精度の向上, およびアプリケーション使用者の負担の軽減を目的とした, 色相・明度閾値自動調整アルゴリズムを提案する.これらの提案より, 唇の形状・位置が精密かつ自動的に抽出できることを示す.