Search

トイレの便器にセンサを組み込むことで，ユーザの生体情報を日常的に取得し，健康管理などに応用できるようになった．トイレは多くの場合，複数人が共用するため採取した生体情報をユーザごとに分類する必要があるが，カメラや音声，体重計による個人識別はプライバシの観点から適切ではない．タッチパネルなどの機器を設置して操作することでの個人識別も可能であるが，本来不要な操作であるため操作を忘れることもある．そこで本論文では，トイレで自然に行われる動作であるトイレットペーパの巻き取りの個人差に着目し，芯に角速度センサを設置したトイレットペーパの回転特性から個人を識別する手法を提案する．評価実験により提案システムの有効性を確認したところ，識別精度は実験室環境において5人から1人を識別する場合に83.9%，実環境において5人から1人を識別する場合に69.2%となった．さらに，提案手法を用いて，体調管理を推進するライフログアプリケーションと，トイレットペーパの使いすぎを抑止するアプリケーションを実装した．

トイレの便器にセンサを組み込むことで，ユーザの生体情報を日常的に取得し，健康管理などに応用できるようになった．トイレは多くの場合，複数人が共用するため採取した生体情報をユーザごとに分類する必要があるが，カメラや音声，体重計による個人識別はプライバシの観点から適切ではない．タッチパネルなどの機器を設置して操作することでの個人識別も可能であるが，本来不要な操作であるため操作を忘れることもある．そこで本論文では，トイレで自然に行われる動作であるトイレットペーパの巻き取りの個人差に着目し，芯に角速度センサを設置したトイレットペーパの回転特性から個人を識別する手法を提案する．評価実験により提案システムの有効性を確認したところ，識別精度は実験室環境において5人から1人を識別する場合に83.9%，実環境において5人から1人を識別する場合に69.2%となった．さらに，提案手法を用いて，体調管理を推進するライフログアプリケーションと，トイレットペーパの使いすぎを抑止するアプリケーションを実装した．

近年，日本や中国において，漢字を読むことはできるが書くことができない「漢字健忘」が社会問題になっている．この問題を解決するために，本論文では文書を読むだけで漢字の字形記憶を効果的に修正・強化することができるようにする手法SwaPS を提案する．SwaPS では，漢字全体の80%を占める形声字に着目し，形声字を構成する意符と音符の位置を入れ替えることによる字形変形手法によって誤字形文字（PS 字形文字）を生成し，これを文書中に混入させる．PS 字形文字を含む文書を読むことで，漢字字形に注意が惹きつけられることにより，漢字字形記憶が修正・強化されることが期待できる．将来的にはPS 字形文字を自動生成して提示する電子書籍リーダの構築を目指しているが，本論文ではその実現に向けた基礎的な調査として，手作業で作成した誤字形文字を紙に印刷してユーザに提示することによるユーザスタディを実施した．その結果，PS 字形文字を混入した文書を読むことで，正しい字形の文字のみを含む文書を読む場合より，有意に漢字字形記憶を強化できること，および，正しい字形の文字のみを含む文書を読む場合よりも負荷が増加しないことを確認した．Character amnesia is a recent phenomenon in which native Chinese or Japanese speakers forget how to write Chinese characters (kanji in Japanese), although they maintain the ability to read them. To solve this problem, we propose a method for generating incorrect character shapes named SwaPS, which can effectively correct and strengthen the memory of character shapes by simply reading a document. SwaPS generates incorrect characters named PS characters by using a deformation method that swaps the position of the semantic radicals and phonetic radicals of the phonogram characters, which account for 80% of all Chinese characters. By reading a document that includes PS characters, the user’s attention is drawn to the character shapes, which is expected to correct and strengthen his or her memory of the character shapes. In the future, we aim to build an e-book reader that automatically generates and presents PS characters. To this end, in this paper, we conducted a basic investigation by printing manually created incorrect characters on paper and presenting them to users. The results of the user study confirmed that reading a document that includes PS characters significantly strengthens character shape memory compared to reading a document that contains only correct characters without increasing the user’s workload.

音声中で検索語がそのまま現れる発話を特定する音声検索語検出(Spoken Term Detection: STD)の研究を行う. STDにおける大きな問題点の1つに検索語ではないものを検出する誤検出問題があげられる. 本研究では, この誤検出をできるだけ少なくする方法を研究する. 具体的には, 検索語拡張を行って拡張語を得たうえで連続DPマッチングによる拡張語の検索を行い, その検索結果に基づいて検索語が含まれる発話の候補の並べ替え(リスコアリング)を行うことで誤検出を抑制する方法を提案する. 本論文では, 拡張語の獲得方法として, 検索語の前または後に文字列を付加したものを拡張語とする手法を提案するcこの手法はどのような検索語に対しても容易に拡張語を自動生成できるため, 汎用性が大きいと考えられる. 講演音声を対象とした種々のSTD検索タスクで評価したところ, すべてのタスクで検索精度の向上が得られ, 提案手法の有効性および汎用性を示した., This paper addresses Spoken Term Detection (STD), which finds speeches including a specified query term. One of the main STD problems is a false detection problem, which we focus on in the paper. We investigate a method suppressing false detections based on a query expansion (QE) approach, which extracts query-related terms. Specifically, we rescore and rerank speech candidates which may include query term(s) with the results obtained by continuous DP matching between expanded queries and speeches. In this paper, we propose a QE method for STD, that is, making expanded terms by adding words to the original query. The QE approach is widely applicable since it can generate expanded terms automatically for any query terms. On a task of STD from lecture corpus, we confirmed the effectiveness of the proposed method. We achieved STD performance improvements for several STD tasks, which showed a validity and robustness of the proposed method.

個人や組織の活動にともなって時系列的に発生する情報をサーバで安全に集計することは実世界で大きなニーズがある．この集計において，サーバは受け取る時系列情報の範囲をあらかじめ予想できないため，情報の受取りにともなって集計表の値の加算だけではなく，集計表の拡張を行う必要がある．本論文では，時系列情報の安全な集計問題を新たに定義したうえで，秘密分散によって時系列情報を秘匿しながらマルチパーティ計算によって集計する方式を検討する．まず，秘密分散とマルチパーティ計算によって個々の値を秘匿しても，アクセスパターンを通じて集計表の推定が可能になることを示す．表の全探索によって値の加算と表の拡張を行う方法を提案し，アクセスパターンは秘匿できるが通信量が大きいという問題点を明らかにする．この分析に基づいて，全探索を避けながらアクセスパターンを秘匿するために，再帰的Path ORAMを用いる手法を提案し，通信量のオーダーレベルの削減効果を明らかにする．, People often need to use servers to count on time-series information that is generated during activities of people and organizations. In this counting, because a server cannot predict range of information to accept in future, a server needs not only to add values on the counting table but also to extend the table. This paper provides new definition of secure counting on time-series information. Based on this definition, the paper describes methods that hide time-series information by secret sharing and that count on it by multiparty computation. It is shown that tabulated values can be estimated on the bases of observed access patterns even if each value is hidden by secret sharing and multiparty computation. A method that accesses the table exhaustively to update and extend the table is proposed and evaluated to show its confidentiality against access pattern observation while showing its problem of a large communication amount. Based on these analyses, a method that uses recursive Path ORAM to hide access patterns while avoiding exhaustive accesses is proposed and evaluated to show its effects on reducing communication amounts in the order level.

オープンソースソフトウェア（以下，OSS）開発には多くの開発者が携わっており，異なる特徴を持つ開発者が存在すると考えられる．開発者の特徴を明らかにすることで，OSSプロジェクトの成功に必要な開発者を明らかにできるなどのソフトウェア工学における新しい観点の発見が期待される．本稿ではGitHubで活発なOSSプロジェクトであるhomebrewとnodeに参加する開発者を活動履歴からクラスタリングし，その結果から開発者を分類した．クラスタリングで得られた樹形図を分析した結果，活発なOSSプロジェクトには迅速・議論型，迅速・総合型，悠然・総合型などの異なったタイプの開発者がいることが分かった．, In open source software projects, there should be different types of developers. Clarifying the characteristics of developers may enable us to manage projects successfully. In this paper we studied developers in active projects in GitHub, homebrew and node. Based on the analysis of development activities in GitHub, we classified developers and found that there are different types of developers in active projects like fast-commenter, fast-generalist, and slow-generalist. In open source software projects, there should be different types of developers. Clarifying the characteristics of developers may enable us to manage projects successfully. In this paper we studied developers in active projects in GitHub, homebrew and node. Based on the analysis of development activities in GitHub, we classified developers and found that there are different types of developers in active projects like fast-commenter, fast-generalist, and slow-generalist.

研究室内での文献管理において重要となるのは「メンバ間で文献情報の共有を行えること」そして「容易に文献を検索して,論文に引用できること」である.現在,文献管理ツールが多数開発されているが上記の条件を十分満たすものはない.そこで,本研究では研究室内での利用に特化した文献管理システム「bole」を開発する.提案システムは,研究室内で文献情報の共有を行いやすくするため,ウェブアプリケーションによる実装を行い,文献情報を登録する際,同時に文献に関する研究分野やコメント,評価などの情報を追加登録する.また,筆者らの研究室では,論文執筆の際,参考文献の記述にBibTEXを利用するので,便利にBibTEXを利用するために,文献を論文に引用するときに必要な「引用キー」を1クリックでコピーできる機能などの実装を行う.提案システムの導入により,研究室内での文献情報の共有を簡単にすることができ,さらに論文執筆の効率化を進めるという提案システムの有用性を検証する.The important things about managing literatures in laboratories are "Sharing literatures between members" and "Easy to search literatures and to cite them in papers". Currently, many literature management tools have developed, but not enough to satisfy the above conditions. In this paper, we develop the literature management system "bole" that specializes in the use of laboratories. The proposed system is developed as the web application, and when literature information is registered in the system, research area, comment, evaluation, and so on about literatures are registered as additional information in order to facilitate sharing of literature information in laboratories. BibTEX is used in our laboratory to write a paper, therefore we develop functions convenient to use BibTEX, for example citation key can be copied with one click. We show the utility of the proposed system to share literature information easily in the laboratory, and efficiently to write the papers.

本稿では，分散ファイルシステムGfarmのためのMPI-IO実装，MPI-IO/Gfarmについて述べる．Gfarmファイルシステムは広域にまたがる複数のクラスタ内の計算ノードのストレージをまとめ1つのネームスペースで管理することを可能にする．Gfarmファイルシステムは，計算ノードのローカルストレージの利用，ファイル複製の利用によりスケーラブルなファイルアクセス性能を実現している．しかし，MPI-IOにおける典型的なアクセスである複数のプロセスが単一のファイルに対して書き込みを行う場合においては，性能はスケールしない．本稿では以上の場合の性能改善を主な目的とし，最適化手法の提案と実装について述べる．性能評価では，IOR，HPIO，BTIOを用いた評価を行い，PVFS2，NFSとの比較を行った．提案手法を用いることでノード数に対してスケーラブルな結果が得られ，PVFS2との比較においても2倍から3倍程度MPI-IO/Gfarmが良い性能を示した．This paper proposes a design and implementation of an MPI-IO implementation of the Gfarm file system, called MPIO/Gfarm. The Gfarm file system is a global file system that federates the local storage of compute nodes among several clusters. It has a scale-out architecture designed to support distributed data-intensive computing. However Gfarm file system does not achieve scalable performance in the case of parallel writes to a single file, a typical file operation in MPI-IO. This paper proposes an optimization technique to improve the parallel write performance to a single file. In the evaluation using BT- IO, IOR and HPIO, MPI-IO/Gfarm achieves scalable parallel I/O performance. Compared with MPI-IO on PVFS2 and NFS, it achieves at most a 1.5x speedup of write performance and 2.0x to 3.0x speedup of read performance using seven storage nodes.

本稿では,時系列の変化量に対して制約を設ける,外部環境モデルの抽象化手法を提案する.センサ・アクチュエータの組み込みシステムにおいて,複数の外部環境の情報を内部に保持するシステムの場合,静的な観点で外部環境の情報の範囲を削減する抽象化方法には限界がある.また,動的な観点で外部環境の情報の変化に制約を設ける抽象化方法は,制約の分析に必要なセンサとアクチュエータの振舞いを,検査記述から必要十分に抽出するのは困難である.さらに,センシング対象である水や色や音など,外部環境に関する必要十分な情報が検査記述にないため,その変化の分析が困難である.本稿では,この動的な観点での抽象化の2つの問題に対して,制約の分析に必要なセンサとアクチュエータの振舞いをゴール指向分析10)を用いて網羅的に抽出し,外部環境の情報に対する時系列の変化量をドメイン知識を用いて分析する,外部環境の情報の変化に制約を設ける抽象化手法を提案する.さらに,事例をもとにその有効性を示す. : In this paper, we propose an abstraction method of the external environment model with a limit on the time series variation. This paper is intended for embedded systems with sensors and actuators. When the system uses multiple external environment information, the abstraction method reducing the scope of the information from the static viewpoint might not work well. Also, the abstraction method giving a limit on the time series variation from the dynamic viewpoint is difficult from the description for model checking. Because it is hard to extract necessary sensors and actuators behaviors required to analyze for the limit. In addtion to, it is difficult to analyze the time series variation, because of the lack of necessary information in the description for model checking, The external environment information is water, color, sound, and etc. In this paper, to solve such problems with the dynamic viewpoint of this abstraction, we propose the abstraction method giving a limit on the time series variation, using a Goal-Oriented Analysis for extracting the behavior comprehensively, using domain knowledge for analyzing the time series variation. Also, we show validity of our proposal method with case studys.

近年，ソフトウェアの利用環境が広がり，状況の変化に応じて自発的に振舞いや構成を変化させる自己適応システムの実現に対する期待が高まっている．自己適応システムは様々な関心事に対応するための並行プロセスにより構成されるが，状況によって振舞いやそれを構成するプロセス群が変わる可能性があることから，プロセス間で発生する競合に対しては，対処法の検討だけでなくその検出さえも困難である．そこで本研究では，システム開発の早期段階における分析・検証技術に着目し，自己適応システムに対する要求モデルと形式仕様を用いた競合検出法と，競合を検出するための形式仕様構築法を提案する．また，提案手法の有効性を仕様構築実験の実験結果から評価する．本提案手法により，自己適応システム構築に対する早期段階での競合への対応が期待できる．, Self-adaptive systems have recently attracted attention as flexible software because they can change their own behaviors to react to changes in their environments. However, these systems usually have multi-processes within them and developers are forced to design and construct these processes deliberately not to induce conflicts. This paper describes our approach to developing self-adaptive systems utilizing a requirements model and formal specification to detect conflicts and design the behavior keeping away the conflicts. The paper also discusses our evaluation of the effectiveness of our development process through a case study.

本論文では過去のソフトウェア開発プロジェクトの実績データから性能の良い開発工数予測モデル（重回帰モデル）を構築することを目的として，予測対象プロジェクトの特性に基づいて，モデル構築のためのフィットデータを自動的に選定する，もしくは，選定せずに全データを用いることを自動的に決定する方法を提案する．ISBSGデータセットを用いた評価実験の結果，フィットデータの選択をいっさい行わず，すべての過去プロジェクトを用いる従来の重回帰モデルと比較すると，分母を実測値とする相対誤差MREの中央値では0.452から0.367へ，分母を予測値とする相対誤差MERの中央値では0.357から0.336へと精度が向上した．本論文の結果から，予測対象の特性に合わせてフィットデータを選定する，もしくは選定しないことを決定することが重要であり，その系統的な一手法として，提案方法が役立つことが示された．, To construct a better multivariate regression model for software effort estimation, this paper proposes a method to automatically select (or not to select) projects as a fit data from a given project data set based on estimation target's features. As a result of an experimental evaluation using the ISBSG data set, the proposed method showed better estimation performance than the conventional method (of constructing a regression model using all project data). The median of MRE (Magnitude of Relative Error) was improved from 0.452 to 0.367, and the median of MER (Magnitude of Error Relative) was improved from 0.357 to 0.336. This paper showed the necessity of fit data selection, and showed that the proposed method was one of the effective and systematic meant to do the selection.

近年，環境の変化に応じて柔軟に振舞いを変えることのできるself-adaptiveシステムに対する期待が高まっている．しかし，その統一的な開発方法はいまだ確立されておらず，システムに対する要求に応じた柔軟なシステムアーキテクチャの構築が研究課題となっている．そこで本研究では，要求分析モデルを利用したself-adaptiveシステムのアーキテクチャモデル構築法を提案し，あわせて，本モデルを利用したマルチスレッド・プログラミングによるプログラム実装方針を示す．本提案手法により，要求に柔軟に対応できるself-adaptiveシステムの構築が可能となる．, Self-adaptive systems have recently attracted attention as flexible software because they can change their own behaviors to react to changes in their environments. This paper describes our approach to developing self-adaptive systems utilizing a requirements model to build the system architecture. This paper also discusses the implementation style using the acquired architecture model, and our evaluation of the effectiveness of our development process through a case study.

オフィスにおける会議やミーティングをビデオを用いて録画することに関する研究が行われている．ここでビデオを用いる主な目的は意思決定の過程を包括的に保存・伝達することであり，既存の文字ベースの議事録以上の情報共有が期待できる．近年は，ビデオを録画する機材として全方位カメラを利用し，特に小規模なミーティングを録画するシステムが利便性の面から提案されているが，それが意思決定の伝達に有効か否かという評価はなされていない．また，議論を撮影する研究では，カメラの切替え方法を主とする提示方法が提案されているが，表現様式と議論内容の伝達の関係に対する議論もなされてこなかった．本稿では，全方位カメラを用いた自動化された簡便な会議撮影システムが撮影するビデオが閲覧者の意思決定の質に及ぼす影響を測定することで，意思決定に関わる伝達用メディアとしての会議撮影システムの特性を評価する．このため，まず全方位カメラを用いる場合において必要なビデオの提示様式を検討した．この結果，カメラ切替えがある映像と単に参加者の映像を並べた映像間には会議の内容を伝達するという目的に関して差はないことが分かった．次に，ビデオが意思決定に及ぼす影響を，専門家によるコンセンサスによって解が与えられる意思決定型の問題解決作業を題材にした被験者実験を基に分析した．この結果，会議を撮影したビデオは意思決定の質に強い影響を及ぼすことが示唆された． This paper describes the effectiveness of recording meetings, where decisions are made using a meeting capturing system. There have already been some studies on how to capture meetings at the office as videos. The aim of that is to preserve and distribute the process of decision making totally which provides more information than text-based information such as minutes. In several studies of such meeting capturing system, omni-directioral camera systems have been adopted because of their convenience. The potency to convey the process of decision making, however, has not been studied. Although several camera switching methods for filming meetings are proposed in studies on video teleconferencing or meeting capturing, it has hardly been mentioned that the relationship between these expression of switching and the effectiveness of conveying meetings. In this paper, we discuss on videos expression for capturing meetings with omni-directioral cameras. As the result, there is little difference between switching shots and whole group shot in conveying processes of meetings. We also analyzed the influence of videos for the decision making by NASA's moon survival problem. It is shown that the video captured meetings, have the capacity to influence decision making better than the paper-based minute.

電子メールは，強力なコミュニケーションツールとして我々の生活の中に深く浸透してきている．しかしながら，電子メールは，対面対話状況においてメッセージの送り手やメッセージそのものに対する印象形成に大きな影響力を持つとされる非言語的手がかりや送り手の背景情報の伝達が非常に制限されるという欠点を持つ．そこで本論文では，メッセージを作成する過程における送り手の振舞いに着目し，そこから非言語的手がかりに相当すると思われる言外の情報を自動取得し，これと普段のメッセージ作成状況との差分を直観的に見とることができる形態でメッセージ中に埋め込むことにより，受け手が対面対話における非言語情報を解釈するのと同様の形態で，自然に送り手の心理や状況を推し量ることを可能とするメールシステムを提案する．被験者実験を実施した結果，被験者は付加された編集過程情報を参照し，そこから送り手の状況や心理を推し量っていること，編集過程情報によって受け取られる印象が変化することが分かり，本論文で提案した編集過程情報が非言語的手がかりの代わりとなりうることが示された．E-mail has been widely used as a powerful communication tool in our everyday life. However, it is pointed out that e-mail involves a critical problem: it can convey few nonverbal cues that significantly affect receivers of messages for their impression formation on the messages as well as on senders of them. We propose, in this paper, a novel e-mail system that automatically extracts implied messages from the senders' behaviors in their message-composition processes, and that embeds the implied messages in the mails in a way that receivers can readily compare it with the senders' usual behaviors. By referring to the embedded implied messages, the receivers become able to naturally infer the senders' situations and mental states. We conducted experiments with subjects using a prototype system. From the results of the experiments, we confirmed that the receivers referred to the embedded implied messages and they actually inferred the senders situations. In addition, impressions on the mails changed depending on the embedded implied messages. Consequently, we can conclude that the implied messages proposed in this paper can work as a substitution of the nonverval cues in the face-to-face communications.

ソフトウェア開発における多変数の実績データを用いた工数見積りでは，その精度を高めるうえで，見積りに不要な変数を除去することが必須となる．しかし，近年注目されているプロジェクト間の類似性に基づく工数見積り方法（analogy-based法）においては，その特性を活かした変数選択法が提案されていない．本論文では，「説明変数（プロジェクト特性）の値が似ているプロジェクトどうしは工数も似た値をとる」というanalogy-based法の考え方を踏襲し，目的変数である工数との相関係数が低い説明変数を除去することで，説明変数の値が似ていれば目的変数の値も似ているという状態を保つように変数選択する方法Correlation Threshold based Selection（CTS）を提案する．ソフトウェア開発企業で収集された3種類の開発実績データセットを用いた評価実験の結果，CTSは，従来手法であるステップワイズ変数選択法と比べて計算量が小さく，特に，カテゴリ変数の数が少ない場合に，安定して精度を改善することができた．; Analogy-based estimation methods have been studied for deriving an accurate effort estimate required to complete a project; however, few studies have focused on their variable selection methods. Here, variables to be selected are predictor variables (e.g. development size and development duration, etc.) related to an objective variable (effort). In this paper, we propose Correlation Threshold based Selection (CTS) method that exploits the basic concept of analogy-based estimation where efforts are similar if predictor variables are similar. The proposed method requires few amount of calculation while it can accurately exclude variables that do not correlate with the effort. This paper experimentally evaluated the effectiveness of the proposed method by using three data sets collected from software development companies. The result showed that the proposed method provided high estimation accuracy for projects having larger number of predictor variables.

発想支援システムの課題である画面の一覧性を克服する発想支援グループウェアKUSANAGIを開発した．このグループウェアは複数のPC画面を並べた大きな共同作業空間により，数百枚規模のラベルデータを一覧できる．また，複数のネットワークマウスによる並行操作によって参加者が同時に別々の共有オブジェクトを操作できる．このグループウェアを用いて物理的に10画面大である共同作業空間を構築し，約300枚の意見データを視覚的にグループ化することにより概念形成を行う島作成の作業に適用した．その結果，過去の発想支援グループウェアと比べて，(1)マルチカーソルの同時操作により，参加者の共有画面への操作密度が高くなり，島作成時間が短縮されること，(2)島の数は増加し，島に含まれる意見の一覧性は確保されるとともに，島作成に関する共有画面操作が増加しており，丁寧な島作成が行われていることが分かった．さらに，(3)会話量は紙面上の作業と同等であるとともに，島作成の時間効率が紙面上の作業と比べて優れているという傾向が得られた．Groupware for an idea generation support system named KUSANAGI has been developed to overcome the problem of looking through the few hundreds of data that is a major problem of idea generation support systems with handoperation. The groupware has a large collaboration workspace showing few hundreds of data and supports multi cursors for parallel works by users. Trials of the grouping task for shared windows using about three hundreds of labels for concept formation with the groupware showed; (1) the multi cursors with concurrent access for shared windows made substantial collaboration and shortened the working hour of the grouping task significantly, (2) the large workspace caused detailed grouping work that kept glancing all label data and increased the operation of the group objects, and (3) the frequency of conversation was not inferior to those cases with paper and the time efficiency of the grouping task had a tendency to be superior to those cases with paper.

本論文では，fault-prone モジュール判別モデルの構築における課題の1 つである，データセット中の外れ値（特異なモジュール）による判別性能の低下を改善することを目的とする．そのために，1つの母集団に対する代表的な外れ値除去法であるMahalanobis Outlier Analysis（MOA）とLocal Outlier Factor Method（LOFM）を2 クラス（fault あり/なし）の判別に拡張した手法と，2 クラスの判別を前提とした外れ値除去法であるRule-Based Modeling（RBM），および，新たに提案するCross-Class Mahalanobis Outlier Analysis（CC-MOA）の効果を実験的に比較した．実験では，NASA（アメリカ航空宇宙局）が公開している3 つのプロジェクトのデータセットを題材として，MOA，LOFM，RBM，CC-MOA のそれぞれの適用の効果を，3 つの代表的な判別モデル（線形判別分析，ロジスティック回帰分析，分類木）について交差検証法により評価した．実験の結果，LOFM を除く3 つの外れ値除去法を用いた場合，いずれの判別モデル，データセットに対しても判別精度が改善され，F1 値の平均向上幅はMOA では0.139，RBM では0.137，CC-MOA では0.123 であった．; The goal of this paper is to improve the prediction performance of fault-proneness models by removing outliers from a dataset used for model construction. We experimentally evaluated the effect of four outlier removal methods; Mahalanobis Outlier Analysis (MOA) and Local Outlier Factor Method (LOFM) which are well-known outlier detection methods for a single sample, and Rule-Based Modeling (RBM) suitable for two samples, and Cross-Class Mahalanobis Outlier Analysis (CC-MOA) proposed in this paper. In the experiment, we compared MOA, LOFM, RBM and CC-MOA each applied to three well-known fault-proneness models (linear discriminant analysis, logistic regression analysis and classification tree) using three NASA project datasets. As a result, three outlier detection methods excluding LOFM improved F1-values of all fault-proneness models for all datasets. The average improvements of F1-value by MOA, RBM and CC-MOA were 0.139, 0.137 and 0.123 respectively.

マルチメディアデータのように,データ処理時間に制限が課されているシステムにおける平均遅延時間とジッタを求める方法を示す.本方法では一般化確率ペトリネット(GSPN)によってモデル化されたコンピュータシステムのモデルを用いて縮約可達グラフを求め,グラフから得られる処理の経路に基づき本稿に示した式を用いて平均遅延時間とジッタ(標準偏差)を導出する.また,ネットワークゲームを処理するシステムに本方法を適用した例をあわせて示す., This paper proposes a probabilistic evaluation method for system analysis. Mean delay time and jitter (standard deviation of delay time) of processing time in a system can be obatained using the equations shown in the paper and the GSPN (Generalized Stochastic Petri Net) model for the system. An example of evaluation for a system processing network game is also shown in the paper.

application/pdf, 学術雑誌論文, PDAや携帯電話などの表示画面が小さな小型情報機器では,大きなサイズのWWWページなどを閲覧する場合に,スクロール操作と閲覧操作を頻繁に繰り返す必要がある.本論文では,表示コンテンツのスクロール操作と編集操作を直感的に切り替える手段として,文鎮メタファに基づくインタフェース手法を提案する.平滑な机の上に紙片を置き,片手で紙片に文字を書き込もうとする場合,筆記具の先だけを紙の上において動かすと,文字を書くことができず紙が滑ってしまうことがある.このような状況では,人は,手のひらを使って,紙を押さえて固定して文字を書こうとする.手を使って文鎮のように紙を押さえるこの動作を メタファとして利用すれば,スクロールと編集操作をスムーズに切り替えるインタフェースが実現可能である.そこで,本論文では,ペン入力が可能なPDAなどの手のひらが当たる部分にタッチセンサを取り付けたデバイスを提案する.これにより,手のひらがタッチセンサに触れていないときに,ペンでドラッグするとコンテンツがスクロールするインタフェースを実現できる.本論文では,このインタフェースを実装し,地図,WWWページ,写真を閲覧するアプリケーションを試作し評価した., Conventional scrolling methods for small sized display in PDAs or mobile phones are difficult to use when frequent switching of scrolling and editing operations are required, for example, browsing and operating large sized WWW pages. In this paper, we propose a new user-interface method to provide seamless switching between scrolling and other operations such as editing, based on Paperweight Metaphor. A sheet of paper that has been placed on a slippery table is difficult to draw on. Therefore, in order to write or draw something on the sheet of paper, a person must secure the paper with his/her palm to avoid the paper from moving. This will be a good metaphor to design switching operation of scroll and editing modes. We have made prototype systems by placing a touch sensor under each PDA display where user's palm will be hit. We also have developed application programs to browse maps, WWW pages and photographs, which switch scrolling and other operation mode by the sensor output, and have evaluated them.

本論文では,音楽理論Generative Theory of Tonal Music (GTTM)に基づき,曲をフレーズ,モチーフなどに自動でグルーピングするシステムについて述べる.楽曲の切れ目を発見する手法は従来からも検討されてきたが,それらは主にメロディの局所的な境界を求めることが主眼であった.GTTMによるグルーピングでは,そのような局所的な境界を求めると同時に,メロディの繰返しなどを発見し,階層的な全体構造を獲得することを目的とする.しかしながら,GTTMは多数のルールから構成されており,その適用に関して優先順序が定義されていないため,グルーピング構造を獲得をするためにはこれまで恣意的・非手続き的な手作業が必要であった.この問題を解決するため,本研究では,計算機実装用にルールを再形式化したGTTMの計算機モデルexGTTMを提案する.exGTTMの特長は,ルールの優先順位を決めるためのパラメータを導入したことである.計算機上に実装したexGTTMを用いてグルーピング構造分析を行い性能を評価した. : This paper describes a grouping system which segments a music piece into units such as phrases or motives, based on the Generative Theory of Tonal Music (GTTM). Previous melody segmentation methods have only focused on detecting local boundaries of melodies, while the grouping analysis of GTTM aims at building a hierarchical structure including melodic repetition as well as such local boundaries. However, as the theory consists of a number of structuring rules among which the priority is not given, groups are acquired only by the ad hoc order of rule application. To solve this problem, we propose a novel computational model exGTTM in which those rules are reformalized for computer implementation. The main advantage of our approach is that we attach a weight on each rule as an adjustable parameter, which enables us to assign priority to the application of rules. In this paper, we show the process of grouping analysis by exGTTM, and show the experimental results.

日本語には,複数の形態素がひとかたまりとなって,1つの機能語相当語として働く表現が多数存在する.このような表現は一般に複合辞と呼ばれ,日本語文の構造を理解するために非常に重要である.特に,複合辞と同一の形態素列が本来の意味で構成的に用いられている場合と,非構成的に複合辞として用いられている場合とがあり,これらの用法を適切に識別できることが不可欠である.しかし,既存の解析系においては,多くの場合において,それらの用法の識別を適切に行っておらず,複合辞の取扱いが不十分であった.そこで,本論文では,複合辞を研究するための基礎資料として,複合辞用例データベースを作成する手順を提案し,実際に用例データベースの作成を行った結果を報告する.また,作成された用例データベースを用いて,日本語複合辞についての分析を行った結果を述べる., The Japanese language has many compound functional expressions which consist of more than one words including both content words and functional words. Those compound functional expressions are very important for recognizing the syntactic structures of Japanese sentences and for understanding their semantic contents. Unfortunately, recognition and semantic interpretation of them are especially difficult because it often happens that one compound expression may have both a literal (in other words, compositional) content usage and a non-literal (in other words, non-compositional) functional usage. Even widely-used Japanese text processing tools often fail in resolving the ambiguities of their usages. Aiming at being used as an example database for training/testing a tool which properly recognizes and interprets them, this paper proposes how to develop an example database of those Japanese compound functional expressions. This paper also presents the details of the developoed example database and the results of analyzing the example usages of the compound functional expressions.

教育用計算機システムでは，運用コスト削減が大きな課題となっている．本論文では，特にプリンタシステムに着目し，無駄な印刷を減らすことを目的とした．そのために，教育環境における一般的なプリンタシステムへの要求事項を，ユーザ側の視点と管理者側の視点の両面から，(1) 事前確認機能，(2) 取捨選択機能，(3) 総印刷枚数制限機能，(4) プリンタアクセス制限機能，の4点に分けて整理する．その上で，我々の教育用計算機システム上に実装を行った．本プリンタシステムは，印刷枚数制限機能を持たせたLPRngベースのプリンタサーバ上と，Linuxクライアント上のGUIツールから構成されている．さらに，サーバでは，Postscriptエンジンと通信する手法とPrinterMIBを用いる手法の2方式を選択できる．また，このプリンタシステムを稼働させたことによって，総印刷枚数が削減されたことを確認した．; This paper presents an effective framework to avoid waste printing in an educational computer system. We first point out primary four requirements from both administrator and user sides, (1) preview, (2) shrink, (3) quota and (4) authorize function. Then, to meet the requirements, we have implemented a printing subsystem in our educational computer system. The subsystem consists of LPRng-based printer server and GUI applications for Linux clients. The server uses either raw socket mode or printerMIB for obtaining the number of printings from printers, and manages printing quota. Statistics show that the number of papers printed is significantly reduced after deploying the proposed subsystem.

ホームネットワークに接続された家電機器を連携制御しユーザの快適性・利便性を高める，家電機器連携サービスの一実現手法を提案する．既存の機器連携システムでは，ホームサーバが家電機器を中央集権的に制御する方式が一般的である．しかしながら，家電機器の多様化・高性能化により，ホームサーバへの負荷集中や信頼性・相互接続性の低下が問題となる．そこで我々は，サービス指向アーキテクチャ（SOA）に基づいた新たな連携サービス実現方式を提案する．提案手法では，各機器が自己の機能をサービスとしてネットワークに公開し，他の機器が公開するサービスを互いに実行することで連携を行う．これにより，各機器はサービスを介して疎結合され，ホームサーバも不要となる．したがって，より柔軟で障害や負荷に強い連携サービスの実現が可能となる．本稿では，SOAに基づいて連携サービスを設計・実装するための枠組みを示し，Webサービスを用いたプロトタイプ開発を行う．また，連携サービスの評価尺度として，信頼性，負荷，結合度を定義し，従来システムと提案システムの定量的な比較評価を行う．; This paper presents a method to implement the integrated services of networked home electric appliances, which provide more convenient and comfortable living for home users. The conventional methods generally employ a home server to achieve the integrated services. The server controls all the networked appliances in a centralized manner. However, as the number of sophisticated appliances increases, the centralized server suffers from the concentration of load, as well as a decline in the reliability and interoperability. To cope with this problem, we adopt the service-oriented architecture (SOA) for the implementation of the integrated services. In the proposed framework, each appliance exports own features as a service. The appliances autonomously execute the exported services one another to achieve the integrated services. Thus, the appliances are loosely coupled via the exported services, without the centralized home server. This enables more flexible, balanced and reliable integrated services. In this paper, we present a framework to design and implement the integrated services based on the SOA, and illustrate a prototype system developed with Web services. We also define three kinds of metrics (i.e., reliability, workload, and coupling) and conduct a comparative evaluation between the proposed and the previous systems.

コミュニティの内部では,掲示板に各種告知広告や情報提供広告,あるいは情報収集広告などが頻繁に掲示され,コミュニティ構成員の間での知識や情報の交換と共有が行われている.これによってコミュニティ内における様々な問題が解決され,新たな知識が産み出され,活用される.しかし,一般的な紙ベースの広告は閲覧のための負荷が低く,容易に多くの人々に見てもらえる反面,広告主と閲覧者の間での情報交換が起きにくい.ウェブを用いた電子広告システムは,逆に広告主と閲覧者間の情報交換が容易な反面,閲覧のための負荷が高く,限られた一部の人々にしか見てもらえない.そこで本論文では,広告主が閲覧者の広告への接近を即時的に知り,閲覧者に対し同期的かつ直接的に働きかけてPRする機能と,閲覧者が容易に広告主と情報交換できるためのコミュニケーション機能を有する,コミュニティ向け電子広告システムを提案する.構築したプロトタイプシステムInteractiveFliersを用いて実験を実施した結果,PR機能とコミュニケーション機能はおおむね有効に働くことが分かったが,閲覧者接近通知機能については,通知頻度が高すぎるなどの問題があることが分かった.また,閲覧者が広告主へ問合せする際に,「恥ずかしさ」が障害となることも明らかになった. : In a community, many various advertisements are posted on a bulletin board to exchange and to share knowledge and/or information among people of the community. By this way, various problems of the community are solved and new knowledge is created. However, as for usual paper-based posters, information exchange between advertisers and advertisees seldom happens though the advertisees can readily watch the posters. 0n the other hand, web-based electric advertisements are watched by very restricted people though they facilitate communication between the advertisers and the advertisees. Hence, in this paper, we propose an electric ad system for community that is equipped with a function to notice the advertisers that the advertisees are watching the advertisements, a PR function that allows the advertisers to synchronously and directly appeal to the advertisees, and a communication function that the advertisees can readily exchange information with the advertisers. We implemented a prototype system named "InteractiveFliers." and conducted experiments using it. As a result, we found that the PR function and the communication function work as we expected. However, the function to notify the advertisers that the advertisees are watching the advertisements bothers the advertisers with too frequent notifications. In addition, the advertisees' "hesitation" disturbs the advertisees in contacting with the advertisers.

バルーンロボットは低エネルギーで3次元空間を安全に移動できるため,人の進入が困難な場所での観測活動やアミューズメントロボット分野などに応用可能であり,室内での新たなタイプのロボットとして注目を集めている.バルーンロボットは浮力により宙に浮くことができる利点を持つ反面,慣性が大きく,微小な気流の影響を受けやすいため制御が困難であるなどの問題点を持つ.このため,様々な外乱を含む環境下において適切な制御方法を確立することができれば,実用的なバルーンロボットへ向けて大きく前進すると考えられる.本論文では,室内での使用目的に適した機体,プロペラユニットの配置などを設計し,室内用のバルーンロボットシステムの構築を行った.また,環境中にランドマークを置き,カメラを用いて認識することで設定した目標地点で留まることと,離れた位置から目標地点へ移動する位置制御に対する実験を行った.そして,PD制御のパラメータの数値設定を数パターン用意して実験を行うことで,目標地点で留まる場合にはP制御が適しており,目標地点へ移動する場合にはPD制御が適していることを示した., Balloon robots have attracted attention as new type indoor robots for various applications, e.g., observation, guidance, and amusement flying. A balloon robot can float and move long time in 3-dimensional space by low energy. However, it is difficult to control positioning of a balloon robot because it has great inertia and is easily effected by a little air stream of a conditioner. Positioning control under usual indoor environment is key technology to realize an autonomous balloon robot. In this paper, we develop the indoor-type balloon robot system with a light wireless vision camera. The balloon robot is controlled to keep at the target position based on simple vision processing and PD-controller. Vision processing is realized by perceiving a red circle on the floor as a landmark. In the experiments, several PD settings are investigated for positioning control, and we conclude the paper by that P-controller is suitable to keep at the target position and PD-controller successfully works to go in the direction of target from far position.

本論文では,セル・オートマトン法を用いた交通のシミュレーション手法について述べる.セル・オートマトン法による交通シミュレーションでは,実際の交通流を表現するために,車両の速度変動を表現するための適切な車両速度モデルの構築が必要である.そこで,最初に,これまでの研究で提案されている車両速度モデルを紹介し,それらと本研究で提案する確率速度モデルと名付けたモデルの特徴を比較する.続いて,確率速度モデルに基づくローカル・ルールを定義する.最後に,解析対象として自動車専用道路やT字型交差点での交通流のシミュレーションを考え,シミュレーション結果と実測値やシミュレータ用の性能評価式から得られる結果を比較することで,提案するシミュレーション法の特徴を評価する., This paper describes traffic simulation by using cellular automata. In the traffic flow simulation using cellular automata, the mathematical model tocontrol vehicle velocity is very important for simulating real traffic flow. First existing car-velocity models for traffic simulation are introduced and, the stochastic speed model proposed in this paper are compared with them in order to discuss the features. Then, the local rules based on the stochastic speed model are defined. Finally, the traffic flow simulation on the freeways and the T-shaped intersection is considered as the numerical examples. Comparison of the numerical results and the real data and them obtained from the verification equation for the traffic simulator reveals the features of the traffic simulation scheme presented in this paper.

金沢大学理工研究域電子情報学系, 近年はインターネットをはじめとしたコンピュータネットワークの発展,普及にともない,電子文書が流通する機会が増えてきた.それにともない,情報を伝達する媒体として用いられてきた紙の使用頻度は低下していると考えられる.しかし,情報を記録する媒体としての紙は,多くの利点が存在するため,早急になくなるとは考えられず,今後も使用されると予想される.そこで,本研究では紙,すなわちハードコピー状態のテキスト文書を対象とした,埋め込み情報の抽出を視認で行うことができる情報ハイディングの一手法を提案する.さらに,実験によりその有効性を示す.テキストを対象とした情報ハイディングに関する報告の多くは,文字間隔や行間隔の微小変化を利用するものが多いが,これらの方法ではハードコピーにした場合のハイディング情報の抽出には電子機器が必要である.本論文の提案手法では,テキストヘの情報ハイディングを行うために,文字の一部分に切断加工を施した.その実用性についても実験により実証できた.これにより,ハードコピーのテキスト文書を対象とした,視認による抽出を可能とした情報ハイディングの有効性を示すことができた. Recently, opportunities of exchange for electronic documents are increasing with development of computer networks such as the Internet. And the use frequency of paper as an information transfer medium is decreasing. However, it will be seemed that paper as an information record medium will continue to be used for its some merits. In this research, an information hiding method for text on hardcopy is proposed. The characteristic of the method is to extract embedded information in visual. Furthermore, three experiments show the validity of the method. Many of reported methods of information hiding into text are using line-shift coding or word-shift coding. These methods need to use image scanner to extract embedded information. We give a cutting processing to a character in order to hide information into a text. And the validity of our cutting method is shown by experiments. Therefore, the validity of proposed information hiding for text on hardcopy is shown.

本論文では、ウェーハスタック実装による格子結合型マルチプロセッサの冷却を考慮した再構成方式を提案する。ウェーハスタック実装は、ウェーハ規模のプロセッシング要素（PE）アレイを３次元的に積層して構築され、システムの高速化、省電力化、コンパクト化が期待できる実装方式の１つであるが、中心部にあるPEの冷却や、各ウェーハ表面の欠陥の回避などが大きな問題となっている。欠陥回避のために、あらかじめ予備のPEを設けておき、網を再構成することによって、論理的に欠落のない格子網を得る方法が従来から提案されているが、本論文では、予備PE選択の際に温度予測モデルを導入し、スタック内温度を低くできるPEを選択することによって、網の再構成とスタックの冷却を同時に行うことを試みる。初期PEの配置として予備PEをウェーハ中心に集める方式、および、PEの移動手法として温度予測モデルを用いて温度が低くなる方向にPEを移動する方式を提案する。２つの手法について、システム全体の歩留まりとウェーハスタック内の最高温度、および冷却性能のばらつきを熱伝導シミュレーションによって評価した。その結果、予備PEをウェーハ中心部に配置すると、PE歩留まりが高い場合にスタック全体の温度を大きく低下できた。温度予測モデルに基づいた重み付きシフトは、システム歩留まりを損なうことなく、従来手法よりも最大で約9％温度を低くすることができた。 ： This paper addresses a cooling scheme for 3D stacked mesh array. A 3D stacked implementation consists of a pile of wafers and each wafer contains a processing elements (PEs) array. It is one of good candidates to implement a large scale system with high speed, low power consumption and tight integration. However, cooling of PEs at the center of a stack and avoiding defects on a wafer surface are crucial problems. To avoid these defective PEs, conventional methods obtain a defect free logical mesh network by preparing spare PEs on a wafer and reconfiguring the logical mesh network. This paper proposes biased shifting method as a improved the reconfiguration algorithm to cool the stack. The biased shifting determines a direction to lower temperature using the temperature estimation model, and it shifts defective PEs toward that direction keeping a logical network mesh connection in the stack. System yield, cooling performance, and stability of temperature are examined by thermo-conducting simulation. As the result, the concentrated spare PEs placement much reduces maximum temperature in the 3D stack at highly PE yield, and the biased shifting can lower temperature than conventional method keeping highly system yield.

本論文では,電子投票方式に関する理論的な研究成果を応用することで,大学における講義評価アンケートを電子的に実現することを考える.講義評価アンケートでは,回答者の匿名性確保や不正防止等,電子投票と共通するセキュリティ要件も多い.しかしその一方,講義評価アンケートは,大学という特殊な環境において実施されるため,通常の電子投票とはやや異なる前提条件の下で議論を行うことが可能である.そのため,通常の電子投票方式の実用化で大きな問題となる匿名ネットワークの実現法についても,講義評価アンケートでは,プロトコルの構成と運用上の工夫とである程度対応することが可能となる.本論文ではまず,匿名性,安全性および実現の容易性に配慮した講義評価プロトコルについて考察する.次に,考察したプロトコルに基づいて実装したWebベースのアンケートシステムについて紹介し,著者らの属する大学において実際に試用した実証実験の結果について述べる., A fair and secure system for a faculty courses questionnaire (FCQ) in universities is discussed. An FCQ can be regarded as a special instance of the electronic voting for which a number of studies have been devoted for long years. However, there is slight difference between an FCQ and the general voting, and the difference makes realization of an FCQ system little bit easier than the realization of the general voting scheme. For example, in an FCQ system, it is possible to get around the serious problem concerning "anonymous network" by devising the protocol and its use. In this paper, a simple protocol for an FCQ is considered and its security is discussed. The paper also introduces a prototype Web-based FCQ system, and some results on the experimental use of the system in the authors' university.

IPsecとIKEはホスト認証の結果で得られたSAに基づきIPデータグラムの暗号化を可能とする.しかしIPsecとIKEを上位層プロトコルの保護に適用しようとした場合には,ユーザの概念がIPsecとIKEに実装上欠如しているために適用が難しい.このため,IP層に強力なセキュリティ機構が存在するにもかかわらず,アプリケーションでは独自の認証機構を実装しなければならない状況にある.この問題を解決するためには次の2つの課題を解決しなければならない.第1にはIKEそのものはユーザ認証にも拡張可能であるにもかかわらず,IPsecとともに使われる現在のIKEはホスト認証だけを行うのでアプリケーションのユーザ認証にそのまま利用できないことである.第2の課題はIPsecはIPデータグラムとユーザを対応付ける機構がないので同一ホストから複数ユーザのIPデータグラムを区別できないことである.そこで本論文では認証されたユーザの識別子とトランスポート層におけるソケットペアの関連性を保証し,IKEのユーザ認証の結果をアプリケーションのアクセス制御に利用するためにUADB(User Authentication Database)方式を提案する.本機構によりIPsec/IKEを用いて,アプリケーションでのユーザ認証,および,アクセス制御を可能とする.さらに本方式をWWWに適用する実装を示し,その実用性の高さを示す., IPsec and IKE are considered as fundamental security mechanisms to protect IP layer and can secure its upper layer protocols using its host authenticated SA. However, these IPsec and IKE mechanisms basically were designed as a host oriented security mechanism so that it is difficult to use them for user oriented security mechanisms in applications. Therefore, even an underlying IP does have a strong security mechanism, still applications have to implement their own security mechanism, especially for user authentication. Specifically, the following design aspects are major reason why we can't use them for user oriented security mechanism: (1) ordinal use of IKE with IPsec does not have any concept of "user" even it can be extensible for user authentication, and (2) IPsec does not have any mechanisms that make proper mapping between IP datagrams and a user. Our challenge shown in this paper is to use IPsec and IKE framework for user authentication, without any modifications in IP layer mechanism. In this paper, we propose the UADB (User Authentication Database) system. This system enables us to use IKE for user authentications access controls for applications. This paper shows our implementation and a good example of its application for WWW service.

本稿では,互いに依存する複数のステートチャートを合成することなく不変性の検証を行う手法を示す.単一のステートチャートの検証では,まず最初に与えられたステートチャートをステートチャートに対する正規表現に変換する.そして,本稿で提案する形式的体系を用いて,Hoareのプログラム検証手法と同じ方法を用いて不変性に関する検証を行う.振舞いが互いに依存する複数のステートチャートの検証においては,通常は合成と呼ばれる手法が用いられる.しかし,状態爆発などの問題を起こすため,本稿では合成後に得られるステートチャートの振舞いに徐々に近づける手法を提案する.この方法は,目的とする検証が行えるようになるまで何度でも適用できる.また,ステートチャートどうしの通信方法には様々ある.ステートチャートがどのように協調動作するのかに応じて,ステートチャート間の通信方法を決める必要がある.そこで,提案する手法では,通信方法に応じて柔軟に対応できるようにしている. : In this paper, we propose a method for verifying invariant properties of statecharts without making the composition. We first convert a statechart to a regular expression to verify the given single statechart. We then verify it with the similar method to Hoare's program verification method. When verifying multiple statecharts which depend on the other, we make them to approximate composite behavior by repeating to apply a method we describe in this paper. The method can repeat to be applied until a target verification is completed. On the other hand, there are various communication mechanism between statecharts and we apply one of them considering how statecharts communicate with each other. Our method can be flexibly adapted to an applied communication mechanism.

サーバに対する過度の負荷集中への対処として,ミラーサーバを用いたサーバの複数化による負荷分散が広く行われている.このシステムでは,どのサーバを選択するかにより,通信効率が大きく左右される.一般に,ユーザが適切なサーバを選択することは困難であるため,各サーバに負荷を均等に分散させるDNSラウンドロビンなどを用い,サーバ周辺に負荷を分散させる方式がとられていた.しかし,これはあくまでもサーバ側から見た負荷分散であった.すなわち,この方式で選択されたサーバはクライアントの状態とは無関係に選択されるため,クライアントにとって必ずしも最適なサーバが選択されるとは限らない.この傾向は,特に,ミラーサーバがネットワーク上に分散して配置されている場合に,顕著に見られる.そこで本論文では,ローカルDNSキャッシュサーバにフィルタ機能を持たせ,クライアントからのDNS問合せに対する上位DNSサーバの応答から,ユーザにとって適切なサーバを自動的に取捨選択するDNSフィルタ方式を提案する.そして,クライアントから見て最も短い時間でファイルを転送するサーバを最適とするシステムを想定し,そのためのサーバ選択システム例を3つ示すとともに,本システムを実装する.最後に,本実装システムと従来のDNSラウンドロビン方式を用いた場合のファイル転送速度を比較評価し,本提案方式の有効性を示す. In order to prevent servers from overloading, the mirror-server systems constructed by multi-servers distributing the load are widely used. Although the selection method of the server is very important for effective communication in such systems, it is too difficult to find the appropriate server for each client in general. Previously, the DNS (Domain Name System) Round-Robin mechanism is adopted for this purpose, however, the selected server is not always suitable for the client. To solve this problem, this paper proposes and implements a DNS filtering method. In this proposal, the local DNS cache server has filtering functions. When each client queries IP addresses corresponding to the server's name, the local DNS cache server forwards the queries to the exterior DNS server, and then filters the appropriate IP addresses from the replies of the queries for the client. There are various sorts of criterion to filter better servers. In this paper, for a system where the best server for clients transfers files in the minimum time, three kinds of server selection methods are introduced as examples, and then the system is implemented. Finally, we estimate the file transfer speeds of both the proposal method and Round-Robin DNS method.

本稿では、コミックダイアリシステムと呼ばれる、個人の日記を漫画形式で自動生成するシステムを提案する。このシステムは、博物館見学や学術会議参加において個人化されたガイドを行う展示ガイドシステムの一環として開発した。このシステムにより自動生成された漫画は、個人の記憶補助のみならず記憶の伝達のためのカジュアルな媒体として利用されることを期待されている。システムは、会場閲覧の個人的なエピソードを展示ガイドシステム（C-MAP）から収集したデータと社会的イベントなどの周辺情報を元にストーリ化し、漫画というスタイルで表現する。また、漫画の生成機能以外にも、複数の漫画間をブラウジングする機能や個人の漫画の伝達を支援する機能も有している。本稿では、プロトタイプシステムに関する説明と、これまで行った学術会議における運用実験の結果について述べる。 ： This paper describes a system, called ComicDiary, which automatically creates a personal diary in comic style. ComicDiary is built as a sub-system of our ongoing project of a personal guidance system for exhibition touring at museums, trade shows, academic conferences, cities, and so on. We intend for ComicDiary to be used as a casual tool for augmenting each individual user’s memory as well as encouraging users to exchange their personal memories. ComicDiary is to allegorize individual episodes during touring exhibitions by creating a comic from a user’s touring records, accumulated by his/her personal guidance system, and environmental facts, e.g., social events. Addtion to its basic representation in comics style, ComicDiary has two novel functions as computational media. One is to support browsing over many ComicDiary and the other is to support sending user own ComicDiary to him or her friends. In this paper, we present the implementations and user evaluation of ComicDiary deployed at academic conferences.

本論文では，盗用の疑いのあるJavaプログラムの発見を容易にすることを目的として，プログラム著作者の署名等を電子透かしとしてJavaクラスファイルに挿入する方法，および，取り出す方法を提案する．提案方法は，透かしを挿入してもプログラムの実行効率が変わらず，ツールによる透かしの取り出しの自動化が可能であり，ツールを公開した場合にも透かしの上書き攻撃を回避できるという特徴を持つ．透かしの耐性を実験により評価した結果，obfuscatorと呼ばれるプログラムの難読化ツールによる攻撃後も電子透かしは消えないこと，および，逆コンパイル，再コンパイルによる攻撃に対しても半数以上の透かしは消えないことが確認された．; The aim of this paper is to easily identifyan illegal Java program containing a stolen class file.This paper proposes a method for encoding and decoding a digital watermark,such as a program developer's copyright notation, into/from Java class files.Characteristics of the proposed method are:Execution efficiency of the target program is not reduced by watermarkencoding,watermark decoding can be automated,and, an overwriting attack is prevented even if a watermark encoding toolis distributed in the public.The result of the experiment to evaluate our method showed thatall the watermarks embedded in class files survived an obfuscator attack,and also showed thatmore than half of watermarks survived a decompile-recompile attack.

application/pdf, 論文(Article), 本論文では日本語文章中に生じる同音異義語の誤りを検出する手法を提案する.基本的にはYarowskyの提案した決定リストを利用する.さらに表記されている単語の情報(表記情報と呼ぶ)をdefaultの証拠として導入することで, 誤り検出のF値を向上させる.同音異義語の誤りを検出するには, 同音異義語問題を解けばよい.そして同音異義語問題は語義選択問題と等価であるために, 語義選択問題に対する種々の統計手法を利用して解くことができる.ただし同音異義語問題は語義選択問題とは明確に異なった面も持っている.それはほとんどの場合正解となる判別結果がすでに表記として現れていることである.同音異義語問題では表記されている単語を選択すれば判別の正解率が非常に高くなる.しかし, 表記されている単語をつねに選択すれば誤り検出をまったく行わず, 誤り検出システムとしての意味をなさない.同音異義語問題の手法の評価は判別の正解率ではなく, 誤り検出の正解率と再現率を考慮したF値で行うべきである.本論文では, F値を向上させるように, 表記情報を利用する.具体的には統計手法として決定リストを利用する.そして表記情報をdefaultの証拠として決定リスト内に導入する.この表記情報の予測力の値は, 訓練コーパスにおいてF値を最大にする値から得る., In this paper, we propose a method of detecting Japanese homophone errors in Japanese texts. Our method is based on a decision list proposed by Yarowsky. We improve the original decision list by using written words as the default evidence. The improved decision list can raise the F-measure of error detection. In order to detect homophone errors, we only have to solve the homophone problem for the homophone word. The homophone problem is equivalent to the word sense disambiguation problem. Consequently, we can solve the homophone problem by using various statistical methods proposed for the word sense disambiguation problem. However, the homophone problem has a distinct difference from the word sense disambiguation problem. In the homophone problem, almost all of the answers are given correctly. Therefore, the choice of the written word results in high precision. However, the method to always choose the written word is useless for error detection because it doesn't detect errors at all. The method for the homophone problem should be evaluated by the F-measure to combine the precision and the recall. In this paper, we use the written word in order to raise the F-measure of error detection. To put it concretely, we use the written word as the default evidence of the decision list. The identifying strength of the written word is obtained by calculating the strength that gives the maximum F-measure in the training corpus.

現代社会において，プログラミングは義務教育の1つとなり，誰もが学ぶべきものとなったが，高等教育においては，プログラミングの内容を含む必須カリキュラムの実施には至っていない．新しいカリキュラムでは，言語を学びコードが書けるようになることを目的とするのではなく，プログラミングの概念を学び，その原理を理解することに加え，プログラムを活用するために，ソフトウェア開発プロジェクトの知識を含める必要があると考えた．著者らは，1科目のみで構成する，誰もが学ぶべき入門レベルのカリキュラムと位置づけ，プログラミング入門にPBL（Project-based Learning）を組み合わせた方法を提案し，この提案に基づき2単位90分15回のカリキュラムを構築した．本論文では，プログラミング入門にPBLを組み合わせたカリキュラムを設計・構築し，実践授業から得られたデータ（コンピテンシー評価，履修者の課題や最終レポートなどの提出物）をもとにカリキュラムの妥当性を検証した．, In modern society, programming has become a part of basic education and should be learned by everyone. However, there is still no mandatory, universal, higher-education curriculum that includes programming content. The authors consider that a practical, new curriculum requires not so much having students being able to code, as having them learn concepts, understand principles, and gain knowledge of software development projects in order to build a foundation in programming. We propose a curriculum that includes content required of all people in contemporary society. It is a single-subject, introductory-level curriculum implemented with PBL for a two-credit, ninety-minute, fifteen-class, university-level course. In this paper, we introduce the curriculum that we designed and analyze its validity based on data (competency evaluations, student assignments, final reports, etc.) obtained from the recent practical implementation of the course at a women's university in Japan.

組織の円滑な運営や新たな発想の獲得などの面においてインフォーマルコミュニケーションは重要な役割を果たすため, 我々はインフォーマルコミュニケーションの支援手法の研究を進めている.本論文ではその一環として, 不特定分野の自由対話を書き起こし, ある程度の編集を加えた対談文を, 話題に応じてセグメント分割する手法について検討する.従来の話題構造抽出手法の多くは, 目的指向の対話かあるいは新聞や雑誌の記事ないし論文などの一般的文章を処理対象としており, インフォーマルコミュニケーションのような自由対話を対象とするものは少ない.我々は本論文において, 従来から利用されている手がかり句や結束性に加え, 特に対話において重要な意味を持つ時間推移情報を利用した広域結束性を定義し, これを利用した, 話題に応じた対談文のセグメント分割手法を提案する.提案した手法を実装した実験システムを用いて実験の結果.人手によるセグメント分割に対して, 再現率73.2%, 適合率66.7%の精度で一致する結果を得た. : Informal communication plays an important role in many conversations such as for creating ideas and managing an organization smoothly. For this purpose, we have been studying methods to support informal communication. Currently, typical data for structuring conversations in the literature has come from goal-oriented conversations or general texts, i.e. scientific papers, articles of newspapers or magazines. In this paper, we propose a segmentation method for free conversation based on topics. We obtain free conversation in text form from transcribed round-table discussions. In addition to segmenting using standard cohesion and cue-phrases, our segmentation method also uses global-cohesion. Global-cohesion is a measure of regularity of keywords and topic transitions over an entire conversation. Among other factors, we use time transition information to obtain our global-cohesion measurement. In our experiments, we obtained a 73.2% recall factor and a 66.7% precision factor indicating that our segmentation scheme using a mixture of cohesion, cue-phrases and global-cohesion is useful for structuring conversations.

音楽との能動的な接し方の特徴は, 自分なりの音楽表現という創造性の発揮にある.しかし現実には音楽理論や楽器操作技術の困難により, 多くの人は能動的な音楽との接触を諦めている.筆者らは, これらの困難を計算機で支援することにより, だれでも容易に創造的音楽表現に取り組める楽器の実現を目指している.本論文では, そのための手段として, 音機能固定マッピング手法を提案する.従来の楽器は音高を演奏インタフェース上の固定ポジションにマッピングする音高固定マッピング型の楽器であった.しかし, 音には音高以外の属性があり, その1つとして, 音楽的環境に応じて個々の音が人に様々な情動的作用を与える, 機能という属性がある.音機能固定マッピングとは, 常時一定の演奏ポジションに一定の機能を持つ音をマッピングする手法である.ある音の機能の判定には音楽理論に基づく解析が必要であるが, この手法によれば, 演奏者は必要な機能を持つ音を理論的解析を行うことなく直接取り出せ, さらにそれらを自由に組み合わせるとこにより, 容易に自分なりの創造的音楽表現を実現できるようになる.本論文では, 特に音の機能の考え方が重要となるジャズの即興演奏を対象として作成した試作器と, それを用いた被験者実験について説明し, 本手法の可能性について検討する. : Many people cannot help but give up to play music because of difficulty of a musical theory or a manipulation of a musical instrument. The authors aim to develop a musical instrument with which anyone can enjoy creating of music with the support of a computer. In this paper, we propose a concept called the"fixed mapping of note-functions". With an ordinary musical instrument, a specific pitch is always mapped on a specific position of the instrument; this is a"fixed mapping of pitch"instrument. However, a note has other attributes. A note-function, i.e., the emotional effect of a note depending on the temporal musical situation, is one of them. The mapping of a specific note-function on a specific position is the basis of the"fixed mapping of note-functions"concept. In order to determine the note-function, a theoretical analysis is usually necessary. Using the proposed method, however, it becomes possible to directly extract notes with the required functions without any theoretical considerations and to exhibit creativity by combining the notes. In this paper, we show a prototype of an instrument for improvisational jazz, provide several subjective experimental results and dsicuss the possibilities of the method.

本論文では, 操作者の両手に対応して動く仮想空間内に定義された両手(仮想手)によって, 物体を操作する際の物体の挙動のモデルについて提案し, 仮想の両手による物体の対話操作システムについて述べる.著者らは, 従来より仮想空間における片手と物体との相互作用モデルを考案している.本研究ではこれを拡張することにより両手による協調操作を可能とした.本モデルでは, 両手で物体を操作している場合には物体の挙動を決定する「統合手」を定義することにより, 片手による物体操作のモデルと同等な扱いに帰着している.統合手は両手の位置, および挙動から操作物体との接触点数などを考慮した加重平均として決定している.作成した対話操作システムでは, 両手で同じ物体を, あるいは, それぞれの手で別の物体を操作することが可能である., This paper describes a model for cooperative handling virtual objects with both virtual hands. We have been studying an interaction model for one hand to manipulate one rigid object in virtual space. In this paper, we extend this model to a new one for both-hands-cooperation. This model can be reduced to a model for one hand manipulation by introducing a"integrated hand", when two hands touch the same object. The integrated hand is defined by a set of weighted average values of locations and movements of both hands by considering the number of touched points to an object. Using the system of the extended model, one an operator manipulate an object with both hands and also handle two objects with each hand.

配置問題は, VLSI素子の配置,プラントレイアウトやGUIのウィンドウ配置など, 様々な分野で議論されている. これらの問題では配置要素の組合せが多数でき, 一般にNP完全問題となる. 本論文では, 配置問題のうち NC (Numerical Control :数値制御) 加工での部品の配置問題 (板取問題) を扱う. これは, 一定の材料からできるだけ多くの部品を取り出す問題であり, NC加工の効率化には欠かすことのできない重要な問題である. 板取問題に関する研究は長年にわたって行われ様々な手法が提案され, 生産の効率化に寄与してきた. しかし, それらの手法には, (1) 配置要素として矩形状を中心に処理している; (2) 各配置要素ごとに配置ルールを用意する必要があり, 新規の要素を配置するには, その最大矩形領域を必要とする; (3) 過去に板取した結果を再利用できない,などの問題点がある.本論文ではこれらの問題に対する解決法の1つとして, 配置要素の形状特徴を利用した板取手法を提案し, 試作したシステムを用いて本手法の有効性について述べる. 本手法では, システムが配置要素の形状を認識するために, 事例ベース推論によって形状認識を行い, その際, 形状認識を補完するために形状近似を行う. 認識された要素を, その形状特徴から5つのタイプに分類し, 各タイプごとに局所的に配置計画を行う. 最終的に各タイプの要素を総合して配置計画を行う. : The layout problem has been examined in many different fields such as VLSI, plant and windows of GUI layout design. However, it is known to be NP-complete and therefore it is not possible to provide exact solutions. This paper addresses a packing problem of NC (Numerical Control) machining called the nesting problem. The problem is to allocate as many parts as possible in a certain area. The solution is essential to increase NC machining productivity. There are many applications to propose techniques to the solution and they have contributed to the improvement of productivity. However, they tend to concentrate on the problem of packing rectangular shapes, have to treat a new part as its maximum rectangular area, and can not use the past nesting results easily. In this paper, we propose a solution based on structural features of parts, and show the effectiveness using a nesting system based on our methodology. In our system, we adopt CBR (Case Based Reasoning) including mechanism of approximating structure of parts to recognize their structure. The recognized parts are classified into five types of shape by the structure features, and then for parts of each type, the local positions are decided. Finally, the parts are placed globally on an area.

EUODHILOS-IIは,PSI/SIMPOS上に実現されたBUODHILOSの可搬性と利用可能性を高めるために,GNU Emacs上に新たに作られた汎用の論証支援システムである.この論文では,まずEUODHIILOS-IIを広く普及しているGNU Emacs上に設計実現する際に問題となった諸点を議論する.次いで,EUODHILOS-IIの主要な構成要素である論理系定義,証明構築,証明指向のインタフェースに含まれる特徴的な仕様設計と実現方法について述べる.最後に,EUODHILOS-IIの利点をまとめ,設計思想が類似している他のシステムとの比較を与える., EUODHILOS-II is a general reasoning assistant system for various logics built on top of GNU Emacs, aiming at highly portable and widely usable version of EUODHILOS built on PSI/SIMPOS. This paper first argues about the issues which raised in designing and implementing EUODHILOS-II on the widely prevailing platform GNU Emacs. Then, we describe the specification and the implementation methods of unique features in logic definition, proof construction and reasoning-oriented interface which are the main components of EUODUILOS-II. The paper concludes with discussing some advantages of EUODHJLOS-II and comparing it with other systems which have the similar design principle.

グループワークの支援システムを複数の計算機による協調計算システムとしてみなすことができる。そこで、グループワークの各作業をゲートに対するデータの入出力と（ファイル等を表す）レジスタの更新式として抽象的にとらえ、グループワーク全体の作業順を拡張有限状態機械モデルとしてモデル化する。また、その記述（全体動作仕様）と、各計算機へのゲートとレジスタの配置指定等から、グループワークを支援する各計算機の作業手順（該当する作業者の作業手順やデータの入出力のほか、他の計算機とのデータの交換などの通信動作も記述されたプログラム）を自動生成するアルゴリズムを、従来のアルゴリズムを拡張することによって考案した。また、この導出アルゴリズムの処理系（生成系）を作成し、導出時間の評価を行った。また、導出した動作プログラム群を並列に実行する分散実行系を作成し、実行時間等の評価を行った。本アルゴリズムは、全体動作仕様と配置指定等を区別することにより、作業者へのグループワーク内の作業の割当ての変更に柔軟に対応できる等の利点がある。また、各処理系の実験評価から本方法の有用性を確かめることができた。本実行系では、音声や画像情報なども扱える。特に線描画ファイル編集では複数の作業者で同時に共同編集が行える機能を実現した。また作業者間の意志の疎通を容易にするためのサブシステム（画像や音声情報の交換機能）等を用意するなどの工夫をしている., In this paper, a groupware is treated as a distributed system where the contents and ordering of the actions in a group work are described as a service specification in an extended FSM model. In order to ensure the temporal ordering of the actions described in a service specification, each person in the group must exchange some data values and synchronization messages each other. The description of each person's work flow including both data exchanges and his own work contents is called a protocol entity specification. In this paper, we propose an algorithm for deriving the protocol entities' specifications from a service specification and a resource allocation. We have implemented the algorithm where the derived protocol entities' specifications are given as C programs and they can be executed in parallel on UNIX systems. We have also developed a system to support the group work in those protocol entities' specifications. The system has some facilities to represent sound data and pictures. The users can edit the same figure simultaneously and each modification is shown to the displays of all users where the conflicts of modifications are well solved. The system also has communication and drawing tools so that the users can exchange their ideas in the group conveniently. Our approach is useful especially for the case that the service specification and resource allocation are frequently changed.

グラフィックスハードウェアの進歩に伴い,グラフィックス環境を用いた人間に親しみやすいヒューマンインタフェースの構築が可能になってきている.CGによるビジュアルな環境を利用すれば,コンピュータ内に定義された仮想空間中の物体を実物と同じように操作することが可能になる.本論文では,仮想空間中に表現された証に対し｢折り曲げ｣｢折り返し｣｢折り込み｣の対話操作が可能な祈り故のシミュレーションシステムを開発したので報告する.オペレ-タはスクリーンモニタに表示された3次元仮想空間内の故をマウスデバイスにより洗面の頂点を摘んで移動する感覚で操作できるので,実物を折るような感覚で仮想の紙を自由に折ることができる.この操作は視点移動により紙をあらゆる方向から観測しながら行うことができ,この操作を繰り返すことにより一枚の紙を複雑な形状に容易に加工できる.また,頂点や辺同士を正確に重ねて折る場合にはそれらの微妙なずれは自動的に補正されるので,実際に紙を折るよりも正確かつ容易に仮想空間の紙を折ることができる.本文ではシステムの実現において特に重要な,誌面の接続や重なり関係等の折り紙の状態を2分木リストにより記述する方法,折り捜査に従ってリストを高遠に変更する方法, マウス入力により3次元空間内にある故の頂点の位定を移動するための工夫などについても述べる., With advance of graphics hardwares, possibility of natural man-machine interface using graphic environments is drawing attention. Visual environments using computer graphics are very effective for virtual object manipulation. This paper describes a visual simulation system.of ORIGAMI (paper folding art) which realizes interactive folding operations of paper such as 'Bending', 'Folding up' and 'Tucking in' in real-time. In the system, a piece of virtual paper is defined in a three dimensional (3D) virtual space and displayed on a graphic screen. An operator can fold it freely and iteratively into complex figure, observing it from an arbitrary direction and manipulating it as if he is folding a real paper, by picking and moving a vertex of the paper using a mouse device. If the position of the picked vertex is different from operator's intentional position delicately, it is corrected automatically in the ..case of matching the picked vertex to another vertex or matching two edges to each other. This function has the operator fold a virtual paper more rapidly and accurately than folding a real paper. This paper also presents how to represent the state of folded paper such as connectivity and overlap relation between paper faces and how to realize interaction using a mouse device in the system.

本論文では文脈自由文法でソフトウェア開発における様々な作業の手順を簡潔に定義し,手順に従った作業環境を生成する方法を提案する.この方法によると,比較的自由度の大きな手順を容易かつ簡明に書くことができる.また,記述を元にした処理系を生成する際,通常用いられるようなプログラミング言語等による方法と比べて単純な制御構造で,実現できる.処理系の実現例として,メニューを用いて次に行うべき作業を順次選択し,作業の誘導を行う開発支援環境が記述から生成できる.本論文では開発過程の形式化の手法を理解・比較するための記述対象として提案され広く用いられている共通問題を,記述例としてとりあげ,作業手順の記述およびその支授環境の生成の例を示す., This paper describes a way to define software development process formally. We assume that the development processes would be sequential sentences of activities, and we define the set of the sentences by the context free grammar. By using formal grammar, the sequences of development activities are defined formally so that characteristic and behavior of the development processes become clearer. This paper also describes a method to construct a menu oriented navigation system from the grammar. This system provides menus and guides the developers to perform activities in an appropriate order. The system works with the interpreter of process description language PDL.

Controlling a user’s passage of subjective time can improve their experiences such that a fun time becomes longer and a boring time becomes shorter. Thus, previous studies have proposed systems that control a user’s subjective time based on presenting sensory stimuli in a PC. However, there are scenes that need to control subjective time during not only using PC but also daily-life. This paper focusses on wearable devices that enable to always present sensory stimuli and proposed the system controlling the user’s subjective time for expanding use-case. The experiment evaluated the system that presents stimuli using a head-mounted display, earphones, and a smart-watch. Then, we conducted the within-subjects experiment that assigns 12 subjects to conditions of three prototypes and three stimulus-control patterns and asked to estimate the passage of time. Also, we discussed the influence on the experimental task and the subjective cognition from the devices or the stimuli.

By using head mounted display (HMD: Head Mounted Display), users can acquire visual information in various scenes. However, there are cases where it is difficult to acquire information on the HMD, for example, when walking, the HMD vibrates up and down due to the landing of the foot, making it difficult to read the presented character information. In this study, we focus on the font, which is a character design, and investigate the Japanese font suitable for information presentation on HMD. In this paper, we investigate the font considering the swinging of HMD during walking. Using 8 kinds of fonts with different designs, evaluation was carried out from 2 viewpoints of visibility (Easy character recognition) and readability (readability of sentences), respectively. As a result of the evaluation, the font of which the vertical line and the horizontal line are thick is preferable, when the word is displayed, because the font of which the vertical line and the horizontal line are thin becomes difficult to be seen by the screen shake from the experiment of the visibility. Moreover, from the experiment of the readability, the font of which the vertical line and the horizontal line are thin becomes difficult to read by the screen shake, and the font of which the vertical line and the horizontal line are thick is preferable when the text of about 30 characters is displayed.

By using head mounted display (HMD: Head Mounted Display), users can acquire visual information in various scenes. However, there are cases where it is difficult to acquire information on the HMD, for example, when walking, the HMD vibrates up and down due to the landing of the foot, making it difficult to read the presented character information. In this study, we focus on the font, which is a character design, and investigate the Japanese font suitable for information presentation on HMD. In this paper, we investigate the font considering the swinging of HMD during walking. Using 8 kinds of fonts with different designs, evaluation was carried out from 2 viewpoints of visibility (Easy character recognition) and readability (readability of sentences), respectively. As a result of the evaluation, the font of which the vertical line and the horizontal line are thick is preferable, when the word is displayed, because the font of which the vertical line and the horizontal line are thin becomes difficult to be seen by the screen shake from the experiment of the visibility. Moreover, from the experiment of the readability, the font of which the vertical line and the horizontal line are thin becomes difficult to read by the screen shake, and the font of which the vertical line and the horizontal line are thick is preferable when the text of about 30 characters is displayed.

近年，教科全体や科目内全体で俯瞰的な学習が求められている．特に教科・科目間の関連を図った横断的な学習が必要とされていること，多肢選択式問題が大量かつ広範囲の出題に向いており多分野の出題に対応する形式であることから，学習者と出題者の双方にとって俯瞰的な多肢選択式問題が有用であると考えられる．“俯瞰的な問題”とは，幅広い関連情報を含み全体像をとらえさせるような内容である．一方，俯瞰的な問題を人手で生成・収集することはコストがかかる．そこで本研究では，出題時に幅広い関連情報を提示することで俯瞰的な視点で問題をとらえさせるような，多肢選択式問題の自動生成手法を提案する．本手法では，多肢選択式問題を構成する問題と選択肢に対してそれぞれ要件を設定し，Linked Dataを利用した自動問題生成アプローチを考案する．Linked Dataとは，構造化されたデータどうしをリンクさせることができるグラフデータである．出題形式として，単一の正解が存在する単数回答形式，複数の正解が存在する複数回答形式，複数の問題に対して単一の正解の組合せが存在する組合せ回答形式の3種類の生成アルゴリズムを提案した．生成問題に対する評価では，被験者として教職免許状所持者と学生に出題したうえで，要件に対応して設定した評価項目を満たすことを確かめた．, In recent years, just about all subjects require students to learn in a broad perspective. Because the need exists for cross-curriculum learning aimed at relating subject areas, it is useful for multiple choice questions to include panoramic information for learners. Panoramic information means comprehensive information that gives us macro-perspective; through which us look down at the whole learning subjects. A question including panoramic information refers to content that includes transverse related information and makes respondents grasp the whole knowledge. However, it is costly to manually generate and collect appropriate multiple-choice questions for learners and exam preparers. Therefore, in this research, we propose a method for automatic generation of multiple choice questions including panoramic information using Linked Data. Linked Data is graphical data that can link structured data, and it is used as a technology for data integration and utilization. In this paper, we aim to realize a system for automatically generating three types of multiple choice questions by implementing an approach to generating questions and choices. An evaluation method for the generation of questions and choices involves setting indicators for each evaluation item, such as validity and the degree of the inclusion of panoramic information.

大学の講義に個人必携PC等の移動端末を活用する動きが広まっている．講義においてそれら移動端末の主な通信手段は無線LANであり，講義室等で高密度に端末が存在する状況でも円滑に講義できる通信環境を提供しなければならない．その環境整備のためには，1 Access Point（AP）あたりの収容端末数やチャネルボンディングの導入等を考慮した設計指針が必要となる．そこで本稿では端末数や稼働AP数，チャネルボンディングの幅を変えながら無線LAN通信実験を行い，APあたりの収容数の目安やチャネルボンディングの有効活用手法を明らかにした． The WiFi design guide to introduce the BYOD in the campus is considered in this paper. We measure WiFi communications in the classroom which has IEEE 802.11ac enabled Access Points (APs). From obtained result, we derive the practical guideline such as acceptable number of associations for each AP and effective width of channel bonding.

本論文では代表的な組合せ最適化問題の1つである巡回セールスマン問題 (TSP) に注目し，深層学習を適用した解法を提案する．本手法では，畳み込みニューラルネットワークを用いて最適経路を画像として学習することで，最適経路に含まれうる辺の分布である優良エッジ分布を求め，これにより計算される辺の評価値である優良エッジ値を利用して近傍探索を行う．この提案手法の性能を調べるために実験を行い，解の精度向上において有効であることを示す．, In this paper, we focus on the traveling salesman problem (TSP) that is a typical combinatorial optimization problem, and propose a method for solving it with applying deep learning. This method features learning the image of the optimal tour by a convolutional neural network to acquire the Good-Edge Distribution whose edges could be included in the optimal solution. It also conducts neighborhood search by using Good-Edge Value that is an evaluation of each edge calculated from the distribution. We show experimentally that this method improves the quality of solutions., 本研究の一部は，JSPS科研費18K11484と，JSPS科研費17K01309，関西大学大学院理工学研究科高度化推進研究費，関西大学先端科学技術推進機構「緊急救命避難支援のための情報通信技術に関する研究開発」研究グループの助成をうけている．