【開催案内】情報処理学会第104回プログラミング研究発表会
40 views
Skip to first unread message
Tasuku HIRAISHI
May 12, 2015, 9:22:44 PM5/12/15
to swopp-a...@googlegroups.com
SWoPP-MLの皆様（重複ご容赦ください），
京都大学の平石です．
情報処理学会第104回プログラミング研究発表会（PRO）の参加案内をさせていただきます．
申込不要，参加費無料でどなたでもご参加いただけます．
（懇親会参加については下記案内の通り事前にご連絡下さい）
多くの方のご参加をお待ちしております．
よろしくお願いいたします．
----------------------------------------------------------------------------
情報処理学会 第104回プログラミング研究発表会開催のご案内をさせて頂きます．
6月4日(木)・5日(金)に富山市にて開催されます．
最新情報は以下のWEBページに掲載致します．
http://www.trs.cm.is.nagoya-u.ac.jp/event/ipsj-pro2015-1/
皆様のご参加をお待ちしております．
6/4(木)に開催します懇親会の申込締め切りは5/29(金)となっております．
http://www.trs.cm.is.nagoya-u.ac.jp/event/ipsj-pro2015-1/party.html
参加をご希望される方は上記ページの案内にしたがい西田までご連絡ください．
担当:
西田直樹（名大）
平石 拓（京大）
=================================================================
情報処理学会 第104回プログラミング研究発表会 プログラム
=================================================================
日程: 2015年6月4日(木)・5日(金)
会場: 富山県教育文化会館 501会議室
〒930-0096 富山県富山市舟橋北町7-1
※ 1件あたり45分 (発表25分，質疑・討論20分)
6月4日（木） ※ 会場は13時から入室可能です．
セッション1（13:30～15:00）
2015-1-(1)：13:30-14:15
「拡張線形ボトムアップ木変換器の関数性の多項式時間判定」
○石原 鷹（名大），橋本 健二（名大），関 浩之（名大），酒井 正彦（名大）
2015-1-(2)：14:15-15:00
「D-Bus向けシェル言語の設計と実装」
○関口 渚（横浜国立大），倉光 君郎（横浜国立大）
セッション2（15:15～16:45）
2015-1-(3)：15:15-16:00
「Fast, Flexible, and Declarative Construction of Abstract Syntax
Trees with PEGs」
○倉光 君郎（横浜国立大）
2015-1-(4)：16:00-16:45
「GPGPUのための並行分離論理のCoqによる健全性証明」
○朝倉 泉（東工大），増原 英彦（東工大），青谷 知幸（東工大）
懇親会（18:30～20:30）
6月5日（金） ※ 会場は9時から入室可能です．
セッション3（9:30～11:45）
2015-1-(5)：9:30-10:15
「単体テストを用いたチュートリアルの自動生成手法」
○三上 裕明（東大），五十嵐 健夫（東大），坂本 大介（東大）
2015-1-(6)：10:15-11:00
「関数型言語による高水準なWebアプリケーション開発環境」
○逢坂 美冬（東北大），菊地 大介（東北大／日立ソリューションズ東日本），
上野 雄大（東北大），大堀 淳（東北大），佐々木 加奈子（東北大）
2015-1-(7)：11:00-11:45
「関数型言語からキーバリューストアへの型安全なアクセス機構」
○上野 雄大（東北大），大堀 淳（東北大）
=================================================================
--
京都大学 学術情報メディアセンター
中島研究室 助教 平石 拓
mail: tas...@media.kyoto-u.ac.jp
京都大学の平石です．
情報処理学会第104回プログラミング研究発表会（PRO）の参加案内をさせていただきます．
申込不要，参加費無料でどなたでもご参加いただけます．
（懇親会参加については下記案内の通り事前にご連絡下さい）
多くの方のご参加をお待ちしております．
よろしくお願いいたします．
----------------------------------------------------------------------------
情報処理学会 第104回プログラミング研究発表会開催のご案内をさせて頂きます．
6月4日(木)・5日(金)に富山市にて開催されます．
最新情報は以下のWEBページに掲載致します．
http://www.trs.cm.is.nagoya-u.ac.jp/event/ipsj-pro2015-1/
皆様のご参加をお待ちしております．
6/4(木)に開催します懇親会の申込締め切りは5/29(金)となっております．
http://www.trs.cm.is.nagoya-u.ac.jp/event/ipsj-pro2015-1/party.html
参加をご希望される方は上記ページの案内にしたがい西田までご連絡ください．
担当:
西田直樹（名大）
平石 拓（京大）
=================================================================
情報処理学会 第104回プログラミング研究発表会 プログラム
=================================================================
日程: 2015年6月4日(木)・5日(金)
会場: 富山県教育文化会館 501会議室
〒930-0096 富山県富山市舟橋北町7-1
※ 1件あたり45分 (発表25分，質疑・討論20分)
6月4日（木） ※ 会場は13時から入室可能です．
セッション1（13:30～15:00）
2015-1-(1)：13:30-14:15
「拡張線形ボトムアップ木変換器の関数性の多項式時間判定」
○石原 鷹（名大），橋本 健二（名大），関 浩之（名大），酒井 正彦（名大）
2015-1-(2)：14:15-15:00
「D-Bus向けシェル言語の設計と実装」
○関口 渚（横浜国立大），倉光 君郎（横浜国立大）
セッション2（15:15～16:45）
2015-1-(3)：15:15-16:00
「Fast, Flexible, and Declarative Construction of Abstract Syntax
Trees with PEGs」
○倉光 君郎（横浜国立大）
2015-1-(4)：16:00-16:45
「GPGPUのための並行分離論理のCoqによる健全性証明」
○朝倉 泉（東工大），増原 英彦（東工大），青谷 知幸（東工大）
懇親会（18:30～20:30）
6月5日（金） ※ 会場は9時から入室可能です．
セッション3（9:30～11:45）
2015-1-(5)：9:30-10:15
「単体テストを用いたチュートリアルの自動生成手法」
○三上 裕明（東大），五十嵐 健夫（東大），坂本 大介（東大）
2015-1-(6)：10:15-11:00
「関数型言語による高水準なWebアプリケーション開発環境」
○逢坂 美冬（東北大），菊地 大介（東北大／日立ソリューションズ東日本），
上野 雄大（東北大），大堀 淳（東北大），佐々木 加奈子（東北大）
2015-1-(7)：11:00-11:45
「関数型言語からキーバリューストアへの型安全なアクセス機構」
○上野 雄大（東北大），大堀 淳（東北大）
=================================================================
--
京都大学 学術情報メディアセンター
中島研究室 助教 平石 拓
mail: tas...@media.kyoto-u.ac.jp
Takeshi Iwashita
May 27, 2015, 11:40:44 PM5/27/15
to swopp-a...@googlegroups.com
SWoPP-MLの皆様
岩下＠北大情報基盤センターです。
北海道大学情報基盤センターでは下記のようなHPCに関するセミナーを開催いたします。
ご遠方の方が多いかと存じますが、ご興味のある方は是非、ご参加ください。
http://hpc.iic.hokudai.ac.jp/SSHS/
-----------------------------------------------------------------------------------
Sapporo Summer HPC Seminar 2015
主催： 北海道大学情報基盤センター
協賛： JST 戦略的創造研究推進事業CREST
「ポストペタスケール高性能計算に資するシステムソフトウェア技術の創出」
協賛： 自動チューニング研究会
日時： 7月23日（木）13:00～18:20
場所： 北海道大学情報基盤センター北館 4階会議室
参加費： 無料
事前予約： 不要
プログラム
Prof. Franz Franchetti （カーネギーメロン大学准教授）
Formal Software Synthesis of Computational Kernels
中島 研吾（東京大学情報基盤センター教授）
CAE applications ready for exascale systems
丸山 直也（理化学研究所計算科学研究機構チームリーダー）
Domain-Specific Approaches in Scientific Computing
建部 修見（筑波大学計算科学研究センター教授）
System Software for Post Petascale Data-Intensive Science
今村 俊幸（理化学研究所計算科学研究機構チームリーダー）
Numerical libraries for post-peta scale supercomputer systems
片桐 孝洋（東京大学情報基盤センター准教授）
自動チューニングとビックデータ：機械学習の適用の可能性
大島 聡史（東京大学情報基盤センター助教）
Implementation of Sparse Matrix Solver on Modern Parallel Architectures
問い合わせ先： 岩下武史（北海道大学情報基盤センター）
iwashita .at. iic.hokudai.ac.jp
岩下＠北大情報基盤センターです。
北海道大学情報基盤センターでは下記のようなHPCに関するセミナーを開催いたします。
ご遠方の方が多いかと存じますが、ご興味のある方は是非、ご参加ください。
http://hpc.iic.hokudai.ac.jp/SSHS/
-----------------------------------------------------------------------------------
Sapporo Summer HPC Seminar 2015
主催： 北海道大学情報基盤センター
協賛： JST 戦略的創造研究推進事業CREST
「ポストペタスケール高性能計算に資するシステムソフトウェア技術の創出」
協賛： 自動チューニング研究会
日時： 7月23日（木）13:00～18:20
場所： 北海道大学情報基盤センター北館 4階会議室
参加費： 無料
事前予約： 不要
プログラム
Prof. Franz Franchetti （カーネギーメロン大学准教授）
Formal Software Synthesis of Computational Kernels
中島 研吾（東京大学情報基盤センター教授）
CAE applications ready for exascale systems
丸山 直也（理化学研究所計算科学研究機構チームリーダー）
Domain-Specific Approaches in Scientific Computing
建部 修見（筑波大学計算科学研究センター教授）
System Software for Post Petascale Data-Intensive Science
今村 俊幸（理化学研究所計算科学研究機構チームリーダー）
Numerical libraries for post-peta scale supercomputer systems
片桐 孝洋（東京大学情報基盤センター准教授）
自動チューニングとビックデータ：機械学習の適用の可能性
大島 聡史（東京大学情報基盤センター助教）
Implementation of Sparse Matrix Solver on Modern Parallel Architectures
問い合わせ先： 岩下武史（北海道大学情報基盤センター）
iwashita .at. iic.hokudai.ac.jp
Reply all
Reply to author
Forward
0 new messages