情報処理学会 プログラミング研究会
第113回 2017-03-03 ~ 2017-03-04 東京大学 本郷キャンパス 工学部２号館4階242教室
(113-1) SML#による電子お薬手帳Webアプリケーションの開発
菊地 大介 ((株)日立ソリューションズ東日本)
(113-2) 混合型時間アンビアント計算のCTLモデル検査
稲森 啓太，樋口 昌宏，加藤 暢 (近畿大学)
(113-3) 複数の局所クロックを持つ時間プッシュダウン・オートマトン
上里 友弥 (筑波大学システム情報工学研究科コンピュータサイエンス専攻)
(113-4) Counting for Recognizable and Algebraic Series
関 浩之，橋本 健二，Trung Chu Bao (名古屋大学)
(113-5) マクロ森トランスデューサの実用的な型検査に向けて
阿部 和敬 (電気通信大学情報理工学部)，中野 圭介 (電気通信大学大学院情報理工学研究科)
(113-6) バリア同期と共有メモリを備えたGPGPUプログラム合成器Kani-CUDA
蟹 暁 (東京工業大学理学部情報科学科)，朝倉 泉，増原 英彦，青谷 知幸 (東京工業大学情報理工学院数理・計算科学系)
(113-7) データフロー解析結果を付加した構文木に対するパターンマッチによるコード検査
谷口 力斗 (京都大学工学部情報学科)，馬谷 誠二 (京都大学大学院情報学研究科)，鵜川 始陽 (高知工科大学)
(113-8) ライブプログラミングのためのデータ構造の可視化と対話機能
岡 明央 (東京工業大学理学部情報科学科)，増原 英彦，青谷 知幸 (東京工業大学情報理工学院数理・計算科学系)
(113-9) Generalized Parsing Expression Grammars
千田 忠賢，倉光 君郎 (横浜国立大学)
(113-10) 変数名による静的型付け手法の提案
坪井 良介，倉光 君郎 (横浜国立大学)
(113-11) ニューラルネットワークにおける代数構造
井上 健太 (千葉大学)
(113-12) 抽象構文木に基づいた解析表現文法への静的型付け
山口 大輔，倉光 君郎 (横浜国立大学)