[logic-ml] 第101回プログラミング研究会 開催案内

Rei Odaira ODAIRA at jp.ibm.com
Tue Oct 14 07:40:42 JST 2014


Logic-mlの皆さま、

IBMの大平です。 

****複数受け取られた方はご容赦ください****

情報処理学会 第101回プログラミング研究発表会開催のご案内をさせて頂きます.
11月10日(月)・11日(火)に東京都文京区にて開催されます.
最新情報は以下のWEBページに掲載致します.
http://staff.aist.go.jp/reynald.affeldt/pro101/index.htm
皆様のご参加をお待ちしております.

担当:
大平 怜 (日本アイ・ビー・エム東京基礎研究所)
AFFELDT Reynald (産業技術総合研究所)

=================================================================
情報処理学会 第101回プログラミング研究発表会 プログラム
=================================================================

日程: 2014年11月10日(月)・11日(火)
会場: 東京大学 創造情報学専攻 I-REF 棟 6階 Hilobby
   東京都文京区弥生 1-1-1
   http://www.ci.i.u-tokyo.ac.jp/site/?access-j

※ 1件あたり45分 (発表25分,質疑・討論20分)
発表の順番につきましてはまだ確定ではありませんのでご了承ください.

11月10日(月)

2014-3-(1) 10:00-10:45
Unified Memoryを利用したCUDAプログラミングと性能評価
土井 淳, 今井 晴基 (日本アイ・ビー・エム株式会社 東京基礎研究所)

2014-3-(2) 10:45-11:30
Ruby向けトレース方式Just-in-timeコンパイラの設計と実装
井出 真広 (横浜国立大学大学院)

2014-3-(3) 11:30-12:15
Rubyにおけるライトバリアのないオブジェクトを考慮した世代別インクリメンタル
GCの実装
笹田 耕一, 松本 行弘 (Heroku, Inc.)

12:15-13:30
昼食

2014-3-(4) 13:30-14:15
A Simple Sufficient Condition for the Completeness of a Heuristic 
Procedure for Inverse Unfold Problem
長島 正憲, 加藤 友郁, 酒井 正彦, 西田 直樹 (名古屋大学)

2014-3-(5) 14:15-15:00
挿抜可能メソッドに基づく統一的な抽象単位複合機構
久野 靖 (筑波大学ビジネスサイエンス系)

15:00-15:15
休憩

15:15-16:30
CS領域奨励賞授与式

パネルセッション「PROのこれまで目指したことと目指すべきもの」
登壇者(予定):
 萩谷 昌己(東京大学)
 上田 和紀(早稲田大学)
 河内谷 清久仁(日本アイ・ビー・エム株式会社)
 南出 靖彦(筑波大学;主査)
 西崎 真也(東京工業大学;司会)

18:00-20:00
懇親会

11月11日(火)

2014-3-(6) 09:30-10:15
CとLuaを容易に埋め込むための言語LuCa
谷村 明, 岩崎 英哉 (電気通信大学大学院 情報理工学研究科)

2014-3-(7) 10:15-11:00
C#プログラム実行時書き換えによるコンテキスト指向プログラミングの実現
谷川 郁太 (東海大学), 小倉 信彦 (東京都市大学), 菅谷 みどり (芝浦工業大学
), 渡辺 晴美 (東海大学)

11:00-11:15
休憩

2014-3-(8) 11:15-12:00
グラフ問題を効率的に解くためのハードウェアトランザクショナルメモリの利用
小林 哲, 佐藤 重幸, 岩崎 英哉 (電気通信大学大学院情報理工学研究科)

2014-3-(9) 12:00-12:45
Tracing Packrat Parsing
倉光 君郎  (横浜国立大学)

=================================================================

大平 怜 (Rei Odaira), Ph.D.
IBM Research - Tokyo
Phone: +81-3-5144-2847
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20141014/2fa75f1e/attachment.html>


More information about the Logic-ml mailing list