| 題名 | 記号モデル検査に基づくUML設計の整合性自動検証ツール |
| 著者 | *原田 慎士, 横川 智教, 宮崎 仁, 佐藤 洋一郎, 早瀬 道芳 (岡山県立大学大学院/情報系工学研究科) |
| Page | p. 14 |
| Keyword | 記号モデル検査, 形式的検証, UML, SMV |
| Abstract | UMLを用いたソフトウェア設計においては，個々の設計には誤りがなくても，それらを組み合わせた際に矛盾や不具合が生じる恐れがある．このような誤りを人手で見つけることは非常に困難である．本論文では，これまでに提案した記号モデル検査ツールSMVによるUML設計の整合性検証手法に基づき，UML図からSMVの入力記述(SMVプログラムという)を生成する検証支援系を開発することで，UML設計の整合性を自動検証する環境を実現する． |
| 題名 | ICカード学生証を用いた進捗管理支援システムの開発 |
| 著者 | *沖 恭志, 長坂 康史 (広島工業大学 情報学部) |
| Page | p. 15 |
| Keyword | FeliCa |
| Abstract | 現在、FeliCa技術を用いたシステムが数多く普及している。FeliCaとは非接触ICカード技術方式の一つで、交通機関の乗車券や電子マネーなどに使用されている。今年度より広島工業大学でも学生証にFeliCaが採用された。本研究ではこの学生証を有効活用できる学内、特にゼミ室内で使用できる、卒業研究の進捗管理支援システムの開発をする。従来の卒業研究の進捗報告は、限られた時間の中で指導教員へ報告するというものだった。これだけでは、学生は自分が何に困っているのか解りづらく、指導教員は学生の進捗を把握することが難しい。そこで本システムで、学生が自らの進捗を管理できるように支援するとともに、指導教員が学生の進捗を把握するための支援をすることを目的とする。これにより日々の報告が行い易くなり、これが学生の自己管理にもつながると考える。 |
| 題名 | 歌詞情報を利用した楽曲推薦システムの構築 |
| 著者 | *藤井 裕大 (鳥取大学大学院工学研究科情報エレクトロニクス専攻知能情報工学コース), 清水 忠昭, 吉村 宏紀, 田中 美栄子 (鳥取大学工学部知能情報工学科) |
| Page | pp. 16 - 17 |
| Keyword | 楽曲推薦, 曲間距離, 単語ネットワーク, tf-idf値, 歌詞 |
| Abstract | 現在、有料デジタル音楽配信サービスが飛躍的な進化を遂げており、利用者は自由に聴きたい音楽をダウンロード出来るようになってきた。しかし、大量の音楽の中から聴きたい曲を即座に探し出すことは、大変困難になってきている。聴きたい曲を即座に探し出してくれるシステムやソフトウェアの開発が求められているが、本格的な実用化には至っていない。そこで、歌詞情報を分析することにより楽曲推薦システムを構築するための一手法を提案する。提案した手法では、歌詞を単語節に分けて取り出し、取り出した単語から前置詞や冠詞等のどの曲にも均等に現れるような品詞を取り除く。次に動詞の活用形を原形に、名詞の複数形を単数形にするレンマ処理を施し、tf-idf値を用いて単語の選定を行う。単語の選定を行った結果から単語の組合せの出現頻度を表した共起表を作成し、単語のネットワークを構築する。構築したネットワーク上で曲に含まれる単語間の最短パスを求め、それを利用して算出した曲間距離によって曲同士の類似度を測定する。 また、提案した曲間距離の妥当性を調べるため、曲の聴き取りによる被験者実験を行った。 |
| 題名 | データベース統合操作システムの開発 |
| 著者 | *岡本 大輔, 江口 賢和 (徳山工業高等専門学校) |
| Page | p. 18 |
| Keyword | データベース, ソフトウェア開発 |
| Abstract | データベースを利用するためには，データベース言語，例えばSQLを用いなければならず，その操作は端末画面にてユーザが直接打ち込まなければならない．またSQLは，各データベース管理システムにより，構文に多少差がある． これらのことは，データベース初心者が実際にデータベースを利用する際の妨げとなり，データベースに対する敷居が高く感じてしまうだろう．そこで本研究では，データベースをGUIを用いて利用できるシステムの開発を行うことで，SQLを意識することなくデータベースを利用でき，データベースに対する敷居を低くすることを目指す． |
| 題名 | ストリングカーネルによる分子配列データの分類に関する考察 |
| 著者 | *出來谷 沙希 (広島市立大学情報科学部知能情報システム工学科データベースシステム講座), 森 康真, 北上 始 (広島市立大学大学院 情報科学研究科) |
| Page | p. 19 |
| Keyword | ストリングカーネル, SVM, 分子配列 |
| 題名 | Clospan法を用いた図書の貸し出しデータのマイニングに関する考察 |
| 著者 | *寺下 義謙 (広島市立大学情報科学部), 片山 小百合, 北上 始, 森 康真 (広島市立大学大学院情報科学部) |
| Page | p. 20 |
| Keyword | 図書推薦 |
| 題名 | 台風データベースを用いた台風被害予測モデルの構築 |
| 著者 | *中村 翔, 今井 英幸, 森 康真, 北上 始 (広島市立大学情報科学部知能情報システム工学科データベースシステム講座) |
| Page | pp. 21 - 22 |
| Keyword | 台風, 被害, 予測, モデル, 構築 |