PPL 2016でGPGPUのためのDSLコンパイラの形式検証に関する発表
朝倉,増原,青谷による論文 「GPGPU向けデータ並列コードテンプレートの形式検証」が第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) に採録されました.
Babelsbergに関する情報処理学会プログラミング研究会発表
Felgentreff, Hirschfeld, Graber, Borning, Masuharaによる論文 “Declaring Constraints on Object-oriented Collections” が第108回情報処理学会プログラミング研究会にて発表されました。
SIGPX第1回勉強会を開催
プログラミングのための環境と、その環境が提供する体験の設計に興味を持つ人の勉強会としてSIGPX (Special Interest Group on Programming Experience)を開きます。
- 日時: 2016年2月27日(土)
- 会場: 東京工業大学大岡山キャンパス
詳しくはSIGPXのページをごらん下さい。
朝倉が修士論文を、奥河、田屋、渡邉が学士論文を発表しました
朝倉泉が数理・計算科学専攻の修士論文発表会で発表しました。
- 並行分離論理に基づくGPGPU向けデータ並列DSLコンパイラの形式検証 (PDF)
奥河諒、田屋敦至、渡邉恵太が理学部情報科学科の卒業論文発表会で発表しました。
- プログラミング言語の拡張可能な形式化フレームワークMeta-Theory a la Carteのオブジェクト指向言語への拡張 (奥河諒)
- 配列指向領域特化言語における複数GPU向けデータ表現と並列化手法 (田屋敦至)
- 多次元的文脈指向言語Korzの表現力の改善 (渡邉恵太)
緒方一則氏による論文発表会
以下の要領で論文発表会が行われます。
日 時:平成28年2月3日(水)10:30〜12:00
会 場:大岡山西8号館 W棟 W1008室
司会教員:増原英彦 教授
論文発表者
氏 名:緒方 一則(おがた かずのり)
研究論文の概要
論文題目「インタープリタ−動的コンパイラ併用型仮想マシンのシステム性能改善技術」
(さらに…)
研究室の忘年会を行いました
研究室で忘年会を行いました
黄くんが作ってくれた豪華な中華料理
桐山らのチームが IDW ’15 Challenging-spirit Demonstration Award を受賞しました
弊研究室の桐山を含むグループによる論文”Development of Poor Man’s 3D-AR Platform for Amateur Game Creators” が IDW ’15 Challenging-spirit Demonstration Award を受賞しました
Grady Booch氏講演会「The Future of Software Engineering」
Grady Booch氏の講演会です。どなたでも登録不要でご参加いただけますので、ふるってご出席下さい。
Title: The Future of Software Engineering
Speaker: Grady Booch
Date/Time: Tuesday, November 24, 2015, 15:00-16:30
Location:
E1001 Meeting Room, 10F, West Building 8-E,
Ookayama Campus, Tokyo Institute of Technology
東京工業大学 大岡山キャンパス 西8号館 E棟 10階大会議室
(access and map) (さらに…)
「Rubyの20年, Rubyのこれから」が情報処理学会誌に掲載
まつもとゆきひろ、加藤和彦、千葉滋、増原英彦(進行・構成: 小野寺民也、笹田耕一、高橋征義)による座談会記事が情報処理学会誌に掲載されました。