一歩,一歩,登ってきました

_MG_5746

広告

やっと目にしました

_MG_5745

参加申し込みは今月中です

みなさま,大会への事前参加申し込み〆切は今月末の8/31となっております.

早期に申し込まれた方を対象にした個数限定記念グッズのご用意もございます.お申し込みはお早めに.

 

PPL5

セッション「PPL5」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013ppl

PPL5: 9月13日 15:00〜17:30,工学部2号館4階241号室

1. BiFlux: A Bidirectional Functional Update Language for XML(ザントオ)

ザントオ (総合研究大学院大学)
ウゴパチェコ (国立情報学研究所)
胡振江 (国立情報学研究所)

2. LMNtalにおけるグラフ書換え操作のCoqによる形式化(信夫裕貴)

信夫裕貴 (早稲田大学大学院基幹理工学部研究科情報理工学専攻)
田辺良則 (国立情報学研究所)
上田和紀 (早稲田大学理工学術院情報理工学科)

3. ラムダ計算の型問題を支配する本質的情報について(藤田憲悦)

藤田憲悦 (群馬大学)

4. 閉包操作に基づく項書き換えシステムの到達可能性判定(四方駿作)

四方駿作 (東北大学電気通信研究所)
青戸等人 (東北大学電気通信研究所)
外山芳人 (東北大学電気通信研究所)

5. 自動検証のためのプログラム変換(佐藤洸一)

佐藤洸一 (東北大学 電気通信研究所)
菊池健太郎 (東北大学 電気通信研究所)
青戸等人 (東北大学 電気通信研究所)
外山芳人 (東北大学 電気通信研究所)

萌芽5

セッション「萌芽5」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013萌芽


萌芽5: 9月13日 15:00〜16:30,工学部2号館2階223号室

1. 差分的に記述された解析表現文法に対する構文解析器の合成(森健輔)

森健輔 (東京工業大学大学院情報理工学研究 科)
脇田建 (東京工業大学大学院情報理工学研究 科)

2. 二次元平面上のP2Pオーバレイネットワークにおける経路表の順序関係に基づいたルーティング手法(北條真史)

北條真史 (東京工業大学)
長尾洋也 (東京工業大学)
宮尾武裕 (東京工業大学)
首藤一幸 (東京工業大学)

3. LSM-treeにおけるC1 treeの数と読み出し性能の関係(高塚康成)

高塚康成 (東京工業大学)
矢口尭 (東京工業大学)
首藤一幸 (東京工業大学)

FOSE2

セッション「FOSE2」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013fose


FOSE2: 9月13日 15:00〜17:00,工学部2号館2階222号室

1. LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究(上野篤史)

上野篤史 (東京工業大学大学院)
望月翔平 (東京工業大学大学院)
島川昌也 (東京工業大学大学院)
萩原茂樹 (東京工業大学大学院)
米崎直樹 (東京工業大学大学院)

2. 自己適応システムの安全なコンポーネント置き換え(中島震)

中島震 (国立情報学研究所)

3. DFDを用いた要求仕様の洗練化のためのトレーサビリティ構築と条件の抜け漏れ検出(和田大輝)

和田大輝 ((株) 東芝ソフトウェア技術センター)
弓倉陽介 ((株) 東芝ソフトウェア技術センター)
鷲見毅 ((株) 東芝ソフトウェア技術センター)
藤本宏 ((株) 東芝ソフトウェア技術センター)
村田由香里 ((株) 東芝ソフトウェア技術センター)

4. 人為的欠陥の意味と耐性解析(永藤直行)

永藤直行 (有限会社 プレシステム)
渡部卓雄 (東京工業大学)

一般5

セッション「一般5」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013一般


一般5: 9月13日 15:00〜17:30,工学部2号館1階211号室

1. Haskellによる非破壊的木構造を用いたCMSの実装(當眞大千)

當眞大千 (琉球大学大学院)
河野真治 (琉球大学)
永山辰巳 (株式会社 Symphony)

2. 匿名性を考慮したリアルタイムなWebアンケートシステムの実現(井上良太)

井上良太 (名古屋工業大学大学院情報工学専攻)
白松俊 (名古屋工業大学大学院情報工学専攻)
大囿忠親 (名古屋工業大学大学院情報工学専攻)
新谷虎松 (名古屋工業大学大学院情報工学専攻)

3. ジェスチャーで操作可能なスライドオブジェクトに基づくプレゼンテーション支援システムについて(山田裕之)

山田裕之 (名古屋工業大学大学院工学研究科)
丹羽佑輔 (名古屋工業大学大学院工学研究科)
白松俊 (名古屋工業大学大学院工学研究科)
大囿忠親 (名古屋工業大学大学院工学研究科)
新谷虎松 (名古屋工業大学大学院工学研究科)

4. スライド検索のためのスライドリポジトリにおけるスライド構造について(加藤雄大)

加藤雄大 (名古屋工業大学大学院工学研究科情報工学専攻)
白松俊 (名古屋工業大学大学院工学研究科情報工学専攻)
大囿忠親 (名古屋工業大学大学院工学研究科情報工学専攻)
新谷虎松 (名古屋工業大学大学院工学研究科情報工学専攻)

5. 発表者の実像を利用した動的なプレゼンテーション操作環境の実現(丹羽佑輔)

丹羽佑輔 (名古屋工業大学大学院工学研究科)
片山真也 (名古屋工業大学大学院工学研究科)
白松俊 (名古屋工業大学大学院工学研究科)
大囿忠親 (名古屋工業大学大学院工学研究科)
新谷虎松 (名古屋工業大学大学院工学研究科)

FOSE1

セッション「FOSE1」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013fose


FOSE1: 9月13日 9:30〜11:30,工学部2号館2階222号室

特別招待講演:前田 直人

Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution

前田 直人(NEC)

ICSE 2013で発表

ここをクリックして論文の情報を検索

2. DITAを用いたソフトウェアドキュメンテーションにおけるトピックの意味検索手法の提案(坂井麻里恵)

坂井麻里恵 (公立はこだて未来大学大学院)
大場みち子 (公立はこだて未来大学)
伊藤恵 (公立はこだて未来大学)
奥野拓 (公立はこだて未来大学)

3. メソッド抽出リファクタリングが行われるメソッドの特徴調査(後藤祥)

後藤祥 (大阪大学)
吉田則裕 (奈良先端科学技術大学院大学)
藤原賢二 (奈良先端科学技術大学院大学)
崔恩瀞 (大阪大学)
井上克郎 (大阪大学)

4. トピック抽出を用いたソフトウェア開発履歴の可視化ツール(吉田則裕)

山田悠太 (奈良先端科学技術大学院大学)
吉田則裕 (奈良先端科学技術大学院大学)
藤原賢二 (奈良先端科学技術大学院大学)
飯田元 (奈良先端科学技術大学院大学)

PPL4

セッション「PPL4」の内容を紹介します.

発表者による宣伝,ご議論などには以下のハッシュタグをご利用下さい.
#jssst2013 #jssst2013ppl


PPL4: 9月13日 9:00〜11:30,工学部2号館4階241号室

1. 永続性と減少ダイアグラム法に基づく合流性証明法(内田和真)

内田和真 (東北大学電気通信研究所)
青戸等人 (東北大学電気通信研究所)
外山芳人 (東北大学電気通信研究所)

2. 定性空間表現PLCAのモデル化と妥当性の証明について(後藤瑞貴)

後藤瑞貴 (関西学院大学理工学部)
高橋和子 (関西学院大学理工学部)

3. グラフ書換え系におけるグラフ構造の効率的な一意バイト列生成手法(宮原和大)

宮原和大 (早稲田大学大学院基幹理工学研究科情報理工学専攻)
上田和紀 (早稲田大学理工学術院情報理工学科)

4. A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches(浅田和之)

浅田和之 (東京大学)
日高宗一郎 (国立情報学研究所)
加藤弘之 (国立情報学研究所)
胡振江 (国立情報学研究所)
中野圭介 (電気通信大学)

特別招待講演:海野 広志

Automating Relatively Complete Verification of Higher-order Functional Programs

海野 広志(筑波大学)

POPL 2013で発表

ここをクリックして論文の情報を検索

MACC

招待講演 テーマ:メカニズムデザインの最前線

  • Auctions and Mechanism Design 伊藤孝行 (名古屋工業大学)
  • クラウドソーシングとメカニズムデザイン 松原繁夫 (京都大学)
  • 制約付きマッチングのメカニズムデザイン 横尾真 (九州大学)

特別講演

DeQED: an Efficient Divide-and-Coorinate Algorithm for DCOP, 平山 勝敏 (神戸大学)