所属索引
し
| 所属 | 講演番号 | 論文タイトル・著者一覧 |
|---|---|---|
| 滋賀大学 | 2E-04 | 高齢社会と自主防災のためのコミュニケーションシステム ○陳 鈞，谷口伸一（滋賀大） |
| 静岡県立大学 | 4H-01 | 確率付き集合回遊中心性に基づく重要観光スポットの並列計算 ○大石真生，湯瀬裕昭，斉藤和巳，渡邉貴之（静岡県大） |
| 静岡県立大学 | 3C-03 | 人工ネットワークでの Bottom-k Sketch による可到達ノード数推定評価 ○山岸祐己，斉藤和巳（静岡県大） |
| 静岡県立大学 | 2N-06 | 画像データを用いたL1ピボット可視化法の評価 ○島崎 涼，小林えり，斉藤和巳，池田哲夫（静岡県大） |
| 静岡県立大学 | 6P-03 | イベントにおけるtwitterの位置情報付きツイートを利用したユーザーの行動分析 ○中里主哉，小林えり，斎藤和巳（静岡県大），風間一洋（和歌山大），吉田光男（豊橋技科大） |
| 静岡県立大学 | 6P-04 | 投票者モデルに基づくレビュー順序影響度分析 ○永倉卓弥，小林えり，斉藤和巳（静岡県大） |
| 静岡県立大学 | 6P-06 | 多種情報を利用したアノテーション付き可視化法 ○後藤 裕，小林えり，斉藤和巳（静岡県大） |
| 静岡県立大学 | 7P-03 | スポット情報組み込モデルによる回遊行動データの分類 ○鈴木優伽，斉藤和巳（静岡県大），風間一洋（和歌山大） |
| 静岡県立大学 | 7P-04 | サンプリング計算による回遊中心性の解精度評価 ○岩崎一輝，鈴木優伽，斉藤和巳（静岡県大） |
| 静岡県立大学 | 7R-03 | 企業の株価データを用いた業種ごとの同類度分析 ○楊 小龍，沖本まどか，上野雄史，斉藤和巳（静岡県大） |
| 静岡県立大学 | 7R-07 | Characterizing Similarity Structure of Spatial Networks Based on Degree Mixing Patterns ○アリフ マウラナ，斉藤和巳，池田哲夫，湯瀬裕明，渡辺敬之，大久保誠也，武藤伸明（静岡県大） |
| 静岡県立大学 | 5ZB-07 | 美術館におけるスマートフォン館内ガイドシステムを用いた鑑賞行動分析 ○松永菜摘，村松真帆（静岡県大），泰井 良（静岡県立美術館），渡邉貴之（静岡県大） |
| 静岡県立大学 | 7ZD-07 | オープンデータとソーシャルメディアを活用したWeb-basedデジタルサイネージシステムの複数環境における運用と評価 ○工藤直哉，山上真由（静岡県大），伊藤裕二（メディア・ミックス静岡），小坂弘史（スカパーJSAT），湯瀬裕昭，渡邉貴之（静岡県大） |
| 静岡県立美術館 | 5ZB-07 | 美術館におけるスマートフォン館内ガイドシステムを用いた鑑賞行動分析 ○松永菜摘，村松真帆（静岡県大），泰井 良（静岡県立美術館），渡邉貴之（静岡県大） |
| 静岡産業大学 | 5ZA-02 | 英単語並べ替え問題における機械学習による学習者の迷い検出 ○厚見南帆，宮崎佳典，厨子光政（静岡大），法月 健（静岡産大） |
| 静岡大学 | 4L-06 | 文脈を用いたHuman-powered結合処理方式の提案 ○中村優太，森嶋厚行，北原 格（筑波大），井ノ口宗成（静岡大），柚木玲士（筑波大） |
| 静岡大学 | 7L-05 | HMMとLLD特徴量セットを用いた水分摂取量推定手法の検討 ○山田侑太朗，西村雅史，峰野博史（静岡大） |
| 静岡大学 | 1M-06 | 顔識別システムに適したJPEG量子化テーブルの提案 ○村瀬寛高，長谷川圭佑，杉浦彰彦（静岡大） |
| 静岡大学 | 6M-05 | 鉄道経営ゲームにおける思いやりある協調的動作の実現 ○杉浦生隼，福田直樹（静岡大） |
| 静岡大学 | 7N-04 | 高解像度画像における近視の視認性を考慮した周波数帯域補正 ○吉永秀人，杉浦彰彦（静岡大） |
| 静岡大学 | 2P-03 | Optical Flowを用いた植物水分ストレス推定手法の検討 ○柴田 瞬（静岡大），古都哲生（メガチップス），峰野博史（静岡大） |
| 静岡大学 | 7P-05 | ゆとり基準に基づく複数勤務地を考慮した業務担当シフトの交代支援機構の試作 ○筒井宏紀，福田直樹（静岡大） |
| 静岡大学 | 4Q-06 | 機械学習を用いたセンサ値補正手法の検討 ○大野雄一朗，兼田千雅，井林宏文，峰野博史（静岡大） |
| 静岡大学 | 6Q-03 | 非言語音響情報を利用した聞き役対話システムに関する検討 ○栂井良太，中島 悠（静岡大），伊東伸泰（日本IBM），西田昌史，西村雅史（静岡大） |
| 静岡大学 | 7R-08 | アビリティの受け渡しを考慮した間接的貢献行動のプランニング ○嶋崎大介，福田直樹（静岡大） |
| 静岡大学 | 6R-05 | 多様なIoT環境に追従可能な優先度制御機構の検討 ○橘 拓馬（静岡大），古都哲生（メガチップス），峰野博史（静岡大） |
| 静岡大学 | 1S-04 | VANETにおけるsoft-state sketchを用いた位置依存情報の要求分布の集約性能 ○山田暁裕，石原 進（静岡大） |
| 静岡大学 | 2S-05 | 複数の通信メディアを利用した車車間センシングデータ共有システムにおける妨害攻撃の影響の評価 ○植田雄介（静岡大），Mario Gerla（UCLA），石原 進（静岡大） |
| 静岡大学 | 3S-06 | 画像処理を用いたアナログ温湿度計データ取得手法の検討 ○光安涼志，峰野博史（静岡大） |
| 静岡大学 | 3S-07 | 軍艦島モニタリングに向けた首振りカメラによる映像取得方式の検討 ○守屋広汰，小寺志保（静岡大），倉田成人（筑波技術大），濱本卓司（東京都市大），猿渡俊介（静岡大） |
| 静岡大学 | 1T-07 | 軍艦島全域センサネットワーク構築に向けた検討 ○岡田隆三，小寺志保（静岡大），富岡昭浩（日本航空電子），倉田成人（筑波技術大），濱本卓司（東京都市大），猿渡俊介（静岡大） |
| 静岡大学 | 2T-05 | Radio over Fiberを用いた多アンテナミリ波無線LANにおける動的チャネル割り当てアルゴリズムの基礎検討 ○櫛田裕樹，村上航大，石原 進（静岡大），真野 浩（コーデンテクノインフォ），高井峰生（UCLA） |
| 静岡大学 | 1U-08 | 衛星測位情報を用いた自動二輪車の運動センシングデータの補正手法の一検討 ○杉浦健介，木谷友哉（静岡大） |
| 静岡大学 | 2U-01 | VANETによるモバイルデータオフローディング遅延時間について東京都市圏の実情報を用いた評価 ○政野博紀，木谷友哉，峰野博史（静岡大） |
| 静岡大学 | 3Y-03 | タブレット端末を用いた顔表情認知の歪み測定によるうつ検出システムの評価 ○大石勝巳，原田晋吾，杉浦彰彦（静岡大） |
| 静岡大学 | 6Y-06 | 顔の物理的特徴量を利用した顔選好における自己顔の影響 ○原田晋吾，杉浦彰彦（静岡大） |
| 静岡大学 | 4Z-03 | エージェントモデルによる周期ゼミの進化メカニズムの解明 ○伊東 啓，柿嶋 聡（静岡大），上原隆司（名古屋短期大），守田 智（静岡大），小山卓也，曽田貞滋（京大），John Cooley（コネティカット大），吉村 仁（静岡大） |
| 静岡大学 | 5ZA-02 | 英単語並べ替え問題における機械学習による学習者の迷い検出 ○厚見南帆，宮崎佳典，厨子光政（静岡大），法月 健（静岡産大） |
| 静岡大学 | 4ZB-05 | 無形民俗文化財「祭り」の保存と継承に必要な情報とその変遷をアーカイブ化するための記述方法の検討 ○西尾美沙季，杉山岳弘（静岡大） |
| 静岡大学 | 5ZB-01 | 博物館における収蔵品の解説情報を活用するためのテーマ構造の解析と記述方法の提案 ○鈴木美咲，清水 恵，杉山岳弘（静岡大） |
| 静岡大学 | 5ZB-02 | 博物館展示品の持つ知識のテーマ構造を基にしたシナリオ作成支援システムの開発 ○清水 恵，鈴木美咲，杉山岳弘（静岡大） |
| 静岡大学 | 5ZB-06 | 石碑をメタファーとしたシンボル化による地震災害史の地図データベースの構築 ○河内愛実，杉山岳弘（静岡大） |
| 静岡大学 | 6ZB-01 | 回想法を模擬した高齢者向け対話システムの構築に関する研究 ○中島 悠，栂井良太（静岡大），伊東伸泰（日本IBM），西田昌史，西村雅史（静岡大） |
| 静岡大学 | 2ZC-07 | 数学教育における証明学習のための論理構造提示Webアプリケーション ○森田雄介，宮崎佳典，渡部孝幸（静岡大） |
| 静岡大学 | 5ZC-01 | レイアウト定義言語DASTを用いたオブジェクト構造可視化の使用性及び有効性の評価 ○松崎 駿（静岡大），松澤芳昭（青学大），酒井三四郎（静岡大） |
| 静岡大学 | 1ZD-01 | 猿検知システムを用いた確率モデルによる出現予測 ○十時光崇，北爪孝明，杉浦彰彦（静岡大），中井一文，江崎修央（鳥羽商船高専），山端直人（三重県農業研究所） |
| 静岡大学 | 1ZD-02 | 猿出現データを用いた山間部豊凶作状況と出現地域の分散傾向 ○照井一暉，杉浦彰彦（静岡大），中井一文，江崎修央（鳥羽商船高専），山端直人（三重県農業研究所） |
| 静岡大学 | 7ZD-03 | 周辺検知が可能なエリアIPフォ ンによる事故防止システム ○北沢昂平，石川真次郎，杉浦彰彦（静岡大） |
| 静岡理工科大学 | 3K-07 | ベクトル場による注射技術における手指運動の解析 ○野口俊樹（静岡理工科大），大谷康介（binary lab），松田 健（静岡理工科大），真嶋由貴恵（阪府大） |
| 静岡理工科大学 | 3K-08 | クロスサイトスクリプティング(XSS)攻撃の検知におけるバッチ学習とオンライン学習の比較実験 ○梅原章宏（中大），松田 健（静岡理工科大），園田道夫（中大），水野信也（静岡理工科大），趙 晋輝（中大） |
| 静岡理工科大学 | 4R-06 | デジタルサイネージコンテンツにおけるアイトラッキングの利用と効果 ○澤木みゆ，水野信也（静岡理工科大） |
| 資生堂 | 4W-07 | 肌接写画像から抽出した特徴量ヒストグラムに基づく肌微細構造のCG表現 ○古川ひとみ，伊藤貴之（お茶の水女子大），豊田成人，小田康太郎（資生堂） |
| シドニー大学 | 4N-05 | 記号列化した人流データからの特徴抽出と可視化 ○宮城優里（お茶の水女子大），大西正輝（産総研），渡辺知恵美（筑波大），高塚正浩（シドニー大），伊藤貴之（お茶の水女子大） |
| 芝浦工業大学 | 3G-01 | 複数台の分散移動ロボットの動作と電力消費特性に基づく管理手法の提案 ○清水航平，中山 悟，菅谷みどり（芝浦工大） |
| 芝浦工業大学 | 3G-02 | コンテキスト指向プログラミングのロボット事例への適用検討 ○小野建也，菅谷みどり（芝浦工大） |
| 芝浦工業大学 | 4G-02 | 能動的なロボットと人の関係についての考察 ○岡田明帆，菅谷みどり（芝浦工大） |
| 芝浦工業大学 | 5G-03 | 分散ロボットシステムサーバのための応答性向上手法 ○中山 悟，中野美由紀，菅谷みどり（芝浦工大） |
| 芝浦工業大学 | 7H-02 | C言語プログラムを対象とした盗用検知手法の提案および実装 ○東 拓磨，篠埜 功（芝浦工大） |
| 芝浦工業大学 | 2J-08 | ウェブブラウザを用いたプログラミング学習支援環境 ○石嶋 慧，平川 豊，大関和夫（芝浦工大） |
| 芝浦工業大学 | 3J-04 | UMLモデリングツールとGUIビルダによる相互的なモデリング手法の実装と適用事例による評価 ○松井浩司，松浦佐江子（芝浦工大） |
| 芝浦工業大学 | 7J-04 | 組み込みシステムにおける設計制約の導出手法 ○西川 俊，松浦佐江子（芝浦工大） |
| 芝浦工業大学 | 4K-01 | 意外性のある検索クエリの推薦方法の提案 ○鈴木永史郎，杉本 徹（芝浦工大） |
| 芝浦工業大学 | 2L-02 | 話題語に関連する情報のマイクロブログからの抽出 ○鈴木諒雅，杉本 徹（芝浦工大） |
| 芝浦工業大学 | 2R-05 | 関連語を用いた感性語の意味のモデル化 ○山崎勢太，杉本 徹（芝浦工大） |
| 芝浦工業大学 | 5S-01 | Twitterデータを利用したLinked Open Data作成手法の検討 ○麻田修平，大関和夫，平川 豊（芝浦工大） |
| 芝浦工業大学 | 3T-06 | M2Mプロトタイプ構築環境とLeapMotionControllerを使用した電気機器制御システムの開発 ○久貝洋介，井上雅裕（芝浦工大），大江信宏，市村 洋，小泉寿男（M2M研究会） |
| 芝浦工業大学 | 6T-09 | ユーザ参加型センシングを利用した災害後情報収集と安全性を加味した経路地図作成 ○池田幸恵，井上雅裕（芝浦工大） |
| 芝浦工業大学 | 1U-06 | 小規模ネットワーク形成による運転者間コミュニケーションシステム ○伊達宏幸，新津善弘（芝浦工大） |
| 芝浦工業大学 | 5U-03 | BLE Beaconを用いた視覚障がい者歩行支援法 ○宮木 洋，新津善弘（芝浦工大） |
| 芝浦工業大学 | 2V-06 | サービス競合を考慮したホームネットワークシステムに関する考察 ○牧岡竜人，平川 豊，大関和夫（芝浦工大） |
| 芝浦工業大学 | 3X-01 | 手話のキーフレームに基づく映像圧縮を用いた災害情報伝達システム ○秋山滉太，米村俊一（芝浦工大），筒口 拳（NTT） |
| 芝浦工業大学 | 3Y-08 | 室内照明の照度制御に基づく快適睡眠への導入に関する基礎的検討 ○本道真依，米村俊一（芝浦工大） |
| 芝浦工業大学 | 1Z-06 | Haptic Virtual: 視覚および触覚が生体情報に及ぼす影響 ○保科篤志，菅谷みどり，岡田佳子（芝浦工大） |
| 芝浦工業大学 | 3ZB-06 | CNNと制約充足による手書き変体仮名認識 ○渡辺 悟（芝浦工大），Marcelo Hossomi（USP），鈴木徹也，相場 亮（芝浦工大） |
| 芝浦工業大学 | 6ZB-02 | リハビリテーション促進ロボットの実現に向け ○岡崎純己，松日楽信人，菅谷みどり（芝浦工大） |
| 芝浦工業大学 | 7ZB-03 | 認知症早期発見のためのデータ分析プラットフォームの開発 ○君野敬祐，石井 瞭，井上雅裕（芝浦工大） |
| 芝浦工業大学 | 7ZB-04 | 認知症早期発見のための行動センシングセンサシステムの研究 ○石井 瞭，君野敬祐，井上雅裕（芝浦工大） |
| 芝浦工業大学 | 1ZC-05 | 標的型攻撃対策のための体験型学習システムの開発と評価 ○今村彰吾，大関和夫，平川 豊（芝浦工大） |
| 芝浦工業大学 | 7ZC-07 | Project-Based Learningにおける役割をもとにした分析および効果測定 ○木谷健太，菅谷みどり，谷田川ルミ（芝浦工大） |
| 島根大学 | 5E-03 | 自治体におけるサイバーセキュリティ対策 ○本田正美（島根大） |
| 首都大学東京 | 4A-06 | システムズエンジニアリングの効果検証：学生ロケットプロジェクトへの導入実験 ○伊藤夏青（横浜国大），秋元賢佑（千葉工大），小布施聡（慶大），菅田徹也，吉本直哉（横浜国大），玉越大資（首都大），嶋津恵子（産業技術大） |
| 首都大学東京 | 4B-04 | 誰でも簡単に「仮想ツアー」を閲覧／発表できるWebツールの社会発信 ○倉田陽平，相 尚寿（首都大），真田 風（福島県立テクノアカデミー会津），江崎貴昭，池田拓生（首都大） |
| 首都大学東京 | 3P-08 | 積み重ね強化学習を用いたRobo Cup-Soccer Keepawayタスクの検証 ○橋本敏成，相馬隆郎，田原秀平（首都大） |
| 首都大学東京 | 1Q-07 | カラオケを盛り上げるためのタンバリン演奏支援システム：複数人プレイへの対応 ○栗原拓也（日大），横溝有希子，竹腰美夏，馬場哲晃（首都大），北原鉄朗（日大） |
| 首都大学東京 | 7X-07 | 少ない機構で意思伝達が可能なコミュニケーションロボットの提案 ○角 圭祐，山口 亨，藤本泰成，下川原英理（首都大） |
| 首都大学東京・産業技術大学院大学 | 6D-06 | CVCAを活用したサービスデザイン着想支援 ○池本浩幸（首都大・産業技術大） |
| 城西大学 | 3F-01 | 情報科教育法における伝達力育成学習の実践報告 ○岡本覚子，栗田るみ子（城西大） |
| 湘南工科大学 | 1A-02 | 縦方向への積層技術を用いた低コスト高速半導体不揮発性メモリの設計法 ○渡辺重佳（湘南工科大） |
| 湘南工科大学 | 7G-01 | 単フリット・ワームホール混在型ルーティングの提案 ○杉岡純平，三浦康之（湘南工科大） |
| 湘南工科大学 | 7G-03 | 二次元トーラス・ネットワークの適応ルーティングにおける性能改善法の検討 ○守屋 拓，三浦康之（湘南工科大） |
| 湘南工科大学 | 4J-01 | WebプログラマのためのJavaScript言語の改良 ○柏倉 歩，大谷 真（湘南工科大） |
| 湘南工科大学 | 2C-02 | 低照度映像の動体認識のためのノイズ除去手法の最適化に関する研究 ○三浦康之，末吉太志，森 敬史（湘南工科大） |
| 湘南工科大学 | 4N-02 | 低照度映像の動体認識のための移動平均フィルタを用いたノイズ除去法 ○WEIJIE ZHOU，三浦康之（湘南工科大） |
| 湘南工科大学 | 5U-02 | Beacon配置空間での近傍点推定方式 ○前田俊彦，菊池竜太，柏倉 歩，大谷 真（湘南工科大） |
| 湘南工科大学 | 5F-02 | 編集履歴可視化システムを用いたLearning Analytics 〜システム構成と実装 ○荒本道隆（アドソル日進），小林 学（湘南工科大），中澤 真（会津大），中野美知子，後藤正幸，平澤茂一（早大） |
| 湘南工科大学 | 5F-05 | 編集履歴可視化システムを用いたLearning Analytics 〜 Cプログラミング科目における編集履歴と評価得点データを統合した分析モデル ○後藤正幸，三川健太，雲居玄道（早大），小林 学（湘南工科大），荒本道隆（アドソル日進），平澤茂一（早大） |
| 湘南工科大学 | 5F-06 | 自習時のログ情報に基づく効果的な反転授業に関する考察 ○梅澤克之（日立），小林 学（湘南工科大），石田 崇（高崎経済大），中澤 真（会津大），荒本道隆（アドソル日進），平澤茂一（早大） |
| 湘南工科大学 | 4ZB-04 | 国宝「一遍上人絵伝」に描かれる踊念仏の踊りのシーケンスを復元 ○荒木宏允，谷田部竜，長沢可也（湘南工科大） |
| 湘南工科大学 | 4ZB-06 | 庭園復元される国史跡「永福寺跡」におけるAR技術による展示 ○谷田部竜，長沢可也，荒木宏允，吉川波輝，山﨑拓平，藤野秀平，海上 翔，大嶽直樹（湘南工科大） |
| 湘南工科大学 | 1ZD-04 | 農産物無人販売システム(UAPS)の実現 ○徳増 匠，立花優貴，大谷 真（湘南工科大） |
| 湘南工科大学 | 1ZD-05 | UAPS(農産物無人販売所)モバイルシステムの開発 ○立花優貴，徳増 匠，田中佑弥，大谷 真（湘南工科大） |
| 情報セキュリティ大学院大学 | 3D-01 | 大規模情報漏えいにおけるセキュリティマネジメントからの考察 ○内田勝也（情報セキュリティ大） |
| 情報セキュリティ大学院大学 | 3D-03 | 情報セキュリティにおける騙しの考察 ○内田勝也（情報セキュリティ大） |
| 情報セキュリティ大学院大学 | 5V-04 | 企業内ネットワークを支えるデータセンターにおけるセキュリティ課題のSDNを用いた解決手法の提案、及び評価 ○飯塚哲史（情報セキュリティ大） |
| 情報セキュリティ大学院大学 | 5V-06 | 位置情報の匿名化の有用性向上に関する一検討 ○西山賢志郎（情報セキュリティ大），林 弘悦（中大），土井 洋（情報セキュリティ大） |
| 情報セキュリティ大学院大学 | 5V-07 | SaaS利用検討時のリスク認知バイアスの緩和に関する提案 ○羽田真也（情報セキュリティ大） |
| 情報セキュリティ大学院大学 | 6V-02 | 標的型攻撃の早期検知に向けたSTIX/TAXIIの活用に関する検討 ○岡田周平，後藤厚宏（情報セキュリティ大） |
| 情報セキュリティ大学院大学 | 2W-08 | パケット解析を用いたTor通信先の識別のための実験 ○早川宏志，青木太一，佐藤 直，土井 洋（情報セキュリティ大） |
| 情報セキュリティ大学院大学 | 5E-04 | サプライチェーンのガバナンスに関する一考察 ○原田要之助（情報セキュリティ大） |
| 湘北短期大学 | 7ZA-04 | 就活生が他者を演じることを基本とした「なりきり面接」の提案と効果検証 ○松本尚悟（東京工科大），中村亮太（湘北短期大），上林憲行（東京工科大） |
| 湘北短期大学 | 6ZC-02 | チャットと対面コミュニケーションを組み合わせた人狼ゲームの提案と支援サービスの制作 ○菊地健祥（東京工科大），中村亮太（湘北短期大），上林憲行（東京工科大） |
| 湘北短期大学 | 7ZC-01 | 他者による自己分析を先行させる自己PR作成支援方法の提案と評価 ○田中正信（東京工科大），中村亮太（湘北短期大），上林憲行（東京工科大） |
| 湘北短期大学 | 7ZC-02 | 透過型HMDを用いたリアルタイム自己視による面接における非言語行動改善プログラムの提案と効果の検証 ○佐藤森矢（東京工科大），中村亮太（湘北短期大），上林憲行（東京工科大） |
| 白糠町役場 | 5S-07 | スマートフォンアプリケーションを活用したマタニティ支援システムの開発 ○渋谷卓磨，土田 栞（釧路公大），上川原ひろみ（市立釧路総合病院），小松 望（白糠町役場），皆月昭則（釧路公大） |
| 市立釧路総合病院 | 5S-07 | スマートフォンアプリケーションを活用したマタニティ支援システムの開発 ○渋谷卓磨，土田 栞（釧路公大），上川原ひろみ（市立釧路総合病院），小松 望（白糠町役場），皆月昭則（釧路公大） |
| 神経数理学研究所 | 6D-05 | 超微細眼球運動及び頭部運動検出のための同期高精度撮影系の構築 ○藤江博幸（三城），田中靖人（神経数理学研究所），七五三木聡（阪大） |
| 信州大学 | 5J-02 | Human Interface Guidelineに基づくGUIのユーザエラー防止性自動評価手法 ○片桐健吾，小形真平，岡野浩三（信州大） |
| 信州大学 | 7J-02 | 図要素間の依存関係によるクラス図の段階的採点支援手法 ○宮島和音，小形真平，香山瑞恵，岡野浩三（信州大） |
| 信州大学 | 3K-04 | ペトリネット検証ツールHiPSにおけるLTL仕様に基づいたOn-the-fly/Fluentモデル検査 ○張江洋次朗，和崎克己（信州大） |
| 信州大学 | 2C-04 | 進化計算による3次元レジストレーションのための高能率なリサンプリング ○植西一馬（信州大），岩切宗利（防衛大），田中 清（信州大） |
