| 題名 | 補完に基づく時間ペトリネットの非有界モデル検査 |
| 著者 | *井川 直, 横川 智教, 佐藤 洋一郎, 有本 和民 (岡山県立大学) |
| キーワード | モデル検査, 安全性, 実時間システム, 形式手法 |
| アブストラクト | 本稿では，TPNに対する有界モデル検査手法を拡張し，補間に基づく非有界モデル検査手法を用いたTPNの非有界モデル検査を実現する． |
| 題名 | 検証コスト削減を目的とした状態マシン図の抽象化 |
| 著者 | *笠原 大和 (岡山県立大学大学院), 横川 智教, 佐藤 洋一郎, 有本 和民 (岡山県立大学) |
| キーワード | 記号モデル検査, SMV, UML, 形式手法 |
| アブストラクト | UMLによる設計の検証支援を目的として，当研究室では状態マシン図をモデル検査ツールNuSMVの入力記述であるSMVプログラムへと変換するツールを開発している．本稿では，検査特性をもとに状態マシン図を抽象化し，モデルサイズを削減する手法を提案する． |
| 題名 | 空間分割法を適用したサラウンド音楽電子透かしに関する研究 |
| 著者 | *番匠 真 (近畿大学大学院システム工学研究科), 荻原 昭夫 (近畿大学工学部), 村田 晴美 (中京大学工学部) |
| キーワード | サラウンド, 音楽電子透かし, 空間分割法 |
| 題名 | モンゴル語‐日本語翻訳支援ツールに関する検討 |
| 著者 | *河本 美月, 大平 栄二, 上谷 恵里奈 (津山工業高等専門学校情報工学科) |
| キーワード | モンゴル語, 日本語, 翻訳, 支援 |
| アブストラクト | モンゴル語から日本語への翻訳を効率的に行えるように支援するモンゴル語‐日本語翻訳支援ツールの開発について研究を行った。モンゴル語は日本語とは異なり、語尾によって名詞の文字の脱落や追加が生じることがある。一方、動詞も日本語と同様に動詞の活用があり、複雑に変化する。このようなモンゴル語の文章から、単語や語尾を分割し、同定するシステムを開発した。本システムでは、単語辞書に約14000語、動詞辞書に約3000語および語尾(助詞26語、助動詞80語)を収録している。モンゴル語の専門の技術テキストを対象にして、解析実験を行った。この結果、約110文、1124単語中907単語を同定できた。このうち動詞は、45単語中44単語を同定することができた。 |
| 題名 | 自由記述意見に対する応答を有したWebアンケートシステム |
| 著者 | *壷阪 琢人, 杉山 裕二 (岡山大学大学院自然科学研究科) |
| キーワード | Webアンケート, 自由記述, 授業評価 |
| アブストラクト | Webアンケートシステムは，マークシートなどの手動で行うアンケートと違い，回収から集計までをアンケート回答と同時に行える．また，個人の情報端末を利用することで離れた場所からでもアンケートに回答することができる．そのため，現在多くのアンケートシステムが開発・利用されているが，それらはアンケートにおける内容の作成方法の開発や結果表示などデータ分析を目的としたものである．しかし，これらの機能は自由な意見の中にアンケートの作成者が考え付かなかったアドバイスや情報も多々あるが，それらを対象としていない．自由記述式アンケートでは意見を言いっぱなしであったり，大量の記述を順番に読むのは手間と時間を浪費するといった問題がある．そこで本論文では，自由記述式アンケートにおける支援機能として，自由記述意見に対して応答可能な機能，自由記述意見に対しキーワードごとに表示可能な機能を提案する． |