日本ソフトウェア科学会大会
第34回大会 プログラム

日程：2017年9月19日(火)～9月21日(木)場所：慶應義塾大学 日吉キャンパス 来往舎

日本ソフトウェア科学会第34回大会 9月15日版

日時
会場

9月18日(月)シンポジウム大会議室
スペース

9月19日(火)
大会議室

大会議室

一般 (1)

10:00-10:30

一般 (2)PPL (1)

10:30-11:00
基礎研究賞 特別講演 (佐々政孝)(PPL特別セッション)(シンポジウムスペース)11:30-12:00
12:00-12:30

PPLサマースクール

チュートリアルソフトウェア
論文 (2)
休憩

PPL (4)

一般 (8)

一般 (9)

トップ
カンファレンス
特別講演

FOSE (2)

PPL (7)

休憩

一般 (6)

rePiT (2)

PPL (5)

一般 (10)

一般 (11)

昼休み

基礎研究賞 特別講演 (後藤真孝)(ISS特別セッション)(シンポジウムスペース)招待講演（榊原彰）(シンポジウムスペース)若手特別講演(蓮尾一郎)(シンポジウムスペース)

休憩

休憩

休憩

15:00-15:30
ソフトウェア
論文 (1)

16:00-16:30

一般 (3)PPL (2)休憩

FTD (Future Technology Design)(シンポジウムスペース)一般 (12)

一般 (4)PPL (3)
一般 (7)

MACC (1)

17:30-18:00
休憩
懇親会(ファカルティラウンジ)

PPL (6)

PPL (8)休憩
一般 (13)

rePiT (1)FOSE (3)

MACC (2)

デモ・ポスターセッション（休憩）(ギャラリー)

16:30-17:00

18:30-20:00

FOSE (1)受付

昼休み
挨拶・表彰式(シンポジウムスペース)14:00-14:30

18:00-18:30

シンポジウムスペース

ランチ交流会 (大会議室)

13:30-14:00

17:00-17:30

中会議室

昼休み

受付

12:30-13:00

15:30-16:00

大会議室B

休憩

11:00-11:30

14:30-15:00

大会議室A

受付
一般 (5)

13:00-13:30

中会議室

9月21日(木)シンポジウム
スペース

受付

受付

9:00-9:30
9:30-10:00

中会議室

9月20日(水)シンポジウムスペース

MACC (3)

PPL (9)9月19日(火)

日時
会場

大会議室

一般 (1)：性能改善 (1)9:30-10:00 ・ワークスペース自動割当による畳み込みニューラルネッ ト
ワークの高速化
10:00-10:30 ・Unified Memoryを用いた大規模ディープラーニングモデルのベンチマークの性能及び必要なAPIに関する考察
・Spark GraphXによる最大流アルゴリズムの実装と評価
10:30-11:00

中会議室

シンポジウムスペース

一般 (2)：知識処理 (1)PPL (1): プログラム解析
・実世界型電子付箋システムにおける漂流型情報共有機構に ・C言語における無効なスタック領域へのポインタを検出する
静的解析
ついて・ハイパーメディアのJaccard係数に着目した定義文拡張にお ・データ駆動アプローチによるプログラムの線形写像化
・Outlook on Composite Type Labels in User-Defined Type
ける語義曖昧性解消・短文レポート評価のためのレポート群の特徴に基づく可視化 Systems
システムの開発
休憩

11:00-11:30

基礎研究賞 特別講演 (佐々政孝)(PPL特別セッション)(シンポジウムスペース)11:30-12:00
12:00-12:30
12:30-13:00

昼休み

13:00-13:30
挨拶・表彰式(シンポジウムスペース)13:30-14:00
14:00-14:30

基礎研究賞 特別講演 (後藤真孝)(ISS特別セッション)(シンポジウムスペース)14:30-15:00
15:00-15:30

ソフトウェア論文 (1)・Codosseum: OSSプロジェクトモニタリングWebサービス
15:30-16:00 ・ユニケージ開発手法に基づく Unix ファイルシステムとシェルを用いたデータベースの構築と操作
16:00-16:30

休憩
一般 (3)：エージェント基礎
・MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良・ヘドニックゲームにおける羨望に基づく公平性

PPL (2): 証明と検証（1）・極大完備化に基づく等式定理の自動証明
・証明支援系 Coq を用いた有界モデル検査
・並列プログラム計算量の系統的機械証明手法の開発

休憩

rePiT (1)：

一般 (4)：仮想化技術
PPL (3): プログラム変換・合成
16:30-17:00 ・QuadProを目指す組込みシステム開発教育における学習プロセスの検 ・異種OS上のコンテナ型仮想化環境間でのライブマイグレー ・関係的仕様からの関数型プログラム合成
討
ション実現方式の検討
・多言語に対応した衛生的マクロ機構導入方式
・能力成熟度モデル統合に基づいた PBLにおける定量的学習評価手法
・マルウェアが実行する耐解析処理の定量的傾向
・グラフ書換え言語LMNtalからのCプログラムの自動生成
17:00-17:30 の提案
・アプリケーション仮想共有における共有管理機構インタフェー
・ハッキング競技CTFを取り入れた情報教育のための教材作成支援シス
ス
テムの検討
17:30-18:00
・クラウドにおけるVMリダイレクト攻撃を防ぐためのリモート管理機構
18:00-18:15

9月20日(水)日時
会場
9:30-10:00
10:00-10:30

大会議室

中会議室

一般 (5)：知識処理 (2)・拡張マークダウンを利用した状況即応的なプレゼンテーションシステムの実装
・Non-negative Tri-factorization with a Dynamic Laplacian Constraint for
Associating Features
・自律ロボットの物体認識能力の獲得について

10:30-11:00

一般 (6)：機械学習・シミュレーション
・機械学習工学に向けて
11:00-11:30 ・機械学習による3次元シミュレーション空間の場面評価手法の検討
・進化シミュレーションを用いた３人人狼の分析
11:30-12:00

ソフトウェア論文 (2)・NezCC: A Cross-Language PEG Parser Generator

シンポジウムスペース
PPL (4)： 証明と検証（2）・書き換え帰納法を利用した帰納的定理証明の補題生成法
・プログラム操作のためのホーア論理の拡張
・正則項上の可換な単一化について

休憩

rePiT (2)：
PPL (5): 並列分散計算
・自動発注問題を題材としたビッグデータ・AI技術に対する実 ・メモリ効率の良い遅延スレッド生成のためのスタック領域のリ
践的人材育成コースの設計
ンクリスト化・東京工業大学におけるITシステムの価値探索を狙いとした実 ・Extending Fregel for Functional Vertex-centric Graph
Processing with Remote Access functional programming,
践的IT人材育成の試み
・Coderretreatによるプログラミング学習意欲の向上に関する ・仮想環境を考慮した要求駆動型負荷分散
考察 ～Coderetreat for Girls を振り返って

12:00-12:30
12:30-13:00

昼休み (ランチ交流会(大会議室))

13:00-13:30
13:30-14:00
14:00-14:30
14:30-15:00
15:00-15:30
15:30-16:00

招待講演 (榊原彰)(シンポジウムスペース)休憩

FTD (Future Technology Design)(シンポジウムスペース)16:00-16:30
16:30-17:00
一般 (7)：ソフトウェアの生成・変更 (1)
17:00-17:30 ・SML#のためのコードレベルデバッグ環境の構築に向けて・モジュールの生成が可能なマルチステージ言語の提案
17:30-18:00

デモ・ポスターセッション (休憩)
(ギャラリー)
MACC (1)：マルチエージェント基礎
PPL (6): ソルバーの活用
・MC-netsにおける利得分配：上界保証付きε-コアを求めるア ・ブール基数制約を経由した擬似ブール制約のSAT符号化手
ルゴリズム
法
・抽象議論理論的な同盟形成意味論
・Why3 を用いた区間演算ライブラリの検証

18:00-18:15

休憩

18:15-20:00

懇親会

日時
会場

9月21日(木)大会議室A

一般 (8)：ソフトウェアの生成・変更 (2)9:30-10:00 ・頂点主体並列グラフ処理の制約解消器による効率化
・ソースコードの変更によるデータフロー図の差異検出手法
10:00-10:30

大会議室B

中会議室

一般 (9)：モデル検査
・制御ルールの並びに着目した反例分析手法の提案
・ドローン物流システムにおけるモデル検査法を用いた運行ス
ケジュールの決定手法

FOSE (1)：

シンポジウムスペース
トップカンファレンス特別講演

・既存Androidアプリケーションの実装状況に基づいた実装すべきメソッド ・Stateful Manifest Contractsの提示手法
・Automated Refactoring of Legacy Java Software to Default
・バージョン管理システムにおけるコンフリクトの自動解消への試み
Methods

休憩
一般 (10)：性能改善 (2)一般 (11)：ビッグデータ・可視化
FOSE (2)：・Performance Characteristics of Linux for Java Workloads
・対話的なネットワーク可視化分析のシェーダー実装による高 ・再帰型ニューラルネットワークを用いたコーディングスタイル
11:00-11:30 Oversubscribing Memory
速化の自動検査手法の提案
・ディレクトリ毎にジャーナリングモードを設定可能なファイルシ ・高次元データ可視化手法Hidden
・デバッグ作業者の内面分析支援を目的とした障害発生過程
ステム・ライフスタイル認証モデルの提案とその評価に向けた実証実の実体化手法11:30-12:00
・複数の頂点主体グラフ計算フレームワーク向けの中間表現と 験・確率的プログラムのAOPによる生成
コード生成器12:00-12:30
10:30-11:00

PPL (7): 構文解析と型・解析表現文法の結合優先度を保持した左再帰除去手法の提案
・型検査を用いたコンパイル時LR構文解析手法の提案
・実用的な型エラースライサに向けた改良と評価

12:30-13:00
お昼休み
13:00-13:30
13:30-14:00
14:00-14:30
14:30-15:00

若手特別講演 (蓮尾一郎)(シンポジウムスペース)
休憩

一般 (12)：インタラクション
・タブレット上でブラインドタッチを可能にするフレキシブルキー
15:00-15:30 ボードの提案
・発表練習支援システムのためのプレゼン映像からの癖除去
15:30-16:00 機構の開発
・OCC theoryに基づくエージェントの感情表現と時間経過に関する論理モデル
16:00-16:30

MACC (2)：協調とプライバシ
・マルチエージェント継続協調巡回における分業の創発と変化に対する柔軟性の評価
・効率的なタスク割り当てのための希望順位戦略の自律的学
習法の提案
・センシティブ属性値の距離を考慮したダミー追加による l-多様性アルゴリズムの提案

一般 (13)：基礎
16:30-17:00 ・余帰納法に基づく 定理証明の自動化
・キューマシンにおける不動点プログラミング
17:00-17:30

MACC (3)：クラウドソーシング・クラウドソーシングを用いた社会課題因果関係LODの構築
・提携構造の安定性分析に基づくQ&Aコミュニティのインセン
ティブ設計

FOSE (3)：・ローマ字入力時の日本語識別子入力補完プラグインの開発
・データセット多様性のソフトウェア・テスティング
・OSSプロジェクトにおけるTangledコミットの実証分析

PPL (8): 最適化
・多相関数を含むプログラムの抽象解釈を用いた最適化
・末尾再帰でない再帰プログラムの高速化のための最適化に関する一考察・Swift処理系における不可分命令のオーバーヘッドとその解決案

休憩

PPL (9): プログラミング支援・アクターシステムを対象としたリバースデバッギングのためのフレームワーク
・正規表現型を用いた解析表現文法への型付け日本ソフトウェア科学会第 34 回プログラム

PPL サマースクール 20179 月 18 日(月) 10:00～17:00

招待講演
9 月 20 日(水)13:30～14:30

Isabelle/HOL による証明とプログラミング
司会：櫻井 祐子 (産業技術総合研究所)

山田晃久 (インスブルック大学)

加速するクラウドプラットフォーム化と産業のイノベーション
榊原 彰 (日本マイクロソフト株式会社)

チュートリアル
9 月 18 日(月) 13:00～16:00

基礎研究賞 特別講演

Deep Learning フレームワーク Chainer と最近の技術動向

9 月 19 日(火) 11:15～12:15

司会：岩崎 英哉 (電気通信大学)

齋藤俊太 (Preferred Networks)

コンパイラの基礎研究 -最適化を中心として佐々 政孝 (東京工業大学 名誉教授)

大会委員長・理事長挨拶，表彰式
9 月 19 日(火) 13:30～14:00

基礎研究賞 特別講演
9 月 19 日(火) 14:00～15:00

司会：伊藤 貴之 (お茶の水大学)

音楽情報処理: 基礎、応用、未来
後藤 真孝 (国立研究開発法人 産業技術総合研究所)

若手特別講演
9 月 21 日(木) 13:30～14:30

司会：櫻井 祐子 (産業技術総合研究所)

越境するソフトウェア科学——物理情報システム応用からの視点
蓮尾 一郎 (国立情報学研究所)

トップカンファレンス特別講演
9 月 21 日(木) 9:30〜10:30

座長：高田 眞吾 (慶應義塾大学)[トップ 1-1-L] Stateful Manifest Contracts＊Taro Sekiyama (IBM Research)
Atsushi Igarashi (Kyoto University)
POPL2017 にて発表
[トップ 1-2-L] Automated Refactoring of Legacy Java Software to Default Methods
Raffi Khatchadourian (CUNY Hunter College)＊Hidehiko Masuhara (Tokyo Institute of Technology)
ICSE 2017 (Research Track)にて発表

Future Technology Design 2017 (FTD2017)9 月 20 日(水) 14:45～16:15

懇親会
9 月 20 日(水) 18:15～20:00

一般セッション(1): 性能改善(1)[PPL1-3-L-S] Outlook on Composite Type Labels in User-Defined Type Systems

9 月 19 日(火) 9:30～11:00＊Antoine Tu (東京大学)

座長：松原 克弥 (公立はこだて未来大学)[一般 1-1-L-T] ワークスペース自動割当による畳み込みニューラルネットワークの高速化

千葉 滋 (東京大学)＊関山 太朗 (IBM Research)

ソフトウェア論文セッション(1)今井 晴基 (IBM Research)[一般 1-2-L] Unified Memory を用いた大規模ディープラーニングモデルの性能に関する考察

9 月 19 日(火) 15:15～16:15＊根岸 康 (日本アイ・ビー・エム（株）)[ソフトウェア 1-1-L-ST] Codosseum: OSS プロジェクトモニタリング Web サービス

今井 晴基 (日本アイ・ビー・エム（株）)

座長：鵜川 始陽 (高知工科大学)＊上村 恭平 (奈良先端科学技術大学院大学)

土井 淳 (日本アイ・ビー・エム（株）)

中才 恵太朗 (奈良先端科学技術大学院大学)

河内谷 清久仁 (日本アイ・ビー・エム（株）)

大神 勝也 (奈良先端科学技術大学院大学)[一般 1-3-L-S] Spark GraphX による最大流アルゴリズムの実装と評価

畑 秀明 (奈良先端科学技術大学院大学)＊松本 拓也 (高知工科大学)

一ノ瀬 智浩(奈良先端科学技術大学院大学)

佐藤 重幸 (高知工科大学)

松本 健一 (奈良先端科学技術大学院大学)

松崎 公紀 (高知工科大学)

飯田 元(奈良先端科学技術大学院大学)[ソフトウェア 1-2-L-T] ユニケージ開発手法に基づく Unix ファイルシステムとシェルを用いたデータ

一般セッション(2): 知識処理(1)ベースの構築と操作

9 月 19 日(火) 9:30～11:00＊中村 和敬 (有限会社 ユニバーサル・シェル・プログラミング研究所)

座長：鷲崎 弘宜 (早稲田大学)[一般 2-1-L-S] 実世界型電子付箋システムにおける漂流型情報共有機構について

黨仲 寛哲 (有限会社 ユニバーサル・シェル・プログラミング研究所)＊伊藤 栄俊 (名古屋工業大学)
大囿 忠親 (名古屋工業大学)

一般セッション(3):エージェント基礎

新谷 虎松 (名古屋工業大学)

9 月 19 日(火) 15:15～16:15

座長：藤本 衡 (東京電機大学)[一般 2-2-L-S] ハイパーメディアの Jaccard 係数に着目した定義文拡張における語義曖昧性解消[一般 3-1-L-T] MC-nets を用いた提携構造形成問題の MaxSAT 符号化の改良＊村田 亘 (公立はこだて未来大学)＊越村 三幸 (九州大学)

大沢 英一 (公立はこだて未来大学)[一般 2-3-L-S] 短文レポート評価のための短文レポート群の特徴に基づく可視化システムの開発＊山添 久稔 (名古屋工業大学)

廖 暁鵑 (中国・西南科技大学)
野本 一貴 (九州大学)
上田 俊 (佐賀大学)

大囿 忠親 (名古屋工業大学)

櫻井 祐子 (産業技術総合研究所)

新谷 虎松 (名古屋工業大学)

横尾 真 (九州大学)[一般 3-2-L-T] ヘドニックゲームにおける羨望に基づく公平性

PPL セッション(1): プログラム解析
9 月 19 日(火) 9:30～11:00

座長：森畑 明昌 (東京大学)[PPL1-1-L-ST] C 言語における無効なスタック領域へのポインタを検出する静的解析＊矢杉 和義 (京都大学)
五十嵐 淳 (京都大学)[PPL1-2-L-S] データ駆動アプローチによるプログラムの線形写像化＊石澤 拓哉 (京都大学)
小島 健介（京都大学 / JST CREST）
末永 幸平 (京都大学 / JST PRESTO)＊上田 俊 (佐賀大学)
西村 真由香 (佐賀大学)

PPL セッション(2): 証明と検証(1)[一般 4-4-L-S] クラウドにおける VM リダイレクト攻撃を防ぐためのリモート管理機構

9 月 19 日(火) 15:15～16:15＊猪口 恵介 (九州工業大学)

座長：岩崎 英哉 (電気通信大学)[PPL2-1-S-S] 極大完備化に基づく等式定理の自動証明

光来 健一 (九州工業大学)＊萩原 崇央 (新潟大学)

PPL セッション(3): プログラム変換・合成

青戸 等人 (新潟大学)[PPL2-2-S-S] 証明支援系 Coq を用いた有界モデル検査

9 月 19 日(火) 16:30～18:00＊藤井 采人 (福井大学)[PPL-3-1-L-S] 関係的仕様からの関数型プログラム合成

石井 大輔 (福井大学)

座長：番原 睦則（神戸大学)＊中尾 收 (筑波大学)[PPL2-3-L-S] 並列プログラム計算量の系統的機械証明手法の開発

佐竹 佑規 (筑波大学)＊白水 駿 (九州工業大学)

海野 広志 (筑波大学)

江本 健斗 (九州工業大学)[PPL-3-2-L-S] 多言語に対応した衛生的マクロ機構導入方式＊高桑 健太郎 (東京工業大学)

rePiT(1)
9 月 19 日(火) 16:30～17:45

渡部 卓雄 (東京工業大学)
座長：舘 伸幸 (名古屋大学)[rePiT1-1-L] QuadPro を目指す組込みシステム開発教育における学習プロセスの検討＊中村 啓之 (九州大学)[PPL-3-3-L-S] グラフ書換え言語 LMNtal からの C プログラムの自動生成＊冨岡 太一 (早稲田大学)
上田 和紀 (早稲田大学)

峯 恒憲 (九州大学)

一般(5): 知識処理(2)

鵜林 尚靖 (九州大学)[rePiT1-2-L-ST] 能力成熟度モデル統合に基づいた PBL における定量的学習評価手法の提案

9 月 20 日(水) 9:30～10:30＊日戸 直紘 (公立はこだて未来大学)[一般 5-1-L-S] 拡張マークダウンを利用した状況即応的なプレゼンテーションシステムの実装

伊藤 恵 (公立はこだて未来大学)
大場 みち子 (公立はこだて未来大学)[rePiT1-3-S-T] ハッキング競技 CTF を取り入れた情報教育のための教材作成支援システムの検討＊松原 克弥 (公立はこだて未来大学)
源 啓多 (公立はこだて未来大学)

座長：横山 大作 (東京大学)＊木下 光 (名古屋工業大学)
大囿 忠親 (名古屋工業大学)
新谷 虎松 (名古屋工業大学)[一般 5-2-S-S] Non-negative Tri-factorization with a Dynamic Laplacian Constraint for
Associating Features＊Hongjie Zhai (Hokkaido University)

一般セッション(4): 仮想化技術
9 月 19 日(火) 16:30～18:15

座長：前田 俊行 (千葉工業大学)[一般 4-1-S-S] 異種 OS 上のコンテナ型仮想化環境間でのライブマイグレーション実現方式の検討

Makoto Haraguchi (Hokkaido University)[一般 5-3-S-S] 自律ロボットの目標物認識能力の獲得について＊兼松 明未 (奈良女子大学)＊髙川 雄平 (公立はこだて未来大学)

小松 芙美子 (奈良女子大学)

松原 克弥 (公立はこだて未来大学)

新出 尚之 (奈良女子大学)[一般 4-2-L-T] マルウェアが実行する耐解析処理の定量的傾向＊大山 恵弘 (筑波大学)

ソフトウェア論文(2)[一般 4-3-L-S] アプリケーション仮想共有における共有管理機構のインタフェース

9 月 20 日(水) 10:00～10:30＊岩田 知 (名古屋工業大学)[ソフトウェア 2-1-L-T] NezCC: A Cross-Language PEG Parser Generator

大囿 忠親 (名古屋工業大学)
新谷 虎松 (名古屋工業大学)＊倉光 君郎 (横浜国立大学)

座長：鵜川 始陽 (高知工科大学)

PPL(4): 証明と検証(2)
9 月 20 日(水) 9:30〜10:30[rePiT2-2-L-T] 東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み
座長：中澤 巧爾 (名古屋大学)－Problem Based Learning と Project Based Learning[PPL4-1-S-S] 書き換え帰納法を利用した帰納的定理証明の補題生成法

小林 隆志 (東京工業大学)＊加藤 裕人 (新潟大学)

権藤 克彦 (東京工業大学)

青戸 等人 (新潟大学)

佐伯 元司 (東京工業大学)[PPL-4-2-S-T] プログラム操作のためのホーア論理の拡張

首藤 一幸 (東京工業大学)
西崎 真也 (東京工業大学)＊森口 草介 (関西学院大学)[PPL-4-3-L-T] 正則項上の可換な単一化について＊森本 千佳子 (東京工業大学)
脇田 建 (東京工業大学)＊岩見 宗弘 (島根大学)

渡部 卓雄 (東京工業大学)

一般セッション(6): 機械学習・シミュレーション[rePiT2-3-L-T] Coderretreat によるプログラミング学習意欲の向上に関する考察 ～Coderetreat for

9 月 20 日(水) 10:45～12:15

Girls を振り返って

座長：松崎 公紀 (高知工科大学)[一般 6-1-L-T] 機械学習工学に向けて＊森本 千佳子 (東京工業大学)＊丸山 宏 (Preferred Networks, Inc.)

永瀬 美保 (産業技術大学院大学/株式会社アトラクタ)[一般 6-2-L] 機械学習による 3 次元シミュレーション空間の場面評価手法の検討

若月 里香 (情報セキュリティ大学院大学)＊石井 徹 (防衛装備庁)

渡辺 知恵美 (筑波大学)

矢農 正紀 (防衛装備庁)
千葉 優介 (三菱重工業株式会社)

PPL セッション(5): 並列分散計算

岡田 正央 (三菱重工業株式会社)

9 月 20 日(水) 10:45～12:15

瀧澤 雄介 (防衛装備庁)[PPL5-1-L-S] メモリ効率の良いスレッド生成のためのスタック領域のリンクリスト化[一般 6-3-L-S] 進化シミュレーションを用いた３人人狼の分析
大澤 博隆 (筑波大学)

座長：鵜川 始陽 (高知工科大)＊折笠 雄太朗 (東京大学)
千葉 滋 (東京大学)＊汪 博豪 (筑波大学)[PPL5-2-L-S] Extending Fregel for Functional Vertex-centric Graph Processing with佐藤 健 (国立情報学研究所)

Remote Access functional programming＊Yongzhe Zhang (National Institute of Informatics)

rePiT セッション(2)
9 月 20 日(水) 10:45～12:15

Kento Emoto (Kyushu Institute of Technology)
座長：大場 みち子 (公立はこだて未来大学)

Zhenjiang Hu (National Institute of Informatics)[rePiT2-1-L] 自動発注問題を題材としたビッグデータ・AI 技術に対する実践的人材育成コースの設計[PPL5-2-3-L-S] 仮想環境を考慮した要求駆動型負荷分散＊神田 哲也 (大阪大学)＊良本 海 (九州工業大学)

福安 直樹 (和歌山大学)

八杉 昌宏 (九州工業大学)

佐伯 幸郎 (神戸大学)

平石 拓 (京都大学)

市川 昊平 (奈良先端科学技術大学院大学)

馬谷 誠二 (京都大学)

中村 匡秀 (神戸大学)
楠本 真二（大阪大学）

一般セッション(7): ソフトウェアの生成・変更 (1)一般セッション(8): ソフトウェアの生成・変更(2)

9 月 20 日(水) 17:00～18:00

9 月 21 日(木) 9:30～10:30

座長：青谷 知幸 (東京工業大学)

座長：丸山 勝久 (立命館大学)[一般 7-1-L-S] SML#のためのコードレベルデバッグ環境の構築に向けて[一般 8-1-L-T] 頂点主体並列グラフ処理の制約解消器による効率化＊大野 一樹 (東北大学)＊森畑 明昌 (東京大学)

上野 雄大 (東北大学)

江本 健斗 (九州工業大学)

大堀 淳 (東北大学)

松崎 公紀 (高知工科大学)[一般 7-2-L-S] モジュールの生成が可能なマルチステージ言語の提案＊渡部 恭久 (筑波大学)

胡 振江 (国立情報学研究所)
岩崎 英哉 (電気通信大学)

亀山 幸義 (筑波大学)[一般 8-2-L-S] ソースコードの変更によるデータフロー図の差異検出手法＊長岡 源樹 (茨城大学)

MACC(1): マルチエージェント基礎

上田 賀一 (茨城大学)

9 月 20 日(水) 17:00～18:00

堀田 大貴 (茨城大学)

座長：清 雄一 (電気通信大学)[MACC1-1-L-T] MC-nets における利得分配：上界保証付き ε-コアを求めるアルゴリズム

髙橋 竜一 (茨城大学)＊平山 勝敏 (神戸大学)
赤木 純 (神戸大学)

一般セッション(9): モデル検査

沖本 天太 (神戸大学)

9 月 21 日(木) 9:30～10:30[MACC1-2-L] 抽象議論理論的な同盟形成意味論
蟻坂 竜大 (国立情報学研究所)
佐藤 健 (国立情報学研究所)

座長：石井 大輔 (福井大学)[一般 9-1-L-S] 制御ルールの並びに着目した反例分析手法の提案＊薄井 翔 (茨城大学)
上田 賀一 (茨城大学)
小飼 敬 (茨城工業高等専門学校)

PPL セッション(6): ソルバーの活用
9 月 20 日(水) 17:00～18:00

座長：青戸 等人 (新潟大学)

高橋 竜一 (茨城大学)
堀田 大貴 (茨城大学)[PPL6-1-L-S] ブール基数制約を経由した擬似ブール制約の SAT 符号化手法[一般 9-2-L-S] ドローン物流システムにおけるモデル検査法を用いた運行スケジュールの決定手法＊南 雄之 (神戸大学)＊辻 光顕 (筑波大学)

宋 剛秀 (神戸大学)

長谷部 浩二 (筑波大学)

番原 睦則 (神戸大学)
田村 直之 (神戸大学)

FOSE(1)[PPL6-2-L-S] Why3 を用いた区間演算ライブラリの検証

9 月 21 日(木) 9:30～10:30＊薮 智仁 (福井大学)[FOSE1-1-L-S] 既存 Android アプリケーションの実装状況に基づいた実装すべきメソッドの提示手法

石井 大輔 (福井大学)

座長：鵜林 尚靖 (九州大学)＊薄井 駿 (慶應義塾大学)
名倉 正剛 (日本大学)
高田 眞吾 (慶應義塾大学)[FOSE1-2-L-ST] バージョン管理システムにおけるコンフリクト自動解消への試み＊七海 龍平 (公立はこだて未来大学)
伊藤 恵 (公立はこだて未来大学)

一般セッション(10): 性能改善(2)[FOSE2-2-L-T] デバッグ作業者の内面分析支援を目的とした障害発生過程の実体化手法

9 月 21 日(木) 10:45〜12:15＊久米 出 (奈良先端科学技術大学院大学)

座長：光来 健一 (九州工業大学)[一般 10-1-L] Performance Characteristics of Linux for Java Workloads Oversubscribing Memory

中村 匡秀 (神戸大学)＊仲池 卓也 (日本アイ・ビー・エム（株）)

新田 直也 (甲南大学)

上田 陽平 (日本アイ・ビー・エム（株）)

柴山 悦哉 (東京大学)

上田 高徳 (日本アイ・ビー・エム（株）)[FOSE2-3-L-S] 確率的プログラムの AOP による生成

小原 盛幹 (日本アイ・ビー・エム（株）)＊中村 隼也 (九州大学)[一般 10-2-L-S] ディレクトリ毎にジャーナリングモードを設定可能なファイルシステム

渡辺 啓介 (九州大学)＊青山 航 (電気通信大学)

佐藤 亮介 (九州大学)

岩崎 英哉 (電気通信大学)

鵜林 尚靖 (九州大学)[一般 10-3-L-T] 複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器

亀井 靖高 (九州大学)＊松崎 公紀 (高知工科大学)
岩崎 英哉 (電気通信大学)

PPL セッション(7): 構文解析と型

江本 健斗 (九州工業大学)

9 月 21 日(木) 10:45～12:15

胡 振江 (国立情報学研究所)[PPL7-1-L-S] 解析表現文法の結合優先度を保持した左再帰除去手法の提案

森畑 明昌 (東京大学)＊髙林 佳稀 (横浜国立大学)

座長：石崎 一明 (日本アイ・ビー・エム（株）)

倉光 君郎 (横浜国立大学)

一般セッション(11): ビッグデータ・可視化[PPL7-2-L-S] 型検査を用いたコンパイル時 LR 構文解析手法の提案

9 月 21 日(木) 10:45〜12:15＊松永 智將 (東京大学)

座長：風間 一洋 (和歌山大学)[一般 11-1-S-ST] 対話的なネットワーク可視化分析のシェーダー実装による高速化

市川 和央 (東京大学)＊高野 陸 (東京工業大学)

山崎 徹郎 (東京大学)

脇田 建 (東京工業大学)

中丸 智貴 (東京大学)[一般 11-2-L-T] 高次元データ可視化手法 Hidden

千葉 滋 (東京大学)＊伊藤 貴之 (お茶の水女子大学)[PPL7-3-L-T] 実用的な型エラースライサーに向けた改良と評価[一般 11-3-L] ライフスタイル認証モデルの提案とその評価に向けた実証実験＊対馬 かなえ (国立情報学研究所)
脇川 奈穂 (お茶の水女子大学)＊鈴木 宏哉 (東京大学)
小林 良輔 (東京大学)
山口 利恵 (東京大学)

FOSE セッション(2)
9 月 21 日(木) 10:45〜12:15

座長：伊藤 恵 (公立はこだて未来大学)[FOSE2-1-L-S] 再帰型ニューラルネットワークを用いたコーディングスタイルの自動検査手法の提案＊小林 佑樹 (東京大学)
西田 典紀 (東京大学)
千葉 滋 (東京大学)

一般セッション(12): インタラクション

FOSE セッション(3)

9 月 21 日(木) 14:45～16:15

9 月 21 日(木) 16:45～16:00

座長：座長：伊藤 貴之 (お茶の水女子大学)

座長：門田 暁人 (岡山大学)[一般 12-1-L-S] タブレット上でブラインドタッチを可能にするフレキシブルキーボードの提案[FOSE3-1-L-ST] ローマ字入力時の日本語識別子入力補完プラグインの開発＊田坂 友杉 (明治大学)＊熊谷 優斗 (公立はこだて未来大学)

秋岡 明香 (明治大学)

伊藤 恵 (公立はこだて未来大学)[一般 12-2-L-S] 発表練習支援システムのためのプレゼン映像からの癖除去機構の開発＊松浦 辰雄 (名古屋工業大学)

奥野 拓 (公立はこだて未来大学)[FOSE3-2-L-T] データセット多様性のソフトウェア・テスティング

大囿 忠親 (名古屋工業大学)＊中島 震 (国立情報学研究所)

新谷 虎松 (名古屋工業大学)[FOSE3-3-S-S] OSS プロジェクトにおける Tangled コミットの実証分析[一般 12-3-L-S] OCC theory に基づくエージェントの感情表現と時間経過に関する論理モデル＊三浦 圭裕 (九州大学)＊今井 那緒 (奈良女子大学)

亀井 靖高 (九州大学)

浅井 沙良 (奈良女子大学)

鵜林 尚靖 (九州大学)

塚本 麻衣 (奈良女子大学)

佐藤 亮介 (九州大学)

新出 尚之 (奈良女子大学)

PPL セッション(8): 最適化
MACC セッション(2): 協調とプライバシ

9 月 21 日(木) 14:45～16:15

9 月 21 日(木) 14:45～16:15[PPL8-1-L-S] 多相関数を含むプログラムの抽象解釈を用いた最適化

座長：松原 繁夫 (京都大学)[MACC2-1-L-S] マルチエージェント継続協調巡回における分業の創発と変化に対する柔軟性の評価＊杉山 歩未 (早稲田大学)
Sea Vourchteang (早稲田大学)

座長：馬谷 誠二 (京都大学)＊美馬 久行 (東北大学)
上野 雄大 (東北大学)
大堀 淳 (東北大学)

早野 真史 (早稲田大学)[PPL8-2-L-S] 末尾再帰でない再帰プログラムの高速化のための最適化に関する一考察

菅原 俊治 (早稲田大学)＊小林 周太郎 (広島市立大学)[MACC2-2-L-S] 効率的なタスク割り当てのための希望順位戦略の自律的学習法の提案＊飯嶋 直輝 (早稲田大学)

川端 英之 (広島市立大学)
弘中 哲夫 (広島市立大学)

杉山 歩未 (早稲田大学)[PPL8-3-L] Swift 処理系における不可分命令のオーバーヘッドとその解決案

早野 真史 (早稲田大学)＊竹内 幹雄 (日本アイ・ビー・エム（株）)

菅原 俊治 (早稲田大学)

河内谷 清久仁 (日本アイ・ビー・エム（株）)[MACC2-3-L-S] センシティブ属性値の距離を考慮したダミー追加による l-多様性アルゴリズムの提案＊大石 慶一朗 (電気通信大学)

一般セッション(13): 基礎

清 雄一 (電気通信大学)

9 月 21 日(木) 16:30～17:30

田原 康之 (電気通信大学)[一般 13-1-L] 余帰納法に基づく定理証明の自動化

大須賀 昭彦 (電気通信大学)＊四宮 誠一 (筑波大学)

座長：中野 圭介 (電気通信大学)

海野 広志 (筑波大学)[一般 13-2-L-T] キューマシンにおける不動点プログラミング＊山口 文彦 (長崎県立大学)

MACC セッション(3): クラウドソーシング[ポスター-5] 階層モデル検査による階層的推論プロセスの検証

9 月 21 日(木) 16:30～17:30＊矢野 龍 (帝京大学)

座長：東藤 大樹 (九州大学)[MACC3-1-L-S] クラウドソーシングを用いた社会課題因果関係 LOD の構築

上出 哲広 (帝京大学)[ポスター-6] 定理証明支援系 Coq における手続き的証明から宣言的証明への変換＊江上 周作 (電気通信大学)
川村 隆浩 (科学技術振興機構)＊山田 伊織 (電気通信大学)
中野 圭介 (電気通信大学)

古崎 晃司 (大阪大学)[ポスター-7] 有限点を表現する Optimal Neural Network に関する考察

大須賀 昭彦 (電気通信大学)[MACC3-2-L-T] 提携構造の安定性分析に基づく Q&A コミュニティのインセンティブ設計＊井上 健太 (千葉大学)[ポスター-8] 保守性に対する熟練者判断を用いたソースコード自動評価の最適化

藤井 勇基 (京都大学)＊津田 直彦 (早稲田大学)＊松原 繁夫 (京都大学)

鷲崎 弘宜 (早稲田大学)

PPL セッション(9): プログラミング支援
9 月 21 日(木) 16:30～17:15

座長：前田 敦司 (筑波大学)[PPL9-1-L-S] アクターシステムを対象としたリバースデバッギングのためのフレームワーク

深澤 良彰 (早稲田大学)[ポスター-9] クラウド環境の高可用かつ安価な利用のための仮想ノードスケジューラ＊緒方 洋介 (慶應義塾大学)
河野健二 (慶應義塾大学)＊柴内 一宏 (東京工業大学)[ポスター-10] アトラクションナビゲータにおける最適経路表示機能の実装

渡部 卓雄 (東京工業大学)[PPL9-2-S-S] 正規表現型を用いた解析表現文法への型付け＊中野 雅允 (日本大学)
宇田川 裕介 (日本大学)＊山口 大輔 (横浜国立大学)

五味 悠一郎 (日本大学)

倉光 君郎 (横浜国立大学)[ポスター-11] 様々な試験を対象とした投稿型学習システム 「Social Based Testing」の開発と定期

デモ・ポスターセッション
9 月 21 日(木) 16:15～17:00

考査への適用座長：東藤 大樹 (九州大学)[ポスター-1] 述語項構造解析ソフトウェアを利用した仕様文書からのプログラム要素抽出＊及川 僚太 (北海道大学)
小山 聡 (北海道大学)
栗原 正仁 (北海道大学)＊宇田川 裕介 (日本大学)
五味 悠一郎 (日本大学)[ポスター-12] グラフ書き換え系における数値制約を含むデータ構造の生成文法による表現＊本多 健士郎 (早稲田大学)
上田 和紀 (早稲田大学)[ポスター-2] FOSE2017 の紹介[デモ・ポスター-1] CertSkel: 高水準 GPGPU 言語のための形式検証済みコンパイラ＊吉田 敦 (南山大学)＊朝倉 泉 (東京工業大学)

福安 直樹 (和歌山大学)
門田 暁人 (岡山大学)

増原 英彦 (東京工業大学)
青谷知幸 (東京工業大学)[ポスター-3] 矛盾許容モデル検査のための論理と翻訳[デモ：ポスター-2] 教育向け関数型スクリプト言語を作る＊遠藤 一樹 (帝京大学)＊坪井 良介 (横浜国立大学)

松尾 洋祐 (帝京大学)

山口 大輔 (横浜国立大学)

上出 哲広 (帝京大学)

倉光 君郎 (横浜国立大学)[ポスター-4] 矛盾許容モデル検査の臨床推論検証および学習プロセス検証への応用＊松尾 洋祐 (帝京大学)[デモ-1] NezCC:言語非依存の PEG パーサジェネレータ
坪井 良介 (横浜国立大学)

遠藤 一樹 (帝京大学)

高林 佳稀 (横浜国立大学)

上出 哲広 (帝京大学)＊倉光 君郎 (横浜国立大学)

大会スポンサー- GOLD -- SILVER -- IRON -