FIT2015第14回情報科学技術フォーラム 開催日:2015年9月15日(火)~17日(木) 会場:愛媛大学城北キャンパス
一般講演プログラム

B分野 ソフトウェア
 
ソフトウェア開発
9月16日 (水)15:30-17:30 5A会場 (講義棟2階 講23)
座長 土屋 達弘(阪大)
B-001 アプリケーションの挙動に影響を及ぼしている要因の測定方法に関する考察
井上哲哉(所属なし)
B-002 工数予測支援ツールe3の機能拡張と追加評価
古田雄基・楠本真二・肥後芳樹(阪大)
B-003 オープンソースソフトウェア開発におけるコミュニティ活動の課題分析とその解決方法の提案
夏目貴史・市原裕史・市川俊一・坂井 博(NTT)
B-004 VDM++分散モデル実行環境を用いたプロトタイピングと非同期UIへの適用
多田圭佑・和崎克己(信州大)
B-005 エンドユーザ向けゲーム開発ツールの試作:トランプゲームを対象としたオブジェクトベースの解釈実行方式
米澤 剛・中所武司(明大)
 
ソフトウェア科学・知識・教育
9月17日 (木)9:30-12:00 6A会場 (講義棟2階 講23)
座長 飯島 正(慶大)
B-006 コレスポンデンス分析におけるデータ変動の影響
井田正明(大学評価・学位授与機構)
B-007 バレーボール動画におけるサーブデータ抽出に関する研究
菊池拓磨・小嶋和徳・伊藤慶明(岩手県大)
B-008 プログラミング教育におけるオブジェクトの構成比率による課題プログラムの分類と特徴
野口孝文(釧路高専)
B-009 Javaメソッドの純粋性の変化と不具合の混入および除去に関する調査
小倉直徒・楊 嘉晨・堀田圭佑・肥後芳樹・楠本真二(阪大)
B-010 MDA:その数学的定式化
中村正治(所属なし)
 
高性能計算
9月17日 (木)13:00-16:00 7A会場 (講義棟2階 講23)
座長 横川三津夫(神戸大)
B-011 HPCシステムにおける障害監視および動的再構成機能
齊藤隆之(アンクル)・善甫康成(法大)
B-012 ストレージイベント駆動型ジョブ制御システム:TaNAS
平松和剛・齊藤隆之(アンクル)
B-013 スイッチを用いないトーラス接続PCクラスタの実装と評価
福永隆文(熊本技術短大)
B-014 結合ソフトウェアppOpen-MATH/MPの性能評価と最適化
荒川 隆・井上孝洋(海洋研究開発機構)・松本正晴・佐藤正樹(東大)
B-015 GPUによる回遊中心性及び利便中心性の並列計算
大石真生・渡邉貴之(静岡県大)
B-016 (講演取消)
B-017 無誤差演算のための最小演算精度の提案と評価
井川尚幸・古賀雅伸(九工大)
 
システムソフトウェアとOS
9月15日 (火)9:30-12:00 1B会場 (講義棟2階 講24)
座長 毛利公一(立命館大)
B-018 システムコール発行頻度に基づくバッファキャッシュ制御法における重要度更新の遅延方式
寺岡明彦・山内利宏・谷口秀夫(岡山大)
B-019 仮想化環境におけるゲストOSページキャッシュの監視によるホストOSページキャッシュのヒット率の向上
杉本洋輝(工学院大)・光来健一(九工大)・山口実靖(工学院大)
B-020 ハイパバイザによる災害警報通知
大山恵弘(電通大)
B-021 CPU資源の割当て制御によるKVMの動作制御評価
森山英明・木下椋司・菅沼 明(有明高専)・山内利宏・谷口秀夫(岡山大)
B-022 通信制御サーバを用いたAnTのOSサーバ入替え機能の評価
澤田 淳・山内利宏・谷口秀夫(岡山大)
B-023 ファイル読み込み処理におけるAnTオペレーティングシステムのOSサーバの優先度逆転抑制法の評価
鴨生悠冬・山内利宏・谷口秀夫(岡山大)
 
ソフトウェアテスト・検証
9月15日 (火)15:30-17:30 3B会場 (講義棟2階 講24)
座長 山本 博章(信州大)
B-024 故障木図からのモデル検査式導出手法の提案
長田知之・原内 聡(三菱)
B-025 組み合わせテスト集合生成におけるテストケース候補数の最適化について
大橋 輝・土屋達弘(阪大)
B-026 Javaプログラムの逆方向解析
稲船哲也・平中幸雄・武田利浩(山形大)
B-027 受け入れテスト駆動開発による実行可能な仕様に関する検証結果
張  嵐・藤井 拓・木村めぐみ(オージス総研)