著者

西本 一志 魏 建寧

出版者

情報処理学会

雑誌

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

巻号頁・発行日

vol.57, no.4, pp.1207-1216, 2016-04-15

---

近年,日本や中国において,漢字を読むことはできるが書くことができないという,いわゆる漢字健忘 (Character Amnesia) が問題となっている.その原因として,漢字の読みを入力して漢字に変換する漢字入力方式が広く使われるようになったことが一般に指摘されている.その他の漢字入力方式として,特に中国において,部首やストロークなどの漢字を構成する形状的要素の組み合わせを入力する方式が多数研究開発されている.しかしながらこのような方式は,漢字形状を熟知しているユーザにしか使用できないため,すでに漢字健忘に陥っているユーザには使用できず,また漢字健忘の問題をこの入力方式を使用することによって解決することもできない.本論文では,最も普及している漢字の読みを入力する方式を基盤として,漢字健忘の問題を解決する機能を有する新規な漢字入力方式 G-IM を提案する.G-IMは,従来の漢字入力方式とは異なり,ときどき漢字の形状に誤りがある漢字を出力する.これにより,ユーザは常に漢字形状に注意を払うことを強いられるため,漢字形状記憶が強化されることが期待される.ユーザスタディを実施した結果,G-IMは,従来の読みに基づく漢字入力方式や手書きよりも,有意に漢字形状記憶を強化することが確認された.

著者

佐川 暢俊 金野千里 梅谷 征雄

出版者

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

雑誌

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

巻号頁・発行日

vol.30, no.1, pp.36-45, 1989-01-15

被引用文献数

15

---

スーパコンピュータによる大規模な数値シミュレーションの要求が高まっているが そのソフトウェア環境は必ずしも満足すべきものではない.著者らはプログラム生産性の大幅な向上とスーパコンピュータの有効利用とをねらいとしてDEQSOL(Differential EQuation SOlver Language)の開発を進めている.DEQSOLは 問題仕様書レベルの記述からFORTRANによる数値シミュレーションプログラムの自動生成を行う問題向き高水準言語である.入力となるDEQSOL言語はシミュレーション対象を簡潔に表現するとともに解法アルゴリズムを柔軟に表現できるように設計されている.すなわち 空間メッシュの生成 境界条件の取り込みを自動的に行うのみならず 繰り返し 条件分岐と微分演算子を含む計算式を組み合わせて広範囲の解法スキームを構築することができる.連立偏微分方程式の一括離散化 Body Fit用プリプロせッサの装備などの拡張を加え さらなる適用範囲の拡大を図りつつある.一方生成されるFORTRANコードはスーパコンピュータを意識したものであり ループ長の拡大 コンフリクトの少ないデータ構造の採用などの配慮がなされている.その結果 各種の問題に対して記述効率(記述行数比)でFORTRANの10倍以上 ベクトル化率で90%以上のコードの生成を可能としている.

著者

高田 昌忠 長島 勝城 渡辺 尚

出版者

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

雑誌

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

巻号頁・発行日

vol.46, no.10, pp.2513-2522, 2005-10-15

被引用文献数

1

---

無指向性アンテナを前提とした従来の無線アドホックネットワークMACプロトコルの空間利用効率が低い等の問題に対して著者らは,干渉の低減・空間利用効率の向上・通信距離の拡張を提供しうるスマートアンテナを利用したアドホックネットワークMACプロトコルSWAMP(Smart antennasbased Wider-range Access MAC Protocol)を提案している.本論文では計算機シミュレーションによるSWAMPの性能評価を実施し,スループット・遅延・オーバヘッド特性を明らかにする.その結果,IEEE 802.11と比較しSWAMPは約3.5倍のスループットおよび低遅延を実現し,追加したオーバヘッドがあるものの,それを上回る性能向上がなされることを示す.また,ノードの移動速度・ノード密度に対するスループット特性をそれぞれ示す.次に,SWAMPの通信失敗の原因を7つに分類して考察し,低負荷時にはアンテナの指向性制御が不正確になる問題が発生することを示す.さらに,この問題に関連するビーム幅,近隣端末位置情報の有効期間および最大再送回数がSWAMPの性能に与える影響に関してそれぞれ検討を行う.結果,負荷量・ノードの移動速度に応じてビーム幅の適応制御を行うことでさらなるSWAMPの性能向上の可能性があることを示す.To address issues of MAC protocols using omni-directional antennas, such as the low efficiency of spatial reuse, authors have proposed a MAC protocol for ad hoc networks using smart antennas called SWAMP (Smart antennas based Wider-range Access MAC Protocol). Smart antennas may offer some benefits, e.g., interference reduction, spatial reuse enhancement and the transmission range extension. This paper evaluates SWAMP through simulation studies in terms of throughput, End-to-End delay and overhead characteristics. Results show that SWAMP improves throughput and delay performance against IEEE 802.11 though it has more overhead. Also, we evaluate the effects of the mobility of nodes and node density. This paper then investigates different factors which reduce the probability of successful transmissions. SWAMP increases the communication failure due to location information staleness when offered load is low because a gap between the table information and actual location of the neighbor nodes is arisen due to the lapse of time and the mobility of nodes. This paper also examines the effects of the beamwidth and lifetime of the location information associated with location information staleness. The experimental results show that the dynamic adaptation of the beamwidth may mitigate the location information staleness and improve the overall network performance.

著者

酒居 敬一 光成 滋生 成田 剛 石田 計 藤井 寛 庄司 信利

出版者

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

雑誌

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

巻号頁・発行日

vol.43, no.4, pp.1028-1038, 2002-04-15

参考文献数

19

---

近年の汎用パーソナルコンピュータに多く使われているIA-32プロセッサは過去との互換性のために命令体系はCISC的である.しかし内部動作はRISCマイクロ命令への変換,ハイパーパイプライン,アウトオブオーダ,などRISC的アーキテクチャが多数取り入れられている.さらにSIMD的演算命令の搭載によりデータ並列処理を実現している.とはいえその新しい機構に応じたコードを生成するコンパイラはまだまだ少数であり,また対応していたとしてもコンパイラ独自の拡張C言語による記述が必要であることが多い.そのため通常のC言語による記述を主体としたベンチマークではプロセッサの正当な評価を行いにくい.そこで我々は実用的なアプリケーションとしてMP3エンコーダを選択しコード全般にわたってアセンブリ言語による最適化処理を行った.その結果C言語によるコードに対し2倍から3倍の高速化を達成した.The architecture of IA-32 processors, which are recently used in personalcomputers in general, can execute the industry-standard x86 instruction setlike CISC for binary compatibility.But in fact, the processors process simpler RISC micro operations instead ofcomplex x86 instructions, and support hyper pipelined technology and out-of-oder speculative execution.IA-32 processor also has the SIMD instructions.However, there are few compilers which generate the code supporting the newtechnology, or we must use the extended C language, if any.Therefore it is difficult to evaluate the processor exactly by the benchmarkbased on the ordinary C language.Then we chose a MP3 encoder for practical application and rewrote the mainroutines of the encoder by assembly language.As a result, we have achieved about two or three times faster optimization.

著者

木村 朝子 柴田 史久 鶴田 剛史 酒井 理生 鬼柳 牧子 田村 秀行

出版者

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

雑誌

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

巻号頁・発行日

vol.47, no.4, pp.1327-1339, 2006-04-15

参考文献数

21

被引用文献数

16

---

近未来社会のヒューマンインタフェースのあるべき姿として,映画『マイノリティ・リポート』に登場する広視野ディスプレイとジェスチャ操作の組合せを考える.本研究ではまず,広視野電子作業空間に適した作業の想定・分類から始め,これを実現する基幹システムと基本ジェスチャコマンドを開発した.そのうえで,このシステムに立体映像表示,実物体の導入,複合現実感へと発展する体系「MRキューブ」を提唱する.その試作実現例として.ビデオ映像編集と医用画像の閲覧・管理を題材としたシステムを開発し,その操作性と有用性について検証した.

著者

角本喜紀 西島 英児 水津 宏志 先崎 隆 薦田憲久

雑誌

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

巻号頁・発行日

vol.47, no.1, pp.209-216, 2006-01-15

---

LSI 技術の進歩にともない,監視制御系システムにおいても汎用製品の利用や効率的なソフトウェア開発が浸透しつつあり,鉄道運行管理システムにおいてもソフトウェア開発の効率向上がこれまで以上に強く要求されている.本論文では,鉄道運行管理システムにおいて,様々なシステム構成に共通に適用可能とするソフトウェアアーキテクチャとこれを実現するミドルソフトを提案する.提案ミドルソフトは,受信データのバッファリングと提示処理を1 つの処理モジュールにて実行することにより排他制御のない高信頼な構造を実現する.また運行情報をシステム構成に依存せずつねに鉄道路線全体の情報として鉄道運行管理アプリケーションに提供する共通データインタフェース機能を持つ.

著者

飯島 安恵 藤田 茂 今野 将

雑誌

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

巻号頁・発行日

vol.57, no.3, pp.873-885, 2016-03-15

---

近年,iPadなどのタブレット型端末の普及にともない,電子譜面が注目・開発されてきている.また,電子譜面システムを演奏会(特に吹奏楽団など)で使用すると,紙の譜面を利用する際に演奏者にかかる負荷の軽減が期待できる.しかし,現状の電子譜面システムは個人使用(主にピアノ演奏者)を想定して開発されているため,吹奏楽団のような集団での使用は想定されていない.そのため,演奏者にかかる譜めくり作業の負荷が依然として大きい.そこで,本研究では,譜めくり作業負荷の軽減を目的として,現在吹奏楽団などで使用されている紙の譜面を再利用することを前提とした,タブレット型端末の特性を活かした吹奏楽団向け電子譜面システムPEANUTSの提案,試作を行った.PEANUTSシステムでは,吹奏楽団で楽曲を演奏する際に演奏者にかかる負荷の1つとして譜めくり作業に着目をした.譜めくり作業の負荷を軽減するために,譜めくりタイミングが同じ演奏者の中から,譜めくり作業を行う譜めくり担当者を,本論文で提案するモデルとアルゴリズムに基づいて選定する.この結果,演奏者全体での譜めくり負荷が,既存の譜めくり手法や電子譜面アプリケーションと比べて低くなる.本論文では,PEANUTSの評価実験と,PEANUTSを用いた実際の楽器演奏者による実地実験の結果を示す.In recent years, with the spread of tablet computers, such as the iPad, applications such as electronic musical scores have been developed that exploit the special features of tablet computers. However, existing electronic musical score applications were developed considering individual use (principally by pianists), and when using electronic musical score systems for a wind orchestra, for example, the load placed on the musical performers are effectively the same as when using paper scores. Therefore, in this study we're taking advantage of the characteristics of the tablet terminal and carrying out the proposal and trial production of the Electronic Musical Score System for Wind Orchestra called PEANUTS. It is presupposed to reuse the score of paper that is currently being used. PEANUTS, is focused on page turn as a load applied to the performer when playing musical piece in Wind Orchestra. We have proposed a system for designating the person in charge of page turn to reduce the load based on algorithm of designating the person in charge of page turn. In this paper, we carried out the simulation and perform experiments using PEANUTS.

著者

伊藤 昭 矢野 博之

出版者

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

雑誌

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

巻号頁・発行日

vol.38, no.5, pp.944-952, 1997-05-15

参考文献数

13

被引用文献数

2

---

自己の利益をのみ追求するエージェントの社会では, どのようにして協調が発現するのであろうか. 我々は, 過去の対戦履歴が公開されるという条件の下で, エージェントが囚人のジレンマと同型の対戦を, 相手を次々と替えながら行わねばならないとき, どのような対戦戦略を採用すればよいのかを調べてきた. 今回は, どのようにして協調的戦略が社会的に発現 (進化) するのか, またそのための条件は何かなどを, 遺伝的アルゴリズムの手法を用いて調べる. 我々は, まず対戦戦略アルゴリズムを抽象計算器の上で定義する. 次に, エージェントは対戦利益に応じて子を生成できるものとし, また子エージェント生成に際しては, 戦略アルゴリズムに突然変異を導入してその進化を促す. その結果, 最初単純なしっぺ返し戦略TFTから出発して, 系は非協調的戦略を含む様々な戦略を持つエージェントを生成するが, 生存競争の中でより強い協調的な戦略が成長してくることを示す.

著者

横田 隆史 松岡 浩司 岡本 一晃 廣野 英雄 坂井 修一

出版者

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

雑誌

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

巻号頁・発行日

vol.36, no.7, pp.1600-1609, 1995-07-15

参考文献数

12

被引用文献数

4

---

超並列計算機の実現,特に,通信レイテンシンの隠蔽や並列性の自然な抽出において優位性を持つマルチスレッド・アーキテクチャでの超並列計算機を考える場合,細粒度・高頻度で非整列なパターンの通信に対する耐性や,通信レイテンシンの短縮について相互結合方式を検討しなければならない.また一方でOSなどの運用面での検討も必要である.本論文では,まずこのような超並列向けの相互結合網の要件を整理し,次に,間接多段網のスイッチを演算ノードに置き換えて得られるサーキュラ・オメガ網の特質に着目し,その定義を一般化することにより直接網のクラスDCE(Directed Cycles Ensemble)を定義する.そして,任意のDCE網の直積を考えることで多次元に拡張できることを示し,これによって得られる結合網のクラスMDCE(Multidimensional DCE extension)を提案する.代表的なDCE網,MDCE網について直径ならびに平均距離の解析を行い,さらに,シュミレーションにより5種類の通信パターンについて動的な転送特性の測定を行った結果,本稿で想定している超並列計算機に適用する場合のMDCE網の優位性が示される.

著者

濱田 敏弘 清水 昭伸 長谷川 純一 鳥脇 純一郎

出版者

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

雑誌

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

巻号頁・発行日

vol.41, no.7, pp.1937-1947, 2000-07-15

参考文献数

23

被引用文献数

8

---

本論文では, 画像内に特定の図形が含まれているかどうかを判定する画像処理手順を, ユーザの与えた誤判定率に関する条件を満たすように自動構成する一方法と, それを用いた新しい画像処理エキスパートシステムIMPRESS-Proを提案する.このシステムは, あらかじめ具体的なアルゴリズムやパラメータが未定の処理系列を用意し, それを構成する各局所処理を誤判定率の条件から推定された要求精度に基づいて逐次的に決定する.本論文では, このシステムをLSIパッケージ表面上の欠陥抽出手順の自動構成問題に適用した結果を示し, システムの可能性と限界について考察する.

著者

久保 勇貴 志築 文太郎 田中 二郎

雑誌

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

巻号頁・発行日

vol.58, no.5, pp.1061-1072, 2017-05-15

---

本論文において,我々は超小型端末向けの新しいタッチジェスチャとして,ベゼルからベゼルへのスワイプジェスチャBezel to Bezel-Swipe(以降,B2B-Swipe)を示す.ユーザは指の触覚から各ベゼルを見ることなく区別できるため,B2B-Swipeをアイズフリーで行える.また,矩形の超小型端末の場合,B2B-Swipeは16通り存在する.さらに,B2B-Swipeは1本指による1回のスワイプであるため,超小型端末が備えるタッチパネルのみを用いて実装可能である.これらにより,B2B-Swipeは端末にセンサを追加することなく,かつ既存のタッチジェスチャと共存しつつ超小型端末の入力語彙を増やすことができる.本論文では,B2B-SwipeがBezel Swipeおよびフリックと共存できること,およびアイズフリー入力可能であることを検証するために行った性能評価実験の結果も示す.

著者

小島 清信 徳田 英幸

出版者

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

雑誌

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

巻号頁・発行日

vol.56, no.1, pp.148-160, 2015-01-15

---

講演会などイベント活性化のため,口頭によるコミュニケーションと並行してTwitterのハッシュタグを利用したオンライン上の会話が利用されている.一方,時間順に各々の投稿を同等に扱うため,件数が増加すると,投稿を逐一確認する認知負荷が高くなる.この問題を解決すべく,興味のあるトピックを参加者が短い文字数で入力し,リアルタイムで相互投票によるランキングを集計するTokenCastシステムを設計・実装し,講演会や勉強会などで運用した.その結果,傾向を把握しやすくする効果にとどまらず,興味を高めるのに時間がかかるようなトピックについて参加者の興味をあぶり出す効果が観測され,投票者数の多い55件のトピック中の22%が該当した.この現象を本稿では,"コミュニティの共振現象"と名付けて分析を行い,共振の要件を示した.参加者間で価値の発見が連鎖することにより,後から重要なものを見落とさないだけでなく,イベント自体を創発的な場に変化させる効果を持つ.Recent open conferences sometimes use Twitter to establish supplemental communication channel identified by hashtags. Still, many posts may cause a heavy cognitive load to track them for both speakers and participants because each post has the even priority and is listed in chronological order. We designed a real-time ranking system, TokenCast, which allows participants to post and vote their interests in short words as hashtag. Through experimental operation in some lectures, the trends of topics were aggregated even if spams exist. In addition, the system helps participants to extract their hidden interests by taking longer time than their straight interests. We found that 22% of top 55 topics were brought by this effect, which we name as social resonance, and discuss the requirement to bring the effect. The chain of discoveries by some participants helps others to find important topics and will help the conference to increase innovative interaction.

著者

佐々木 勇和 原 隆浩 西尾 章治郎

雑誌

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

巻号頁・発行日

vol.52, no.1, pp.175-186, 2011-01-15

---

アドホックネットワークでは,膨大なデータの中から必要なデータのみを効率的に取得するため,端末が何らかの値(スコア)によって順序付けられたデータの上位k個のものを検索するTop-k検索を用いることが有効である.本論文では,アドホックネットワークにおいて,トラヒックの削減と検索結果の取得精度の低下を抑止を目的とするTop-k検索手法を提案する.提案手法では,各端末がヒストグラムを作成し,ネットワーク全体のk番目のスコアを推定する.次に,推定したk番目のスコア以上のスコアを持つデータを返信することで,できる限り検索結果に入るデータのみを返信する.また,返信先の端末とのリンク切断を検出した端末は,他の隣接端末にクエリ応答を返信することで,検索結果の取得精度の低下を抑止する.In mobile ad hoc networks , to acquire only necessary data items, it is effective that each mobile node retrieves data items using a top-k query, in which data items are ordered by the score of a particular attribute and the query-issuing mobile node acquires data items with the k highest scores. In this paper, we propose a query processing method for top-k query for reducing traffic and also keeping high accuracy of the query result. In this method, each node constructs a histogram and estimates the k-th score in the entire network. When transmitting a reply, each mobile node sends back only data items whose scores are larger than the estimated k-th score to reduce traffic as much as possible. Moreover, when a mobile node detects the disconnection of a radio link, it sends the reply to another neighboring node to keep high accuracy of the query result.

著者

平井 佑樹 井上 智雄

雑誌

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

巻号頁・発行日

vol.53, no.1, pp.72-80, 2012-01-15

---

プログラミング教育では,プログラム言語の文法やプログラム書法を理解する能力とアルゴリズムを組み立てる能力が要求される.プログラム言語の文法や簡単な例題を理解することができても,実際にプログラムを作成するときにはいくつかのつまずきが発生する.プログラミングを行う方法の1つとして,2人1組になって行うペアプログラミングがある.ペアプログラミングによるプログラミングは協調作業であるが,これはプログラミング学習の方法としても用いられている.本研究では,プログラミング学習時のペアプログラミングの成功事例と失敗事例を比較分析した.分析では作業中の会話に着目し,失敗事例の方が発話が長いこと,説明の繰返しが多いこと,一方的な発話が多いことが分かった.この知見は,ペアプログラミングにおいて協調作業がうまく進んでいるかどうかを判断する手がかりを提供し,協調作業の状態推定に有効であると考えられる.

著者

伊藤裕一朗 山田 雅之 宮崎 剛 世木 博久 伊藤 英則

出版者

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

雑誌

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

巻号頁・発行日

vol.37, no.2, pp.249-258, 1996-02-15

被引用文献数

6

---

本論文では 編物の紐状態を3次元紐図形としてとらえ これを表現し 紐図形の模様表示を支援するためのシステムについて述べる. このシステムは編み手順を表す記号列から編物のできあがり模様の3次元イメージを計算機を用いて生成し これを表示する. この紐図形生成の過程では ライデマイスター移動処理と力学的移動処理に基づく変形処理を逐次的に紐の交差点に対して施す. また 複数の交差点移動を効率的に行うために適応型移動係数を提案し その効率を評価した. さらに いくつかの例を通してこのシステムで提案した方法の有用性 および生成される図形の妥当性を示す.In this paper, string states of knitting patterns are represented by three-dimensional string diagrams, and a system for supporting knitting pattern displaying is described. This system generates and displays a three-dimensional knitting pattern from a table of notations which represents a knitting process. To generate a string diagram, this system repeatedly performs a transformation processing based on both Reidemeister movements and a string-tension movement, to crossing points of the string diagram. Also, an adaptive move coefficient is presented to execute the string-tension movement efficiently, and its effect is evaluated. The usefulness of the proposed methods and the validity of generated diagrams are verified by some examples.

著者

三嶋 仁 田中 敏光 佐川 雄二

雑誌

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

巻号頁・発行日

vol.49, no.12, pp.4080-4087, 2008-12-15

---

本論文では,グラフィックスハードウェアを使って,メタボールを直接リアルタイム表示する方法を提案する.提案手法は,レイキャストと同様に,視線上を等間隔に区切ったサンプル点でポテンシャルを計算する.ただし,ポテンシャルが存在しない場所で無駄な計算を行うことを避けるために,各粒子の最大影響範囲を表面とする球を包含する立方体を作成し,その視点側の半分を計算候補領域に選ぶ.そして,計算候補領域が不連続の場合には,Zバッファによる前後判定を使って次の計算候補領域にサンプル点を移動することで,効率的なサンプリングを実現する.また,選ばれたサンプル点のポテンシャルを,それぞれの粒子によるポテンシャルを画像に加算合成する方法で計算する.閾値を超えたサンプル点を物体の中にあると判定し,直前のサンプル点との間を補間して,物体の表面を推定する.さらに,視線方向に並んだ4点を同時に計算することで.処理コストを減らす.このような,GPUの特性を活用した実装により,メタボールの実時間表示を実現した.実験では,4 096個の粒子を使って表現した物体を,256×256画素のサイズで,30 fps前後で表示することができた.This paper presents a real time rendering method for metaballs. The method computes potential at equal interval sampling points like ray-casting. However, in order to remove unnecessary sampling points, a bounding cube is created for each particle then its front-half is selected as the sampling area. At each pixel, the initial sampling point is selected on the front surface of the nearest are. The sampling point shifts at same interval step by step. However, if the sampling areas are not continuous on the ray, the sampling point is made to jump to the next area by using modified Z-buffer algorithm. For each particle, potential at the sampling points is added to the accumulation buffer, which is the same size of the image. Then potential at each pixel is evaluated. If the value is over the threshold, surface of the object is estimated by interpolating between the sampling point and the proximate point. In addition, the cost is reduced by computing 4 sampling points along the ray together. By considering feature of GPU, real-time rendering is realized. The experimental result confirmed that 256×256 images including 4096 metaballs are created in 30 fps.

著者

桂田 浩一 中村 有作 山田 真 山田 博文 小林 聡 新田 恒雄

出版者

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

雑誌

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

巻号頁・発行日

vol.44, no.11, pp.2681-2689, 2003-11-15

被引用文献数

17

---

本論文ではマルチモーダルインタラクション(MMI)記述言語XISLを提案する.XISLの目標は,(1) MMIで必要とされるモダリティの利用方法・対話の制御を記述可能にすること,(2)モダリティの拡張性を高めることである.これらを実現するために,XISLでは,(1) VoiceXML,SMILといった従来言語を参考に,モダリティの利用方法および対話制御の諸概念や命令を導入し,(2)入出力モダリティに関する記述に自由度を持たせている.本論文ではXISLの概略を説明するとともに,PC上に実装したXISLの実行システム,およびプロトタイプとして試作したオンラインショッピングアプリケーションについて述べる.またXISLを他の言語と比較することにより,XISLのMMI記述言語としての特徴を明らかにする.This paper provides a multimodal interaction (MMI) description languageXISL. XISL aims to be a language satisfying the following conditions: (1) it has enough power to describe MMI scenarios, (2) it has extensibility of input/output modalities. For this purpose, (1) XISL prepares a lot of commands and structures used in previous languages such as VoiceXMLand SMIL,and (2) XISL has flexibility of describing input/output modalities. In this paper, we outline the specification of XISL, and show its interpreter and an application implemented on PC. Moreover, we clarify advantages of XISL by comparing it with other MMI description languages.

著者

塩塚 大 鵜林尚靖 亀井 靖高

出版者

情報処理学会

雑誌

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

巻号頁・発行日

vol.53, no.2, pp.631-643, 2012-02-15

---

プログラマはデバッグに多くの時間を費やす傾向がある.プログラマはエラーの現象をチェックしたり,様々なコード上の箇所を行き来したり,あるいはバグ修正履歴を探索したりして,コードを修正する.このような一連のデバッグ作業を自動化することができれば,他の生産的な作業に時間を割くことができる.本論文では,この問題に対処する方法として,デバッグ支援のための関心事指向推薦システムdcNavi(Debug Concern Navigator)を提案する.dcNaviでは,リポジトリに含まれるプログラム情報やテスト結果,および修正履歴を活用することで,デバッグの関心事に応じた適切なヒントを提供する.本論文では,Eclipseプラグインプロジェクトに関する9つのオープンソースリポジトリを対象に,再利用性の観点からバグ修正履歴に基づいた推薦の有効性についても評価する.Programmers tend to spend a lot of time debugging code. They check the erroneous phenomena, navigate the code, search the past bug fixes, and modify the code. If a sequence of these debug activities can be automated, programmers can use their time for more creative tasks. To deal with this problem, we propose dcNavi (Debug Concern Navigator), a concern-oriented recommendation system for debugging. The dcNavi provides appropriate hints to programmers according to their debug concerns by mining a repository containing not only program information but also test results and program modification history. In this paper, we evaluate the effectiveness of our approach in terms of the reusability of past bug fixes by using nine open source repositories created in the Eclipse plug-in projects.

著者

福島 拓 吉野 孝 重野 亜久里

雑誌

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

巻号頁・発行日

vol.54, no.1, pp.256-265, 2013-01-15

---

現在,在日外国人数は年々増加しており,多言語によるコミュニケーションの機会は増加している.医療の分野では医療機関を訪れる外国人患者とのコミュニケーションのために多言語問診票が使用されている.しかし,多言語対応の紙の問診票は種類が少ないため各医療機関の要求を満たすことができていない.また,日本人医療従事者が外国人患者の母語で書かれた紙の問診票を理解することは困難である.そこで我々は,用例対訳や機械翻訳を利用して診察に必要な基本情報である症状の伝達を支援する,多言語問診票作成システムの開発を行い,問診票入力機能についての評価を行った.本研究の貢献は次の2つである.(1)日本人医療従事者と外国人患者との間のコミュニケーションを支援する,多言語問診票作成システムの提案を行い,実現した.(2)用例対訳と機械翻訳を併用することで,病名や症状を含む文の正確性と,状況説明などの付与情報を含む文の網羅性を確保した多言語問診票の記入の可能性を示した.

著者

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

出版者

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

雑誌

情報処理学会論文誌 (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.